verifier

Bridging eBPF Verifier Diagnostics with bpfix

eBPF verifier errors often hide the real failure point; bpfix locates where safety proofs break, boosting LLM-based repair success by 11-21 points.