In recent years there has been, and continues to be, a great deal of
research activity in static analysis for bug-finding and verification.
This page lists some of the related projects. If you think there is a project
that should be included, please feel free to contact us about improving this page!
Projects are categorized by whatever terminology the project's literature
uses to describe itself.
- Types/Constraints/Logic Programs
(approaches based on inference rules)
- Bounded Model Checking
- Abstract Interpretation
- Multiple interesting projects at Microsoft Research
(these do not appear to have their own web pages)
(not self-described to be in any category)