Gradle plugin to use the Checker Framework for Java

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

KeY Theorem Prover for Deductive Java Verification

Pluggable type-checking for Java

Catch common Java mistakes as compile-time errors

Checker Framework Live Demo

Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

Inference of pluggable types for Java

Tools for type annotations in Java

Utility libraries for Java

A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.

Very spicy additions to the Java programming language.

A web app for ranking computer science departments according to their research output in selective venues.

2nd big integration test of all tools

Control Flow Graph Visualization for Checker Framework

Big integration test of all tools

A library of useful abstractions for programming

BibTeX bibliographies