/scripts/
../
IStatsMerge.py
IStatsSum.py
klee-control
klee-gcc
objdump