⬢ DragonFlyBSD Kernel Audit
DF-4669 / 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
{
  "finding_id": "DF-4669",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O1 -o /tmp/snp_reattach /tmp/snp_reattach.c -lutil",
    "run": "kldload snp (once); /tmp/snp_reattach (root/wheel)",
    "expected": "panic: memory chunk ... is already free! — chunk_mark_free <- _kfree <- snp_down <- snplclose <- ptsclose; guest in db>"
  },
  "kernel_refs": [
    "sys/dev/misc/snp/snp.c:560",
    "sys/dev/misc/snp/snp.c:570",
    "sys/dev/misc/snp/snp.c:484",
    "sys/dev/misc/snp/snp.c:496",
    "sys/dev/misc/snp/snp.c:517",
    "sys/dev/misc/snp/snp.c:478",
    "sys/kern/kern_slaballoc.c:967"
  ],
  "artifacts": ["snp_reattach.c", "build.sh", "run.sh", "run.log", "panic.txt", "env.txt", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}