ebpf-verifier
eBPF verifier based on abstract interpretation
376 stars
14 watching
39 forks
Language: C++
last commit: 10 days ago abstract-interpretationebpfebpf-verifierstatic-analyzer
ebpf-verifier eBPF verifier based on abstract interpretation