Issues

• missed alarm bug

  AliveToolkit/alive2#1360 · Filter by author regehr opened on Sep 23, 2026

• alive-exec returns poison for load from freshly calloc-ed memory

  AliveToolkit/alive2#1345 · Filter by author Roticv912 opened on Sep 7, 2026

• we need to implement ParamAttrs::NoFree

  AliveToolkit/alive2#1330 · Filter by author regehr opened on Jul 22, 2026
  1

• Alive fails to typecheck valid LLVM program with struct padding

  AliveToolkit/alive2#1328 · Filter by author Benjins opened on Jul 22, 2026
  1

• Alive fails to typecheck valid LLVM program

  AliveToolkit/alive2#1326 · Filter by author Benjins opened on Jul 16, 2026
  3

• alive-exec crashes with an assertion failure on a valid LLVM IR program

  AliveToolkit/alive2#1325 · Filter by author Roticv912 opened on Jul 5, 2026
  3

• New SMT choice operator

  enhancement
  AliveToolkit/alive2#1317 · Filter by author nunoplopes opened on May 28, 2026

• Construction of forest in LoopAnalysis::run missing loop headers?

  AliveToolkit/alive2#1305 · Filter by author jelvani opened on Apr 21, 2026

• byval unsoundness

  AliveToolkit/alive2#1295 · Filter by author regehr opened on Mar 16, 2026

• FnCall::toSMT asserts when allocsize(0) is used with aggregate return type

  AliveToolkit/alive2#1294 · Filter by author IamYJLee opened on Mar 16, 2026
  1

• Simplify memory state to remove sub-byte access data

  AliveToolkit/alive2#1289 · Filter by author nunoplopes opened on Feb 11, 2026

• Memory mismatch counterexample has wrong stored value

  enhancementmemory
  AliveToolkit/alive2#1280 · Filter by author nunoplopes opened on Jan 26, 2026

• Mismatch reported for nan values for promotion of half operation to float

  AliveToolkit/alive2#1279 · Filter by author arsenm opened on Jan 22, 2026

• ldexp intrinsic not understood

  AliveToolkit/alive2#1262 · Filter by author arsenm opened on Dec 17, 2025
  2

• getelementptr nuw appears not limited to index bits

  AliveToolkit/alive2#1251 · Filter by author nikic opened on Oct 21, 2025

• read from dead alloc should return poison

  memory
  AliveToolkit/alive2#1242 · Filter by author nunoplopes opened on Sep 11, 2025
  4

• Add support for allockind without allocsize

  memory
  AliveToolkit/alive2#1238 · Filter by author nunoplopes opened on Aug 29, 2025
  5

• new semantics for object size

  memory
  AliveToolkit/alive2#1227 · Filter by author nunoplopes opened on Jul 23, 2025
  6

• initializes causes severe Z3 error

  AliveToolkit/alive2#1220 · Filter by author pedroclobo opened on Jun 29, 2025
  3

• False negative due to possibly incomplete handling of memory(argmem: ...)

  AliveToolkit/alive2#1213 · Filter by author antoniofrighetto opened on Jun 17, 2025

• Try the new Z3 euf-completion tactic

  performance
  AliveToolkit/alive2#1211 · Filter by author nunoplopes opened on Jun 7, 2025
  1

• possible bug in initializes semantics

  AliveToolkit/alive2#1202 · Filter by author regehr opened on May 5, 2025
  2

• bug in minnum and maxnum

  floats
  AliveToolkit/alive2#1201 · Filter by author regehr opened on May 1, 2025
  3

• extern_weak globals may be nullptr

  AliveToolkit/alive2#1185 · Filter by author workingjubilee opened on Mar 31, 2025
  1

• Possible false positive when combining initializes with memory(...)

  AliveToolkit/alive2#1183 · Filter by author antoniofrighetto opened on Mar 26, 2025