#!/bin/sh
# DF-0617 run script
# Runs the code-level harness (deterministic UAF proof).
# For the live trigger, see ng_inject.c (requires DragonFlyBSD + root + topology setup).

set -e
cd "$(dirname "$0")"

echo "=== DF-0617: ng_ether_rcv_upper bridge_input UAF harness ==="
./uaf_ng_ether
echo ""
echo "=== For live trigger (DragonFlyBSD only, as root): ==="
echo "  1. Setup topology: tap0 + bridge0(IFF_MONITOR) + ng_ether upper hook"
echo "  2. ./ng_inject tap0 1"
echo "  Expected: UAF panic or silent stale-mbuf processing (see VERDICT.md)"