Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
2,073 workflow runs
2,073 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing cleanup CodeQL #4356: Pull request #7798 opened by tautschnig
July 7, 2023 21:05 1h 29m 37s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 7, 2023 21:05 1h 29m 37s
Work around further spurious GCC12 maybe-uninitialized warnings CodeQL #4355: Pull request #7797 opened by tautschnig
July 7, 2023 21:03 1h 4m 59s tautschnig:features/gcc12
tautschnig:features/gcc12
July 7, 2023 21:03 1h 4m 59s
Fix groff syntax errors in man pages CodeQL #4354: Pull request #7796 opened by tautschnig
July 7, 2023 21:01 1h 3m 20s tautschnig:bugfixes/groff
tautschnig:bugfixes/groff
July 7, 2023 21:01 1h 3m 20s
Merge pull request #7795 from esteffin/esteffin/expr-initializer-unit… CodeQL #4353: Commit 6a689f3 pushed by esteffin
July 7, 2023 10:05 1h 20m 6s develop
develop
July 7, 2023 10:05 1h 20m 6s
Add std::move to reduce redundant copies CodeQL #4352: Pull request #7793 synchronize by sdingcn
July 7, 2023 02:34 1h 17m 23s sdingcn:develop
sdingcn:develop
July 7, 2023 02:34 1h 17m 23s
Add unit test for expr_initializer.cpp CodeQL #4351: Pull request #7795 synchronize by esteffin
July 6, 2023 23:56 1h 17m 9s esteffin:esteffin/expr-initializer-unit-test
esteffin:esteffin/expr-initializer-unit-test
July 6, 2023 23:56 1h 17m 9s
Extend expr_initializer to support byte-wise initialization CodeQL #4350: Pull request #7392 synchronize by esteffin
July 6, 2023 17:29 1h 17m 42s peterschrammel:per-byte-initializer
peterschrammel:per-byte-initializer
July 6, 2023 17:29 1h 17m 42s
Add unit test for expr_initializer.cpp CodeQL #4349: Pull request #7795 synchronize by esteffin
July 6, 2023 17:27 1h 8m 0s esteffin:esteffin/expr-initializer-unit-test
esteffin:esteffin/expr-initializer-unit-test
July 6, 2023 17:27 1h 8m 0s
Add unit test for expr_initializer.cpp CodeQL #4348: Pull request #7795 synchronize by esteffin
July 6, 2023 17:24 1h 2m 4s esteffin:esteffin/expr-initializer-unit-test
esteffin:esteffin/expr-initializer-unit-test
July 6, 2023 17:24 1h 2m 4s
Add unit test for expr_initializer.cpp CodeQL #4347: Pull request #7795 synchronize by esteffin
July 6, 2023 17:19 1h 3m 45s esteffin:esteffin/expr-initializer-unit-test
esteffin:esteffin/expr-initializer-unit-test
July 6, 2023 17:19 1h 3m 45s
Add unit test for expr_initializer.cpp CodeQL #4346: Pull request #7795 opened by esteffin
July 6, 2023 17:15 1h 23m 23s esteffin:esteffin/expr-initializer-unit-test
esteffin:esteffin/expr-initializer-unit-test
July 6, 2023 17:15 1h 23m 23s
Merge pull request #7794 from esteffin/new_cbmc_release-5.87.0 CodeQL #4345: Commit 5650fb9 pushed by esteffin
July 6, 2023 11:19 1h 29m 36s develop
develop
July 6, 2023 11:19 1h 29m 36s
Merge pull request #7762 from NlightNFotis/esteffin/verifier-only-ent… CodeQL #4344: Commit 79d8a9c pushed by esteffin
July 6, 2023 09:51 1h 11m 11s develop
develop
July 6, 2023 09:51 1h 11m 11s
Mark CBMC cbmc-5.87.0. CodeQL #4343: Pull request #7794 opened by esteffin
July 6, 2023 09:49 1h 14m 50s esteffin:new_cbmc_release-5.87.0
esteffin:new_cbmc_release-5.87.0
July 6, 2023 09:49 1h 14m 50s
Add std::move to reduce redundant copies CodeQL #4342: Pull request #7793 opened by sdingcn
July 6, 2023 01:46 1h 16m 52s sdingcn:develop
sdingcn:develop
July 6, 2023 01:46 1h 16m 52s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4341: Pull request #7788 synchronize by qinheping
July 5, 2023 23:17 1h 1m 50s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 5, 2023 23:17 1h 1m 50s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4340: Pull request #7788 synchronize by qinheping
July 5, 2023 23:16 1h 11m 20s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 5, 2023 23:16 1h 11m 20s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4339: Pull request #7788 synchronize by qinheping
July 5, 2023 22:38 1h 4m 51s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 5, 2023 22:38 1h 4m 51s
Add incremental SMT support for struct with and member expressions CodeQL #4338: Pull request #7787 synchronize by thomasspriggs
July 5, 2023 19:53 1h 3m 26s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 5, 2023 19:53 1h 3m 26s
Add goto-bmc, a new tool to run only the verifier CodeQL #4337: Pull request #7762 synchronize by esteffin
July 5, 2023 11:33 1h 13m 52s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
July 5, 2023 11:33 1h 13m 52s
Add goto-bmc, a new tool to run only the verifier CodeQL #4336: Pull request #7762 synchronize by thomasspriggs
July 4, 2023 16:03 1h 3m 2s NlightNFotis:esteffin/verifier-only-entry-point
NlightNFotis:esteffin/verifier-only-entry-point
July 4, 2023 16:03 1h 3m 2s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4335: Pull request #7788 synchronize by qinheping
July 3, 2023 22:05 1h 1m 37s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 3, 2023 22:05 1h 1m 37s
CONTRACTS: Add goto-level loop-contract annotation CodeQL #4334: Pull request #7788 synchronize by qinheping
July 3, 2023 22:03 1h 14m 59s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 3, 2023 22:03 1h 14m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-07-03 or the other filters available.