⬢ DragonFlyBSD Kernel Audit
DF-5517 / 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
{
  "finding_id": "DF-5517",
  "pack": "findings/poc/DF-5517/",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "evidence_class": "KLD harness, production ubser.c included verbatim, request-sequence proof + static reference count (no QEMU BWCT device)",
  "reproduce": {
    "build": "sh /root/df5517/src/build.sh (in-tree kmod, md5-gated, -Werror clean; prints the VENDOR_CLEAR_BREAK reference count = 1)",
    "run": "sh /root/df5517/src/run.sh (kldload; instant; dmesg | grep UB5517)",
    "expected": "PHASE L lifecycle sequence = { 0x02 } and PHASE D direct set+clear = { 0x02 } -- VENDOR_CLEAR_BREAK=0x03 NEVER OBSERVED; fixed build: both = { 0x02, 0x03 }"
  },
  "kernel_refs": [
    "sys/bus/u4b/serial/ubser.c:99-102",
    "sys/bus/u4b/serial/ubser.c:462-487",
    "sys/bus/u4b/serial/ubser.c:470-486",
    "sys/bus/u4b/serial/usb_serial.c:1190-1197",
    "sys/bus/u4b/serial/usb_serial.c:1401-1420"
  ],
  "artifacts": [
    "ub5517clearbreak_harness.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "run.fixed.log", "fix_build.log",
    "env.txt", "fix.diff", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}