⬢ DragonFlyBSD Kernel Audit
DF-3037 / 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
{
  "finding_id": "DF-3037",
  "verdict": "reproduced (dos) + fix validated (fixed)",
  "impact": "dos",
  "reproduce": {
    "build": "cc -O -Wall -o /root/df3037/dirpatch /root/df3037/dirpatch.c && cc -O -Wall -o /root/df3037/trigger /root/df3037/trigger.c",
    "run": "sh /root/df3037/run.sh",
    "expected": "control rename succeeds in 0s; after installing the B<->D '..' cycle, 'TRIGGER STILL RUNNING AFTER 15s' + 'KILL -9 INEFFECTIVE' + guest stops answering ssh (banner timeout), no panic on serial. On fix.diff-patched kernel: 'rename: Invalid argument' in <1s, guest stays up."
  },
  "kernel_refs": [
    "sys/vfs/msdosfs/msdosfs_vnops.c:1045",
    "sys/vfs/msdosfs/msdosfs_lookup.c:822",
    "sys/vfs/msdosfs/msdosfs_lookup.c:861"
  ],
  "artifacts": [
    "dirpatch.c", "trigger.c", "build.sh", "run.sh",
    "run.log", "run.2.log", "run.fixed.log", "fix_run.log",
    "fix_build.log", "fix_build_summary.txt", "fix.diff",
    "env.txt", "VERDICT.md", "README.md", "manifest.json", "verdict.json"
  ]
}