{
  "finding_id": "DF-3754",
  "title": "NULL-pointer dereference of boot_ps/ps_priv in ni DPM (crafted VBIOS)",
  "verdict": "reproduced (source-level + harness)",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -Wall -o harness harness.c",
    "run": "./harness",
    "expected": "[A] child SIGSEGV at 0x28 (ni_get_ps(NULL)->ps_priv); [A2] child SIGSEGV at 0x0 (*new_ps NULL); [B] fixed path returns -EINVAL"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/ni_dpm.c:3914", "sys/dev/drm/radeon/ni_dpm.c:4018",
    "sys/dev/drm/radeon/ni_dpm.c:3589", "sys/dev/drm/radeon/ni_dpm.c:3641",
    "sys/dev/drm/radeon/ni_dpm.c:1943", "sys/dev/drm/radeon/ni_dpm.c:1975",
    "sys/dev/drm/radeon/ni_dpm.c:1683", "sys/dev/drm/radeon/ni_dpm.c:733",
    "sys/dev/drm/radeon/radeon_pm.c:1448"
  ],
  "artifacts": ["harness.c", "build.sh", "run.sh", "build.log", "run.log",
                "fix.diff", "fix_build.log", "fix_run.log", "env.txt",
                "README.md", "VERDICT.md", "manifest.json", "verdict.json"]
}