{
  "finding_id": "DF-5034",
  "title": "Missing lower-bound check on signed gpio_ddc_line index in acquire_i2c_hw_engine (dce110 twin of DF-2089)",
  "verdict": "untested",
  "impact": "none",
  "severity": "Info",
  "reproduce": {
    "build": "n/a (no PoC — Info hardening)",
    "run": "sh analysis.sh",
    "expected": "Prints the cited source lines: the upper-bound-only check, the signed enum with UNKNOWN=-1, the struct layout that makes the negative index land on an always-NULL slot, and the dce80 twin."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/i2caux/dce110/i2caux_dce110.c:92-100",
    "sys/dev/drm/amd/display/include/gpio_types.h:206-220",
    "sys/dev/drm/amd/display/dc/gpio/gpio_service.c:566-570",
    "sys/dev/drm/amd/display/dc/i2caux/i2caux.h:55-98"
  ],
  "artifacts": ["README.md", "VERDICT.md", "analysis.sh", "fix.diff", "verdict.json", "manifest.json"]
}