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