Werner Dietl's Projects
Tools for type annotations in Java
A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
Control Flow Graph Visualization for Checker Framework
Pluggable type-checking for Java
Inference of pluggable types for Java
A web app for ranking computer science departments according to their research output in selective venues.
Checker Framework Live Demo
Catch common Java mistakes as compile-time errors
Big integration test of all tools
2nd big integration test of all tools
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
hg-git mirror of https://bitbucket.org/typetools/jsr308-langtools
KeY Theorem Prover for Deductive Java Verification
Very spicy additions to the Java programming language.
BibTeX bibliographies
A library of useful abstractions for programming
Utility libraries for Java
GitHub homepage for wmdietl