comsys/klee-dev-fat repository overview

This 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-fat-prebuilt image.

This image is recommended for development purposes, since it contains compared to the base-image further packages needed for development.