⬢ DragonFlyBSD Kernel Audit
DF-5468 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5468",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "no build (shell probe)",
    "run": "vm.sh run_root 'sh /tmp/rombar_probe.sh'",
    "expected": "sizing readback of ROM BAR 0x30 = 0xffff0001 (enable bit preserved -> PCI_BAR_IO true -> pci_alloc_map rejects SYS_RES_MEMORY); unseeded vga_pci_map_bios attempt logs 'vgapci0: vga_pci_alloc_resource failed' (see ../DF-5467/serial-full.log lines 20-29)"
  },
  "kernel_refs": [
    "sys/bus/pci/vga_pci.c:217",
    "sys/bus/pci/vga_pci.c:220",
    "sys/bus/pci/pci.c:2720",
    "sys/bus/pci/pci.c:2751",
    "sys/bus/pci/pci.c:3933",
    "sys/bus/pci/pci.c:3935",
    "sys/bus/pci/pci.c:3948",
    "sys/bus/pci/pci.c:3958",
    "sys/bus/pci/pci.c:4060",
    "sys/bus/pci/pcireg.h:170",
    "sys/dev/drm/radeon/radeon_bios.c:86"
  ],
  "artifacts": [
    "rombar_probe.sh",
    "run.log",
    "README.md",
    "manifest.json",
    "verdict.json"
  ]
}