⬢ DragonFlyBSD Kernel Audit
DF-3567 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3567",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "in-guest: sh build.sh (same-source userland objects from /usr/src/sys; shim/sys/systm.h -> string.h)",
    "run": "sh run.sh",
    "expected": "baseline: FAULT-CONFIRMED sig=11 si_addr==data, exit 42; fixed: BUG-NOT-PRESENT exit 0; bfkat 9/9 PASS; bfdiff len 1..120 vs LibreSSL identical"
  },
  "kernel_refs": [
    "sys/crypto/blowfish/bf_skey.c:80",
    "sys/crypto/blowfish/bf_skey.c:84",
    "sys/crypto/blowfish/bf_skey.c:86",
    "sys/crypto/blowfish/blowfish.h:83",
    "sys/conf/files:2257"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json",
    "guard_bf_len0.c", "bfkat.c", "bfdiff.c", "bf_skey_fixed.c",
    "shim/sys/systm.h", "build.sh", "run.sh",
    "build.log", "run.log", "bfdiff.log", "guard.log", "fixval.log", "env.txt",
    "fix.diff"
  ]
}