⬢ DragonFlyBSD Kernel Audit
DF-4424 / 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
{
  "finding_id": "DF-4424",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "n/a",
    "run": "n/a - requires a virtio-blk device advertising 3<=seg_max<=34 (host-controlled config; QEMU 7.2.22 exposes no seg_max knob)",
    "expected": "INVARIANTS kernel: panic 'error adding buffer to sglist' on first >((seg_max-2)*PAGE_SIZE)-byte I/O; production kernel: truncated descriptor chain (spurious EIO / 1-byte status clobber on writes)"
  },
  "kernel_refs": [
    "sys/dev/virtual/virtio/block/virtio_blk.c:582",
    "sys/dev/virtual/virtio/block/virtio_blk.c:282",
    "sys/dev/virtual/virtio/block/virtio_blk.c:753",
    "sys/dev/virtual/virtio/block/virtio_blk.c:864"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}