Sign inSign up

comsys/klee-dev-fat-prebuilt

By comsys

•Updated about 7 years ago

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

Image
0

1.1K

Tags for comsys/klee-dev-fat-prebuilt

Sort by

TAG

llvm38

Last pushed about 7 years by comsys

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

312d410918f8

linux/amd64

2.31 GB

TAG

latest

Last pushed about 7 years by comsys

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

312d410918f8

linux/amd64

2.31 GB

TAG

llvm37

Last pushed over 7 years by comsys

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

3eae25b2682a

linux/amd64

2.7 GB