⬢ DragonFlyBSD Kernel Audit
DF-5254 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5254",
  "title": "urtwn beacon mbuf UAF write via disjoint lock domains (update_beacon vs setup_beacon/vap_delete)",
  "verdict": "inconclusive",
  "impact": "none (on-guest; hardware-gated)",
  "simulated": "reproduced 6/6 runs (UAF write detected, incl. vap_delete variant)",
  "reproduce": {
    "build": "cc -O2 -pthread -Wall -o race_sim race_sim.c",
    "run": "./race_sim 5",
    "expected": "[UAF-WRITE] thread A wrote into a freed beacon mbuf ... RESULT: USE-AFTER-FREE WRITE reproduced, exit=3"
  },
  "kernel_refs": [
    "sys/bus/u4b/wlan/if_urtwn.c:2206",
    "sys/bus/u4b/wlan/if_urtwn.c:2212",
    "sys/bus/u4b/wlan/if_urtwn.c:2168",
    "sys/bus/u4b/wlan/if_urtwn.c:2551",
    "sys/bus/u4b/wlan/if_urtwn.c:840",
    "sys/netproto/802_11/wlan/ieee80211_power.c:316",
    "sys/netproto/802_11/wlan/ieee80211_node.c:630"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "race_sim.c", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}