{
  "finding_id": "DF-3809",
  "title": "port_to_transcoder[PORT_F] OOB read in intel_enable_ddi_hdmi on GEN9_BC DDI-F hardware",
  "severity": "Low",
  "file": "sys/dev/drm/i915/intel_ddi.c",
  "lines": [3180, 3187],
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "n/a - source-level finding (no Intel GPU on guest)",
    "run": "n/a",
    "expected": "port_to_transcoder[5] read past 5-element array during HDMI enable on a DDIF-strapped GEN9_BC part"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/intel_ddi.c:3180",
    "sys/dev/drm/i915/intel_ddi.c:3187",
    "sys/dev/drm/i915/intel_display.c:14340"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "env.txt"]
}