Some utils for the KLEE symbolic execution engine
-
To generate
.ktest
file when symbolic variables are created using the APIklee_make_symbolic
gen-ktest --sym-vars seed.txt seed.ktest
-
To generate
.ktest
file when the input file is symbolic
gen-ktest --sym-file A seed.txt seed.ktest
The tool will generate a input file with nameA
from the content ofhello.txt
.
- From the
.ktest
file (often output of KLEE), grab the content of the file
load-ktest seed.ktest seed.txt