⬢ DragonFlyBSD Kernel Audit
DF-0243 / run.sh
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
#!/bin/sh
# DF-0243 run: exercise the trigger at several argv[0] lengths.
# Expected on the AUDITED (master DEV) kernel: NO panic. The script just runs
# and prints DF0243_SCRIPT_RAN. The guest stays up. The size_t underflow is
# harmless (modular arithmetic). See VERDICT.md.
set -e
cd "$(dirname "$0")"

echo "=== math proof: the wrap is equivalent to the signed op ==="
./math_proof
echo

for len in 256 1024 4096 32768 131072 262140; do
    echo "=== argv[0] length = $len ==="
    ./trigger "$len"
    echo
done
echo "RUN_OK (no panic at any length -- false positive confirmed)"