⬢ DragonFlyBSD Kernel Audit
DF-5498 / fix_run.log
← back to finding ↓ download raw
### DF-5498 fix validation — fix.diff applied to guest /usr/src, model rebuilt from patched source
FIX5498_APPLIED
466:	/* quadlets after the crc quadlet: spec/type, lang_id and the text */
DF-5498 userspace model: production fwcrom.c builder
case1 len=72 (max): strlen=72 builder crc_len=20 (data holds 21 quads; 1+crc_len=21 quads will be copied/CRC'd)
case1 len=72 (max): ROM quadlets=28, published leaf header=0x0014d0fb (crc_len field=20, IEEE-1212-correct=20), PATTERN absent
case2 len=68 (control, exact fit): strlen=68 builder crc_len=19 (data holds 21 quads; 1+crc_len=20 quads will be copied/CRC'd)
case2 len=68 (control, exact fit): ROM quadlets=27, published leaf header=0x0013793b (crc_len field=19, IEEE-1212-correct=19), PATTERN absent
RESULT: not reproduced
model exit: 1
exit: 0