comsys/klee-dev-base-prebuilt repository overview

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

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