⬢ DragonFlyBSD Kernel Audit
DF-2584 / 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
26
27
28
29
30
{
  "finding_id": "DF-2584",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "guest: sh build_image.sh (pristine image) -> host: sh build.sh / python3 craft_deep.py h2.img h2c60.img 60 -> push to guest /root/",
    "run": "guest root: sh run.sh /root/h2c60.img   (or root mounts + user dd+sync, see run.log)",
    "expected": "stock kernel: sync hangs, serial console shows 'Fatal double fault ... panic: double fault' (kernel stack exhaustion in the hammer2 flush recursion); pristine/depth<=35 controls survive"
  },
  "kernel_refs": [
    "sys/vfs/hammer2/hammer2_flush.c:580",
    "sys/vfs/hammer2/hammer2_flush.c:584",
    "sys/vfs/hammer2/hammer2_flush.c:56",
    "sys/vfs/hammer2/hammer2_flush.c:1254",
    "sys/vfs/hammer2/hammer2_flush.c:1197",
    "sys/vfs/hammer2/hammer2_flush.c:369",
    "sys/vfs/hammer2/hammer2_vfsops.c:2278",
    "sys/vfs/hammer2/hammer2_vfsops.c:2292",
    "sys/vfs/hammer2/hammer2_chain.c:147",
    "sys/vfs/hammer2/hammer2_strategy.c:717",
    "sys/vfs/hammer2/hammer2_vfsops.c:2717"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "craft_deep.py", "build_image.sh", "build.sh", "run.sh",
    "panic.txt", "run.log", "run.pristine.log", "run.d30.log", "run.d35.log",
    "run.d40.log", "run.d55.log", "run.persist10.log", "run.persist60.log",
    "fix.diff", "fix_build.log", "fix_install.log", "fix_run.log", "env.txt",
    "manifest.json", "verdict.json"
  ]
}