#!/bin/sh
# DF-0766 -- build the reachability-analysis harness.
# reach.c faithfully simulates the NFS READDIR/READDIRPLUS reply encoder's
# write cursor across 2048-byte mbuf clusters and brute-forces directory layouts
# to determine whether the claimed OOB state (bp==be at the pad loop with rem>0)
# is ever reachable.  It also prints the alignment-invariant proof.
#
# Build on the guest as the unprivileged user (maxx):
#   sh build.sh
set -e
cd "$(dirname "$0")"
cc -O2 -Wall -o reach reach.c
echo "built: ./reach"