klee / klee

KLEE Symbolic Execution Engine

https://klee-se.org/

klee/klee Issues

bug in klee images
Updated 3 months ago1
KLEE Crashing on Bitcode While Executing Initial LLVM Passes
Updated 3 months ago1
Low Coverage Reported by KLEE as well as GCOV on Coreutils v9.0 Utilities
Closed 4 months ago4
[BUG]: stucking at 99% during building in NixOS
Updated 4 months ago18
Support LLVM 17
Updated 4 months ago
Have Ubuntu systems fall back to build scripts for "Debian" if there isn't an "ubuntu" variant available.
Updated 4 months ago4
Tests failures with llvm 15 and 16
Closed 4 months ago13
Add support for freeze
Updated 4 months ago
KLEE failed to get concrete value for arguments when calling void ObjectState::flushToConcreteStore()
Updated 4 months ago1
KLEE missing an error on symbolic array access
Closed 4 months ago4
kleeRuntest seems to be missing in aarch64 target
Closed 4 months ago1
Segmentation fault in klee::AddressSpace::~AddressSpace()
Closed 4 months ago3
Klee-replay fails! Signed integer overflow
Closed 4 months ago1
KLEE missing an error when dropping an assumption
Closed 5 months ago5
test case Feature/CompressedExprLogging.c cannot cover test point.
Updated 5 months ago1
Issues Encountered When Compiling findutils Using wllvm
Closed 5 months ago4
Mapping Path Constraint to the Acutal Path in Source Code
Closed 5 months ago1
halt_execution doesn't force the solver to stop
Updated 5 months ago2
Question about --make-concrete-symbolic
Closed 5 months ago2
Question about: Use KLEE to Test GNU Coreutils.
Closed 6 months ago
Evaluate Profile-Guided Optimization (PGO)
Updated 6 months ago2
klee-replay fails to run with -sym-arg and bitcode with klee_make_symbolic call
Updated 6 months ago2
Arithmetic right shift does not preserve sign on overshift
Updated 7 months ago1
Performance regression with newer KLEE versions
Closed 7 months ago10
Calling memcmp()
Closed 7 months ago2
KLEE misses assertion violation with option --use-fast-cex-solver
Updated 7 months ago1
[Tutorial one: Replaying a test case] gcc cannot find the libkleeRuntest library ('-lkleeRuntest') .
Closed 8 months ago3
KLEE crashes with option --cex-cache-exp
Closed 8 months ago3
I want to construct the control flow graph in klee,how can I get it?
Closed 8 months ago1
performance issue on changing klee_assume from (a ==1) to (a==0 || a==1)
Closed 8 months ago6
not work on "ternary operator"
Closed 10 months ago6
Add support for ARM
Closed a year ago1
Batched concolic path constraints retrieval (seed mode)
Closed a year ago1
"warning: Linking two modules of different target triples" when using KLEE via Docker with the `--libc=uclibc` option
Updated a year ago4
Different behaviors, when not found function in module in -libc=klee and -libc=uclibc
Closed a year ago1
Not an int attribute
Closed a year ago5
Some confusion about how to get KLEE to perform symbolic execution on a file (or a function) in redis (llvm bitcode generation)
Closed a year ago3
[CMake] Building against dynamic LLVM system builds fails.
Closed a year ago4
Incorrect link library rule
Updated a year ago
cmake: only use TCMALLOC when specified in build flags
Updated a year ago7
does KLEE support union?
Closed a year ago
Can klee support logic operation between two ConstraintSet?
Closed a year ago1
Compilation Fail
Closed a year ago4
Question about how to link other libs?
Closed a year ago1
Issue in generating paths in KLEE
Closed a year ago5
Error occurs when calling python-API in klee-2.3
Closed 2 years ago1
question about mailing list
Closed 2 years ago1
can't execute KLEE on target compiled as "-m32" on ubuntu 16.04
Closed 2 years ago1
Wrong variable name observed in `.ktest` file
Updated 2 years ago5
Track source-level program state when debug info is present
Updated 2 years ago3