CodeQL

Workflow runs for CodeQL

• Fix byte_update lowering for updates of symbolic size

  requires action with the application:
  CodeQL#9385:Pull request#9380openedbymelver
  melver:fix-byte-update-symbolic-size

  Oct 30, 2026Action required
  More actions for workflow run 9385

• missing cstdint.h identified by alpine linux source build

  requires action with the application:
  CodeQL#9384:Pull request#9379openedbyneeraj9
  neeraj9:fix-missing-cstdint-alpine

  Oct 30, 2026Action required
  More actions for workflow run 9384

• re-baseline include-what-you-use after ubuntu-latest bump

  failed:
  CodeQL#9383:Pull request#9378openedbykroening
  include-what-you-use-cleanup

  Oct 29, 202638m 49s
  More actions for workflow run 9383

• downgrade check-clang-format CI job to ubuntu-22.04

  failed:
  CodeQL#9382:Pull request#9377openedbykroening
  github-clang-format-job

  Oct 29, 202628m 7s
  More actions for workflow run 9382

• Doc: Do not put architectural pages into module_hidden

  failed:
  CodeQL#9381:Pull request#9375openedbymkannwischer
  mkannwischer:doc-fix-hidden-pages

  Oct 29, 202639m 7s
  More actions for workflow run 9381

• Merge pull request #9104 from diffblue/error_exceptiont

  failed:
  CodeQL#9380:Commit03bd072pushedbykroening
  develop

  Oct 28, 20265h 35m 25s
  More actions for workflow run 9380

• SMT2: parse values of bit-fields

  failed:
  CodeQL#9379:Pull request#9278synchronizebytautschnig
  tautschnig:kiro/rr-2-16-smt2-parse-bitfield

  Oct 28, 202613h 20m 58s
  More actions for workflow run 9379

• Goto conversion: convert __builtin_isgreater and friends to expressions

  failed:
  CodeQL#9378:Pull request#9280synchronizebytautschnig
  tautschnig:kiro/rr-2-18-isgreater-crash

  Oct 28, 202613h 1m 6s
  More actions for workflow run 9378

• C library: pthread_rwlock_unlock must accept write locks

  failed:
  CodeQL#9377:Pull request#9273synchronizebytautschnig
  tautschnig:kiro/rr-2-08-rwlock-unlock

  Oct 28, 202612h 59m 29s
  More actions for workflow run 9377

• Fill in hostent fields in gethostbyname/gethostbyaddr/gethostent

  failed:
  CodeQL#9376:Pull request#9254synchronizebytautschnig
  tautschnig:kiro/rr-1-13-gethostent

  Oct 28, 202612h 44m 14s
  More actions for workflow run 9376

• Fix constant shift distances above INT_MAX in SAT backend

  failed:
  CodeQL#9375:Pull request#9281synchronizebytautschnig
  tautschnig:kiro/rr-2-21-boolbv-huge-shift

  Oct 28, 202612h 20m 40s
  More actions for workflow run 9375

• Incremental SMT2: fix nested array address scaling

  failed:
  CodeQL#9374:Pull request#9284synchronizebytautschnig
  tautschnig:kiro/rr-2-33-incr-smt2-nested-array-addr

  Oct 28, 202612h 42m 46s
  More actions for workflow run 9374

• Fix alignment of structs with unnamed bit-fields

  failed:
  CodeQL#9373:Pull request#9246synchronizebytautschnig
  tautschnig:kiro/rr-1-05-unnamed-bitfield-alignment

  Oct 28, 202612h 37m 55s
  More actions for workflow run 9373

• SMT2: fix extractbit with a non-constant index

  failed:
  CodeQL#9372:Pull request#9295synchronizebytautschnig
  tautschnig:kiro/rr-37-extractbit-index-cast

  Oct 28, 202612h 16m 37s
  More actions for workflow run 9372

• C library: pthread_rwlock_rdlock must allow concurrent readers

  failed:
  CodeQL#9371:Pull request#9257synchronizebytautschnig
  tautschnig:kiro/rr-1-17-rwlock-rdlock

  Oct 28, 202612h 24m 50s
  More actions for workflow run 9371

• Fix getopt model to advance optind after each option

  failed:
  CodeQL#9370:Pull request#9263synchronizebytautschnig
  tautschnig:kiro/rr-1-25-getopt

  Oct 28, 202612h 2m 54s
  More actions for workflow run 9370

• Fix C11 call_once and thrd_create library models

  failed:
  CodeQL#9369:Pull request#9255synchronizebytautschnig
  tautschnig:kiro/rr-1-15-c11-call-once

  Oct 28, 202611h 58m 54s
  More actions for workflow run 9369

• Incremental SMT2: fix shift extension for mismatched widths

  failed:
  CodeQL#9368:Pull request#9283synchronizebytautschnig
  tautschnig:kiro/rr-2-32-incr-smt2-shift-width

  Oct 28, 202611h 49m 2s
  More actions for workflow run 9368

• C library: strcpy/strcat overlap checks must compare byte ranges

  failed:
  CodeQL#9367:Pull request#9271synchronizebytautschnig
  tautschnig:kiro/rr-2-05-strcpy-overlap

  Oct 28, 202611h 20m 51s
  More actions for workflow run 9367

• C library: sqrt models must round correctly in all rounding modes

  failed:
  CodeQL#9366:Pull request#9244synchronizebytautschnig
  tautschnig:kiro/rr-1-02-sqrt-rne

  Oct 28, 202611h 19m 17s
  More actions for workflow run 9366

• Use enum underlying type for integer promotion

  failed:
  CodeQL#9365:Pull request#9247synchronizebytautschnig
  tautschnig:kiro/rr-1-06-enum-underlying-type

  Oct 28, 202611h 10m 36s
  More actions for workflow run 9365

• C library: fdim must return NaN for NaN arguments

  failed:
  CodeQL#9364:Pull request#9266synchronizebytautschnig
  tautschnig:kiro/rr-1-28-fdim-nan

  Oct 28, 202610h 59m 29s
  More actions for workflow run 9364

• Fix fesetround model to reject invalid rounding modes

  failed:
  CodeQL#9363:Pull request#9265synchronizebytautschnig
  tautschnig:kiro/rr-1-27-fesetround

  Oct 28, 202610h 54m 58s
  More actions for workflow run 9363

• Fix pthread_key_create: make key counter process-wide

  failed:
  CodeQL#9362:Pull request#9258synchronizebytautschnig
  tautschnig:kiro/rr-1-20-key-create

  Oct 28, 202610h 51m 9s
  More actions for workflow run 9362

• C library: close model returns -1/EBADF for negative fds

  failed:
  CodeQL#9361:Pull request#9260synchronizebytautschnig
  tautschnig:kiro/rr-1-22-close-ebadf

  Oct 28, 202610h 45m 14s
  More actions for workflow run 9361