{
  "finding_id": "DF-3764",
  "verdict": "inconclusive",
  "reproduced": 0,
  "impact": "leak",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -Wall -O2 -o df3764_oob_read df3764_oob_read.c",
    "run": "./df3764_oob_read /dev/dri/renderD128",
    "expected": "panic (DF-3763) / dmesg NUM_VERTICES leak (DF-3764) / ioctl returns 0 = bypass (DF-3765/3766)"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/r100.c:2013-2017 (PACKET3_3D_DRAW_VBUF reads idx+1 unvalidated)",
    "sys/dev/drm/radeon/r100.c:2020-2024 (PACKET3_3D_DRAW_INDX reads idx+1)",
    "sys/dev/drm/radeon/r100.c:1974-1984 (PACKET3_3D_DRAW_IMMD reads idx+1)",
    "sys/dev/drm/radeon/r100.c:1951-1972 (0x23 3D_RNDR_GEN_INDX_PRIM reads idx+1..idx+3)",
    "sys/dev/drm/radeon/radeon_cs.c:768 (fit check guarantees only pkt->idx+count+1 < length_dw)",
    "sys/dev/drm/radeon/radeon.h:1098-1105 (radeon_get_ib_value: no bounds check)",
    "sys/dev/drm/radeon/r100.c:2362-2368 (leak sink: DRM_ERROR prints NUM_VERTICES derived from OOB dword)"
  ],
  "artifacts": [
    "df3764_oob_read.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "VERDICT.md",
    "manifest.json",
    "verdict.json"
  ]
}