{
  "finding_id": "DF-4968",
  "title": "radeon GART table_size/num_gpu_pages 32-bit wrap (DF-2012 radeon twin) - power-of-two validator forces wrapped size to 0 (fail closed); consistency check missing in radeon_gart_table_{vram,ram}_alloc",
  "bucket_hint": "base:drm",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -Wall -o gart_math gart_math.c",
    "run": "./gart_math",
    "expected": "ALL CHECKS PASSED (0 failures) - arithmetic validation; kernel behavior requires radeon hardware absent from this guest"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_gart.c:345",
    "sys/dev/drm/radeon/radeon_gart.c:127",
    "sys/dev/drm/radeon/radeon_gart.c:68",
    "sys/dev/drm/radeon/radeon_gart.c:178",
    "sys/dev/drm/radeon/radeon_device.c:1126",
    "sys/dev/drm/radeon/r600.c:1115",
    "sys/dev/drm/radeon/r100.c:647"
  ],
  "artifacts": ["README.md", "VERDICT.md", "gart_math.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "verdict.json", "manifest.json"]
}