{
  "finding_id": "DF-4374",
  "verdict": "not_reproduced",
  "impact": "none (observed on guest; intended impact: race-condition kernel panic / UAF read on ath hardware)",
  "confidence": "likely",
  "reproduce": {
    "build": "sh build.sh   (no compilation needed)",
    "run": "sh run.sh   (unprivileged reader storm over dev.ath.0.{slottime,txantenna}; on real hardware race it against root's kldunload if_ath)",
    "expected": "guest: 'dev.ath.* absent' (no Atheros hardware). real ath hardware: intermittent kernel page fault/UAF panic during detach while the storm runs"
  },
  "kernel_refs": [
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:260",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:320",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:351",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:380",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:407",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:434",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:567",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:606",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:631",
    "sys/dev/netif/ath/ath/if_ath_sysctl.c:656",
    "sys/dev/netif/ath/ath/if_ath.c:1436",
    "sys/kern/subr_bus.c:2151",
    "sys/kern/kern_sysctl.c:1446",
    "sys/kern/kern_sysctl.c:1460"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger_df4374.sh", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "verdict.json", "manifest.json"
  ]
}