Checker Framework

Prevent programming errors via simple verification

Website

Blogs Contribution Guidelines

GSoC Participation History

2025 2020 2019 2018 2017

Technologies

java compilers Verification formal methods type systems

Topics

software engineering verification programmer productivity bug finding pragrammer productivity programming languages type systems

Past Projects

beginner

NullnessLight: A Lightweight Nullness Bug Detector for the Checker Framework

I propose to develop NullnessLight, a lightweight, easy-to-use nullness checker built on the Checker Framework. NullnessLight will trade full...

Topics:ui

View Project

Mutable Index Checker: Index Checking for Mutable Length Data Structures with the Checker Framework

This project aims to enhance the Checker Framework by introducing a Mutable Index Checker, which provides compile-time guarantees of index safety for...

☕ java

Topics:apiai

View Project

Frequently Asked Questions

Checker Framework | GSoC Org Profile & Stats - Learn about Checker Framework's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.

Category:

Security

|Currently Active|

Contributor Readiness

Participation

Projects

Top Programming Languages

java dominates with primary adoption

Project Difficulty Distribution

Beginner

Intermediate

Advanced

No difficulty data available