# EvoMaster, pinned, black-box mode.
#
# Black-box is a deliberate choice, not a handicap we are hiding: EvoMaster's
# published strength is white-box, coverage-guided search, but that needs
# instrumentation which is mature on the JVM and experimental for Node. These
# SUTs are Express, and instrumenting them would mean modifying the systems
# under test — the exact problem the B1 revert exists to undo. The paper states
# this limitation explicitly.
FROM eclipse-temurin:17-jre
ARG EM_VERSION=6.2.0
RUN apt-get update && apt-get install -y --no-install-recommends curl ca-certificates \
    && rm -rf /var/lib/apt/lists/*
RUN curl -fsSL -o /evomaster.jar \
      "https://github.com/WebFuzzing/EvoMaster/releases/download/v${EM_VERSION}/evomaster.jar" \
    && echo "${EM_VERSION}" > /evomaster-version.txt
WORKDIR /work
ENTRYPOINT []
