⬢ DragonFlyBSD Kernel Audit
DF-4905 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4905",
  "title": "k8pnow_states() PST walk advances past BIOS_START+BIOS_LEN with no bounds check",
  "verdict": "untested",
  "impact": "none",
  "confidence": "speculative",
  "reproduce": {
    "build": "n/a (analysis pack)",
    "run": "n/a — requires AMD K8 + control of BIOS/PSB contents (VM firmware or reflash); audit guest is Intel/QEMU, module gate refuses at CPUID",
    "expected": "n/a"
  },
  "kernel_refs": ["sys/dev/powermng/powernow/powernow.c:174", "sys/dev/powermng/powernow/powernow.c:187", "sys/dev/powermng/powernow/powernow.c:196", "sys/platform/pc64/include/pc/bios.h:36"],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}