{
  "finding_id": "DF-3739",
  "title": "BIOS-count-driven OOB pointer write past rdev->i2c_bus[16] in radeon_atombios_i2c_init",
  "verdict": "inconclusive",
  "impact": "none (not runtime-demonstrated; source-certain)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh (after ./build.sh) on the DragonFly guest",
    "expected": "num_indices=146 vs i2c_bus[16]; 130 OOB pointer writes (1040 bytes); worst case 2324 (18592 bytes); exit_code=0"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_atombios.c:172-187",
    "sys/dev/drm/radeon/radeon_atombios.c:113-116",
    "sys/dev/drm/radeon/atom.c:1366-1385",
    "sys/dev/drm/radeon/radeon.h:2440-2442",
    "sys/dev/drm/radeon/radeon_mode.h:96"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.log",
    "build.sh",
    "env.txt",
    "harness_i2c.c",
    "run.log",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "manifest.json",
    "verdict.json",
    "fix.diff"
  ]
}