# WhyFlow Docker Image

# This Dockerfile creates an environment for running WhyFlow

# for ICSE 2026 Artifact Evaluation

#

# Build from repository root:

# docker build -t whyflow .

# docker run -p 3000:3000 whyflow

FROM ubuntu:22.04

LABEL maintainer="[email protected]"

LABEL description="WhyFlow: Interrogative Debugger for Sensemaking Taint Analysis"

LABEL version="1.0"

# Prevent interactive prompts during installation

ENV DEBIAN_FRONTEND=noninteractive

# Install system dependencies and Soufflé build dependencies

RUN apt-get update && apt-get install -y \

curl \

git \

python3 \

python3-pip \

build-essential \

wget \

cmake \

bison \

flex \

libffi-dev \

libncurses5-dev \

libtinfo-dev \

libsqlite3-dev \

sqlite3 \

mcpp \

zlib1g-dev \

&& rm -rf /var/lib/apt/lists/*

# Build and install Soufflé from source (works on all architectures)

RUN git clone --depth 1 --branch 2.4.1 https://github.com/souffle-lang/souffle.git /tmp/souffle && \

cd /tmp/souffle && \

cmake -S . -B build -DCMAKE_INSTALL_PREFIX=/usr/local && \

cmake --build build -j$(nproc) && \

cmake --install build && \

rm -rf /tmp/souffle && \

souffle --version

# Install Node.js 18.x

RUN curl -fsSL https://deb.nodesource.com/setup_18.x | bash - \

&& apt-get install -y nodejs

# Install Meteor

RUN curl https://install.meteor.com/ | sh

# Install Python dependencies for statistical analysis

RUN pip3 install pandas numpy scipy matplotlib jupyter

# Set working directory

WORKDIR /app

# Allow Meteor to run as root (safe in Docker containers, common for CI/builds)

ENV METEOR_ALLOW_SUPERUSER=true

# Copy the WhyFlow application

COPY . /app/

# Install npm dependencies at root level

RUN npm install 2>/dev/null || true

# Install Meteor app dependencies

WORKDIR /app/taint_debug_app/taint_debug

# Update Meteor to a version compatible with Linux (Docker platform)

# Meteor 2.x is not available for Linux; using 3.3.2 as recommended

RUN meteor update --release [email protected]

# Install npm dependencies

RUN meteor npm install

# Set environment variables

ENV ROOT_URL=http://localhost:3000

ENV PORT=3000

# Expose the Meteor port

EXPOSE 3000

# Set working directory back to app root for the entrypoint

WORKDIR /app/taint_debug_app/taint_debug

# Default command: run the Meteor application

CMD ["meteor", "run", "--allow-superuser"]