#!/bin/sh
# run.sh - run the DF-0791 deterministic harness (guard-page proof of the
# unvalidated subnode-dive OOB read, and that the proposed fix rejects it).
cd "$(dirname "$0")"
echo "=== BUGGY dive (kernel behaviour on default GENERIC #0) ==="
./harness clean 0
./harness oob    0
./harness tiny   0
echo
echo "=== FIXED dive (proposed fix rejects malformed entries) ==="
./harness oob    1
./harness tiny   1