Sign inSign up

klee/klee_deps:34_O_ND_NA_stp2.1.2_klee_uclibc_v1.0.0

Manifest digest

sha256:9ef7fdeaa4ee16e194f1f395adaf87b3fd730ef5470050e62875b7e4d295d17d

OS/ARCH

linux/amd64

Compressed size

426.72 MB

Last pushed

about 8 years by kleedev

Type

Image

Manifest digest

sha256:9ef7fdeaa4ee16e194f1f395adaf87b3fd730ef5470050e62875b7e4d295d17d

Image Layers

Image Layers

1ADD file ... in / 41.12 MB
2/bin/sh -c set -xe &&853 B
3/bin/sh -c rm -rf /var/lib/apt/lists/*619 B
4/bin/sh -c sed -i 's/^#\s*\(deb.*universe\)$/\1/g'851 B
5/bin/sh -c mkdir -p /run/systemd168 B
6CMD ["/bin/bash"]0 B
7LABEL maintainer=Martin Nowack <[email protected]>0 B
8ENV DOCKER_BUILD=10 B
9ARG BASE=/tmp0 B
10ADD multi:19d03fb15835177eaf38575b78d9b04d2b24cd7a9bb95e9bb929d7e3e6d3971d in scripts/build/ 11.04 KB
11|1 BASE=/tmp /bin/sh -c scripts/build/dependencies-ubuntu.sh182 MB
12WORKDIR /tmp0 B
13LABEL maintainer=Martin Nowack <[email protected]>0 B
14ENV DOCKER_BUILD=10 B
15ARG BASE=/tmp0 B
16ARG DISABLE_ASSERTIONS0 B
17ARG ENABLE_OPTIMIZED0 B
18ARG ENABLE_DEBUG0 B
19ARG KEEP_BUILD0 B
20ARG KEEP_SRC0 B
21ARG KLEE_TRAVIS_BUILD0 B
22ARG LLVM_VERSION0 B
23ARG PACKAGED0 B
24ARG REQUIRES_RTTI0 B
25ARG SANITIZER_BUILD0 B
26ARG TRAVIS_OS_NAME0 B
27WORKDIR /tmp0 B
28ADD multi:b91dd5bdab9965c05ef337de2802c6d047e9b9d80b6813e861e66876c42d521e in scripts/build/ 11.08 KB
29|8 BASE=/tmp DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 KEEP_BUILD=0109.22 MB
30LABEL maintainer=Martin Nowack <[email protected]>0 B
31ENV DOCKER_BUILD=10 B
32ARG BASE=/tmp0 B
33ARG DISABLE_ASSERTIONS0 B
34ARG ENABLE_OPTIMIZED0 B
35ARG ENABLE_DEBUG0 B
36ARG KEEP_BUILD0 B
37ARG KEEP_SRC0 B
38ARG KLEE_TRAVIS_BUILD0 B
39ARG LLVM_VERSION0 B
40ARG METASMT_BOOST_VERSION0 B
41ARG METASMT_DEFAULT0 B
42ARG METASMT_VERSION0 B
43ARG REQUIRES_RTTI0 B
44ARG SOLVERS0 B
45ARG SANITIZER_BUILD0 B
46ARG STP_VERSION0 B
47ARG STORAGE_SPACE_OPTIMIZED=10 B
48ARG TRAVIS_OS_NAME0 B
49ARG Z3_VERSION0 B
50WORKDIR /tmp0 B
51ADD multi:b91dd5bdab9965c05ef337de2802c6d047e9b9d80b6813e861e66876c42d521e in scripts/build/ 11.08 KB
52|11 BASE=/tmp DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 KEEP_BUILD=083.57 MB
53LABEL maintainer=Martin Nowack <[email protected]>0 B
54ARG BASE=/tmp0 B
55ARG DISABLE_ASSERTIONS0 B
56ARG ENABLE_OPTIMIZED0 B
57ARG ENABLE_DEBUG0 B
58ARG KEEP_BUILD0 B
59ARG KEEP_SRC0 B
60ARG KLEE_TRAVIS_BUILD0 B
61ARG KLEE_UCLIBC0 B
62ARG LLVM_VERSION0 B
63ARG LLVM_SUFFIX0 B
64ARG REQUIRES_RTTI0 B
65ARG SANITIZER_BUILD0 B
66ARG TRAVIS_OS_NAME0 B
67ARG USE_TCMALLOC0 B
68ENV DOCKER_BUILD=10 B
69ADD multi:b91dd5bdab9965c05ef337de2802c6d047e9b9d80b6813e861e66876c42d521e in scripts/build/ 11.08 KB
70|10 BASE=/tmp DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 KEEP_BUILD=0459.61 KB
71|10 BASE=/tmp DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 KEEP_BUILD=01.17 MB
72|10 BASE=/tmp DISABLE_ASSERTIONS=1 ENABLE_OPTIMIZED=1 KEEP_BUILD=09.14 MB

Command

ADD file:d37ff24540ea7700d0fc053e1996b234428a88f3a324d7fcbd83d8ef95318040 in /