DragonFlyBSD Kernel Audit
DF-0753 / build.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-0753 build: harness (unpatched proof) + harness (fixed) + live trigger
set -e
cd "$(dirname "$0")"

echo "=== Building unpatched harness (proves the bug) ==="
cc -O2 -Wall -o mpls_stale_harness mpls_stale_harness.c
echo "BUILD: mpls_stale_harness  exit=$?"

echo "=== Building fixed harness (proves the fix) ==="
cc -O2 -Wall -o mpls_stale_harness_fixed mpls_stale_harness_fixed.c 2>&1 || true
echo "BUILD: mpls_stale_harness_fixed  exit=$?"

echo "=== Building live trigger ==="
cc -O2 -Wall -o mpls_trigger mpls_trigger.c
echo "BUILD: mpls_trigger  exit=$?"

echo "=== All builds done ==="
ls -l mpls_stale_harness mpls_stale_harness_fixed mpls_trigger 2>/dev/null