dev-java/
checker-framework-qual

Annotations for type-checking by the Checker Framework

https://checkerframework.org/

The dependencies are regularly computed based on the qa-reports.