{
  "finding_id": "DF-3746",
  "title": "VoltageObjectInfo walkers trust self-declared sizes \u2014 OOB heap reads, v1 stride bug, and unbounded leakage-array indices",
  "verdict": "inconclusive",
  "impact": "none (not runtime-demonstrated; source-certain)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh (after ./build.sh)",
    "expected": "v1 walk with self-declared size 0xFFF8 over a 64-byte table: 16290 reads past image end; stride bug: 7 vs 16 bytes for 3 entries; leakage index 64769 -> 129538 B past array; exit_code=0"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_atombios.c:3382-3397",
    "sys/dev/drm/radeon/radeon_atombios.c:3399-3414",
    "sys/dev/drm/radeon/radeon_atombios.c:3416-3431",
    "sys/dev/drm/radeon/radeon_atombios.c:3224-3280",
    "sys/dev/drm/radeon/atombios.h:4484-4495"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.log",
    "build.sh",
    "env.txt",
    "harness_voltobj.c",
    "run.log",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "manifest.json",
    "verdict.json",
    "fix.diff"
  ]
}