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

Clear current search query, filters, and sorts
12 Open 30 Closed
12 Open 30 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
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

CBMC contracts crash when dynamic allocation is not in the harness. More info needed
#8317 opened Jun 6, 2024 by jaisnan
@jaisnan
5
Generate SMT-LIB More info needed
#8279 opened May 9, 2024 by MJJ-Shuai
4
How to verify a pointer from an external interface? More info needed question
#7598 opened Mar 15, 2023 by zpzigi754
@TGWDB @zpzigi754
4
CBMC incorrectly identify nonexistent loop aws Bugs or features of importance to AWS CBMC users More info needed
#7506 opened Jan 26, 2023 by celinval
@thomasspriggs
13
CBMC regression test label clash More info needed
#7484 opened Jan 17, 2023 by esteffin
@esteffin
2
[QUESTION] Initializing large arrays More info needed question
#6990 opened Jul 5, 2022 by elsonkurian1991
@elsonkurian1991
5
__CPROVER_assume doesn't work as expected with large constant More info needed
#6890 opened May 27, 2022 by HclX
5
Invariant check failed File: ../util/irep.h:573 function: remove_ref Condition: old_data->ref_count != 0 Reason: Precondition More info needed
#6429 opened Nov 2, 2021 by srogatch
@srogatch
1
Document what inline asm is supported aws Bugs or features of importance to AWS CBMC users documentation Kani Bugs or features of importance to Kani Rust Verifier More info needed
#6374 opened Sep 30, 2021 by danielsn
@danielsn
1
Lack of support for CFString functions aws Bugs or features of importance to AWS CBMC users More info needed
#6129 opened May 19, 2021 by feliperodri
@feliperodri
1
Deactivating field-sensitivity in Cprover 5.12 More info needed question
#5824 opened Feb 13, 2021 by sepideha
5
Incompleteness with uninitialized pointer fields in dynamic objects aws Bugs or features of importance to AWS CBMC users More info needed
#5519 opened Oct 8, 2020 by kenmcmil
12
ProTip! What’s not been updated in a month: updated:<2025-04-14.