Search results

Data layout modeling

bug

Status: Open.

#1775 In klee/klee;

· davidtr1037 opened on Nov 30, 2025

Aarch64 support

Status: Open.

#1767 In klee/klee;

· RossComputerGuy opened on Sep 1, 2025

KLEE aborts on vector IR: Found unexpected type (<4 x i32>) at operand 0

Status: Open.

#1766 In klee/klee;

· Laurelli7 opened on Aug 14, 2025

Incorrect implementation of signed division

Status: Open.

#1755 In klee/klee;

· davidtr1037 opened on Dec 24, 2024

[llvm17] Error: unimplemented intrinsic

LLVM upgrade

Status: Open.

#1754 In klee/klee;

· jirislaby opened on Dec 9, 2024

About the unexpected error in the (std::nothrow) version of new together with initialization.

Status: Open.

#1742 In klee/klee;

· Deep-Cold opened on Aug 14, 2024

The issue of the --single-object-resolution option not working

Status: Open.

#1731 In klee/klee;

· xyz2k8 opened on Jun 23, 2024

Support symbolic-size allocations

Status: Open.

#1721 In klee/klee;

· davidtr1037 opened on Apr 24, 2024

Atexit handler not called after exit(2) using klee-libc

Status: Open.

#1719 In klee/klee;

· fwc opened on Apr 17, 2024

Some of the system tests fail

Status: Open.

#1717 In klee/klee;

· davidtr1037 opened on Apr 10, 2024

KLEE Crashing on Bitcode While Executing Initial LLVM Passes

Status: Open.

#1711 In klee/klee;

· bathooman opened on Mar 8, 2024

Support LLVM 17

Status: Open.

#1705 In klee/klee;

· chenrui333 opened on Mar 2, 2024