{
  "finding_id": "DF-4572",
  "title": "exca: window allocation leaked when parent BUS_ACTIVATE_RESOURCE fails (and on exca_mem_map memreg error) — per-socket window-exhaustion DoS",
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "file": "sys/dev/pccard/exca/exca.c",
  "severity": "Low",
  "reproduce": {
    "build": "n/a (no kernel build needed for the environment check)",
    "run": "./run.sh  (guest-side hardware-presence check; on-hardware trigger procedure in VERDICT.md)",
    "expected": "On real pccbb hardware: repeated failed activations permanently consume ExCA windows; after 2 I/O / 5 MEM failures the socket can no longer map 16-bit PC Card resources. On this guest: NO_CARDBUS_BRIDGE — code path cannot execute."
  },
  "kernel_refs": [
    "sys/dev/pccard/exca/exca.c:779",
    "sys/dev/pccard/exca/exca.c:800",
    "sys/dev/pccard/exca/exca.c:804",
    "sys/dev/pccard/exca/exca.c:258",
    "sys/dev/pccard/exca/exca.c:474",
    "sys/dev/pccard/pccbb/pccbb.c:1286",
    "sys/dev/pccard/pccbb/pccbb_pci.c:332",
    "sys/dev/pccard/pccbb/pccbb_isa.c:134"
  ],
  "artifacts": [
    "VERDICT.md", "README.md", "run.sh", "run.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}