{
  "finding_id": "DF-3744",
  "title": "Unbounded LVDS mode-patch record walk + fake-EDID copy read past the VBIOS image buffer (conditional userspace leak)",
  "verdict": "inconclusive",
  "impact": "none (not runtime-demonstrated; source-certain)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh (after ./build.sh)",
    "expected": "fake-EDID len=200: 200/200 bytes read beyond image end; walk continues past end until garbage record type; exit_code=0"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_atombios.c:1691-1752",
    "sys/dev/drm/radeon/radeon_atombios.c:1717-1737",
    "sys/dev/drm/radeon/radeon_bios.c:269-292"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.log",
    "build.sh",
    "env.txt",
    "harness_lvds.c",
    "run.log",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "manifest.json",
    "verdict.json",
    "fix.diff"
  ]
}