⬢ DragonFlyBSD Kernel Audit
DF-4853 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
{
  "finding_id": "DF-4853",
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "guest: cd /tmp/df4853 && cc -O -o evg_offsets evg_offsets.c && ./evg_offsets && make",
    "run": "guest: kldload -v /tmp/df4853/evg_probe.ko && kldunload evg_probe   (console/serial log)",
    "expected": "usable chunk=288; adjacent pair B-A=288; OOB READ dig->afmt(+288)==groomed non-NULL ptr; guard at evergreen_hdmi.c:431 falls through; afmt->offset 0x5678 collected for the WREG32 sites; afmt->enabled 0->1->0 written through the OOB-read pointer; zeroed neighbor case silent"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/evergreen_hdmi.c:429-461",
    "sys/dev/drm/radeon/evergreen_hdmi.c:470-514",
    "sys/dev/drm/radeon/atombios_encoders.c:1848-1851",
    "sys/dev/drm/radeon/atombios_encoders.c:2862-2869",
    "sys/dev/drm/radeon/radeon_audio.c:461-472",
    "sys/dev/drm/radeon/radeon_mode.h:427-445"
  ],
  "artifacts": [
    "evg_dpms_probe.c", "evg_offsets.c", "Makefile",
    "build.sh", "build.log", "run.log",
    "fix.diff", "fix_build.log", "env.txt",
    "README.md", "VERDICT.md", "verdict.json", "manifest.json"
  ]
}