klee/llvm:110_NO_D_A_memsan_ubuntu_bionic-20200807

Manifest digest

sha256:98b556d1880ad3fe18a2a7ee0e51a71fd85dd0be2ddfc60e77788cc7823d2acd

OS/ARCH

linux/amd64

Compressed size

1.44 GB

Last pushed

over 3 years by kleedev

Type

Image

Manifest digest

sha256:98b556d1880ad3fe18a2a7ee0e51a71fd85dd0be2ddfc60e77788cc7823d2acd

Image Layers

1ADD file ... in / 25.46 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&848 B

4/bin/sh -c mkdir -p /run/systemd163 B

5CMD ["/bin/bash"]0 B

6COPY dir:23c743b809947fad013d9f2773af767ee92c06c3622b55dab15eb55b7a2ec23f in /tmp/llvm-110-install_NO_D_A_memsan 1.41 GB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /