Open source repositories tagged with #static-program-analysis, ranked by health score.
Sophisticated static program analysis framework for the R programming language.