Skip to content

Issues: verifast/verifast

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

86 Open 162 Closed
86 Open 162 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

Enforce effective types for specified-width integer types unsoundness
#504 opened May 15, 2024 by btj
Pointer arithmetic assertion not hold with another pointer arith assertion as precondition
#380 opened Oct 23, 2023 by farmerzhang1
1
Unsoundness: const declared objects are writable
#366 opened Jul 30, 2023 by docprofsky
Fix C++ inheritance issues
#361 opened May 22, 2023 by btj
@NielsMommen
Parse errors for C expressions with unary operators
#359 opened Mar 9, 2023 by MartinSpiessl
[FreeRTOS] Parse error for nested unions or structs
#341 opened Nov 14, 2022 by tobireinhard
[FreeRTOS] Parse error for attributes
#340 opened Nov 14, 2022 by tobireinhard
[FreeRTOS] Parse error for fixed size array typedefs
#339 opened Nov 14, 2022 by tobireinhard
[FreeRTOS] Parse error due to order of type qualifiers long and unsigned
#338 opened Nov 14, 2022 by tobireinhard
[FreeRTOS] (Potentially) Non-pure runtime assertions
#337 opened Nov 14, 2022 by tobireinhard
4
Bug right shift
#323 opened Oct 21, 2022 by vranckxrobin
1
Request for support for this error message Taking the address of this expression is not supported.
#320 opened Oct 6, 2022 by eleehiga
Request for support for this error message: VeriFast does not currently support taking the bitwise complement (~) of an unsigned integer except as part of a bitwise AND (x & ~y).
#319 opened Oct 6, 2022 by eleehiga
A union type with a body is not supported in this position.
#313 opened Sep 15, 2022 by eleehiga
Superfluous limits check on cast
#308 opened Aug 17, 2022 by markrtuttle
3
z3v4.5+SMTLib (experimental) output is not verified by z3 command line
#307 opened Aug 4, 2022 by stephengaito
1
aarch64: bitops.c :: int_of_bits_of_int : z3 can not prove: ensures x == int_of_bits(fst(bits_of_int(x, n)), snd(bits_of_int(x, n)))
#304 opened Aug 2, 2022 by stephengaito
3
Ubuntu 22.04 LTS: setup-build.sh Unable to locate package libgtksourceview2.0-dev
#302 opened Jul 21, 2022 by stephengaito
8
Parse error with last semicolon in a c file
#297 opened Jun 29, 2022 by eleehiga
Request for support for recursive inclusions
#294 opened Jun 27, 2022 by eleehiga
Request for support for local function pointer declarations
#291 opened Jun 24, 2022 by eleehiga
Error message for bad &*& could be improved.
#280 opened Jun 6, 2022 by anders-was-here
Parse errors that are false positives and chunks not added to symbolic heap correctly
#275 opened May 27, 2022 by eleehiga
33
Stack overflow when true-biased branches are heavily nested
#249 opened Nov 6, 2021 by jpdoyle
6
Redux stack overflow
#240 opened Aug 2, 2021 by jpdoyle
1
ProTip! Add no:assignee to see everything that’s not assigned.