Public Repository

Last pushed: 3 years ago
Short Description
KLEE+llvm 2.9 eval image (w/ sources).
Full Description

KLEE bundled with llvm 2.9 and configured to Release+Asserts. This is a evaluation version and includes sources (!) running on debian jessie/sid and the 3.10-2 Linux kernel.

Note: If you only want to try out klee, you can still use this image, but you will get the entire SDK. The "release" only relates to the configure option, as performance evaluation will depend on how llvm and klee were built. If you only want the binary, check out the petrhosek/klee image.

Docker Pull Command