{
  "finding_id": "DF-4201",
  "file": "sys/dev/drm/amd/amdgpu/amdgpu_connectors.c",
  "title": "NULL amdgpu_encoder/enc_priv dereference family after best_encoder() in set_property/set_lcd_property scaling branches and get_monitor_bpc (radeon DF-4033 twin)",
  "verdict": "not reproduced (hardware-gated; no amdgpu ASIC on guest); source-certain",
  "impact": "none (panic on affected hw)",
  "confidence": "certain",
  "reproduce": {
    "build": "./build.sh  (guest cc -O2 -Wall)",
    "run": "./run.sh",
    "expected": "on the audit guest: 'no /dev/dri/card0 — no DRM hardware'; on amdgpu hw with an encoder-less connector: panic at amdgpu_connectors.c:594/:803/:143"
  },
  "kernel_refs": ["sys/dev/drm/amd/amdgpu/amdgpu_connectors.c:137-147", "sys/dev/drm/amd/amdgpu/amdgpu_connectors.c:577-604", "sys/dev/drm/amd/amdgpu/amdgpu_connectors.c:789-808"],
  "artifacts": ["README.md", "VERDICT.md", "trigger_df4201.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}