Public Repository

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

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

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

Docker Pull Command
Owner
comsys

Comments (0)