⬢ DragonFlyBSD Kernel Audit
DF-5399 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5399",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "in-guest: cd /root/df5399 && make -m /usr/src/share/mk",
    "run": "in-guest: kldload -v /root/df5399/mos_poc.ko",
    "expected": "baseline: 3 mos_poc markers then Fatal trap 12, fault VA 0x0, Stopped at lockmgr_exclusive+0x5d (guest dead in DDB); patched (fix.diff): SURVIVED marker, KLDLOAD_RC=0, 0 fatal traps"
  },
  "kernel_refs": [
    "sys/bus/u4b/net/if_mos.c:694-707",
    "sys/bus/u4b/net/if_mos.c:708-712",
    "sys/bus/u4b/net/if_mos.c:722-732",
    "sys/bus/u4b/net/if_mos.c:756-767",
    "sys/bus/u4b/net/usb_ethernet.c:61",
    "sys/bus/u4b/net/usb_ethernet.c:133-137",
    "sys/bus/u4b/net/usb_ethernet.c:267-305",
    "sys/bus/u4b/usb_process.c:397-410"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "mos_attach_poc.c", "Makefile",
    "build.log", "panic.txt", "run.log", "env.txt",
    "fix.diff", "fix_uether_build.log", "fix_if_mos_build.log",
    "manifest.json", "verdict.json"
  ]
}