{
  "finding": "DF-3283",
  "verdict": "reproduced",
  "impact": "panic (release kernels: heap underflow write, see VERDICT.md)",
  "reproduce": {
    "build": "sh findings/poc/DF-3283/build.sh",
    "run": "sh findings/poc/DF-3283/run.sh",
    "expected": "Baseline (stock INVARIANTS kernel): 'panic: fragment size 2346 too big!' backtrace through ieee80211_encap / ieee80211_vap_pkt_send_dest; vm.sh status => down. Patched kernel: 'fw.fire: returned (no panic)', guest stays up."
  },
  "kernel_refs": [
    "sys/netproto/802_11/wlan/ieee80211_output.c:1703",
    "sys/netproto/802_11/wlan/ieee80211_output.c:1727",
    "sys/netproto/802_11/wlan/ieee80211_output.c:1804",
    "sys/netproto/802_11/wlan/ieee80211_output.c:1808",
    "sys/netproto/802_11/wlan/ieee80211_output.c:1817",
    "sys/kern/uipc_mbuf.c:1940",
    "sys/netproto/802_11/ieee80211.h:1330"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json",
    "fw.c", "Makefile",
    "build.sh", "run.sh", "build.log", "run.log",
    "panic.txt", "env.txt", "fix.diff"
  ]
}