docker pull comsys/klee-dev-fpbench-prebuilt:latest git clone -b tool_exchange_03.05.2017_rebase_extra_bug_fixes https://github.com/srg-imperial/klee-float.git cd klee-float scripts/docker_aachen_build.sh
After the scripts execute you will have a docker image on your system
called klee-dev-fpbench-patched-final
.
You can then get a shell inside a container using that image by running
docker run --rm -ti klee-dev-fpbench-patched-final
Just follow the upstream KLEE instructions but
klee.h
)libkleeRuntest.so
)virtualenv venv # Set up shell (this assumes you use Bash) source venv/bin/activate
git clone https://github.com/delcypher/symex-fp-bench.git cd symex-fp-bench/benchmarks/c git clone https://github.com/delcypher/fp-benchmarks-imperial.git imperial git clone https://github.com/danielschemmel/fp-benchmarks-aachen aachen cd ../../../ # Install python dependencies pip install -r symex-fp-bench/requirements.txt # Configure build mkdir build cd build KLEE_NATIVE_RUNTIME_LIB_DIR=/path/to/klee/build/lib/ \ KLEE_NATIVE_RUNTIME_INCLUDE_DIR=/path/to/klee/src/include/ \ cmake ../symex-fp-bench/ # Compile make
git clone https://github.com/delcypher/symex-fp-bench.git cd symex-fp-bench/benchmarks/c git clone https://github.com/delcypher/fp-benchmarks-imperial.git imperial git clone https://github.com/danielschemmel/fp-benchmarks-aachen aachen cd ../../../ # Install python dependencies pip install -r symex-fp-bench/requirements.txt # Install wllvm pip install wllvm export LLVM_COMPILER=clang # Configure build mkdir build cd build KLEE_NATIVE_RUNTIME_LIB_DIR=/path/to/klee/build/lib/ \ KLEE_NATIVE_RUNTIME_INCLUDE_DIR=/path/to/klee/src/include/ \ CC=wllvm \ CXX=wllvm++ \ cmake -DWLLVM_RUN_EXTRACT_BC=ON ../symex-fp-bench/ # Compile make