lifting-bits / klee

KLEE Symbolic Execution Engine

http://klee.github.io/

lifting-bits/klee Issues

Build Failed
Updated 4 years ago
Support LLVM 9.0
Updated 5 years ago
Missing Semantics
Updated 5 years ago
Occasionally crash at evalConstant or z3SolverImpl after initial lift
Closed 5 years ago1
loop not unrolled warning messages print everywhere in llvm-8.0 build
Updated 5 years ago
klee_overshiift_check intrinsic errors out the executor. The issue has been temporarily resolved from an addition to the klee special function handler.
Closed 5 years ago