{
  "finding_id": "DF-4425",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a",
    "run": "QEMU monitor: device_add virtio-blk-pci,...,num-queues=0 (rejected: 'num-queues property must be larger than 0')",
    "expected": "kernel divide-by-zero panic in vtblk_attach (i % 0 at virtio_blk.c:325)"
  },
  "kernel_refs": ["sys/dev/virtual/virtio/block/virtio_blk.c:292", "sys/dev/virtual/virtio/block/virtio_blk.c:325"],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}