ghcr.io/unittestbot/klee/klee:latest linux/amd64

Docker拉取命令

docker pull swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest
docker tag  swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest  ghcr.io/unittestbot/klee/klee:latest

Containerd拉取命令

ctr images pull swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest
ctr images tag  swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest  ghcr.io/unittestbot/klee/klee:latest

Shell快速替换命令

sed -i 's#ghcr.io/unittestbot/klee/klee:latest#swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest#' deployment.yaml

Ansible快速分发-Docker

#ansible k8s -m shell -a 'docker pull swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest && docker tag  swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest  ghcr.io/unittestbot/klee/klee:latest'

Ansible快速分发-Containerd

#ansible k8s -m shell -a 'ctr images pull swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest && ctr images tag  swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest  ghcr.io/unittestbot/klee/klee:latest'

镜像构建历史

# 2025-05-05 20:08:12  3.82KB 执行命令并创建新的镜像层
RUN /bin/sh -c /bin/bash -c 'echo "export LD_LIBRARY_PATH=$(cd ${BASE}/metaSMT-*-deps/stp-git-basic/lib/ && pwd):$LD_LIBRARY_PATH" >> /home/klee/.bashrc' # buildkit
                        
# 2025-05-05 20:08:11  53.00B 执行命令并创建新的镜像层
RUN /bin/sh -c /bin/bash -c 'ln -s ${BASE}/klee_src /home/klee/ && ln -s ${BASE}/klee_build* /home/klee/klee_build' # buildkit
                        
# 2025-05-05 20:08:11  0.00B 设置环境变量 LD_LIBRARY_PATH
ENV LD_LIBRARY_PATH=/home/klee/klee_build/lib/
                        
# 2025-05-05 20:08:11  26.00B 执行命令并创建新的镜像层
RUN /bin/sh -c sudo /bin/bash -c 'ln -s /tmp/klee_src/include/klee /usr/include/' # buildkit
                        
# 2025-05-05 20:08:11  0.00B 执行命令并创建新的镜像层
RUN /bin/sh -c /bin/bash -c 'echo "export \"PATH=$PATH:$(cd ${BASE}/llvm-*-install*/bin/ && pwd)\" >> /home/klee/.bashrc"' # buildkit
                        
# 2025-05-05 20:08:11  0.00B 设置环境变量 BASE
ENV BASE=/tmp
                        
# 2025-05-05 20:08:11  0.00B 设置环境变量 PATH
ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/tmp/llvm-140-install_O_D_A/bin:/home/klee/klee_build/bin:/home/klee/.local/bin
                        
# 2025-05-05 20:08:11  2.42GB 执行命令并创建新的镜像层
RUN /bin/sh -c /tmp/klee_src/scripts/build/build.sh --debug --install-system-deps klee && pip3 install flask wllvm &&     sudo rm -rf /var/lib/apt/lists/* # buildkit
                        
# 2025-05-05 20:03:17  0.00B 设置工作目录为/home/klee
WORKDIR /home/klee
                        
# 2025-05-05 20:03:17  0.00B 指定运行容器时使用的用户
USER klee
                        
# 2025-05-05 20:03:17  23.87MB 复制新文件或目录到容器中
COPY --chown=klee:klee . /tmp/klee_src/ # buildkit
                        
# 2025-05-05 20:03:17  292.14MB 执行命令并创建新的镜像层
RUN /bin/sh -c apt update && DEBIAN_FRONTEND=noninteractive apt -y --no-install-recommends install sudo emacs-nox vim-nox file python3-dateutil &&     rm -rf /var/lib/apt/lists/* &&     useradd -m klee &&     echo klee:klee | chpasswd &&     cp /etc/sudoers /etc/sudoers.bak &&     echo 'klee  ALL=(root) NOPASSWD: ALL' >> /etc/sudoers # buildkit
                        
# 2025-05-05 20:03:17  0.00B 添加元数据标签
LABEL maintainer=KLEEF Developers
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 IMMER_VERSION
ENV IMMER_VERSION=v0.8.1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 BITWUZLA_VERSION
ENV BITWUZLA_VERSION=0.7.0
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 JSON_VERSION
ENV JSON_VERSION=v3.11.3
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 SQLITE_VERSION
ENV SQLITE_VERSION=3400100
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 KLEE_RUNTIME_BUILD
ENV KLEE_RUNTIME_BUILD=Debug+Asserts
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 USE_LIBCXX
ENV USE_LIBCXX=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 Z3_VERSION
ENV Z3_VERSION=4.8.15
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 MINISAT_VERSION
ENV MINISAT_VERSION=master
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 STP_VERSION
ENV STP_VERSION=2.3.3
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 SANITIZER_BUILD
ENV SANITIZER_BUILD=
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 TCMALLOC_VERSION
ENV TCMALLOC_VERSION=2.9.1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 UCLIBC_VERSION
ENV UCLIBC_VERSION=klee_uclibc_v1.4
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 GTEST_VERSION
ENV GTEST_VERSION=1.16.0
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 SOLVERS
ENV SOLVERS=BITWUZLA:Z3:STP
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 REQUIRES_RTTI
ENV REQUIRES_RTTI=0
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 ENABLE_FP_RUNTIME
ENV ENABLE_FP_RUNTIME=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 ENABLE_WARNINGS_AS_ERRORS
ENV ENABLE_WARNINGS_AS_ERRORS=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 DISABLE_ASSERTIONS
ENV DISABLE_ASSERTIONS=0
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 ENABLE_DEBUG
ENV ENABLE_DEBUG=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 ENABLE_OPTIMIZED
ENV ENABLE_OPTIMIZED=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 ENABLE_DOXYGEN
ENV ENABLE_DOXYGEN=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 LLVM_VERSION
ENV LLVM_VERSION=14
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 BUILD_SUFFIX
ENV BUILD_SUFFIX=default
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 BASE
ENV BASE=/tmp
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 USE_TCMALLOC
ENV USE_TCMALLOC=1
                        
# 2025-05-05 20:03:17  0.00B 设置环境变量 COVERAGE
ENV COVERAGE=0
                        
# 2025-05-05 20:03:01  22.24MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:03:01  6.35MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:03:00  11.32MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:03:00  1.33GB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:02:41  22.52MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:02:41  61.30MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:02:41  35.64MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:02:41  5.35MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:02:41  60.57MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2025-05-05 20:02:38  4.04MB 复制新文件或目录到容器中
COPY /tmp /tmp/ # buildkit
                        
# 2024-04-06 21:00:03  0.00B 添加元数据标签
LABEL maintainer=KLEE Developers
                        
# 2024-04-06 21:00:03  7.61GB 复制新文件或目录到容器中
COPY /tmp/llvm-140-install_O_D_A /tmp/llvm-140-install_O_D_A # buildkit
                        
# 2023-01-26 12:58:02  0.00B 
/bin/sh -c #(nop)  CMD ["/bin/bash"]
                        
# 2023-01-26 12:58:02  77.81MB 
/bin/sh -c #(nop) ADD file:18e71f049606f6339ce7a995839623f50e6ec6474bfd0a3a7ca799db726f47f6 in / 
                        
# 2023-01-26 12:58:00  0.00B 
/bin/sh -c #(nop)  LABEL org.opencontainers.image.version=22.04
                        
# 2023-01-26 12:58:00  0.00B 
/bin/sh -c #(nop)  LABEL org.opencontainers.image.ref.name=ubuntu
                        
# 2023-01-26 12:57:59  0.00B 
/bin/sh -c #(nop)  ARG LAUNCHPAD_BUILD_ARCH
                        
# 2023-01-26 12:57:59  0.00B 
/bin/sh -c #(nop)  ARG RELEASE
                        
                    

镜像信息

{
    "Id": "sha256:ec0efcb1c89fe23d789fe9621e7b43ef211b03e77106118d50ab7314cb667ba1",
    "RepoTags": [
        "ghcr.io/unittestbot/klee/klee:latest",
        "swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee:latest"
    ],
    "RepoDigests": [
        "ghcr.io/unittestbot/klee/klee@sha256:100997022e2ae70d366d5f13ee383f2d69219c06d574a02e5f63cb7f1446a394",
        "swr.cn-north-4.myhuaweicloud.com/ddn-k8s/ghcr.io/unittestbot/klee/klee@sha256:623abcf7de64a5f72b1bc3632f987c5bfc0e7606fc1d4d798c4ebfe6083d2259"
    ],
    "Parent": "",
    "Comment": "buildkit.dockerfile.v0",
    "Created": "2025-05-05T12:08:12.131041327Z",
    "Container": "",
    "ContainerConfig": null,
    "DockerVersion": "",
    "Author": "",
    "Config": {
        "Hostname": "",
        "Domainname": "",
        "User": "klee",
        "AttachStdin": false,
        "AttachStdout": false,
        "AttachStderr": false,
        "Tty": false,
        "OpenStdin": false,
        "StdinOnce": false,
        "Env": [
            "PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/tmp/llvm-140-install_O_D_A/bin:/home/klee/klee_build/bin:/home/klee/.local/bin",
            "COVERAGE=0",
            "USE_TCMALLOC=1",
            "BASE=/tmp",
            "BUILD_SUFFIX=default",
            "LLVM_VERSION=14",
            "ENABLE_DOXYGEN=1",
            "ENABLE_OPTIMIZED=1",
            "ENABLE_DEBUG=1",
            "DISABLE_ASSERTIONS=0",
            "ENABLE_WARNINGS_AS_ERRORS=1",
            "ENABLE_FP_RUNTIME=1",
            "REQUIRES_RTTI=0",
            "SOLVERS=BITWUZLA:Z3:STP",
            "GTEST_VERSION=1.16.0",
            "UCLIBC_VERSION=klee_uclibc_v1.4",
            "TCMALLOC_VERSION=2.9.1",
            "SANITIZER_BUILD=",
            "STP_VERSION=2.3.3",
            "MINISAT_VERSION=master",
            "Z3_VERSION=4.8.15",
            "USE_LIBCXX=1",
            "KLEE_RUNTIME_BUILD=Debug+Asserts",
            "SQLITE_VERSION=3400100",
            "JSON_VERSION=v3.11.3",
            "BITWUZLA_VERSION=0.7.0",
            "IMMER_VERSION=v0.8.1",
            "LD_LIBRARY_PATH=/home/klee/klee_build/lib/"
        ],
        "Cmd": [
            "/bin/bash"
        ],
        "Image": "",
        "Volumes": null,
        "WorkingDir": "/home/klee",
        "Entrypoint": null,
        "OnBuild": null,
        "Labels": {
            "maintainer": "KLEEF Developers",
            "org.opencontainers.image.created": "2025-05-05T12:01:43.474Z",
            "org.opencontainers.image.description": "KLEEF Symbolic Execution Engine",
            "org.opencontainers.image.licenses": "NOASSERTION",
            "org.opencontainers.image.ref.name": "ubuntu",
            "org.opencontainers.image.revision": "8098ea85f7ca8818f9043672cac6251e2d46dddd",
            "org.opencontainers.image.source": "https://github.com/UnitTestBot/klee",
            "org.opencontainers.image.title": "klee",
            "org.opencontainers.image.url": "https://github.com/UnitTestBot/klee",
            "org.opencontainers.image.version": "2025-05-05"
        }
    },
    "Architecture": "amd64",
    "Os": "linux",
    "Size": 11978688881,
    "GraphDriver": {
        "Data": {
            "LowerDir": "/var/lib/docker/overlay2/f7548c0f65ad5435ef25fdaa6ca8f30bf69108a82632c0035f638cda9cebc71b/diff:/var/lib/docker/overlay2/ed4abe2bdf2a066cd0820f1b2b33bdaa98a6664c82b20558464d2f1befe3a3f8/diff:/var/lib/docker/overlay2/05a5a42b9e114323341e1eccc24d1e7e755ee29583e02d44ed10cd5fe9ba2d2f/diff:/var/lib/docker/overlay2/a3ed1475abece8725aba4079434037fc6792930a63adc4a3b7364d4c9cbc5fb3/diff:/var/lib/docker/overlay2/b25753c119f525da0c12448a39379439cc89173395d64713a6566b7cf6d2121e/diff:/var/lib/docker/overlay2/a937693ce65226b8b59eeeb6a1a49a7d75f109fd88b7fb56819acd7b9fb0dda7/diff:/var/lib/docker/overlay2/295540ebb1aa79f1c313117c160beda9987614428c8666ff5f7c54ba9e7c58e0/diff:/var/lib/docker/overlay2/51a0c553f68447b08f38ed4a191aece20a14edd0284adb0dd9953aa424bf85e5/diff:/var/lib/docker/overlay2/f73a5897cb64f109b6c5e358224afbf5dee6b5ce6183761b1db48423b6664944/diff:/var/lib/docker/overlay2/9dc2765337aa4302cd0a4a15858cf858954d6af3a7b7cea738e599670dcf4bc2/diff:/var/lib/docker/overlay2/be3e83005031259f96b07730b01d1fca2e9534ab4dbf7c5f7b83a75bf658f8a6/diff:/var/lib/docker/overlay2/6e22fef0d8035dc6fd1309d3f5d970f50d626cb2ff2dae7d7f67106dcbc2a936/diff:/var/lib/docker/overlay2/2ce739c9315599cceca64a1a87abd9ab3851a3333ed9deda78f6b144d8a4768e/diff:/var/lib/docker/overlay2/e1e80cb5dc9a6232a21a135caefd7e0942c0b4b5ee64f746f86f3163b6feb4bd/diff:/var/lib/docker/overlay2/905ea34af26f03f765e3cff7d8d81369911c3cf9a9bf7749fa5985d6ed12477a/diff:/var/lib/docker/overlay2/3887496f0de64e8a5ff4c71b1cb6314b9c06322e2107dbcdee5b1a0311f46964/diff:/var/lib/docker/overlay2/5a07c4cd43796b4738de6a9766f3cca153333943b71724453f9545595fadab32/diff:/var/lib/docker/overlay2/d9641d2a59300440833d7d1ecfe4c57a6fddae84182ecf9241a6e41ac6d10259/diff:/var/lib/docker/overlay2/882c20fa70dfbeb9c3332d9cffaee09abf11dc49c12dfcb8cd09fa5b21221270/diff",
            "MergedDir": "/var/lib/docker/overlay2/850b5bcd016803aa896da142c86c62d6d6ec7a09c15902e64a3ba09b3e855209/merged",
            "UpperDir": "/var/lib/docker/overlay2/850b5bcd016803aa896da142c86c62d6d6ec7a09c15902e64a3ba09b3e855209/diff",
            "WorkDir": "/var/lib/docker/overlay2/850b5bcd016803aa896da142c86c62d6d6ec7a09c15902e64a3ba09b3e855209/work"
        },
        "Name": "overlay2"
    },
    "RootFS": {
        "Type": "layers",
        "Layers": [
            "sha256:c5ff2d88f67954bdcf1cfdd46fe3d683858d69c2cadd6660812edfc83726c654",
            "sha256:c10bf2263a8da3e842e0f18e6bdcc9d69cdbab95244f3aafd73a3db8b873a874",
            "sha256:04d490ba27089dde6ab379e928104bb76b195178e8e83c089e0c818915070e8c",
            "sha256:721f8c6a98d19fcb553b06067df0cfb29df3cf4b3ff494cfd719dd61daf2f1d5",
            "sha256:c28931db2a47aadd794cd0a80aed2ccefae53c83c029fd77bb294549a3cd7cf3",
            "sha256:33efbb939eb05a28bae1587a27506e431f77cf28fe8409a9cafc55d9d550587b",
            "sha256:96f8c11102086ebf9fd41fc23c4fc584f9cf8d5cf0fd9f95268cbcc26b9c9304",
            "sha256:88db48da32a0cfe2a5a3121ffa2b8f1a9274bf18ce2d178b5940ce04d3c29c3b",
            "sha256:a0426e8de450e1488636dc732c984e3de1b63725331041df0a0b35701af9577c",
            "sha256:2edbfff1e22c9c62d78f0eeea00144275045b7dd754f64461411edd086a6ba04",
            "sha256:ef124c2573c276cea176eb4aa360d3d14a91bca3350262c50f7d2aab1c77703e",
            "sha256:49c0152b7c488241675eb6f0c02b6fbd902092b29e63cbb6ce96c70b6b57b639",
            "sha256:cf79628b010b722e7fa1966e3cc4042080bc48c485147873ccc4482351df4636",
            "sha256:04896d1b218baf2561d4245b84cc921ea2315045c529484b5e755d50cd5a19c6",
            "sha256:5f70bf18a086007016e948b04aed3b82103a36bea41755b6cddfaf10ace3c6ef",
            "sha256:1ba9ab9093fd4e78951e856bcff2989c7dbba6d61c50bebcc466db5ea775aa9c",
            "sha256:5f70bf18a086007016e948b04aed3b82103a36bea41755b6cddfaf10ace3c6ef",
            "sha256:5fa7dcd2e9f7b656511c03e0776a444218a00cba3ec2e21ff2366d40106b42ee",
            "sha256:aad993b5c2879754e31dea566c276f2f6f51ca29c5d16838f4309d762c0514a5",
            "sha256:70e469cbaf8e8ce92447c1cfb0d491ddc836f06ba82f4c5a3fb8588aaa438767"
        ]
    },
    "Metadata": {
        "LastTagTime": "2025-10-15T15:05:04.748774671+08:00"
    }
}