⬢ DragonFlyBSD Kernel Audit
DF-3565 / fix_run.log
← back to finding ↓ download raw
=== fix_build: compiling patched copies of the audit targets ===
(see fix_build.log on the runner host for compiler output)

=== DF-3564 fix validation: siphash.c with explicit_bzero(k) ===
NOT FOUND: key copy was not retained on stack
not confirmed: raw key bytes do not persist on the stack after SipHash_SetKey returned
exit=1 (1 = retention GONE = fix effective)

=== DF-3564 fix correctness: patched siphash full KAT ===
== 64 official reference vectors (SipHash-2-4) ==
   (all 64 checked: match)
== kernel vs from-paper reference, SipHash-2-4 & 1-3 ==
   (512+512 cross-checks done)
== chunked-update equivalence (partial-word buffer paths) ==
   (chunked equivalence done)
== SipHash_Final byte encoding ==
RESULT: PASS: 2111 checks, 0 failures

=== DF-3565 fix validation: des_setkey.c with des_check_key=1 ===
   (weak/semi-weak table verified vs 4096 random + 16 near-miss negatives)
== default policy: des_set_key with des_check_key==0 ==
   des_set_key(0x0101010101010101) rc=-2 (0=ACCEPTED) [des_check_key=1]
FAIL expected weak key accepted by default
RESULT: FAIL: 8916 checks, 1 failures
(the single FAIL is the acceptance check inverted: weak key now rejected rc=-2)