Checker Framework
Pluggable type-checking for Java.
Github:
- 8248243133032015
Workflow integration:
cli
Official Checker Framework Homepage
https://github.com/typetools/checker-framework
GPL with Classpath exception / MIT License
Maintained