Sign inSign up

klee/klee-440:latest

Manifest digest

sha256:cf2bf1c1964e082de46a031027ede5f758751ecdf3e8ff5f7927594fa1168873

OS/ARCH

linux/amd64

Compressed size

1.38 GB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:cf2bf1c1964e082de46a031027ede5f758751ecdf3e8ff5f7927594fa1168873

Image Layers

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:ae2dda4dfc9a6c7acbdb6425f66df5a0d9d66560d717eb4d945261d93139902d in /opt/llvm-60-install_O_D_A 627.73 MB
7COPY dir:be35688caf0af2129129ecff21054571b939e0f88a8fa900a4194e852628d201 in /opt/llvm-60 202.47 MB
8LABEL maintainer=KLEE Developers0 B
9COPY dir:ba80a084e1e1e93ab3a43ca3ea5e8e4f1dc0b6222452e2892b4f3f1d50930400 in /opt/ 459.55 KB
10COPY dir:eba14e204e44626aad0084c9ec2ae331c4a9b1704a6803bd01c1219879b3bf3b in /opt/ 10.64 MB
11COPY dir:196d02ef3e5f9b253750cbee5fd84eb5d52f8d08cf38bb07acdda6b903e5b196 in /opt/ 1.52 MB
12COPY dir:754105e98378e81c42fb351cdfdc7de4e31e681e17c8c04128aef8954b3ed885 in /opt/ 11.49 MB
13COPY dir:96bd7cee237ecc6d2a0ca37059f3b0f020c491d3886187a74cb6f23274d569bd in /opt/ 19.42 MB
14COPY dir:59cc7b480c115f5d361f72b2c6618f00fb7d323164c0a85dd07dbd0b2745303c in /opt/ 206.64 MB
15ENV COVERAGE=00 B
16ENV USE_TCMALLOC=10 B
17ENV BASE=/opt0 B
18ENV LLVM_VERSION=6.00 B
19ENV ENABLE_OPTIMIZED=10 B
20ENV ENABLE_DEBUG=10 B
21ENV DISABLE_ASSERTIONS=00 B
22ENV REQUIRES_RTTI=00 B
23ENV SOLVERS=STP:Z30 B
24ENV GTEST_VERSION=1.7.00 B
25ENV UCLIBC_VERSION=klee_uclibc_v1.20 B
26ENV LLVM_VERSION=6.00 B
27ENV TCMALLOC_VERSION=2.70 B
28ENV SANITIZER_BUILD=0 B
29ENV LLVM_VERSION=6.00 B
30ENV STP_VERSION=2.3.30 B
31ENV MINISAT_VERSION=master0 B
32ENV Z3_VERSION=4.8.40 B
33ENV USE_LIBCXX=10 B
34ENV KLEE_RUNTIME_BUILD=Debug+Asserts0 B
35LABEL maintainer=KLEE Developers0 B
36/bin/sh -c apt update &&79.55 MB
37COPY --chown=klee:kleedir:9934bc09c3c7b872dfcaab043e7273323b1733b50ad1e7c5c1d603b73ec81e9e in /opt/klee_src/ 2.71 MB
38/bin/sh -c /opt/klee_src/scripts/build/build.sh --debug --install-system-deps223.8 MB
39ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/llvm-60-install_O_D_A/bin:/home/klee/klee_build/bin0 B
40ENV BASE=/opt0 B
41ENV LLVM_COMPILER=clang0 B
42USER klee0 B
43WORKDIR /home/klee0 B
44ENV LD_LIBRARY_PATH=/home/klee/klee_build/lib/0 B
45/bin/sh -c /bin/bash -c 'ln203 B
46/bin/sh -c /bin/bash -c 'echo1.92 KB

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /