Skip to content

Issues: diffblue/cbmc

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

356 Open 875 Closed
356 Open 875 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Make C++ support more visible
#8272 opened May 1, 2024 by intrigus-lgtm
Unsoundness of JBMC in the presence of Multithreading.
#8264 opened Apr 26, 2024 by ben-Draeger
@peterschrammel
3
JBMC does not support AtomicBoolean.
#8263 opened Apr 26, 2024 by ben-Draeger
@peterschrammel
1
CodeQL reports potential double free in XML parser
#8262 opened Apr 26, 2024 by tautschnig
1
What are the semantics of (repeated) declaration and DEAD for a single symbol?
#8258 opened Apr 12, 2024 by tautschnig
1
CBMC 5.95.1 reporting wrong line number if assertion is long bug
#8257 opened Apr 9, 2024 by christina1993
@tautschnig
2
goto-analyzer fails with an irep.data nullptr
#8256 opened Apr 5, 2024 by rurban
Invariant violation in local_bitvector_analysist when --export-file-local-symbols is used aws Bugs or features of importance to AWS CBMC users aws-medium
#8254 opened Apr 2, 2024 by remi-delmas-3000
Custom ipasir SAT implementation: "libcprover-cpp cannot be linked as dependency" error
#8249 opened Mar 20, 2024 by Geremia
1
Conversion error with _Generic + array C Front End
#8243 opened Mar 15, 2024 by P-p-H-d
@tautschnig
1
Memory blowup during typechecking aws Bugs or features of importance to AWS CBMC users aws-medium
#8228 opened Mar 5, 2024 by remi-delmas-3000
@tautschnig
--nondet-static-exclude silently fails aws Bugs or features of importance to AWS CBMC users aws-high bug
#8225 opened Mar 1, 2024 by feliperodri
Semantics of assert statements
#8223 opened Feb 27, 2024 by salvadorer
1
Add a new method to check whether a pointer points to a valid location aws Bugs or features of importance to AWS CBMC users feature request
#8217 opened Feb 22, 2024 by celinval
@tautschnig
2
Shadow memory does not currently work on big-endian architectures bug
#8207 opened Feb 16, 2024 by tautschnig
CBMC 5.95.1 misses an error for program with cast to pointer Pointer Modelling
#8200 opened Feb 9, 2024 by christina1993
1
Discrepancy between API specification and behavior for __CPROVER_r_ok More info needed
#8199 opened Feb 8, 2024 by celinval
@celinval
9
CBMC reporting incosistently assertion failures
#8196 opened Feb 7, 2024 by salvadorer
5
Xen integration test compilation fails
#8193 opened Feb 6, 2024 by polgreen
1
SMT solving is not invoked with --incremental-loop
#8185 opened Feb 5, 2024 by nianzelee
2
Unexpected failure with array_copy/array_equals aws Bugs or features of importance to AWS CBMC users aws-high pending merge
#8176 opened Feb 1, 2024 by remi-delmas-3000
1
1
Inconsistent results from pointer comparison Pointer Modelling
#8161 opened Jan 16, 2024 by Anthonysdu
1
Invariant violation due to float in C union when using SMT2 backend
#8147 opened Dec 21, 2023 by mgudemann
Bugs in multiple interval_template.h methods
#8144 opened Dec 20, 2023 by cesaro
Unsound optimization of pointer dereferencing
#8128 opened Dec 19, 2023 by cesaro
1
ProTip! Follow long discussions with comments:>50.