#!/bin/sh
# Run the DF-0291 code-level overflow proof. Prints the heap + stack overflow
# byte counts that the kernel code path at ieee80211_ioctl.c:1595/1600/810 would
# produce. NOTE: this is a userspace MODEL -- the in-kernel path is unreachable
# on this guest (no wifi radio); see VERDICT.md.
set -e
cd "$(dirname "$0")"
./overflow_proof
echo "RUN_EXIT=$?"