DragonFlyBSD Kernel Audit
DF-0821 / build.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-0821 build script.
# Builds the deterministic harness (userspace C, transcribes the kernel guard
# + array-index logic verbatim with a poisoned allocator showing the OOB
# extent).  The image crafter is Python and needs no build step.
#
# Run on the DragonFlyBSD guest as any user (cc 8.3 is pre-installed).
set -e
cd "$(dirname "$0")"
echo "[+] Building DF-0821 harness..."
cc -O2 -Wall -o harness harness.c
echo "[+] Build OK: ./harness"
echo "[+] Image crafter is craft_img.py (python3, no build needed)."
echo "[+] To (re)create the crafted image, see run.sh."