{
  "finding_id": "DF-4397",
  "title": "vega10_pp_tables_uninitialize leaks 8 subtable allocations per pp_table reload / rebind cycle",
  "verdict": "untested (hardware-gated; source-certain)",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "sh build_check.sh  (cc -fsyntax-only of vega10_processpptables_leakfix.c with guest kernel toolchain)",
    "run": "static proof: alloc/free set difference (VERDICT.md table)",
    "expected": "syntax errors: 0; runtime needs Vega10 ASIC (absent on guest)"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1183",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:926",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:964",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_hwmgr.c:787",
    "sys/dev/drm/amd/amdgpu/amdgpu_pm.c:1007",
    "sys/dev/drm/amd/powerplay/amd_powerplay.c:676"
  ],
  "artifacts": [
    "fix.diff", "vega10_processpptables_leakfix.c", "build_check.sh",
    "build.log", "env.txt", "README.md", "VERDICT.md",
    "manifest.json", "verdict.json"
  ]
}