{
 "finding_id": "DF-3612",
 "title": "Integer divide-by-zero in spread-spectrum programming when VBIOS usSpreadRateInKhz == 0 (si_dpm.c:4831 and :4931)",
 "severity": "Medium",
 "verdict": "reproduced",
 "impact": "panic",
 "confidence": "certain",
 "reproduce": {
  "build": "sh build.sh",
  "run": "sh run.sh",
  "expected": "see VERDICT.md 'expected output'"
 },
 "kernel_refs": [
  "sys/dev/drm/radeon/si_dpm.c:4831",
  "sys/dev/drm/radeon/si_dpm.c:4832",
  "sys/dev/drm/radeon/si_dpm.c:4931",
  "sys/dev/drm/radeon/radeon_atombios.c:1546"
 ],
 "artifacts": [
  "harness.c",
  "build.sh",
  "run.sh",
  "build.log",
  "run.log",
  "fix.diff",
  "fix_build.log",
  "fix_run.log",
  "VERDICT.md",
  "README.md",
  "manifest.json",
  "verdict.json"
 ]
}