Published August 2, 2026
| Version v0.2.6
Software
Open
vbpf/prevail: v0.2.6
Authors/Creators
- Elazar Gershuni
- Dave Thaler
- Rich Lane
- Alan Jowett1
- Paul Chaignon2
- D. Michael Agun
- Jorge Navas3
- Anurag Saxena1
- Quentin Monnet4
- Maxime Derri
- Vinícius Dantas
- Delaram Amiri1
- Alex Forster5
- Gianni Trevisiol6
- Alban Crequy7
- Arie Gurfinkel8
- oneturkmen
- Claude9
- Joseph Tafese
- Keith Horton1
- Laksh
- mdumitru
- rysto32
- Simon Jouet
- Venus Xeon-Blonde10
- Will Hawkins
- B11
- Hengqi Chen
- 1. Microsoft
- 2. Isovalent
- 3. AWS
- 4. @githedgehog
- 5. @cloudflare
- 6. Microsoft Corporation
- 7. @kinvolk
- 8. University of Waterloo
- 9. @anthropics
- 10. Cloudflare
- 11. @bookingcom
Description
eBPF verifier based on abstract interpretation
Files
vbpf/prevail-v0.2.6.zip
Files
(669.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:bf5d00523fe04ce6064b33cc6838c949
|
669.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/vbpf/prevail/tree/v0.2.6 (URL)
Software
- Repository URL
- https://github.com/vbpf/prevail