⬢ DragonFlyBSD Kernel Audit
DF-5084 / 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
26
27
28
29
{
  "finding_id": "DF-5084",
  "verdict": "latent_confirmed_not_compiled",
  "impact": "none",
  "reproduce": {
    "build": "vm.sh run_root 'cc -include /usr/src/sys/dev/drm/kconfig.h -I/usr/src/sys/dev/drm/include -E /tmp/iscfg2.c | grep -v \"^#\" | grep -v \"^$\"' ; cc -O2 -o /tmp/units_demo /tmp/units_demo.c",
    "run": "./run.sh (on guest via vm.sh run_root, see run.sh / run.log)",
    "expected": "agp = AGP_DISABLED (code compiled out; bug latent); units_demo shows 64MB aperture -> 64TB gtt_size and inverted AIC_HI_ADDR window"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_agp.c:152",
    "sys/dev/drm/radeon/radeon_agp.c:245",
    "sys/dev/drm/radeon/radeon_agp.c:256",
    "sys/dev/agp/agp.c:904",
    "sys/dev/agp/agpvar.h:50",
    "sys/dev/drm/drm_agpsupport.c:500",
    "sys/dev/drm/kconfig.h",
    "sys/dev/drm/radeon/Makefile:148",
    "sys/dev/drm/include/linux/kconfig.h:36",
    "sys/dev/drm/radeon/radeon_ttm.c:940",
    "sys/dev/drm/radeon/r100.c:662",
    "sys/dev/drm/radeon/r100.c:3864"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "iscfg2.c", "units_demo.c",
    "build.sh", "run.sh", "run.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}