{
 "finding_id": "DF-3841",
 "file": "sys/dev/netif/iwi/if_iwi.c",
 "severity": "Low",
 "confidence": "certain",
 "verdict": "inconclusive",
 "impact": "none",
 "reproduce": {
  "build": "cc -O2 -o mkbadfw mkbadfw.c",
  "run": "./mkbadfw iwi_bss_bad",
  "expected": "on real hardware: see README; on this guest: ENOENT (radeon) / stub runs (iwi)"
 },
 "kernel_refs": [
  "sys/dev/netif/iwi/if_iwi.c:2446",
  "sys/dev/netif/iwi/if_iwi.c:2228",
  "sys/dev/netif/iwi/if_iwi.c:2362",
  "sys/dev/netif/iwi/if_iwi.c:2506",
  "sys/dev/netif/iwi/if_iwi.c:2525",
  "sys/dev/netif/iwi/if_iwi.c:3139"
 ],
 "artifacts": []
}