⬢ DragonFlyBSD Kernel Audit
DF-5463 / manifest.json
← back to finding ↓ download raw
{
  "finding": "DF-5463",
  "title": "PTIOCSETTIMEOUT signed-multiply overflow wraps io_timeout negative (observable via PTIOCGETTIMEOUT)",
  "verdict": "reproduced",
  "impact": "none (hardening)",
  "reproduce": {
    "build": "in guest: cd /root/poc/DF-5463 && ./build.sh (needs a pt device: DF-5462 ptsim rig)",
    "run": "in guest as root: ./run.sh",
    "expected": "baseline: set=2147484 -> get=0 + OVERFLOW-MANIFEST; fixed kernel: rejected (EINVAL), get keeps previous valid value"
  },
  "kernel_refs": [
    "sys/bus/cam/scsi/scsi_pt.c:648",
    "sys/bus/cam/scsi/scsi_pt.c:654",
    "sys/bus/cam/scsi/scsi_pt.c:483",
    "sys/bus/cam/scsi/scsi_pt.c:691"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "to5463.c", "build.sh", "run.sh",
    "run.log", "run.patched.log", "fix.diff", "verdict.json", "manifest.json"
  ]
}