{
  "finding_id": "DF-3745",
  "title": "Connector/encoder object-table walks dereference unvalidated VBIOS offsets and indices \u2014 OOB heap reads at connector init",
  "verdict": "inconclusive",
  "impact": "none (not runtime-demonstrated; source-certain)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh (after ./build.sh)",
    "expected": "path walk goes OOB at path 1 (offset 0x6666 > 4096-byte image); record offset 0xFFF0 deref; enum_id=255 vs ucMuxState[2]; chain walks past image end; exit_code=0"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_atombios.c:536-548",
    "sys/dev/drm/radeon/radeon_atombios.c:551-557",
    "sys/dev/drm/radeon/radeon_atombios.c:654-656",
    "sys/dev/drm/radeon/radeon_atombios.c:682-698",
    "sys/dev/drm/radeon/radeon_atombios.c:703-740",
    "sys/dev/drm/radeon/radeon_atombios.c:772-803",
    "sys/dev/drm/radeon/atombios.h:4380-4395"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.log",
    "build.sh",
    "env.txt",
    "harness_objtable.c",
    "run.log",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "manifest.json",
    "verdict.json",
    "fix.diff"
  ]
}