⬢ DragonFlyBSD Kernel Audit
DF-0596 / run.sh
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
#!/bin/sh
# DF-0596 run: execute the race harness
# Shows the TOCTOU race on xmitWin and the struct layout confirming the OOB target.
cd "$(dirname "$0")"
echo "=== BASELINE -O2 (default kernel codegen) ==="
./race_harness
echo ""
echo "=== BASELINE -O0 (proves TOCTOU is winnable) ==="
./race_harness_o0
echo ""
echo "=== FIXED -O0 (proves the fix prevents OOB) ==="
./race_harness_fixed