Skip to content

Issues: AliveToolkit/alive2

Beta
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

73 Open 470 Closed
73 Open 470 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

wrong alignment inference in asm mode
#1214 opened Jun 18, 2025 by regehr
False negative due to possibly incomplete handling of memory(argmem: ...)
#1213 opened Jun 17, 2025 by antoniofrighetto
wrong source is always UB memory Memory Model
#1212 opened Jun 16, 2025 by nunoplopes
Try the new Z3 euf-completion tactic performance Opportunities for improving performance
#1211 opened Jun 7, 2025 by nunoplopes
False positive with byval semantics when parameter is refined to readnone
#1208 opened Jun 2, 2025 by antoniofrighetto
1
Type check failure with llvm.frexp.{f16/f64}.i32
#1204 opened May 17, 2025 by dtcxzyw
possible bug in initializes semantics
#1202 opened May 5, 2025 by regehr
bug in minnum and maxnum
#1201 opened May 1, 2025 by regehr
2
questionable mismatch in memory in assembly mode
#1191 opened Apr 22, 2025 by regehr
1
False positive with gep nuw
#1189 opened Apr 21, 2025 by dtcxzyw
implement new initializes semantics
#1187 opened Apr 7, 2025 by nunoplopes
extern_weak globals may be nullptr
#1185 opened Mar 31, 2025 by workingjubilee
1
apparent spurious alarm in IR directly from C
#1184 opened Mar 27, 2025 by regehr
1
Possible false positive when combining initializes with memory(...)
#1183 opened Mar 26, 2025 by antoniofrighetto
feature request: block poison-generating inputs in asm mode
#1181 opened Mar 24, 2025 by regehr
Function incorrectly assumed not to capture the address?
#1180 opened Mar 17, 2025 by tmiasko
Change CI so it runs all tests
#1177 opened Mar 4, 2025 by nunoplopes
1
misleading output for infinite loop?
#1171 opened Feb 15, 2025 by regehr
non-asm-mode crash
#1170 opened Feb 13, 2025 by regehr
possibly-spurious assembly-mode mismatch in memory
#1161 opened Jan 16, 2025 by regehr
a spurious asm-mode "source more defined than target" that doesn't stem from int2ptr
#1157 opened Jan 6, 2025 by regehr
add support for stripping noalias from function call
#1148 opened Dec 30, 2024 by regehr
1
initializes attribute for pointers not supported memory Memory Model
#1125 opened Dec 1, 2024 by regehr
5
Comparison of escaped pointers too non-deterministic memory Memory Model
#1113 opened Nov 20, 2024 by nunoplopes
1
False positive with nocapture memory Memory Model
#1086 opened Sep 9, 2024 by nikic
3
ProTip! Updated in the last three days: updated:>2025-06-15.