⬢ 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
19
20
21
22
23
24
25
#!/bin/sh
# DF-0243 run: exercise the trigger at several argv[0] lengths (FALSE POSITIVE).
# Expected on the AUDITED (master DEV) kernel AND on the single-fix kernel:
# NO panic. The script just runs and prints DF0243_SCRIPT_RAN / DF0243_ENV_OK.
# 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 "=== enhanced: large-environment bcopy stress (forces real byte shift) ==="
./trigger2 256 200 1024
./trigger2 4096 400 256
./trigger2 32768 100 512
./trigger2 5000 40 6000

echo "RUN_OK (no panic at any length/env -- false positive confirmed)"