kleedev/uclibc:klee_uclibc_v1.2_60_ubuntu_bionic-20200112

Manifest digest

sha256:4dbc9a01b832a359181d3b46c7d4c10e7ea6b1963932c466d7823c389eab9fb6

OS/ARCH

linux/amd64

Compressed size

36.13 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:4dbc9a01b832a359181d3b46c7d4c10e7ea6b1963932c466d7823c389eab9fb6

Image Layers

1ADD file ... in / 25.45 MB

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

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

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

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

6COPY dir:4270359b2d9b5de7bbd5c0fd59993e48f0f282d96b70e7cd3fe7da861c00a107 in /opt/klee-uclibc-60 10.64 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /