Public | Automated Build

Last pushed: 2 years ago
Short Description
KLEE + LLVM 3.4
Full Description

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.

Docker Pull Command
Owner
mbrt
Source Repository