org.checkerframework贡献的开源项目


Framework-Test is a collection of utility classes for testing checkers that use the Checker Framework.
2019-08-02 03:36:59

dataflow 14 评分 jar

org.checkerframework » dataflow » 2.10.0 (309.1 KB) 60 个版本

Dataflow is a dataflow framework based on the javac compiler. 4 引用量
2019-08-02 03:36:37 GPL-3.0-only,GPL-2.0-with-classpath-exception,MIT 协议

Javacutil is a collection of utility classes for the javac compiler.
2019-08-02 03:36:16

jdk8 17 评分 jar

org.checkerframework » jdk8 » 2.10.0 (953.2 KB) 66 个版本

Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 api annotated with Checker Framework annotations. Method implementations in this file are empty. This file should only be compiled against and should never be placed on the runtime classpath of a compiled program. 186 引用量
2019-08-02 03:35:55 GPL-3.0-only,GPL-2.0-with-classpath-exception 协议

Checker Qual Android is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. The checker-qual-android artifact is identical to the checker-qual artifact, except that in checker-qual-android annotations have classfile retention. The default Android Gradle plugin retains types annotated with runtime annotations in the main dex, but strips out class-retention annotations. Please see artifact: org.checkerframework:checker
2019-08-02 03:35:31

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker 264 引用量
2019-08-02 03:35:08 GPL-3.0-only,GPL-2.0-with-classpath-exception,MIT 协议

checker 17 评分 jar

org.checkerframework » checker » 2.10.0 (8.1 MB) 66 个版本

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins. 238 引用量
2019-08-02 03:34:44 GPL-3.0-only,GPL-2.0-with-classpath-exception 协议

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker 62 引用量
2018-08-31 09:45:56 GPL-3.0-only,GPL-2.0-with-classpath-exception,MIT 协议

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
2018-08-02 06:18:01

The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations. 23 引用量
2018-03-02 02:58:10 GPL-3.0-only 协议

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker 13 引用量
2018-03-02 02:56:38 GPL-3.0-only,GPL-2.0-with-classpath-exception,MIT 协议

Apache Commons Bytecode Engineering Library, with type annotations
2018-02-16 04:41:17

jdk7 13 评分 jar

org.checkerframework » jdk7 » 2.1.14 (624.9 KB) 43 个版本

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. This file should only be compiled against and should never be placed on the runtime classpath of a compiled program. 28 引用量
2017-08-04 01:56:27 GPL-3.0-only,GPL-2.0-with-classpath-exception 协议

The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven build. Directions can be found at: http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#maven-plugin
2014-06-03 07:02:50 Apache-2.0 协议