Open source repositories tagged with #static-analyzer, ranked by health score.
eBPF verifier based on abstract interpretation
PHP Static Analysis Tool - discover bugs in your code without running it!
