Open source repositories tagged with #abstract-interpretation, ranked by health score.
eBPF verifier based on abstract interpretation
