⬢ DragonFlyBSD Kernel Audit
DF-2429 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
{
  "finding_id": "DF-2429",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "./push_rig.sh (builds dfbt_rig.ko + dfbt_ctl on the guest, kldloads, primes production handler addresses, byte-verifies prologues)",
    "run": "sh run.sh",
    "expected": "calcgeom 0 4194304 survives (CAM filter); calcgeom 2097152 4194304 -> Fatal trap 18 integer divide fault at btaction+0x4ff divq"
  },
  "kernel_refs": [
    "sys/dev/disk/buslogic/bt.c:1157",
    "sys/bus/cam/cam_xpt.c:3063",
    "sys/bus/cam/scsi/scsi_da.c:1831",
    "sys/bus/cam/scsi/scsi_da.c:2302"
  ],
  "artifacts": ["README.md","VERDICT.md","dfbt_rig.c","dfbt_ctl.c","Makefile","push_rig.sh","build.sh","run.sh","run.log","panic.txt","env.txt","fix.diff","manifest.json","verdict.json"]
}