Prevent programming errors via simple verification
Contributor: Abhijit Kulkarni
I propose to develop NullnessLight, a lightweight, easy-to-use nullness checker built on the Checker Framework. NullnessLight will trade full...
Contributor: 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...
Contributor: Priti Chattopadhyay
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...
Contributor: Aditya Singh
The Tainted Checker Overhaul aims to be an extension of the Tainted Checker Framework, extending the concept of tainted data and upgrading its...
Contributor: Maximilian Gama
Index Checker warns the user about code that can throw an IndexOutOfBoundsException. In this case study, four open source libraries will be annotated...
Contributor: Ayush Agarwal
Currently, Android uses its own annotations that are similar to some in the Checker Framework. Examples include the @NonNull, @IntRange, @IntDef, and...
Contributor: Kartikeya Goswami
This project consists of: 1.)Allowing the Signedness Type System to capture the signedness of boxed integral types, special Java wrappers for ...
Contributor: Akash Srivastava
The aim of this project is to carry out a rigorous and deep case study of Index Checker by annotating Apache Commons Lang with the same. The plan of...
Contributor: the1derer
As seen on Bazel’s Issue Page, Bazel suffers from numerous NullPointerException( NPE ). These NPEs come out at runtime as RuntimeException causing a ...
Contributor: Sagar Tewari
This project consists of: Annotating ASM with signature string checker of checker framework. Find and report bugs if any found during the process. ...
Contributor: Ravi Roshan
This project is about enabling the checker framework to handle JDK9. As of now, the checker framework runs only on JDK 8. Since JDK 9 has already...
Contributor: Nhat Dinh
The Index Checker warns about potentially out-of-bounds accesses to sequence data structures in the widely used Google Guava library, guarantee...
Contributor: Felipe R. Monteiro
Checker Framework provides a collection of type systems to prevent bugs on Java programs at development time. Although a type system might be useful...
Contributor: Nikhil Deepak Shinde
Traditionally, java programs use null to represent the absence of value. Java 8 introduced Optional class, a container that contains a reference to T...
Contributor: Vlastimil Dort
The goal of this project is to implement a checker for bounded-size strings in the Checker Framework, as described on the GSoC 2017 Ideas page. The...
Contributor: Bohdan Sharipov
The JavaParser plays a significant role in the functioning of the StubParser project. The StubParser (sub-project of the Checker Framework) is the...
Contributor: Shinya Yoshida
Checker Framework has a Dataflow Framework for Java Language. This is useful to infer more specific types in Checker Framework. This framework is not...
