Sign inSign up

comsys/klee-dev-fat

By comsys

•Updated about 7 years ago

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

Image
1

791

Tags for comsys/klee-dev-fat

Sort by

TAG

llvm38

Last pushed about 7 years by comsys

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

a622a3da5f23

linux/amd64

1.56 GB

TAG

latest

Last pushed about 7 years by comsys

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

a622a3da5f23

linux/amd64

1.56 GB

TAG

llvm37

Last pushed over 7 years by comsys

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

06de52ea5ff5

linux/amd64

1.51 GB