Public Repository

Last pushed: 4 days ago
Short Description
A minimal Docker image to getting started with the symbolic execution engine KLEE.
Full Description

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.

Docker Pull Command
Owner
comsys

Comments (0)