Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
962 workflow runs
962 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix --cover help CodeQL #7420: Pull request #8793 opened by tautschnig
32m 7s tautschnig:fix-cover-help
tautschnig:fix-cover-help
32m 7s
Refine symex pointer unsoundness CodeQL #7419: Pull request #8780 synchronize by tautschnig
34m 34s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
34m 34s
Fix basic block coverage with unsatisfiable ASSUME statements CodeQL #7418: Pull request #8791 synchronize by tautschnig
31m 58s tautschnig:fix-826-basic-block-assumes
tautschnig:fix-826-basic-block-assumes
31m 58s
Fix C++ ternary operator type checking for bitfield operands CodeQL #7417: Pull request #8792 opened by tautschnig
31m 32s tautschnig:fix-933-ternary-cpp
tautschnig:fix-933-ternary-cpp
31m 32s
Fix basic block coverage with unsatisfiable ASSUME statements CodeQL #7416: Pull request #8791 opened by tautschnig
31m 27s tautschnig:fix-826-basic-block-assumes
tautschnig:fix-826-basic-block-assumes
31m 27s
Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends CodeQL #7415: Pull request #8790 opened by tautschnig
4m 57s tautschnig:fix-2158-fixedbv-floatbv
tautschnig:fix-2158-fixedbv-floatbv
4m 57s
Refine symex pointer unsoundness CodeQL #7414: Pull request #8780 synchronize by tautschnig
34m 51s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
34m 51s
Fix Xen CI job by moving to GitHub mirror CodeQL #7413: Pull request #8789 opened by tautschnig
31m 18s tautschnig:use-github-xen-mirror
tautschnig:use-github-xen-mirror
31m 18s
goto-analyzer: fix reachable-functions analysis for inline functions CodeQL #7412: Pull request #8788 opened by tautschnig
46m 23s tautschnig:fix-5173-goto-analyzer
tautschnig:fix-5173-goto-analyzer
46m 23s
Add remove_java_new pass to jdiff and janalyzer tools CodeQL #7411: Pull request #8787 opened by tautschnig
46m 46s tautschnig:fix-3094-remove_java_new
tautschnig:fix-3094-remove_java_new
46m 46s
Fix misleading error message for --generate-function-body on existing bodies CodeQL #7410: Pull request #8786 opened by tautschnig
45m 54s tautschnig:fix-2974-generate-function-body-warning
tautschnig:fix-2974-generate-function-body-warning
45m 54s
Support reordered pointer operands in local_bitvector_analysis CodeQL #7409: Pull request #8785 opened by tautschnig
31m 16s tautschnig:fix-2689-pointer-sum-ops
tautschnig:fix-2689-pointer-sum-ops
31m 16s
goto-instrument: add early output file validation CodeQL #7408: Pull request #8784 opened by tautschnig
31m 30s tautschnig:fix-2593-goto-instrument-args
tautschnig:fix-2593-goto-instrument-args
31m 30s
Remove undefined-function-is-assume-false from goto-instrument CodeQL #7407: Pull request #8783 opened by tautschnig
31m 26s tautschnig:fix-2070-undefined-function
tautschnig:fix-2070-undefined-function
31m 26s
Refactor entry point validation towards symex-callers CodeQL #7406: Pull request #8782 opened by tautschnig
8m 24s tautschnig:fix-1847-entry-point-logic
tautschnig:fix-1847-entry-point-logic
8m 24s
Refactor basic block detection into standalone utility module CodeQL #7405: Pull request #8781 opened by tautschnig
31m 8s tautschnig:fix-1686-basic-block-refactor
tautschnig:fix-1686-basic-block-refactor
31m 8s
Refine symex pointer unsoundness CodeQL #7404: Pull request #8780 opened by tautschnig
33m 41s tautschnig:refine-symex-pointer-unsoundness
tautschnig:refine-symex-pointer-unsoundness
33m 41s
Fix handling of empty intervals in interval_template.h CodeQL #7403: Pull request #8779 opened by tautschnig
4h 7m 7s tautschnig:fix-8144-empty-interval
tautschnig:fix-8144-empty-interval
4h 7m 7s
Fix array_exprt handling in incremental SMT2 procedure CodeQL #7402: Pull request #8778 opened by tautschnig
3h 56m 55s tautschnig:fix-8080-inc-smt-array
tautschnig:fix-8080-inc-smt-array
3h 56m 55s
Implement incremental SMT2 support for bswap_exprt CodeQL #7401: Pull request #8777 opened by tautschnig
3h 46m 25s tautschnig:fix-8064-inc-smt-bswap
tautschnig:fix-8064-inc-smt-bswap
3h 46m 25s
Implement SMT2 incremental support for arithmetic integers CodeQL #7400: Pull request #8776 opened by tautschnig
3h 35m 27s tautschnig:fix-8074-inc-smt-integer
tautschnig:fix-8074-inc-smt-integer
3h 35m 27s
C front-end: recognize __builtin_inff() as constant expression CodeQL #7399: Pull request #8775 opened by tautschnig
3h 28m 55s tautschnig:fix-8710-builtin_inff
tautschnig:fix-8710-builtin_inff
3h 28m 55s
Add saturating arithmetic support to SMT2 incremental solver CodeQL #7398: Pull request #8774 opened by tautschnig
3h 41m 29s tautschnig:fix-8070-inc-smt-saturating
tautschnig:fix-8070-inc-smt-saturating
3h 41m 29s
Fix _Generic selection for pointer-to-array types CodeQL #7397: Pull request #8749 synchronize by tautschnig
3h 22m 46s tautschnig:fix-8690-_Generic
tautschnig:fix-8690-_Generic
3h 22m 46s
C front-end: reject invalid array declarators CodeQL #7396: Pull request #8773 opened by tautschnig
2h 53m 21s tautschnig:fix-132-array-decl
tautschnig:fix-132-array-decl
2h 53m 21s