DF-3542 / verdict.json
{ "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" } |