⬢ DragonFlyBSD Kernel Audit
DF-0753 / run.sh
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/bin/sh
# DF-0753 run: deterministic harness proof (unpatched vs fixed contrast)
# Run as unprivileged user (maxx). No kernel module needed for the harness.
set -e
cd "$(dirname "$0")"

echo "============================================================"
echo "DF-0753 — Stale mbuf pointer after mpls_output realloc"
echo "============================================================"

echo ""
echo ">>> UNPATCHED harness (transcribes kernel code verbatim):"
echo "    mpls_output(struct mbuf *m, ...) — m by VALUE"
echo "./mpls_stale_harness"
echo "------------------------------------------------------------"
./mpls_stale_harness

echo ""
echo "============================================================"
echo ">>> FIXED harness (mpls_output takes struct mbuf **mp):"
echo "./mpls_stale_harness_fixed"
echo "------------------------------------------------------------"
./mpls_stale_harness_fixed

echo ""
echo "============================================================"
echo "Contrast: UNPATCHED shows DOUBLE-FREE + UAF in scenarios A2/B;"
echo "          FIXED shows ALL PASS (zero double-free, zero UAF)."
echo "============================================================"