{
  "finding_id": "DF-3594",
  "title": "bwn_intr_noise lacks noi_running/nsamples re-validation: 9th noise-sample interrupt writes 4 bytes past noi_samples into mac_phy (KASSERT panic on INVARIANTS)",
  "verdict": "inconclusive",
  "impact": "panic",
  "reproduce": {
    "build": "sh probe.sh",
    "run": "as root on DF guest: sh probe.sh",
    "expected": "probe shows driver resident + no Broadcom hardware; on real G-PHY hw with a stale/duplicate NOISESAMPLE_OK interrupt after the 8th sample: INVARIANTS panic at if_bwn.c:5198; non-INVARIANTS: 4-byte OOB write into struct bwn_phy (mac_phy.type/rev/analog)"
  },
  "kernel_refs": [
    "sys/dev/netif/bwn/bwn/if_bwn.c:5189",
    "sys/dev/netif/bwn/bwn/if_bwn.c:5198",
    "sys/dev/netif/bwn/bwn/if_bwn.c:5200",
    "sys/dev/netif/bwn/bwn/if_bwn.c:5205",
    "sys/dev/netif/bwn/bwn/if_bwn.c:5225",
    "sys/dev/netif/bwn/bwn/if_bwn.c:4997",
    "sys/dev/netif/bwn/bwn/if_bwnreg.h:324",
    "sys/dev/netif/bwn/bwn/if_bwnvar.h:576",
    "sys/dev/netif/bwn/bwn/if_bwnvar.h:917"
  ],
  "artifacts": ["README.md", "VERDICT.md", "probe.sh", "run.log", "fix.diff", "manifest.json", "verdict.json"]
}