⬢ DragonFlyBSD Kernel Audit
DF-5498 / run.log
← back to finding ↓ download raw
### DF-5498 baseline run — Tue Oct  6 10:50:53 UTC 2026
BUILD_OK
DF-5498 userspace model: production fwcrom.c builder
case1 len=72 (max): strlen=72 builder crc_len=21 (data holds 21 quads; 1+crc_len=22 quads will be copied/CRC'd)
case1 len=72 (max): ROM quadlets=29, published leaf header=0x00152f2f (crc_len field=21, IEEE-1212-correct=20), PATTERN FOUND in generated ROM (OOB quadlet published)
case2 len=68 (control, exact fit): strlen=68 builder crc_len=20 (data holds 21 quads; 1+crc_len=21 quads will be copied/CRC'd)
case2 len=68 (control, exact fit): ROM quadlets=28, published leaf header=0x00148456 (crc_len field=20, IEEE-1212-correct=19), PATTERN absent
RESULT: REPRODUCED: the quadlet past chunk->data[] was read by crom_load/crom_crc and published in the Config ROM
model exit: 42