Dockerfile

FROM ubuntu:latest

ARG DEBIAN_FRONTEND=noninteractive

RUN apt-get update
RUN apt-get install -y curl unzip git make cmake m4 python3 wget nasm
RUN apt update
RUN apt install build-essential -y


# Rust dependencies to compile program to wasm
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
ENV PATH="/root/.cargo/bin:${PATH}"
RUN cargo install cargo-wasi


# Install wasm32-wasi
RUN rustup target add wasm32-wasi

# Clone and build veriwasm docker branch
RUN git clone https://github.com/PLSysSec/veriwasm.git 
WORKDIR /veriwasm/
RUN git checkout docker
RUN make bootstrap
RUN cargo build --release


# This will setup fuzzers, and by doing so, build clang and lucet
RUN make build_fuzzers

# Load binaries to test
RUN make build_public_data

# Add shortcuts for compilers to compile your own sandboxed applications
RUN cat enable_compilers >> /root/.bashrc