DragonFlyBSD Kernel Audit
DF-0401 / run.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-0401 PoC run.
cd "$(dirname "$0")"

echo "=== Running reachability probe (proves /dev/netmap absence) ==="
./reachability_probe 2>&1
echo "REACHABILITY_PROBE_RC=$?"

echo ""
echo "=== Confirming netmap.ko and /dev/netmap absence ==="
ls -l /dev/netmap 2>&1 || true
ls /boot/kernel/netmap.ko 2>&1 || echo "no netmap.ko shipped in /boot/kernel"

echo ""
echo "=== The intended poc (VALE overflow) cannot run because the        ==="
echo "=== netmap subsystem does not exist on this kernel. See VERDICT.md ==="
echo "=== for the source-level proof that the bug is real but latent.    ==="