{
  "finding_id": "DF-4200",
  "file": "sys/dev/drm/amd/amdgpu/amdgpu_connectors.c",
  "title": "NULL encoder_funcs->detect call in amdgpu_connector_dp_detect DP-bridge branch (ext_helper_funcs have no .detect) — kernel panic on probe",
  "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 affected Travis/Nutmeg bridge hw: panic at amdgpu_connectors.c:1387 during the forced probe"
  },
  "kernel_refs": ["sys/dev/drm/amd/amdgpu/amdgpu_connectors.c:1385-1388", "sys/dev/drm/amd/amdgpu/dce_v10_0.c:3411-3418", "sys/dev/drm/amd/amdgpu/amdgpu_encoders.c:45-56"],
  "artifacts": ["README.md", "VERDICT.md", "trigger_df4200.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}