klee/uclibc:klee_uclibc_v1.2_130_ubuntu_bionic-20200807

Manifest digest

sha256:0575d8b524d8c3e95a1e6963afb4494360469ff3544609891b1e0685a45409c7

OS/ARCH

linux/amd64

Compressed size

36.12 MB

Last pushed

almost 5 years by kleedev

Type

Image

Manifest digest

sha256:0575d8b524d8c3e95a1e6963afb4494360469ff3544609891b1e0685a45409c7

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:af1078ee1eeada966d7d1c8f2f16948f509270d07f730ef7f6e98865d6288835 in /tmp/klee-uclibc-130 10.63 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /