CodeQL

Workflow runs for CodeQL

• C library: models of strtol_l, strtoul_l, strtoll_l and strtoull_l

  failed:
  CodeQL#9556:Pull request#9444openedbytautschnig
  tautschnig:pr/c-strtol-l-family

  Nov 10, 20261h 0m 33s
  More actions for workflow run 9556

• library_check: exclude tests.log from regression/cbmc-library scan

  failed:
  CodeQL#9555:Pull request#9443openedbytautschnig
  tautschnig:pr/c-library-check-tests-log

  Nov 10, 20261h 7m 57s
  More actions for workflow run 9555

• C library: link the model of _InterlockedIncrement

  failed:
  CodeQL#9554:Pull request#9442openedbytautschnig
  tautschnig:pr/c-interlocked-increment

  Nov 10, 20261h 6m 22s
  More actions for workflow run 9554

• C library: model of uselocale

  failed:
  CodeQL#9553:Pull request#9441openedbytautschnig
  tautschnig:pr/c-uselocale

  Nov 10, 20261h 3m 27s
  More actions for workflow run 9553

• C library: localeconv returns the "C" locale's values

  failed:
  CodeQL#9552:Pull request#9440openedbytautschnig
  tautschnig:pr/c-localeconv

  Nov 10, 202649m 56s
  More actions for workflow run 9552

• ansi-c library: model strtoll, strtoul and strtoull

  failed:
  CodeQL#9551:Pull request#9439openedbytautschnig
  tautschnig:pr/c-strtoll-strtoul-strtoull

  Nov 10, 202639m 38s
  More actions for workflow run 9551

• C library: exact integer conversions in the model of vsnprintf

  failed:
  CodeQL#9550:Pull request#9438openedbytautschnig
  tautschnig:pr/c-vsnprintf-integer-conversions

  Nov 10, 202651m 8s
  More actions for workflow run 9550

• C library: models of memchr and __builtin_char_memchr

  failed:
  CodeQL#9549:Pull request#9437openedbytautschnig
  tautschnig:pr/c-memchr

  Nov 10, 202639m 25s
  More actions for workflow run 9549

• C library: the time.c model builds with clang on Linux

  failed:
  CodeQL#9548:Pull request#9436openedbytautschnig
  tautschnig:pr/c-time-clang-pragma

  Nov 10, 202638m 56s
  More actions for workflow run 9548

• CPROVER library: __builtin_X falls back to the model of X

  failed:
  CodeQL#9547:Pull request#9434synchronizebytautschnig
  tautschnig:pr/c-builtin-fallback-to-model

  Nov 10, 202632m 16s
  More actions for workflow run 9547

• CPROVER library: __builtin_X falls back to the model of X

  failed:
  CodeQL#9546:Pull request#9434openedbytautschnig
  tautschnig:pr/c-builtin-fallback-to-model

  Nov 10, 20261h 19m 51s
  More actions for workflow run 9546

• CPROVER library: strstr and strpbrk

  failed:
  CodeQL#9545:Pull request#9433openedbytautschnig
  tautschnig:pr/c-strstr-strpbrk

  Nov 10, 20261h 6m 4s
  More actions for workflow run 9545

• C library: __builtin_memcpy and __builtin_memmove, and zero bytes from null

  failed:
  CodeQL#9544:Pull request#9432openedbytautschnig
  tautschnig:pr/c-memcpy-memmove-models

  Nov 10, 202658m 31s
  More actions for workflow run 9544

• ansi-c library: model __builtin_assume_aligned

  failed:
  CodeQL#9543:Pull request#9431openedbytautschnig
  tautschnig:pr/c-assume-aligned-builtin

  Nov 10, 20261h 1m 17s
  More actions for workflow run 9543

• Merge pull request #9414 from tautschnig/pr/clang-format-cpp20

  failed:
  CodeQL#9542:Commit107a1e5pushedbykroening
  develop

  Nov 10, 20263h 16m 14s
  More actions for workflow run 9542

• SMT2 back-end: only values under `as const' for cvc5

  failed:
  CodeQL#9541:Pull request#9419synchronizebytautschnig
  tautschnig:pr/smt2-cvc5-as-const

  Nov 10, 20263h 44m 2s
  More actions for workflow run 9541

• Simplifier: a sizeof factor of one keeps its annotation

  failed:
  CodeQL#9540:Pull request#9421synchronizebytautschnig
  tautschnig:pr/simplify-sizeof-factor-one

  Nov 10, 20263h 29m 58s
  More actions for workflow run 9540

• C++ front end tests: C++11

  failed:
  CodeQL#9539:Pull request#9411synchronizebytautschnig
  tautschnig:pr/cpp-tests-cpp11

  Nov 10, 20264h 19m 10s
  More actions for workflow run 9539

• SMT2 back-end: declare a quantified logic when quantifiers are emitted

  failed:
  CodeQL#9538:Pull request#9417synchronizebytautschnig
  tautschnig:pr/smt2-quantified-logic

  Nov 10, 20262h 40m 3s
  More actions for workflow run 9538

• C++ front end tests: C++98/03 and unversioned

  failed:
  CodeQL#9537:Pull request#9408synchronizebytautschnig
  tautschnig:pr/cpp-tests-cpp98

  Nov 10, 20263h 15m 26s
  More actions for workflow run 9537

• Byte-operator lowering: a negative constant offset

  failed:
  CodeQL#9536:Pull request#9428synchronizebytautschnig
  tautschnig:pr/byte-extract-negative-offset

  Nov 10, 20262h 53m 31s
  More actions for workflow run 9536

• Simplify relations of pointers to distinct objects to false

  failed:
  CodeQL#9535:Pull request#9430openedbytautschnig
  tautschnig:pr/simplify-distinct-object-relations

  Nov 10, 20263h 15m 54s
  More actions for workflow run 9535

• Simplifier: a struct member read through byte operations of other bytes

  failed:
  CodeQL#9534:Pull request#9429openedbytautschnig
  tautschnig:pr/simplify-struct-member-byte-ops

  Nov 10, 20263h 21m 52s
  More actions for workflow run 9534

• Byte-operator lowering: a negative constant offset

  failed:
  CodeQL#9533:Pull request#9428openedbytautschnig
  tautschnig:pr/byte-extract-negative-offset

  Nov 10, 20263h 28m 36s
  More actions for workflow run 9533

• util: simplify p - p to 0 for identical pointer operands

  failed:
  CodeQL#9532:Pull request#9427openedbytautschnig
  tautschnig:pr/simplify-pointer-minus-itself

  Nov 10, 20263h 4m 50s
  More actions for workflow run 9532