The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
Latest Versions
158 versions →| Version ▼ | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
4.3.x | 4.3.0 |
1
| Oct 02, 2026 | |
4.2.x | 4.2.3 |
1
| Sep 02, 2026 | |
| 4.2.2 |
0
| Aug 07, 2026 | ||
| 4.2.1 |
0
| Jul 02, 2026 | ||
| Show 1 more from 4.2.x | ||||
4.1.x | 4.1.0 |
1
| May 02, 2026 | |
4.0.x | 4.0.0 |
0
| Apr 07, 2026 | |
3.55.x | 3.55.1 |
0
| Apr 03, 2026 | |
3.54.x | 3.54.1 |
1
| Apr 02, 2026 | |
| 3.54.0 |
0
| Mar 02, 2026 | ||
3.53.x | 3.53.1 |
1
| Feb 02, 2026 | |
| 3.53.0 |
0
| Jan 06, 2026 | ||
3.52.x | 3.52.1 |
1
| Dec 02, 2025 | |
| 3.52.0 |
0
| Nov 04, 2025 | ||
3.51.x | 3.51.1 |
1
| Oct 01, 2025 | |
| 3.51.0 |
0
| Sep 10, 2025 | ||
3.50.x | 3.50.0 |
0
| Aug 28, 2025 | |