typetools/checker-framework

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1149 stars · 437 forks observed · 2026-09-03

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

The Checker Framework is a framework for pluggable type-checking in Java, enhancing Java's type system to detect and prevent bugs like null pointer exceptions, SQL injection, and concurrency errors at compile time. It ships with built-in compiler plug-in checkers (Nullness, Regex, Tainting, Resource Leak, etc.) and lets developers write their own custom checkers.

Use cases

• find null pointer bugs in my Java code at compile time
• verify absence of SQL injection vulnerabilities in Java
• write a custom type checker as a javac plugin
• detect resource leaks in Java programs
• check regex syntax statically in Java
• add taint analysis to a Java build
• prevent concurrency errors in Java with static checking

When to choose

• you want compile-time guarantees about Java program correctness
• you need to catch null pointer, leak, or taint bugs before runtime
• you want to build custom pluggable type checkers for Java
• you are doing formal verification or security analysis of Java code

When to avoid

• your project is not written in Java
• you only need lightweight linting without type annotations
• you cannot modify source code to add type annotations
• you need dynamic/runtime verification rather than static checking

Facets

framework · maturity stable

type-system testing linter compiler security programming-languages developer-tools security compilers jvm cross-platform cli pluggable-types static-analysis nullness-checking java-annotations formal-verification bug-detection

Member repositories

For agents

markdown · JSON · MCP: product_card(name="typetools/checker-framework")