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
22 Open 226 Closed
22 Open 226 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

Aliasing pre-condition not processed correctly if is_fresh clause it not standalone bug pending merge soundness Soundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.
#8492 opened Nov 4, 2024 by hanno-becker
1
3
__attribute__((packed)) incorrectly handled when used in member of a struct pending merge
#8443 opened Sep 5, 2024 by nianzelee
1
Incorrectly failing assertion in program with goto statements pending merge
#8437 opened Sep 3, 2024 by andreast271
1
1
Inconsistency in the results by different SMT solvers pending merge
#8300 opened May 21, 2024 by ArpitaDutta
3
Discrepancy between API specification and behavior for __CPROVER_r_ok Kani Bugs or features of importance to Kani Rust Verifier pending merge
#8199 opened Feb 8, 2024 by celinval
9
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
Goto-cc doesn't handle BUILD_BUG_ON_ZERO macro in Linux pending merge
#7927 opened Sep 27, 2023 by rodionov
1
3
Wrong result using __va_list_tag_type with multiple arguments bug C Front End pending merge
#7706 opened May 10, 2023 by evgeny7421
1
1
SSA conversion crash caused by extern array declaration pending merge
#7608 opened Mar 22, 2023 by andreast271
1
@TGWDB
1
Implement inductive check for assigns clauses in loop contracts aws Bugs or features of importance to AWS CBMC users Code Contracts Function and loop contracts pending merge research idea
#7208 opened Oct 5, 2022 by feliperodri
1
@qinheping
Performance issue with large arrays Array Theory aws Bugs or features of importance to AWS CBMC users pending merge
#7012 opened Jul 14, 2022 by SaswatPadhi
3
Handle pointer overflow in the back-end aws Bugs or features of importance to AWS CBMC users pending merge
#6842 opened May 4, 2022 by tautschnig
1
3
pragma check disable does not work as expected aws Bugs or features of importance to AWS CBMC users pending merge
#6452 opened Nov 10, 2021 by danielsn
1
2
Propagating information from assertions that hold to subsequent lines of code using __CPROVER_assume aws Bugs or features of importance to AWS CBMC users pending merge
#5505 opened Sep 24, 2020 by natasha-jeppu
1
5
XML output of properties lacks description pending merge
#3798 opened Jan 14, 2019 by tautschnig
1
goto-symex constant propagation peculiarities pending merge
#3095 opened Oct 4, 2018 by tautschnig
byte_update of unknown width error pending merge
#2652 opened Aug 1, 2018 by guyio
4
bv_cbmct::unbounded_arrayt::U_AUTO is never enabled pending merge
#2018 opened Apr 6, 2018 by tautschnig
1
Use clang address sanitizer in linux/clang CI pending merge
#832 opened Apr 14, 2017 by reuk
4
Pointer encoding renders comparison wrongly constant pending merge
#436 opened Jan 15, 2017 by tautschnig
1
Back-end encoding of pointers corrupts large offsets pending merge
#311 opened Nov 15, 2016 by martin-cs
1
5
Pointer encoding limits address space to 24bits for ILP32 enhancement pending merge Solvers
#94 opened May 20, 2016 by peterschrammel
1
ProTip! What’s not been updated in a month: updated:<2025-04-14.