DF-4434 / verdict.json
{ "finding_id": "DF-4434", "poc_id": "DF-4434", "status": "untested", "reproduced": 0, "impact": "64KB contiguous kernel memory + media list leaked per failed attach (bus_setup_intr failure)", "confidence": "certain", "attempts": 0, "guest_uname": null, "code_hash": null, "exploit_chain": [], "evidence": "Error path omits contigfree + ifmedia_removeall; detach path shows the correct cleanup. Fix in finding markdown.", "kernel_refs": [ "sys/dev/netif/sln/if_sln.c:221", "sys/dev/netif/sln/if_sln.c:243", "sys/dev/netif/sln/if_sln.c:261", "sys/dev/netif/sln/if_sln.c:269" ], "verdict": "not_run: Info hardening finding; root/env-triggered (IRQ exhaustion at probe)", "fix_status": "not_testable", "fix_baseline_reproduced": 0, "fix_patched_reproduced": 0, "fix_verdict": "not_testable: hardware-gated", "fix_evidence": "fix.diff in finding markdown" } |