⬢ DragonFlyBSD Kernel Audit
DF-4331 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
{
  "finding_id": "DF-4331",
  "title": "mrsas firmware-zero divisors (#DE panic) in spanset paths",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "sh build.sh (shared with DF-4330)",
    "run": "kldload /root/fp4330/fp_probe.ko; sysctl hw.fp_probe_run=2",
    "expected": "Fatal trap 18 integer divide fault, Stopped at probe_mr_update_span_set... divq; patched module: map rejected, no panic"
  },
  "kernel_refs": ["sys/dev/raid/mrsas/mrsas_fp.c:969", "sys/dev/raid/mrsas/mrsas_fp.c:599", "sys/dev/raid/mrsas/mrsas_fp.c:653"],
  "artifacts": ["fp_probe.c", "rename.h", "Makefile", "build.sh", "fix.diff", "build.log", "run.log", "panic.txt", "serial_decisive.log", "VERDICT.md", "README.md", "verdict.json", "manifest.json", "env.txt"]
}