Skip to content

Pull requests: diffblue/cbmc

New pull request New
Clear current search query, filters, and sorts
48 Open 3,005 Closed
48 Open 3,005 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix goto-instrument --dump-c parameter/local variable name collision
#8804 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
1
Fix segfault in k-induction step case with nested loops
#8803 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
Fix invalid assumptions and invariants in GraphML witness generation
#8802 opened Dec 9, 2025 by tautschnig • Draft
2 of 3 tasks
1
Add regression test to ascertain struct hack support
#8801 opened Dec 9, 2025 by tautschnig Loading…
3 tasks done
1
1
Fix C frontend array type sync in goto program
#8799 opened Dec 9, 2025 by tautschnig • Draft
2 of 3 tasks
1
Fix variable initialization order in snapshot-harness aliasing pointers
#8798 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
Add edge case regression tests for --generate-function-body const handling
#8797 opened Dec 9, 2025 by tautschnig • Draft
3 tasks done
1
Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends
#8790 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
goto-analyzer: fix reachable-functions analysis for inline functions
#8788 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
1
Add remove_java_new pass to jdiff and janalyzer tools
#8787 opened Nov 30, 2025 by tautschnig • Draft
2 of 3 tasks
1
1
Implement SMT2 incremental support for arithmetic integers
#8776 opened Nov 30, 2025 by tautschnig • Draft
4 tasks done
1
C front-end: reject invalid array declarators
#8773 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Float constant propagation must observe rounding modes
#8772 opened Nov 30, 2025 by tautschnig • Draft
4 tasks done
1
Improve function pointer optimization for constant pointers
#8771 opened Nov 30, 2025 by tautschnig • Draft
4 tasks done
1
Add TweetNaCl constant-time verification regression test
#8769 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
1
Add tests of unicode character support in Java class file names
#8768 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Remove dubious module dependencies in goto-programs
#8767 opened Nov 30, 2025 by tautschnig • Draft
3 of 4 tasks
1
Java bytecode front-end: do not crash upon invalid class names
#8764 opened Nov 30, 2025 by tautschnig • Draft
2 of 3 tasks
2
Java bytecode front-end: fix main method detection
#8763 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Java bytecode front-end: fix static field is_static_lifetime flag
#8762 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Remove SSA thread suffix in goto trace address-of expressions
#8761 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Convert unit tests to Catch framework and fix compilation issues
#8760 opened Nov 30, 2025 by tautschnig • Draft
3 of 4 tasks
1
Fix virtual method resolution for Java Object parameters
#8759 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Fix incorrect line number reporting for long assertions in error messages
#8755 opened Nov 30, 2025 by tautschnig • Draft
3 tasks done
1
Detect repeated contract enforcement in goto-instrument
#8754 opened Nov 30, 2025 by tautschnig • Draft
2 of 3 tasks
1
ProTip! What’s not been updated in a month: updated:<2025-11-21.