Open source repositories tagged with #abstract-interpretation, ranked by health score.
Static Analysis Course
