Checker Framework
Prevent programming errors via simple verification
Category
SecurityYears
Technologies
Topics
Suggest a correctionProject history
Indexed project records; missing years are not zero. Coverage
Get involved
Links from the organization鈥檚 published listing (2025). Older contact links may have moved.
Programs & participation
5 records across 1 program2025Google Summer of CodeAnnual program 路 2 projects indexed
- Mutable Index Checker: Index Checking for Mutable Length Data Structures with the Checker Framework
- NullnessLight: A Lightweight Nullness Bug Detector for the Checker Framework
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2020Google Summer of CodeAnnual program 路 2 projects indexed
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2019Google Summer of CodeAnnual program 路 5 projects indexed
- Android Support Annotations
- Annotate Apache Commons Lang with Index Checker.
- Improve Signedness Checker
- Index Checker Case Study
- Nullness Checker Case Study on Bazel Build tool
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2018Google Summer of CodeAnnual program 路 3 projects indexed
- Annotate ASM library with signature checker
- Enabling the Checker Framework to handle JDK 9
- Index Checker case study on Google Guava library. Fix bugs and improve its error messages.
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2017Google Summer of CodeAnnual program 路 5 projects indexed
- Bounded-size strings
- Erroneous use of Java 8's Optional class
- Improving dataflow framework and analyzers
- Update to newer version of JavaParser
- Whole-Program Inference
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.