GSoC 2025
NullnessLight: A Lightweight Nullness Bug Detector for the Checker Framework
Project details
Contributor
Abhijit Kulkarni
Mentors
Michael Ernst
Technologies
Not listed in the archive
Contributor
Abhijit Kulkarni
Mentors
Michael Ernst
Not listed in the archive