Search results

read from dead alloc should return poison

memoryMemory ModelMemory Model

Status: Open.

#1242 In AliveToolkit/alive2;

· nunoplopes opened on Sep 11, 2025

Add support for allockind without allocsize

memoryMemory ModelMemory Model

Status: Open.

#1238 In AliveToolkit/alive2;

· nunoplopes opened on Aug 29, 2025

new semantics for object size

memoryMemory ModelMemory Model

Status: Open.

#1227 In AliveToolkit/alive2;

· nunoplopes opened on Jul 23, 2025

<code>initializes</code> causes severe Z3 error

Status: Open.

#1220 In AliveToolkit/alive2;

· pedroclobo opened on Jun 29, 2025

False negative due to possibly incomplete handling of <code>memory(argmem: ...)</code>

Status: Open.

#1213 In AliveToolkit/alive2;

· antoniofrighetto opened on Jun 17, 2025

Try the new Z3 <code>euf-completion</code> tactic

performanceOpportunities for improving performanceOpportunities for improving performance

Status: Open.

#1211 In AliveToolkit/alive2;

· nunoplopes opened on Jun 7, 2025

possible bug in <code>initializes</code> semantics

Status: Open.

#1202 In AliveToolkit/alive2;

· regehr opened on May 5, 2025

bug in minnum and maxnum

floatsFloating-point supportFloating-point support

Status: Open.

#1201 In AliveToolkit/alive2;

· regehr opened on May 1, 2025

<code>extern_weak</code> globals may be nullptr

Status: Open.

#1185 In AliveToolkit/alive2;

· workingjubilee opened on Mar 31, 2025

Possible false positive when combining <code>initializes</code> with <code>memory(...)</code>

Status: Open.

#1183 In AliveToolkit/alive2;

· antoniofrighetto opened on Mar 26, 2025

Function incorrectly assumed not to capture the address?

Status: Open.

#1180 In AliveToolkit/alive2;

· tmiasko opened on Mar 17, 2025

Change CI so it runs all tests

Status: Open.

#1177 In AliveToolkit/alive2;

· nunoplopes opened on Mar 4, 2025