⬢ DragonFlyBSD Kernel Audit
DF-4206 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4206",
  "file": "sys/dev/drm/i915/vlv_dsi.c",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reason": "Phase V skipped per contract: Low severity (OOM-gated trigger), audit guest has no Intel GPU. Bug existence proven statically.",
  "reproduce": {
    "build": "n/a (no PoC; trigger is drm_mode_duplicate kzalloc failure during DSI init)",
    "run": "n/a",
    "expected": "After the failed init: MODE_GETRESOURCES/MODE_GETCONNECTOR return data derived from freed memory; drm_mode_config_cleanup at i915 unload crashes in drm_connector_put on the freed connector."
  },
  "kernel_refs": [
    "sys/dev/drm/i915/vlv_dsi.c:1839",
    "sys/dev/drm/i915/vlv_dsi.c:1860",
    "sys/dev/drm/i915/vlv_dsi.c:1875",
    "sys/dev/drm/drm_connector.c:258"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "verdict.json",
    "fix.diff",
    "manifest.json"
  ]
}