/StaticBugCheckers

StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding tools including Google's Error Prone, Facebook's Infer, and Spotbugs.

Primary LanguagePythonMIT LicenseMIT

Watchers

No one’s watching this repository yet.