Data

Tools

Indexes

Applications

Experiments

Summary

An open API service for producing an overview of a list of open source projects.

https://github.com/typetools/checker-framework

java types verification

Score: 32.38449307949021

Last synced: about 2 hours ago
JSON representation

Repository metadata:

Pluggable type-checking for Java

Owner metadata:

GitHub Events

Total
Last Year

Committers metadata

Last synced: 6 days ago

Total Commits: 17,588
Total Committers: 164
Avg Commits per committer: 107.244
Development Distribution Score (DDS): 0.589

Commits in past year: 432
Committers in past year: 14
Avg Commits per committer in past year: 30.857
Development Distribution Score (DDS) in past year: 0.426

Name Email Commits
Michael Ernst m****t@c****u 7222
Werner Dietl w****l@g****m 3023
Suzanne Millstein s****t@c****u 2183
stefanheule d****l@l****t 2058
jonathangburke j****e@g****m 533
Javier Thaine j****e@c****u 304
Martin Kellogg k****m@c****u 286
charlie garrett c****t@g****m 226
David McArthur m****r@c****u 186
renovate[bot] 2****] 149
Stuart Pernsteiner s****e@c****u 116
Eric Spishak e****k@c****u 108
Mahmood Ali m****3@g****m 106
dependabot[bot] 4****] 86
dependabot-preview[bot] 2****] 72
Manu Sridharan m****r@g****m 59
Jeff Luo j****o@u****a 48
James Yoo 2****0 46
Vlastimil Dort p****z@s****z 46
Dan Brown d****o@c****u 43
Weitian Xing x****n@g****m 39
wmdietlGC w****d@g****m 33
Konstantin Weitz k****e@g****m 31
Rashmi Mudduluru r****4@c****u 24
CharlesZ-Chen c****n@g****m 22
Paulo Barros p****f@c****u 22
Colin Stebbins Gordon c****n@d****u 21
Calvin Loncaric m****3@g****m 19
Maximilian Gama m****a@y****m 19
David Lazar l****6@i****u 18
and 134 more...

Issue and Pull Request metadata

Last synced: 6 days ago

Total issues: 257
Total pull requests: 1,206
Average time to close issues: 10 months
Average time to close pull requests: 3 days
Total issue authors: 82
Total pull request authors: 29
Average comments per issue: 1.48
Average comments per pull request: 0.35
Merged pull request: 881
Bot issues: 3
Bot pull requests: 207

Past year issues: 61
Past year pull requests: 491
Past year average time to close issues: 11 days
Past year average time to close pull requests: 2 days
Past year issue authors: 33
Past year pull request authors: 20
Past year average comments per issue: 0.67
Past year average comments per pull request: 0.33
Past year merged pull request: 328
Past year bot issues: 1
Past year bot pull requests: 87

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/typetools/checker-framework

Top Issue Authors

  • msridhar (37)
  • Calvin-L (18)
  • mernst (17)
  • theosotr (15)
  • cushon (14)
  • iamsanjaymalakar (13)
  • smillst (12)
  • MichalStehlikCz (12)
  • jyoo980 (10)
  • vlsi (5)
  • spacether (4)
  • lcahmu (3)
  • renovate[bot] (3)
  • kelloggm (3)
  • GoogleCodeExporter (3)

Top Pull Request Authors

  • mernst (591)
  • smillst (214)
  • renovate[bot] (205)
  • jyoo980 (57)
  • msridhar (34)
  • skehrli (23)
  • Calvin-L (19)
  • kelloggm (18)
  • iamsanjaymalakar (8)
  • iywang2016 (7)
  • johnkrah (4)
  • Nargeshdb (3)
  • dependabot[bot] (2)
  • Damika-Anupama (2)
  • vaidikcode (2)

Top Issue Labels

  • ResourceLeakChecker (30)
  • crash (29)
  • False Negative (missing warning or unsoundness) (12)
  • False Positive (false warning or imprecision) (12)
  • bug (9)
  • enhancement (7)
  • Dataflow (6)
  • Java8 (2)
  • good first issue (2)
  • JavaExpressions (1)
  • Performance (1)
  • Unreproducible (1)

Top Pull Request Labels

  • ResourceLeakChecker (2)
  • dependencies (2)
  • java (2)
  • Performance (1)

Package metadata

repo1.maven.org: org.checkerframework:checker-qual

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/checker-qual/
  • Licenses: The MIT License
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:42:42.942Z (5 days ago)
  • Versions: 144
  • Dependent Packages: 1,685
  • Dependent Repositories: 2,614
  • Docker Downloads: 426,669,745
  • Rankings:
    • Dependent packages count: 0.043%
    • Dependent repos count: 0.206%
    • Docker downloads count: 4.518%
    • Average: 5.4%
    • Forks count: 10.131%
    • Stargazers count: 12.103%
repo1.maven.org: org.checkerframework:checker-compat-qual

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

  • Homepage: https://checkerframework.org
  • Documentation: https://appdoc.app/artifact/org.checkerframework/checker-compat-qual/
  • Licenses: The MIT License
  • Latest release: 2.5.6 (published about 2 years ago)
  • Last Synced: 2025-10-29T20:44:22.074Z (5 days ago)
  • Versions: 51
  • Dependent Packages: 712
  • Dependent Repositories: 346
  • Docker Downloads: 39,528,485
  • Rankings:
    • Dependent packages count: 0.105%
    • Dependent repos count: 0.793%
    • Docker downloads count: 5.525%
    • Average: 5.731%
    • Forks count: 10.131%
    • Stargazers count: 12.103%
repo1.maven.org: org.checkerframework:checker

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.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/checker/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:43:40.746Z (5 days ago)
  • Versions: 144
  • Dependent Packages: 55
  • Dependent Repositories: 375
  • Docker Downloads: 397
  • Rankings:
    • Dependent repos count: 0.742%
    • Dependent packages count: 1.27%
    • Docker downloads count: 4.552%
    • Average: 5.934%
    • Forks count: 10.821%
    • Stargazers count: 12.284%
repo1.maven.org: org.checkerframework:jdk8

Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. 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.

  • Homepage: https://checkerframework.org
  • Documentation: https://appdoc.app/artifact/org.checkerframework/jdk8/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.3.0 (published over 5 years ago)
  • Last Synced: 2025-10-29T20:44:03.348Z (5 days ago)
  • Versions: 75
  • Dependent Packages: 27
  • Dependent Repositories: 245
  • Docker Downloads: 14
  • Rankings:
    • Dependent repos count: 1.019%
    • Dependent packages count: 2.424%
    • Average: 6.536%
    • Docker downloads count: 7.005%
    • Forks count: 10.131%
    • Stargazers count: 12.103%
repo1.maven.org: org.checkerframework:dataflow-errorprone

dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.errorprone.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/dataflow-errorprone/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:43:39.101Z (5 days ago)
  • Versions: 55
  • Dependent Packages: 42
  • Dependent Repositories: 15
  • Rankings:
    • Dependent packages count: 1.608%
    • Dependent repos count: 6.296%
    • Average: 7.751%
    • Forks count: 10.821%
    • Stargazers count: 12.28%
repo1.maven.org: org.checkerframework:dataflow

Dataflow is a dataflow framework based on the javac compiler.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/dataflow/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:42:30.495Z (5 days ago)
  • Versions: 138
  • Dependent Packages: 11
  • Dependent Repositories: 12
  • Rankings:
    • Dependent packages count: 5.585%
    • Dependent repos count: 7.06%
    • Average: 8.937%
    • Forks count: 10.821%
    • Stargazers count: 12.284%
repo1.maven.org: org.checkerframework:javacutil

javacutil contains utility classes for the javac compiler.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/javacutil/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:43:11.901Z (5 days ago)
  • Versions: 138
  • Dependent Packages: 11
  • Dependent Repositories: 9
  • Rankings:
    • Dependent packages count: 5.585%
    • Dependent repos count: 8.215%
    • Average: 9.226%
    • Forks count: 10.821%
    • Stargazers count: 12.284%
repo1.maven.org: org.checkerframework:dataflow-shaded

dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/dataflow-shaded/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:43:12.110Z (5 days ago)
  • Versions: 73
  • Dependent Packages: 12
  • Dependent Repositories: 2
  • Rankings:
    • Dependent packages count: 5.17%
    • Forks count: 10.821%
    • Average: 11.097%
    • Stargazers count: 12.28%
    • Dependent repos count: 16.116%
repo1.maven.org: org.checkerframework:checker-util

checker-util contains utility classes for programmers to use at run time.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/checker-util/
  • Licenses: The MIT License
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:42:29.437Z (5 days ago)
  • Versions: 59
  • Dependent Packages: 4
  • Dependent Repositories: 6
  • Rankings:
    • Dependent repos count: 10.031%
    • Forks count: 10.821%
    • Average: 11.765%
    • Stargazers count: 12.28%
    • Dependent packages count: 13.926%
repo1.maven.org: org.checkerframework:dataflow-nullaway

dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/dataflow-nullaway/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:43:38.827Z (5 days ago)
  • Versions: 55
  • Dependent Packages: 18
  • Dependent Repositories: 1
  • Rankings:
    • Dependent packages count: 3.545%
    • Forks count: 10.948%
    • Average: 11.888%
    • Stargazers count: 12.284%
    • Dependent repos count: 20.775%
repo1.maven.org: org.checkerframework:framework-test

framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/framework-test/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:44:37.064Z (5 days ago)
  • Versions: 89
  • Dependent Packages: 3
  • Dependent Repositories: 10
  • Rankings:
    • Dependent repos count: 7.812%
    • Forks count: 10.821%
    • Average: 12.121%
    • Stargazers count: 12.284%
    • Dependent packages count: 17.567%
repo1.maven.org: org.checkerframework:jdk7

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.

  • Homepage: https://checkerframework.org
  • Documentation: https://appdoc.app/artifact/org.checkerframework/jdk7/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 2.1.14 (published over 8 years ago)
  • Last Synced: 2025-10-29T20:44:02.839Z (5 days ago)
  • Versions: 43
  • Dependent Packages: 1
  • Dependent Repositories: 46
  • Docker Downloads: 343
  • Rankings:
    • Dependent repos count: 3.218%
    • Docker downloads count: 4.6%
    • Forks count: 10.821%
    • Stargazers count: 12.28%
    • Average: 12.781%
    • Dependent packages count: 32.986%
repo1.maven.org: org.checkerframework:checker-qual7

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

  • Homepage: https://checkerframework.org
  • Documentation: https://appdoc.app/artifact/org.checkerframework/checker-qual7/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception,The MIT License
  • Latest release: 2.4.0 (published over 7 years ago)
  • Last Synced: 2025-10-29T20:43:39.711Z (5 days ago)
  • Versions: 6
  • Dependent Packages: 5
  • Dependent Repositories: 1
  • Rankings:
    • Forks count: 10.821%
    • Dependent packages count: 11.485%
    • Stargazers count: 12.28%
    • Average: 13.84%
    • Dependent repos count: 20.775%
repo1.maven.org: org.checkerframework:testlib

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.

  • Homepage: https://checkerframework.org
  • Documentation: https://appdoc.app/artifact/org.checkerframework/testlib/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception,The MIT License
  • Latest release: 2.5.4 (published over 7 years ago)
  • Last Synced: 2025-10-29T20:43:38.844Z (5 days ago)
  • Versions: 4
  • Dependent Packages: 3
  • Dependent Repositories: 1
  • Rankings:
    • Forks count: 10.131%
    • Stargazers count: 12.103%
    • Average: 15.144%
    • Dependent packages count: 17.567%
    • Dependent repos count: 20.775%
repo1.maven.org: org.checkerframework:checker-qual-android

checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework. 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.

  • Homepage: https://checkerframework.org/
  • Documentation: https://appdoc.app/artifact/org.checkerframework/checker-qual-android/
  • Licenses: The MIT License
  • Latest release: 3.51.1 (published about 1 month ago)
  • Last Synced: 2025-10-29T20:45:00.432Z (5 days ago)
  • Versions: 88
  • Dependent Packages: 1
  • Dependent Repositories: 14
  • Rankings:
    • Dependent repos count: 6.564%
    • Forks count: 9.902%
    • Stargazers count: 12.011%
    • Average: 15.366%
    • Dependent packages count: 32.986%
repo1.maven.org: io.github.eisop:jdk8

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.

  • Homepage: https://checkerframework.org
  • Documentation: https://appdoc.app/artifact/io.github.eisop/jdk8/
  • Licenses: GNU General Public License, version 2 (GPL2), with the classpath exception
  • Latest release: 3.0.0-b2 (published over 6 years ago)
  • Last Synced: 2025-10-29T20:43:39.159Z (5 days ago)
  • Versions: 1
  • Dependent Packages: 0
  • Dependent Repositories: 0
  • Rankings:
    • Forks count: 7.897%
    • Stargazers count: 9.412%
    • Average: 24.537%
    • Dependent repos count: 31.98%
    • Dependent packages count: 48.86%

Dependencies

.github/workflows/gradle-wrapper-validation.yml-DISABLED actions
  • actions/checkout v2 composite
  • gradle/wrapper-validation-action v1 composite
checker/build.gradle maven
  • org.plumelib:plume-util ${plumeUtilVersion} implementation
  • org.plumelib:reflection-util ${reflectionUtilVersion} implementation
  • com.amazonaws:aws-java-sdk-ec2 * testImplementation
  • com.amazonaws:aws-java-sdk-kms * testImplementation
  • com.google.auto.value:auto-value 1.7.4 testImplementation
  • com.google.auto.value:auto-value-annotations 1.7.4 testImplementation
  • com.ryanharter.auto.value:auto-value-parcel 0.2.9 testImplementation
  • commons-io:commons-io 2.11.0 testImplementation
  • javax.servlet:javax.servlet-api 3.1.0 testImplementation
  • org.projectlombok:lombok 1.18.24 testImplementation
dataflow/build.gradle maven
  • org.plumelib:plume-util ${plumeUtilVersion} api
framework/build.gradle maven
  • io.github.classgraph:classgraph 4.8.149 implementation
  • org.plumelib:plume-util ${plumeUtilVersion} implementation
  • org.plumelib:reflection-util ${reflectionUtilVersion} implementation
  • com.google.auto.value:auto-value ${versions.autoValue} testImplementation
  • com.google.auto.value:auto-value-annotations ${versions.autoValue} testImplementation
  • org.projectlombok:lombok ${versions.lombok} testImplementation
framework-test/build.gradle maven
  • org.plumelib:plume-util ${plumeUtilVersion} implementation
javacutil/build.gradle maven
  • org.plumelib:plume-util ${plumeUtilVersion} implementation
annotation-tools/annotation-file-utilities/build.gradle maven
build.gradle maven
checker-qual/build.gradle maven
checker-qual-android/build.gradle maven
checker-util/build.gradle maven
docs/examples/MavenExample/pom.xml maven
docs/examples/errorprone/build.gradle maven
docs/examples/lombok/build.gradle maven