⬢ DragonFlyBSD Kernel Audit
DF-3576 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3576",
  "title": "Divide-by-zero kernel panic in iwn_set_timing() via beacon with bintval=0",
  "verdict": "inconclusive (runtime; guest lacks iwn hardware) / certain (source)",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -Wall -o iwn_timing_div0 iwn_timing_div0.c",
    "run": "./iwn_timing_div0",
    "expected": "control (ni_intval=100) prints survived; malicious (ni_intval=0) prints 'val=0 ; taking modulo' then process dies SIGFPE, exit 136"
  },
  "kernel_refs": [
    "sys/dev/netif/iwn/if_iwn.c:5596",
    "sys/dev/netif/iwn/if_iwn.c:5597",
    "sys/dev/netif/iwn/if_iwn.c:7237",
    "sys/netproto/802_11/wlan/ieee80211_input.c:545",
    "sys/netproto/802_11/wlan/ieee80211_input.c:700",
    "sys/netproto/802_11/wlan/ieee80211_scan_sta.c:314",
    "sys/netproto/802_11/wlan/ieee80211_node.c:818"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "iwn_timing_div0.c", "build.sh", "run.sh",
    "run.log", "run.2.log", "env.txt", "fix.diff", "verdict.json", "manifest.json"
  ]
}