{
  "finding_id": "DF-3688",
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": {
    "build": "cd /tmp/DF-3688 && cc -Wall -O0 -o t sprintf_budget.c",
    "run": "cd /tmp/DF-3688 && ./t   (crash-mode second phase: ./t crash for DF-3686)",
    "expected": "RESULT: ... CONFIRMED line in run.log; on real SMU7 hardware with a crafted VBIOS the cited kernel fault. On this guest the kernel path is hardware-gated (no AMD GPU): inconclusive."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/powerplay/hwmgr/smu7_hwmgr.c:4428",
    "sys/dev/drm/amd/powerplay/hwmgr/smu7_hwmgr.c:4444",
    "sys/dev/drm/amd/powerplay/hwmgr/smu7_hwmgr.c:4458",
    "sys/dev/drm/amd/powerplay/hwmgr/smu7_hwmgr.c:4468",
    "sys/dev/drm/amd/amdgpu/amdgpu_pm.c:650"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "sprintf_budget.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}