{
  "finding_id": "DF-3742",
  "title": "radeon_atom_get_clock_info stores VBIOS reference clocks unchecked \u2014 zero reference_freq reaches mode-set/DPM divisions (#DE panic)",
  "verdict": "inconclusive",
  "impact": "none (not runtime-demonstrated; source-certain)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh (after ./build.sh)",
    "expected": "reference_freq=0 stored (no default) then DIV_ROUND_CLOSEST by 0 -> SIGFPE, exit_code=42"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_atombios.c:1146-1147",
    "sys/dev/drm/radeon/radeon_atombios.c:1173-1178",
    "sys/dev/drm/radeon/radeon_atombios.c:1188-1193",
    "sys/dev/drm/radeon/radeon_atombios.c:1215-1220",
    "sys/dev/drm/radeon/radeon_display.c:1027",
    "sys/dev/drm/radeon/radeon_display.c:1040",
    "sys/dev/drm/radeon/atombios_crtc.c:1128-1132"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.log",
    "build.sh",
    "env.txt",
    "harness_refclock.c",
    "run.log",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "manifest.json",
    "verdict.json",
    "fix.diff"
  ]
}