⬢ DragonFlyBSD Kernel Audit
DF-4832 / 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
{
  "finding_id": "DF-4832",
  "title": "uvd_v1_0: UVD v1 VCPU cache windows shifted +128B overrun vcpu_bo by 128 bytes (radeon twin of DF-4524/DF-4742)",
  "file": "sys/dev/drm/radeon/uvd_v1_0.c",
  "severity": "Low",
  "bucket": "memcorrupt",
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "python3 check_arith.py",
    "run": "python3 check_arith.py (arithmetic proof; runtime needs R600-class/RV770 UVD hardware absent from guest)",
    "expected": "overrun bytes: min=128 max=128; vulnerable residues: 4088/4096 (99.8%); control uvd_v2_2 fits for all residues"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/uvd_v1_0.c:121",
    "sys/dev/drm/radeon/uvd_v1_0.c:122",
    "sys/dev/drm/radeon/uvd_v1_0.c:126",
    "sys/dev/drm/radeon/uvd_v1_0.c:132",
    "sys/dev/drm/radeon/radeon_uvd.c:184",
    "sys/dev/drm/radeon/radeon.h:1675",
    "sys/dev/drm/radeon/r600.c:3080",
    "sys/dev/drm/radeon/uvd_v2_2.c:106"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "check_arith.py", "arith.log", "env.txt",
    "fix.diff", "manifest.json", "verdict.json"
  ]
}