⬢ DragonFlyBSD Kernel Audit
DF-3542 / verdict.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3542",
  "status": "untested",
  "reproduced": 0,
  "impact": "state-confusion (duplicate if_xname)",
  "confidence": "likely",
  "verdict": "Verification deliberately skipped (Low, non-memcorrupt/privesc, masked on stock by DF-3486 which panics node creation first). Audit-trail reasoning recorded: DF-3484 established cross-CPU concurrent processing of the v1 global netgraph queue; ng_eiface_next_unit is a non-atomic RMW in that context. Fix: atomic_fetchadd_int.",
  "attempts": 0,
  "guest_dirty": 0,
  "notes": "PoC backlog candidate if team wants live proof post-DF-3486-fix.",
  "runner": "df-bsd-reviewer"
}