⬢ DragonFlyBSD Kernel Audit
DF-4820 / 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
{
  "finding_id": "DF-4820",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "./build.sh && ./build.sh fixed",
    "run": "./run.sh",
    "expected": "baseline: LIVE (leaked) blocks: 1000 per error mode, 'RESULT: LEAK REPRODUCED'; fixed: LIVE 0, 'RESULT: FIXED build leaks nothing — fix VALIDATED'"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_ring.c:341",
    "sys/dev/drm/radeon/radeon_ring.c:350",
    "sys/dev/drm/radeon/radeon_ring.c:317",
    "sys/dev/drm/radeon/radeon_ring.c:114",
    "sys/dev/drm/radeon/radeon_device.c:1881",
    "sys/dev/drm/radeon/radeon_device.c:1921",
    "sys/dev/drm/radeon/radeon_fence.c:516",
    "sys/dev/drm/radeon/radeon_fence.c:649",
    "sys/dev/drm/radeon/cik.c:4104"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness_env.h", "harness_main.c",
    "body_fallback.inc", "ring_restore_leak.c", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}