comsys/klee-dev-base-prebuilt

•Updated about 7 years ago

A minimal Docker image to getting started with the symbolic execution engine KLEE.

Image

718

Tags for comsys/klee-dev-base-prebuilt

Sort by

TAG

llvm38

Last pushed about 7 years by comsys

docker pull comsys/klee-dev-base-prebuilt:llvm38

Digest	OS/ARCH	Compressed size
4fe95ca54117	linux/amd64	1.59 GB

TAG

latest

Last pushed about 7 years by comsys

docker pull comsys/klee-dev-base-prebuilt:latest

Digest	OS/ARCH	Compressed size
4fe95ca54117	linux/amd64	1.59 GB

TAG

llvm37

Last pushed over 7 years by comsys

docker pull comsys/klee-dev-base-prebuilt:llvm37

Digest	OS/ARCH	Compressed size
5bb0de1eabb6	linux/amd64	2.01 GB