← All repos

vbpf/prevail

View on GitHub ↗ ★ 473 C++

eBPF verifier based on abstract interpretation

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2021-05-10 · latest 2024-07-22