NullnessLight: A Lightweight Nullness Bug Detector for the Checker Framework
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
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...
