{
  "finding_id": "DF-4358",
  "title": "DF-added kprintf leaks drm_device/amdgpu_device kernel pointers to dmesg",
  "verdict": "untested (Info hardening; skipped per contract)",
  "impact": "none (info-leak hardening)",
  "reproduce": {
    "build": "n/a",
    "run": "dmesg | grep amdgpu_driver_load_kms",
    "expected": "on AMD host (vulnerable): line with flags=... drm_device=0x... adev=0x...; patched: absent"
  },
  "kernel_refs": ["sys/dev/drm/amd/amdgpu/amdgpu_kms.c:185"],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "fix_apply_check.log", "fix_build.log", "verdict.json", "manifest.json"]
}