#!/bin/sh
# DF-5434 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload /root/build5434/bufharness.ko; sysctl hw.bufharness=1|2|3 (UAF proof, guest up); sysctl hw.bufharness=4 (underflow OOB -> panic at predicted VA); fix: patch -p0 < fix.diff in /usr/src, rebuild, repeat - all clean