Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Dockerfile
LICENSE
README.md

README.md

docker-klee

Minimal Docker image for KLEE with LLVM 3.4 on Ubuntu Trusty.

Usage

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

License

Mit. See LICENSE file.