⬢ DragonFlyBSD Kernel Audit
DF-3653 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3653",
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -Wall -o harness harness.c",
    "run": "./harness",
    "expected": "prints the commit-tail decision trace (stream=NULL), then SIGSEGV reading 0x10 — the kernel's exact fault offset for stream->timing.h_addressable (see run.log, EXIT=139)"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:4882",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:4885",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:2473",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:2479",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:5293",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:5333",
    "sys/dev/drm/drm_atomic.c:819",
    "sys/dev/drm/drm_ioctl.c:681"
  ],
  "artifacts": [
    "harness.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt",
    "VERDICT.md", "fix.diff", "manifest.json", "verdict.json", "README.md"
  ]
}