⬢ DragonFlyBSD Kernel Audit
DF-5179 / 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
23
24
25
26
27
28
29
30
31
32
33
{
  "finding_id": "DF-5179",
  "title": "atkbd(4) ISA attach: unchecked IRQ resource allocation reaches nexus_setup_intr NULL-resource panic",
  "file": "sys/dev/misc/atkbd/atkbd_isa.c",
  "verdict": "untested",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "none (source-confirmed; no runnable artifact for a boot-config-gated path) — see ./build.sh",
    "run": "none (privileged boot configuration documented in trigger.txt) — see ./run.sh",
    "expected": "kernel panic 'nexus_setup_intr: NULL irq resource!' during device attachment when the atkbd IRQ hint is absent (ivar -1 -> rman range [ULONG_MAX,ULONG_MAX] fails -> NULL resource forwarded to BUS_SETUP_INTR)"
  },
  "kernel_refs": [
    "sys/dev/misc/atkbd/atkbd_isa.c:119",
    "sys/dev/misc/atkbd/atkbd_isa.c:120",
    "sys/dev/misc/atkbd/atkbd_isa.c:121",
    "sys/dev/misc/atkbd/atkbd_isa.c:141",
    "sys/dev/misc/atkbdc_layer/atkbdc_isa.c:221",
    "sys/kern/subr_bus.c:3303",
    "sys/platform/pc64/x86_64/nexus.c:505",
    "sys/dev/misc/psm/psm.c:2014"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "trigger.txt",
    "fix.diff",
    "build.sh",
    "run.sh",
    "manifest.json",
    "verdict.json"
  ]
}