mbrt/klee
Minimal Docker image for KLEE with LLVM 3.4 on Ubuntu Trusty.
Run this image from within your workspace. You can than build your test files using clang -emit-llvm
, and then test it with KLEE commands: klee
, ktest-tool
, etc.
cd your/workspace
docker run --rm -tiv `pwd`:/work mbrt/klee
Mit. See LICENSE file.
docker pull mbrt/klee