⬢ DragonFlyBSD Kernel Audit
DF-1586 / 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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
{
  "finding_id": "DF-1586",
  "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64",
  "code_hash": "b9a306d0f9e7f73e4c245b4cc038294a3be6c13dd327ab55b89b5a9764a94a47",
  "tested_at": "2026-07-22T18:10:00Z",
  "verdict": "NOT_REPRODUCED_ON_GUEST",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a \u2014 translation-unit-only compile of patched source: see fix_build.log",
    "run": "n/a \u2014 amdgpu not loadable on guest (no AMD GPU); requires kldload amdgpu + malicious VBIOS",
    "expected": "no effect on this guest (not reproduced); exits cleanly. See VERDICT.md."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1014",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1026",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1034",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1036",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1109",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1118",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_processpptables.c:1127",
    "sys/dev/drm/amd/powerplay/hwmgr/hwmgr_ppt.h:78",
    "sys/dev/drm/amd/powerplay/hwmgr/vega10_pptable.h:237",
    "sys/config/X86_64_GENERIC:0"
  ],
  "artifacts": [
    {
      "path": "VERDICT.md",
      "type": "verdict",
      "desc": "full narrative: bug, reachability, fix, threat model"
    },
    {
      "path": "README.md",
      "type": "readme",
      "desc": "summary + reproduce"
    },
    {
      "path": "fix.diff",
      "type": "suggested-fix",
      "desc": "clamp table->count and loop to min(ucNumEntries, max_levels)"
    },
    {
      "path": "fix_build.log",
      "type": "build-log",
      "desc": "patched vega10_processpptables.c compiles -Werror clean"
    },
    {
      "path": "env.txt",
      "type": "environment",
      "desc": "guest uname, pciconf, kldstat \u2014 no AMD hardware"
    },
    {
      "path": "manifest.json",
      "type": "manifest",
      "desc": "this catalog"
    },
    {
      "path": "build.log",
      "type": "build-log",
      "desc": "kernel build log excerpt proving -Werror clean compile of patched source"
    },
    {
      "path": "fix_apply.log",
      "type": "apply-log",
      "desc": "patch --dry-run output proving fix.diff applies cleanly on with-src"
    },
    {
      "path": "../fix_build_combined.log",
      "type": "build-log",
      "desc": "Combined 41-finding kernel build (rc=0, -Werror clean)"
    },
    {
      "path": "../fix_build_summary.txt",
      "type": "build-summary",
      "desc": "Summary of the combined 41-finding kernel build"
    }
  ]
}