{
  "finding_id": "DF-3901",
  "title": "Uninitialized stack consumed as SKL DRAM channel info when one MAD_DIMM channel is blank (rank/is_16gb_dimm/symmetric_memory)",
  "verdict": "inconclusive",
  "impact": "hw-gated display misconfiguration / DoS at worst",
  "reproduce": {
    "build": "cc -o skl_dram_probe skl_dram_probe.c",
    "run": "./skl_dram_probe (reachability only; full proof needs single-channel SKL + KMSAN)",
    "expected": "guest: 'no render node'; hardware: dram_info derived from stack garbage"
  },
  "kernel_refs": ["sys/dev/drm/i915/i915_drv.c:1219", "sys/dev/drm/i915/i915_drv.c:1243"],
  "artifacts": ["README.md", "VERDICT.md", "skl_dram_probe.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}