comsys/klee-dev-base repository overview

This minimal Docker image based on Arch Linux contains all sources to getting started with the symbolic execution engine KLEE.

Please note that you still need to compile the sources on your own - for a prebuilt version use the klee-dev-base-prebuilt image.

It is recommended to use this image only for demonstration purposes, since it has just a very basic set of packages installed.