Checker Framework

Prevent programming errors before they happen, via easy-to-use verification

Technologies

java

Topics

software engineering
verification
programmer productivity
bug finding
pragrammer productivity
programming languages
type systems
https://checkerframework.org/
Email
Mailing List / Forum
Blog

Projects

Contributor

Felipe R. Monteiro

Whole-Program Inference

Checker Framework provides a collection of type systems to prevent bugs on Java programs at development time. Although a type system might be useful...

View project detailsView code

Contributor

Nikhil Deepak Shinde

Erroneous use of Java 8's Optional class

Traditionally, java programs use null to represent the absence of value. Java 8 introduced Optional class, a container that contains a reference to T...

View project detailsView code

Contributor

Vlastimil Dort

Bounded-size strings

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...

View project detailsView code

Contributor

Bohdan Sharipov

Update to newer version of JavaParser

The JavaParser plays a significant role in the functioning of the StubParser project. The StubParser (sub-project of the Checker Framework) is the...

View project detailsView code

Contributor

Shinya Yoshida

Improving dataflow framework and analyzers

Checker Framework has a Dataflow Framework for Java Language. This is useful to infer more specific types in Checker Framework. This framework is not...

View project detailsView code