prevail 0.1.1

eBPF Verifier using Abstract Interpretation
Documentation