Group: Checker Framework
21.Annotated JDK 71 usages
org.checkerframework » jdk7 GPL
Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api
annotated with Checker Framework annotations. Method implementations
in this file are empty.
Last Release on Aug 3, 2017
22.BCEL
org.checkerframework » commons-bcel GPL
Apache Commons Bytecode Engineering Library, with type annotations
Last Release on Feb 15, 2018
23.Checker Framework Maven Plugin
org.checkerframework » checkerframework-maven-plugin Apache +1
The Checker Framework Maven Plugin allows you to easily run the
Checker Framework in your Maven build. Directions can be found
at:
...
Last Release on Jun 2, 2014