⬢ DragonFlyBSD Kernel Audit
DF-5223 / 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
30
{
  "finding_id": "DF-5223",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "sh build.sh   # cc -O2 -Wall -o /tmp/sim_accounting sim_accounting.c",
    "run": "sh run.sh      # prints DEFICIT rows for S=2, num_loops = 8,11,14 mod 16",
    "expected": "12 'DEFICIT: S=2 ... overflow=16 dwords past reserved window' rows + 'DEFICIT CONFIRMED (static arithmetic; hardware-gated runtime)', exit=1"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/rv770_dma.c:59",
    "sys/dev/drm/radeon/rv770_dma.c:66-67",
    "sys/dev/drm/radeon/radeon_sync.c:186-194",
    "sys/dev/drm/radeon/r600_dma.c:319-321",
    "sys/dev/drm/radeon/r600_dma.c:292-297",
    "sys/dev/drm/radeon/radeon.h:2708-2716",
    "sys/dev/drm/radeon/radeon_ring.c:106-131",
    "sys/dev/drm/radeon/radeon_ring.c:173",
    "sys/dev/drm/radeon/r600.c:2798",
    "sys/dev/drm/radeon/radeon_ib.c:135",
    "sys/dev/drm/radeon/radeon_asic.c:1253-1256",
    "sys/dev/drm/radeon/radeon_cs.c:182",
    "sys/dev/drm/ttm/ttm_execbuf_util.c:203-206"
  ],
  "artifacts": [
    "sim_accounting.c", "build.sh", "run.sh", "build.log", "run.log",
    "env.txt", "fix.diff", "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}