DragonFlyBSD Kernel Audit
DF-0800 / run.sh
← back to finding ↓ download raw
1
2
3
4
5
6
7
8
9
#!/bin/sh
# DF-0800 run script — exercises the hammer2_xop_inode_chain_sync truncate
# path on the HAMMER2 root filesystem from the unprivileged syscall surface.
# The NULL-deref at hammer2_xops.c:1607 is NOT triggered because the reset
# block at :1600 is dead code (see VERDICT.md for the chain-iteration
# analysis proving parent->bref.type == INODE after the truncate loop).
set -e
cd "$(dirname "$0")"
./df0800_trunc_deref /tmp/df0800_bigfile