typetools

typetools/checker-framework

Pluggable type-checking for Java

1.1K stars 435 forks 1.1K watchers Java Other

java types verification

View on GitHub Website

7 Open Issues Need Help Last updated: Aug 22, 2026

Open Issues Need Help

View All on GitHub

Feature Request: Support the use of jetbrains "external annotations" annotation.xml format for stubbing. 30 days ago

enhancement good first issue

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification

Maven plugin 7 months ago

enhancement good first issue

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification

Generate report file from analysis. 8 months ago

good first issue

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification

See which other JDK subtypes of `AutoCloseable` should be `@MustCall("close")` 8 months ago

good first issue ResourceLeakChecker

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification

Make `@FormatMethod` applicable to more methods 8 months ago

enhancement good first issue

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification

Make `Map.keySet()` handle multiple argments to `@KeyFor` 11 months ago

enhancement False Positive (false warning or imprecision) good first issue

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification

Signedness Checker support for bit patterns 11 months ago

enhancement good first issue

typetools/checker-framework

1.1K

Pluggable type-checking for Java

Java

#java#types#verification