⬢ DragonFlyBSD Kernel Audit
DF-5018 / 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
{
  "verdict": "untested",
  "impact": "none",
  "finding_id": "DF-5018",
  "reproduce": {
    "build": "n/a (dead-code finding)",
    "run": "read-only guest checks; full command transcript in evidence.txt",
    "expected": "sys/conf/files:2557-2558 and radeon/Makefile:107 show radeon_mn.c commented out; kconfig.h has no CONFIG_MMU_NOTIFIER; nm shows zero radeon_mn symbols in radeon.ko and the kernel"
  },
  "kernel_refs": [
    "sys/conf/files:2557-2558",
    "sys/dev/drm/radeon/Makefile:107",
    "sys/dev/drm/radeon/radeon.h:1794-1803",
    "sys/dev/drm/radeon/radeon_mn.c:90",
    "sys/dev/drm/radeon/radeon_mn.c:121-133",
    "sys/dev/drm/radeon/radeon_mn.c:227",
    "sys/dev/drm/include/linux/mmu_notifier.h:33-45"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "evidence.txt",
    "manifest.json", "verdict.json"
  ]
}