DF-3742 / manifest.json
{ "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" ] } |