Sign inSign up

comsys/klee-dev-base

By comsys

•Updated about 7 years ago

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

Image
0

735

Tags for comsys/klee-dev-base

Sort by

TAG

llvm38

Last pushed about 7 years by comsys

docker pull comsys/klee-dev-base:llvm38
DigestOS/ARCHCompressed size

0184afc27ee4

linux/amd64

855.8 MB

TAG

latest

Last pushed about 7 years by comsys

docker pull comsys/klee-dev-base:latest
DigestOS/ARCHCompressed size

0184afc27ee4

linux/amd64

855.8 MB

TAG

llvm37

Last pushed over 7 years by comsys

docker pull comsys/klee-dev-base:llvm37
DigestOS/ARCHCompressed size

a669dd3d26ed

linux/amd64

841.41 MB