⬢ DragonFlyBSD Kernel Audit
DF-4143 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4143",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cd rig && sh ./build.sh /usr/src DF-4143",
    "run": "cd rig && sh ./run.sh",
    "expected": "BASELINE modes 4143-enable/4143-initfail: 'RESULT: FAULT addr=0x28 ... NULL-pointer dereference at member offset 40' (rc=88); 4143-presel: 'FAULT addr=0x0' (rc=88); good: 'RESULT: OK good-table regression' (rc=0). FIXED: all three 4143 modes 'RESULT: OK (fixed) ... rejected cleanly, no fault', good unchanged."
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/trinity_dpm.c:1129",
    "sys/dev/drm/radeon/trinity_dpm.c:1177",
    "sys/dev/drm/radeon/trinity_dpm.c:1240",
    "sys/dev/drm/radeon/trinity_dpm.c:1704",
    "sys/dev/drm/radeon/radeon_pm.c:1448"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json",
    "fix.diff", "build.log", "run.log", "run.2.log", "env.txt",
    "rig/gen_rig.sh", "rig/check_verbatim.sh", "rig/Makefile",
    "rig/build.sh", "rig/run.sh", "rig/trinity_slice_verbatim.c",
    "rig/trinity_rig.c", "rig/rig_shims.h", "rig/radeon_structs_verbatim.h",
    "rig/atom_defs_verbatim.h"
  ]
}