Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unwindsett: goto_model is only needed for options processing CodeQL #7129: Pull request #8643 synchronize by tautschnig
June 25, 2025 07:31 31m 1s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
June 25, 2025 07:31 31m 1s
Merge pull request #8645 from tautschnig/move-unwindsett CodeQL #7128: Commit 7a6e2f7 pushed by kroening
June 25, 2025 04:08 48m 49s develop
develop
June 25, 2025 04:08 48m 49s
Add aarch64 (Arm 64-bit) CI job CodeQL #7127: Pull request #8572 synchronize by tautschnig
June 24, 2025 15:01 30m 27s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 15:01 30m 27s
Merge pull request #8659 from tautschnig/goto-analyzer-typecast CodeQL #7126: Commit 4e21449 pushed by tautschnig
June 24, 2025 15:01 49m 19s develop
develop
June 24, 2025 15:01 49m 19s
Simplify multiple-of-element size access to arrays CodeQL #7125: Pull request #8627 synchronize by tautschnig
June 24, 2025 14:13 29m 58s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 24, 2025 14:13 29m 58s
Add aarch64 (Arm 64-bit) CI job CodeQL #7124: Pull request #8572 synchronize by tautschnig
June 24, 2025 14:09 30m 3s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 14:09 30m 3s
Simplify multiple-of-element size access to arrays CodeQL #7123: Pull request #8627 synchronize by tautschnig
June 24, 2025 13:20 31m 39s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 24, 2025 13:20 31m 39s
Add aarch64 (Arm 64-bit) CI job CodeQL #7122: Pull request #8572 synchronize by tautschnig
June 24, 2025 13:16 32m 19s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 13:16 32m 19s
Merge pull request #8647 from tautschnig/value-set-offset CodeQL #7121: Commit 0beaf25 pushed by tautschnig
June 24, 2025 12:49 49m 13s develop
develop
June 24, 2025 12:49 49m 13s
Add aarch64 (Arm 64-bit) CI job CodeQL #7120: Pull request #8572 synchronize by tautschnig
June 24, 2025 12:46 29m 56s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 12:46 29m 56s
Add aarch64 (Arm 64-bit) CI job CodeQL #7119: Pull request #8572 synchronize by tautschnig
June 24, 2025 12:17 30m 12s tautschnig:arm-ci
tautschnig:arm-ci
June 24, 2025 12:17 30m 12s
Value set: lift offset from numeric constants to expressions CodeQL #7118: Pull request #8647 synchronize by tautschnig
June 24, 2025 11:23 31m 36s tautschnig:value-set-offset
tautschnig:value-set-offset
June 24, 2025 11:23 31m 36s
Value set: lift offset from numeric constants to expressions CodeQL #7117: Pull request #8647 synchronize by tautschnig
June 20, 2025 22:13 33m 0s tautschnig:value-set-offset
tautschnig:value-set-offset
June 20, 2025 22:13 33m 0s
Merge pull request #8642 from tautschnig/simp-value-set CodeQL #7116: Commit eef9677 pushed by tautschnig
June 20, 2025 22:12 48m 16s develop
develop
June 20, 2025 22:12 48m 16s
goto-analyzer: support typecasts as left-hand sides CodeQL #7115: Pull request #8659 synchronize by tautschnig
June 20, 2025 21:32 30m 5s tautschnig:goto-analyzer-typecast
tautschnig:goto-analyzer-typecast
June 20, 2025 21:32 30m 5s
Merge pull request #8657 from tautschnig/fixup-linker-script-merge CodeQL #7114: Commit 0bb2d02 pushed by tautschnig
June 20, 2025 21:06 54m 51s develop
develop
June 20, 2025 21:06 54m 51s
Merge pull request #8658 from tautschnig/no-m64 CodeQL #7113: Commit 7e1a97a pushed by tautschnig
June 20, 2025 20:49 55m 11s develop
develop
June 20, 2025 20:49 55m 11s
Merge pull request #8584 from tautschnig/signed-read CodeQL #7112: Commit 8e49f91 pushed by tautschnig
June 20, 2025 20:02 53m 19s develop
develop
June 20, 2025 20:02 53m 19s
Introduce value-set supported simplifier for goto-symex CodeQL #7111: Pull request #8642 synchronize by tautschnig
June 20, 2025 19:58 33m 38s tautschnig:simp-value-set
tautschnig:simp-value-set
June 20, 2025 19:58 33m 38s
Avoid need for preprocessor calls with -m64 CodeQL #7110: Pull request #8658 synchronize by tautschnig
June 20, 2025 19:45 30m 4s tautschnig:no-m64
tautschnig:no-m64
June 20, 2025 19:45 30m 4s
fixup! fix exprt::opX accesses in linker_script_merge CodeQL #7109: Pull request #8657 synchronize by tautschnig
June 20, 2025 19:45 30m 21s tautschnig:fixup-linker-script-merge
tautschnig:fixup-linker-script-merge
June 20, 2025 19:45 30m 21s
Merge pull request #8660 from tautschnig/use-vs-2025 CodeQL #7108: Commit c9653bd pushed by kroening
June 19, 2025 08:46 48m 20s develop
develop
June 19, 2025 08:46 48m 20s
Fix loop assign clause for Kani CodeQL #7107: Pull request #8661 opened by thanhnguyen-aws
June 18, 2025 15:21 48m 46s thanhnguyen-aws:fixloopassign
thanhnguyen-aws:fixloopassign
June 18, 2025 15:21 48m 46s
CI: use Visual Studio 2025 runners instead of 2019 CodeQL #7106: Pull request #8660 opened by tautschnig
June 17, 2025 14:57 48m 43s tautschnig:use-vs-2025
tautschnig:use-vs-2025
June 17, 2025 14:57 48m 43s
goto-analyzer: support typecasts as left-hand sides CodeQL #7105: Pull request #8659 opened by tautschnig
June 17, 2025 13:44 44m 4s tautschnig:goto-analyzer-typecast
tautschnig:goto-analyzer-typecast
June 17, 2025 13:44 44m 4s