⬢ DragonFlyBSD Kernel Audit
DF-4801 / 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-4801",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O -o /tmp/prime /tmp/prime.c",
    "run": "sh hang.sh (setup mirrored vol on md; /tmp/prime 1 sends ONE VINUM_SETSTATE(object_up,blocksize=65536); 4 writers hammer [64k,96k); kill -9 tests; vinum setstate -f down abort test)",
    "expected": "stock: writers freeze D-state immediately, '>>> UNKILLABLE HUNG WRITERS <<<' after kill -9, '>>> STILL HUNG AFTER ABORT <<<' after setstate -f down. fixed (fix.diff drain): post-abort 'writers gone (drained: fix working)'."
  },
  "kernel_refs": [
    "sys/dev/raid/vinum/vinumrevive.c:198",
    "sys/dev/raid/vinum/vinumrevive.c:216",
    "sys/dev/raid/vinum/vinumrequest.c:327",
    "sys/dev/raid/vinum/vinumstate.c:286"
  ],
  "artifacts": [
    "hang.sh", "prime.c", "run.log", "fix.diff", "fix_run.log", "env.txt",
    "README.md", "VERDICT.md", "verdict.json", "manifest.json"
  ]
}