Pluggable type-checking for Java. Contribute to typetools/checker-framework development by creating an account on GitHub.