Container Image for SV-COMP 2026 (PredatorHP) (OCI format)

This OCI container image was used for the experiments in the competition SV-COMP 2026 for the tool PredatorHP.

It is based on Ubuntu 22.04 and can be used with container runtimes such as Podman and Docker.

Here the Containerfile:

FROM registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024

# Pin Ubuntu archive to a snapshot BEFORE the gcc-11 security rebuild
RUN rm /etc/apt/sources.list && echo "deb [snapshot=20240301T030400Z] http://archive.ubuntu.com/ubuntu/ jammy main restricted" > /etc/apt/sources.list && \
    echo "deb [snapshot=20240301T030400Z] http://archive.ubuntu.com/ubuntu/ jammy-updates main restricted" >> /etc/apt/sources.list && \
    echo "deb [snapshot=20240301T030400Z] http://security.ubuntu.com/ubuntu/ jammy-security main restricted" >> /etc/apt/sources.list

# Refresh package lists from snapshot
RUN apt update

# Remove gcc-11 and all conflicting packages from the security rebuild
RUN apt remove -y \
    gcc-11 \
    cpp-11 \
    gcc-11-base \
    libgcc-11-dev

# Install the snapshot versions (11.4.0-1ubuntu1~22.04)
# plus multilib support for SV-COMP (-m32)
RUN apt install -y \
    gcc-11 \
    gcc-multilib

# Prevent accidental upgrades if someone runs apt later
RUN apt-mark hold gcc-11 gcc-11-base cpp-11 libgcc-11-dev

# Cleanup to reduce image size and make the result deterministic
RUN apt-get clean && \
    rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* && \
    apt-get autoremove -y