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
7 Open 3 Closed
7 Open 3 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 5.95.1 misses an error for program with cast to pointer Pointer Modelling
#8200 opened Feb 9, 2024 by christina1993
1
Inconsistent results from pointer comparison Pointer Modelling
#8161 opened Jan 16, 2024 by Anthonysdu
1
Integer to pointer casting behaviour? Pointer Modelling
#8103 opened Dec 13, 2023 by ShaleXIONG
3
Support overflow plus/minus expressions over pointers aws Bugs or features of importance to AWS CBMC users do not merge Kani Bugs or features of importance to Kani Rust Verifier Pointer Modelling
#6881 opened May 24, 2022 by tautschnig Loading…
2 of 3 tasks
1
@tautschnig @kroening
3
CBMC should have a r_ok primitive that is indexed by number of elements, not number of bytes aws Bugs or features of importance to AWS CBMC users feature request Kani Bugs or features of importance to Kani Rust Verifier Pointer Modelling
#6751 opened Mar 23, 2022 by danielsn
2
Verification friendly memory resizing operation support aws Bugs or features of importance to AWS CBMC users Kani Bugs or features of importance to Kani Rust Verifier Pointer Modelling
#6261 opened Jul 30, 2021 by chinmaydd
@TGWDB
2
Address reuse of malloc cannot be detected aws Bugs or features of importance to AWS CBMC users Pointer Modelling soundness Soundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't. Version 6 Pull requests and issues requiring a major version bump
#2117 opened Apr 26, 2018 by peterschrammel
@tautschnig @remi-delmas-3000
@peterschrammel @TGWDB @jimgrundy
21
ProTip! Find all open issues with in progress development work with linked:pr.