{
  "finding_id": "DF-5364",
  "title": "Unchecked kmalloc(M_NOWAIT) in FUNCID/CONFIG tuple handlers: NULL-page write on allocation failure",
  "verdict": "untested",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -Wall -o poc_pccard_cis2 poc_pccard_cis2.c",
    "run": "./poc_pccard_cis2 kmallocfail",
    "expected": "exit 0 and the 'RESULT: DF-5364 ...' line (deterministic model of the kernel path; kernel itself requires PCMCIA hardware)"
  },
  "kernel_refs": [
    "sys/bus/pccard/pccard_cis.c:790",
    "sys/bus/pccard/pccard_cis.c:791",
    "sys/bus/pccard/pccard_cis.c:792",
    "sys/bus/pccard/pccard_cis.c:837",
    "sys/bus/pccard/pccard_cis.c:838",
    "sys/bus/pccard/pccard_cis.c:839",
    "sys/bus/pccard/pccard_cis.c:910"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "poc_pccard_cis2.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}