⬢ DragonFlyBSD Kernel Audit
DF-4802 / 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-4802",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "speculative",
  "reproduce": {
    "build": "cc -O -o /tmp/initlivelock /tmp/initlivelock.c",
    "run": "mirrored setup; /tmp/step 0 1 1 0 0 (enter sd_initializing); /tmp/initlivelock 0 vol.p0.s0 & (init ioctls verify=1 + concurrent raw-sd garbage writer)",
    "expected": "expected livelock was NOT observed: init completes all 48 blocks with zero mismatches (sdio dispatches via vn_strategy; the verify readback is served coherently from the buffer cache and never sees the concurrent raw writer). The unbounded retry loop is code-certain (vinumrevive.c:555-560) but needs a device that returns corrupted data for the block just written."
  },
  "kernel_refs": [
    "sys/dev/raid/vinum/vinumrevive.c:526",
    "sys/dev/raid/vinum/vinumrevive.c:555",
    "sys/dev/raid/vinum/vinumstate.c:886",
    "sys/dev/raid/vinum/vinumrequest.c:981"
  ],
  "artifacts": [
    "initlivelock.c", "env.txt", "README.md", "verdict.json", "manifest.json"
  ]
}