GSoCSecurityLast accepted 2025
Checker Framework
Prevent programming errors via simple verification
- 17
- Projects
- 5
- Years accepted
- 2
- In 2025
Projects by year
172025
2 acceptedShow
NullnessLight: A Lightweight Nullness Bug Detector for the Checker Framework
Accepted project · by Abhijit Kulkarni
I propose to develop NullnessLight, a lightweight, easy-to-use nullness checker built on the Checker Framework. NullnessLight will trade full...
Mutable Index Checker: Index Checking for Mutable Length Data Structures with the Checker Framework
Accepted project · by Damika Anupama Nanayakkara
This project aims to enhance the Checker Framework by introducing a Mutable Index Checker, which provides compile-time guarantees of index safety for...
2020
2 acceptedShow
Checker framework is a great lightweight tool which could easily type check code having a dependency on a library if the library has already been...
The Tainted Checker Overhaul aims to be an extension of the Tainted Checker Framework, extending the concept of tainted data and upgrading its...
2019
5 acceptedShow
- Index Checker Case StudyMaximilian Gama
- Android Support AnnotationsAyush Agarwal
- Improve Signedness CheckerKartikeya Goswami
- Annotate Apache Commons Lang with Index Checker.Akash Srivastava
- Nullness Checker Case Study on Bazel Build toolthe1derer
2018
3 acceptedShow
2017
5 acceptedShow
- Whole-Program InferenceFelipe R. Monteiro
- Erroneous use of Java 8's Optional classNikhil Deepak Shinde
- Bounded-size stringsVlastimil Dort
- Update to newer version of JavaParserBohdan Sharipov
- Improving dataflow framework and analyzersShinya Yoshida
