Security
Prevent programming errors via simple verification
2 projects
I propose to develop NullnessLight, a lightweight, easy-to-use nullness checker built on the Checker Framework. NullnessLight will trade full...
This project aims to enhance the Checker Framework by introducing a Mutable Index Checker, which provides compile-time guarantees of index safety for...
2 projects
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...
5 projects
Index Checker warns the user about code that can throw an IndexOutOfBoundsException. In this case study, four open source libraries will be annotated...
Currently, Android uses its own annotations that are similar to some in the Checker Framework. Examples include the @NonNull, @IntRange, @IntDef, and...
This project consists of: 1.)Allowing the Signedness Type System to capture the signedness of boxed integral types, special Java wrappers for ...
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...
As seen on Bazel’s Issue Page, Bazel suffers from numerous NullPointerException( NPE ). These NPEs come out at runtime as RuntimeException causing a ...
3 projects
This project consists of: Annotating ASM with signature string checker of checker framework. Find and report bugs if any found during the process. ...
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...
The Index Checker warns about potentially out-of-bounds accesses to sequence data structures in the widely used Google Guava library, guarantee...
5 projects
Checker Framework provides a collection of type systems to prevent bugs on Java programs at development time. Although a type system might be useful...
Traditionally, java programs use null to represent the absence of value. Java 8 introduced Optional class, a container that contains a reference to T...
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...
The JavaParser plays a significant role in the functioning of the StubParser project. The StubParser (sub-project of the Checker Framework) is the...
Checker Framework has a Dataflow Framework for Java Language. This is useful to infer more specific types in Checker Framework. This framework is not...
