Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #7947 from tautschnig/bugfixes/vector-constant CodeQL #4907: Commit 09236f9 pushed by kroening
October 18, 2023 08:03 1h 9m 7s develop
develop
October 18, 2023 08:03 1h 9m 7s
Use goto-analyzer to add assumptions, assertions and code contracts CodeQL #4906: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 30m 34s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 30m 34s
Use goto-analyzer to add assumptions, assertions and code contracts CodeQL #4905: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 28m 12s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 28m 12s
Merge pull request #7933 from tautschnig/features/simplify-be-bu CodeQL #4903: Commit c1ef4df pushed by tautschnig
October 16, 2023 21:08 1h 10m 29s develop
develop
October 16, 2023 21:08 1h 10m 29s
Merge pull request #7962 from thomasspriggs/tas/const_cast_fixes CodeQL #4902: Commit db9c799 pushed by tautschnig
October 16, 2023 21:07 1h 10m 53s develop
develop
October 16, 2023 21:07 1h 10m 53s
Fix a pair of issues where const was (unintentionally) cast away CodeQL #4901: Pull request #7962 opened by thomasspriggs
October 16, 2023 18:18 1h 8m 55s thomasspriggs:tas/const_cast_fixes
thomasspriggs:tas/const_cast_fixes
October 16, 2023 18:18 1h 8m 55s
Merge pull request #7961 from thomasspriggs/tas/smt_union_member CodeQL #4899: Commit 05ccb75 pushed by thomasspriggs
October 16, 2023 09:18 1h 29m 59s develop
develop
October 16, 2023 09:18 1h 29m 59s
Build and infrastructure fixes for FreeBSD CodeQL #4898: Pull request #7924 synchronize by tautschnig
October 13, 2023 22:35 1h 10m 41s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 22:35 1h 10m 41s
Build and infrastructure fixes for FreeBSD CodeQL #4897: Pull request #7924 synchronize by tautschnig
October 13, 2023 21:03 1h 12m 13s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 21:03 1h 12m 13s
Build and infrastructure fixes for FreeBSD CodeQL #4896: Pull request #7924 synchronize by tautschnig
October 13, 2023 21:00 1h 8m 54s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 21:00 1h 8m 54s
Add support for union member expressions in incremental smt2 decision procedure CodeQL #4895: Pull request #7961 opened by thomasspriggs
October 13, 2023 20:08 1h 30m 35s thomasspriggs:tas/smt_union_member
thomasspriggs:tas/smt_union_member
October 13, 2023 20:08 1h 30m 35s
Adds an over-approximation for syscall function CodeQL #4894: Pull request #7937 synchronize by feliperodri
October 13, 2023 18:25 1h 11m 53s feliperodri:add-model-syscall
feliperodri:add-model-syscall
October 13, 2023 18:25 1h 11m 53s
Build and infrastructure fixes for FreeBSD CodeQL #4893: Pull request #7924 synchronize by tautschnig
October 13, 2023 13:45 1h 46m 3s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 13:45 1h 46m 3s
Build and infrastructure fixes for FreeBSD CodeQL #4892: Pull request #7924 synchronize by tautschnig
October 13, 2023 13:27 1h 10m 8s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 13:27 1h 10m 8s
Build and infrastructure fixes for FreeBSD CodeQL #4891: Pull request #7924 synchronize by tautschnig
October 13, 2023 12:17 1h 12m 24s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 12:17 1h 12m 24s
Build and infrastructure fixes for FreeBSD CodeQL #4890: Pull request #7924 synchronize by tautschnig
October 13, 2023 11:24 1h 10m 35s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 11:24 1h 10m 35s
Mimic GCC/Clang simplification behaviour when type checking ?: CodeQL #4889: Pull request #7959 opened by tautschnig
October 13, 2023 10:30 1h 7m 16s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
October 13, 2023 10:30 1h 7m 16s
Simplify byte_extract(byte_update(...)) when extracting from update CodeQL #4888: Pull request #7933 synchronize by tautschnig
October 13, 2023 09:57 1h 8m 7s tautschnig:features/simplify-be-bu
tautschnig:features/simplify-be-bu
October 13, 2023 09:57 1h 8m 7s
Restrict memory-analyzer build to Linux x86_64/i386 CodeQL #4887: Pull request #7958 opened by tautschnig
October 13, 2023 09:28 1h 13m 1s tautschnig:bugfixes/memory-analyzer-config
tautschnig:bugfixes/memory-analyzer-config
October 13, 2023 09:28 1h 13m 1s
C front-end: typecheck conditional operator over string literal and 0 CodeQL #4886: Pull request #7946 synchronize by tautschnig
October 13, 2023 09:07 1h 11m 2s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
October 13, 2023 09:07 1h 11m 2s
Merge pull request #7956 from tautschnig/bugfixes/7949-comparison CodeQL #4884: Commit a531056 pushed by tautschnig
October 12, 2023 19:13 1h 41m 37s develop
develop
October 12, 2023 19:13 1h 41m 37s
std::sort requires strict weak ordering CodeQL #4883: Pull request #7956 opened by tautschnig
October 12, 2023 14:32 1h 12m 20s tautschnig:bugfixes/7949-comparison
tautschnig:bugfixes/7949-comparison
October 12, 2023 14:32 1h 12m 20s
Merge pull request #7955 from diffblue/20231012-CHANGELOG-update CodeQL #4882: Commit a997e32 pushed by TGWDB
October 12, 2023 13:44 1h 22m 8s develop
develop
October 12, 2023 13:44 1h 22m 8s
update CHANGELOG for last minute bug fixes CodeQL #4881: Pull request #7955 opened by TGWDB
October 12, 2023 11:47 1h 26m 42s 20231012-CHANGELOG-update
20231012-CHANGELOG-update
October 12, 2023 11:47 1h 26m 42s
Merge pull request #7948 from diffblue/20231011-cbmc-5.94.0 CodeQL #4880: Commit 2833356 pushed by TGWDB
October 12, 2023 11:42 1h 31m 0s develop
develop
October 12, 2023 11:42 1h 31m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.