Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,045 workflow runs
1,045 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move rounding_mode_identifier() to configt CodeQL #7229: Pull request #6555 synchronize by tautschnig
July 28, 2025 18:09 1h 9m 56s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
July 28, 2025 18:09 1h 9m 56s
Reading/writing goto binaries: consistently use return values CodeQL #7228: Pull request #7643 synchronize by tautschnig
July 28, 2025 18:06 1h 12m 42s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 18:06 1h 12m 42s
Mimic GCC/Clang simplification behaviour when type checking ?: CodeQL #7227: Pull request #7959 synchronize by tautschnig
July 28, 2025 18:02 51m 24s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 18:02 51m 24s
Symex guards: avoid unnecessary duplicate negation CodeQL #7226: Pull request #8041 synchronize by tautschnig
July 28, 2025 18:00 51m 47s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
July 28, 2025 18:00 51m 47s
C++ front-end: support explicit type conversion with braced-init-list CodeQL #7225: Pull request #8385 synchronize by tautschnig
July 28, 2025 17:57 49m 8s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 17:57 49m 8s
Remove dynamic_cast from hardness collection code paths CodeQL #7224: Pull request #8423 synchronize by tautschnig
July 28, 2025 17:53 34m 6s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 17:53 34m 6s
Mimic GCC/Clang simplification behaviour when type checking ?: CodeQL #7223: Pull request #7959 synchronize by tautschnig
July 28, 2025 11:47 1h 55m 15s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 28, 2025 11:47 1h 55m 15s
goto-symex: apply_condition should not change L2 index CodeQL #7222: Pull request #6993 synchronize by tautschnig
July 28, 2025 11:39 2h 3m 45s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 28, 2025 11:39 2h 3m 45s
Fix goto-symex' auto-objects feature CodeQL #7221: Pull request #7177 synchronize by tautschnig
July 28, 2025 11:38 1h 47m 14s tautschnig:feature/auto-objects
tautschnig:feature/auto-objects
July 28, 2025 11:38 1h 47m 14s
C front-end: ensure array type updates are consistent CodeQL #7220: Pull request #7610 synchronize by tautschnig
July 28, 2025 11:37 1h 47m 25s tautschnig:bugfixes/7608-array-size-nil
tautschnig:bugfixes/7608-array-size-nil
July 28, 2025 11:37 1h 47m 25s
Reading/writing goto binaries: consistently use return values CodeQL #7219: Pull request #7643 synchronize by tautschnig
July 28, 2025 11:37 1h 32m 0s tautschnig:cleanup/rw-goto-binary-return-value
tautschnig:cleanup/rw-goto-binary-return-value
July 28, 2025 11:37 1h 32m 0s
Move __CPROVER_uninterpreted_* conversion to C type checker CodeQL #7218: Pull request #8280 synchronize by tautschnig
July 28, 2025 11:35 1h 40m 50s tautschnig:bugfixes/uif-in-quantifier
tautschnig:bugfixes/uif-in-quantifier
July 28, 2025 11:35 1h 40m 50s
C++ front-end: support explicit type conversion with braced-init-list CodeQL #7217: Pull request #8385 synchronize by tautschnig
July 28, 2025 11:35 1h 27m 31s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 28, 2025 11:35 1h 27m 31s
C++ front-end: support constexpr CodeQL #7216: Pull request #8386 synchronize by tautschnig
July 28, 2025 11:34 1h 36m 44s tautschnig:features/cpp-constexpr
tautschnig:features/cpp-constexpr
July 28, 2025 11:34 1h 36m 44s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast CodeQL #7215: Pull request #8404 synchronize by tautschnig
July 28, 2025 11:34 1h 11m 14s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
July 28, 2025 11:34 1h 11m 14s
Remove dynamic_cast from hardness collection code paths CodeQL #7214: Pull request #8423 synchronize by tautschnig
July 28, 2025 11:33 1h 55m 26s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
July 28, 2025 11:33 1h 55m 26s
Value set: remove array-of-array special case CodeQL #7213: Pull request #8653 synchronize by tautschnig
July 28, 2025 11:32 1h 28m 12s tautschnig:no-special-case
tautschnig:no-special-case
July 28, 2025 11:32 1h 28m 12s
Perform simplification of not_exprt as preorder step CodeQL #7212: Pull request #7996 synchronize by tautschnig
July 28, 2025 11:29 1h 26m 12s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
July 28, 2025 11:29 1h 26m 12s
C library: Refine and improve stdio models CodeQL #7211: Pull request #8043 synchronize by tautschnig
July 28, 2025 11:25 31m 23s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
July 28, 2025 11:25 31m 23s
DFCC: do not surface confusing warning CodeQL #7210: Pull request #8694 synchronize by tautschnig
July 28, 2025 11:20 31m 9s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
July 28, 2025 11:20 31m 9s
Merge pull request #8696 from tautschnig/contracts-cleanup-includes CodeQL #7209: Commit 2e6200a pushed by tautschnig
July 28, 2025 11:19 50m 8s develop
develop
July 28, 2025 11:19 50m 8s
Merge pull request #8698 from tautschnig/remove-redundant-init CodeQL #7208: Commit f7cd7db pushed by kroening
July 26, 2025 18:59 50m 31s develop
develop
July 26, 2025 18:59 50m 31s
C library: remove explicit zero initialisers CodeQL #7207: Pull request #8698 opened by tautschnig
July 25, 2025 14:58 49m 10s tautschnig:remove-redundant-init
tautschnig:remove-redundant-init
July 25, 2025 14:58 49m 10s
Contracts instrumentation: hide unhelpful "no body" warnings CodeQL #7206: Pull request #8697 synchronize by tautschnig
July 25, 2025 13:22 30m 17s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 13:22 30m 17s
Contracts instrumentation: cleanup unnecessary includes CodeQL #7205: Pull request #8696 synchronize by tautschnig
July 25, 2025 12:41 31m 35s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
July 25, 2025 12:41 31m 35s