⬢ DragonFlyBSD Kernel Audit
DF-4835 / 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
{
  "finding_id": "DF-4835",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -Wall -o df4835 df4835_harness.c",
    "run": "./df4835 && ./df4835 fixed",
    "expected": "baseline: per-frame USE-AFTER-FREE tag touches + 5 DOUBLE FREE of frames + DOUBLE FREE of tag, exit 42; fixed: 'mrsas_free_mem: clean', exit 0"
  },
  "kernel_refs": [
    "sys/dev/raid/mrsas/mrsas_ioctl.c:422",
    "sys/dev/raid/mrsas/mrsas_ioctl.c:424",
    "sys/dev/raid/mrsas/mrsas_ioctl.c:428",
    "sys/dev/raid/mrsas/mrsas_ioctl.c:486",
    "sys/dev/raid/mrsas/mrsas_ioctl.c:532",
    "sys/dev/raid/mrsas/mrsas.c:800",
    "sys/dev/raid/mrsas/mrsas.c:842",
    "sys/dev/raid/mrsas/mrsas.c:1011",
    "sys/dev/raid/mrsas/mrsas.c:1017"
  ],
  "artifacts": ["README.md", "VERDICT.md", "df4835_harness.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}