⬢ DragonFlyBSD Kernel Audit
DF-4944 / 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
{
  "finding_id": "DF-4944",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cd findings/poc/DF-4944 && ./build.sh",
    "run": "./run.sh",
    "expected": "T4: valid pads 5/30 rejected, invalid en=32/64 accepted with mask=0x0 via UB shift; after fix (fixrun.log): 5/30 accepted, 32/64 rejected"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/gpio/dce80/hw_translate_dce80.c:378",
    "sys/dev/drm/amd/display/dc/gpio/gpio_base.c:140"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness_dce80.c", "harness_fixed.c",
    "build.sh", "run.sh", "build.log", "run.log", "fixrun.log",
    "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}