⬢ DragonFlyBSD Kernel Audit
DF-4738 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
{
  "finding_id": "DF-4738",
  "verdict": "not_reproduced-at-runtime (hw-gated) / allocator-logic-certain, manifestation firmware-dependent",
  "impact": "none",
  "reproduce": {
    "build": "transfer cbb_busnum_alloc_demo.c to the guest; cc -Wall -Wextra -o /tmp/df4738 /tmp/df4738.c",
    "run": "/tmp/df4738",
    "expected": "COLLISION line (cbb0 renumbered onto bus 2 already owned by a firmware-configured bridge); socket #127 secbus_reg=256 -> u_int8_t secbus=0 wrap line; exit 0"
  },
  "kernel_refs": [
    "sys/dev/pccard/pccbb/pccbb_pci.c:299",
    "sys/dev/pccard/pccbb/pccbb_pci.c:344",
    "sys/dev/pccard/pccbb/pccbb_pci.c:345-347",
    "sys/dev/pccard/pccbb/pccbb_pci.c:353-358",
    "sys/dev/pccard/pccbb/pccbbvar.h:68-69"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "cbb_busnum_alloc_demo.c", "build.sh", "run.sh",
    "build.log", "run.log", "guest_hw_evidence.txt", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}