othadem/checker-framework

Pluggable type-checking for Java

JavaNOASSERTION