Search results

Softening "function unreachable" asserts

Status: Open.

#30 In davidtr1037/chopper;

· jordr opened on Dec 4, 2019

Skipping getenv gives "unbound load" and "memory error: out of bound pointer"

Status: Open.

#29 In davidtr1037/chopper;

· jordr opened on Dec 4, 2019

"failed external call" on bc and --posix-runtime

Status: Open.

#28 In davidtr1037/chopper;

· jordr opened on Dec 4, 2019

"Bad signature" LLVM assert raised when replacing calls with wrappers

Status: Open.

#27 In davidtr1037/chopper;

· jordr opened on Dec 4, 2019

make error

Status: Open.

#25 In davidtr1037/chopper;

· everpall opened on Dec 20, 2018

Port to LLVM 3.8

Status: Open.

#23 In davidtr1037/chopper;

· roachspray opened on Apr 12, 2018

CVE 2014 now crashes

Status: Open.

#22 In davidtr1037/chopper;

· andreamattavelli opened on Oct 3, 2017

Reduce sa.log size

enhancement

Status: Open.

#15 In davidtr1037/chopper;

· andreamattavelli opened on Aug 14, 2017

Optimization: avoid expensive slicing when everything is concrete

enhancement

Status: Open.

#14 In davidtr1037/chopper;

· andreamattavelli opened on Aug 10, 2017

KLEE crashes on dwarfdump

Status: Open.

#11 In davidtr1037/chopper;

· andreamattavelli opened on Aug 4, 2017

KLEE crashes on Coreutils 6.10 ptx

Status: Open.

#4 In davidtr1037/chopper;

· andreamattavelli opened on Jul 27, 2017

ReturnToVoidFunction pass does not properly handle functions that return structs

Status: Open.

#3 In davidtr1037/chopper;

· andreamattavelli opened on Jul 21, 2017