#!/bin/sh
# run.sh — exact run command for DF-0841.
set -e
cd "$(dirname "$0")"

# Reproduce the bug mathematically (deterministic, no kernel panic risk).
# Prints the exact address that the buggy msdosfs_lookup line 557 would
# dereference, and contrasts the buggy site with its 3 correct siblings.
echo "[*] running DF-0841 deterministic trace"
./trace
echo
echo "[trace exit=$?]"
echo
echo "NOTE: this trace is the deterministic userspace proof of the bug."
echo "For the live in-kernel trigger (NFS-exported FAT filesystem),"
echo "see trigger_nfs.sh and VERDICT.md."