Reproduction Image for Article 'Rustlantis: Randomized Differential Testing of the Rust Compiler'

Docker image to reproduce evaluations in OOPSLA 2024 paper Rustlantis: Randomized Differential Testing of the Rust Compiler.

Requirements

• An x86_64 platform with at least 16GB of memory, able to compile Rust and LLVM from source
• Docker

No network connection is required.

Installation

Run docker import rustlantis-artifact.tar.gz rustlantis-artifact to import the image. Run docker run -it --init rustlantis-artifact /bin/bash to start a shell in the container using the image.

Usage

Table 1

Here is a selection of Rustlantis commit version, seed, and Rust toolchain version originally used to discover bugs listed in Table 1.

To reproduce, run

cd /root/rustlantis
git checkout [Rustlanits commit]
cargo build --release
LLVM_TOOLCHAIN=[Rust toolchain] ./fuzz-one.sh [seed]

The script will print the hash difference, and save a debug version of the program under repros/[seed]-debug.rs

Table 2

To reproduce Table 2, run

cd root
./controlled_experiment.sh
python3 controlled_experiment_stats.py

Figure 10

To reproduce Figure 10, run

cd /root
./measure_coverage.sh
python3 coverage_graph.py