typetools/checker-framework

Code Analysis Tools Functional Programming

Stars
950
Rank 46,282 (Top 1.0 %)
Language
Java
License
Other
Created almost 9 years ago
Updated 6 months ago

typetools/checker-framework

typetools

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Pluggable type-checking for Java

The Checker Framework: pluggable type-checking for Java

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file docs/CHANGELOG.md.

Documentation for Checker Framework developers is in directory docs/developer/.

annotation-tools

Tools for type annotations in Java

sparta

Static Program Analysis for Reliable Trusted Apps

checker-framework-inference

Inference of pluggable types for Java

javarifier

Inference of Javari reference immutability types for Java

checker-framework.demos

Demos for the Checker Framework

templatefora-checker

A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.