⬢ DragonFlyBSD Kernel Audit
DF-2273 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-2273",
  "verdict": "reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "see ../DF-2270/rig/build.sh (shared harness kernel)",
    "run": "vm.sh run_root /root/ch_user vt none; vm.sh run_root /root/ch_user boundary; vm.sh run_root sysctl debug.dfch.stats",
    "expected": "vulnerable: strlen_over33=1 strlen_max=36, retained vitf 32 bytes + spaces, boundary SUCCESS (no fault). fixed: strnlen_max=33 strlen_calls=0, identical retained output."
  },
  "kernel_refs": [
    "sys/bus/cam/scsi/scsi_ch.c:1300",
    "sys/sys/chio.h:133",
    "sys/kern/sys_generic.c:685"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "verdict.json",
    "manifest.json",
    "fix.diff",
    "env.txt",
    "voltag_baseline.log",
    "voltag_fixed.log",
    "ch_user.c",
    "build.log",
    "run.log"
  ]
}