Skip to content

Issues: model-checking/kani

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
0 Open 1,141 Closed
0 Open 1,141 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

Spurious failure in pointer offset [C] Bug This is a bug. Something isn't working. [F] Soundness Kani failed to detect an issue [F] Spurious Failure Issues that cause Kani verification to fail despite the code being correct.
#3582 by zhassan-aws was closed Oct 10, 2024
1
6
Unexpected behavior for verify-std when run inside library directory [C] Bug This is a bug. Something isn't working.
#3574 by zhassan-aws was closed Oct 8, 2024
1
1
Kani driver crashes with cdylib and rlib [C] Bug This is a bug. Something isn't working. [F] Crash Kani crashed
#3569 by zhassan-aws was closed Oct 7, 2024
1
1
Toolchain upgrade to nightly-2024-09-26 failed
#3548 by github-actions bot was closed Sep 27, 2024
1
CBMC upgrade to 6.3.1 failed
#3536 by github-actions bot was closed Sep 24, 2024
1
Toolchain upgrade to nightly-2024-09-18 failed
#3534 by github-actions bot was closed Sep 24, 2024
1
Toolchain upgrade to nightly-2024-09-15 failed
#3530 by github-actions bot was closed Sep 22, 2024
1
Toolchain upgrade to nightly-2024-09-13 failed
#3525 by github-actions bot was closed Sep 21, 2024
1
1
Toolchain upgrade to nightly-2024-09-12 failed
#3521 by github-actions bot was closed Sep 18, 2024
1
1
Toolchain upgrade to nightly-2024-09-09 failed
#3512 by github-actions bot was closed Sep 17, 2024
1
CBMC upgrade to 6.2.0 failed
#3507 by github-actions bot was closed Sep 23, 2024
1
Toolchain upgrade to nightly-2024-09-07 failed
#3503 by github-actions bot was closed Sep 8, 2024
1
Kani does not detect UB when generating an invalid slice reference from an invalid slice pointer [C] Bug This is a bug. Something isn't working. [F] Soundness Kani failed to detect an issue
#3498 by celinval was closed Sep 18, 2024
1
@zhassan-aws
2
CI fails with latest CBMC [C] Bug This is a bug. Something isn't working.
#3497 by zhassan-aws was closed Sep 6, 2024
1
1
Emit annotated item in error message [C] Feature / Enhancement A new feature request or enhancement to an existing feature.
#3495 by zhassan-aws was closed Sep 7, 2024
1
1
Toolchain upgrade to nightly-2024-08-31 failed
#3477 by github-actions bot was closed Sep 1, 2024
Toolchain upgrade to nightly-2024-08-31 failed
#3476 by github-actions bot was closed Sep 1, 2024
@carolynzech
2
Toolchain upgrade to nightly-2024-08-29 failed
#3466 by github-actions bot was closed Aug 29, 2024
1
@carolynzech
Point-to-analysis fail if an instance does not have a body [C] Bug This is a bug. Something isn't working. Z-UnstableFeature Issues that only occur if a unstable feature is enabled
#3447 by celinval was closed Aug 19, 2024
1
@artemagvanian
4
ICE: index out of bounds, snapshot_vec.rs [C] Bug This is a bug. Something isn't working.
#3442 by matthiaskrgr was closed Aug 30, 2024
@carolynzech
1
Match expressions with | and variables causing spurious failure. [C] Bug This is a bug. Something isn't working. [F] Spurious Failure Issues that cause Kani verification to fail despite the code being correct.
#3432 by B-Lorentz was closed Aug 15, 2024
1
5
Toolchain upgrade to nightly-2024-08-08 failed
#3429 by github-actions bot was closed Aug 28, 2024
1
Can't add contract to function with lang item attribute [C] Bug This is a bug. Something isn't working. Z-Contracts Issue related to code contracts
#3427 by carolynzech was closed Aug 19, 2024
2
Stabilize pointer-to-reference cast validity checks [C] Internal Tracks some internal work. I.e.: Users should not be affected.
#3425 by artemagvanian was closed Aug 7, 2024
1
Toolchain upgrade to nightly-2024-08-04 failed
#3411 by github-actions bot was closed Aug 5, 2024
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.