{"id":13511769,"url":"https://github.com/typetools/checker-framework","last_synced_at":"2026-02-02T23:55:14.172Z","repository":{"id":34544328,"uuid":"38488726","full_name":"typetools/checker-framework","owner":"typetools","description":"Pluggable type-checking for Java","archived":false,"fork":false,"pushed_at":"2026-01-03T16:53:41.000Z","size":240416,"stargazers_count":1119,"open_issues_count":424,"forks_count":429,"subscribers_count":43,"default_branch":"master","last_synced_at":"2026-01-05T16:32:29.345Z","etag":null,"topics":["java","types","verification"],"latest_commit_sha":null,"homepage":"http://checkerframework.org/","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/typetools.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-07-03T11:09:17.000Z","updated_at":"2026-01-04T18:25:15.000Z","dependencies_parsed_at":"2024-01-22T09:30:12.579Z","dependency_job_id":"e6dc3d35-77db-4840-81f9-72b680b2f4a6","html_url":"https://github.com/typetools/checker-framework","commit_stats":null,"previous_names":[],"tags_count":189,"template":false,"template_full_name":null,"purl":"pkg:github/typetools/checker-framework","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typetools%2Fchecker-framework","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typetools%2Fchecker-framework/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typetools%2Fchecker-framework/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typetools%2Fchecker-framework/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/typetools","download_url":"https://codeload.github.com/typetools/checker-framework/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/typetools%2Fchecker-framework/sbom","scorecard":{"id":72906,"data":{"date":"2025-08-04","repo":{"name":"github.com/typetools/checker-framework","commit":"521a6c44bc16c3a874618ad2cb789ada4f9f3034"},"scorecard":{"version":"v5.2.1-28-gc1d103a9","commit":"c1d103a9bb9f635ec7260bf9aa0699466fa4be0e"},"score":3.3,"checks":[{"name":"Code-Review","score":1,"reason":"Found 3/26 approved changesets -- score normalized to 1","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#code-review"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#packaging"}},{"name":"Maintained","score":10,"reason":"30 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#maintained"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#token-permissions"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#dangerous-workflow"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#security-policy"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE.txt:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#license"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact checker-framework-3.49.5 not signed: https://api.github.com/repos/typetools/checker-framework/releases/228849499","Warn: release artifact checker-framework-3.49.4 not signed: https://api.github.com/repos/typetools/checker-framework/releases/222527114","Warn: release artifact checker-framework-3.49.3 not signed: https://api.github.com/repos/typetools/checker-framework/releases/216220143","Warn: release artifact checker-framework-3.49.2 not signed: https://api.github.com/repos/typetools/checker-framework/releases/209696297","Warn: release artifact checker-framework-3.49.1 not signed: https://api.github.com/repos/typetools/checker-framework/releases/203431709","Warn: release artifact checker-framework-3.49.5 does not have provenance: https://api.github.com/repos/typetools/checker-framework/releases/228849499","Warn: release artifact checker-framework-3.49.4 does not have provenance: https://api.github.com/repos/typetools/checker-framework/releases/222527114","Warn: release artifact checker-framework-3.49.3 does not have provenance: https://api.github.com/repos/typetools/checker-framework/releases/216220143","Warn: release artifact checker-framework-3.49.2 does not have provenance: https://api.github.com/repos/typetools/checker-framework/releases/209696297","Warn: release artifact checker-framework-3.49.1 does not have provenance: https://api.github.com/repos/typetools/checker-framework/releases/203431709"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#signed-releases"}},{"name":"Binary-Artifacts","score":-1,"reason":"internal error: failure checking for Gradle wrapper validating Action: failure listing workflow runs: internal error: ListWorkflowRunsByFileName: GET https://api.github.com/repos/typetools/checker-framework/actions/workflows/gradle-wrapper-validation.yml-DISABLED/runs?status=success: 404 Not Found []","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#binary-artifacts"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#branch-protection"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#fuzzing"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#vulnerabilities"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 22 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#sast"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk11:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk11-plus:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk11-plus.m4:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk11.m4:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk17:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk17-plus:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk17-plus.m4:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk17.m4:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk21:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk21-plus:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk21-plus.m4:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk21.m4:6: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk24:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk24-plus:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk24-plus.m4:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk24.m4:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk25:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk25-plus:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk25-plus.m4:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdk25.m4:6: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdkbase:5: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdkbase.m4:5: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdkplus:5: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubuntu-jdkplus.m4:5: pin your Docker image by updating ubuntu to ubuntu@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubunturolling-jdkbase:5: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubunturolling-jdkbase.m4:5: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubunturolling-jdkplus:5: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Warn: containerImage not pinned by hash: checker/bin-devel/Dockerfile-ubunturolling-jdkplus.m4:5: pin your Docker image by updating ubuntu:rolling to ubuntu:rolling@sha256:95a416ad2446813278ec13b7efdeb551190c94e12028707dd7525632d3cec0d1","Info:   0 out of  28 containerImage dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/c1d103a9bb9f635ec7260bf9aa0699466fa4be0e/docs/checks.md#pinned-dependencies"}}]},"last_synced_at":"2025-08-15T04:13:25.177Z","repository_id":34544328,"created_at":"2025-08-15T04:13:25.177Z","updated_at":"2025-08-15T04:13:25.177Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28254942,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2026-01-09T02:00:07.210Z","response_time":75,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["java","types","verification"],"created_at":"2024-08-01T03:01:10.179Z","updated_at":"2026-01-14T03:22:48.171Z","avatar_url":"https://github.com/typetools.png","language":"Java","readme":"# The Checker Framework:  pluggable type-checking for Java\n\nPlease see the Checker Framework manual\n([HTML](https://checkerframework.org/manual/),\n[PDF](https://checkerframework.org/manual/checker-framework-manual.pdf)).\n\nThe history of releases and changes is in file\n[docs/CHANGELOG.md](docs/CHANGELOG.md).\n\nDocumentation for Checker Framework developers\nis in directory `docs/developer/`.\n","funding_links":[],"categories":["Java","静态分析","Programming Languages"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftypetools%2Fchecker-framework","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftypetools%2Fchecker-framework","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftypetools%2Fchecker-framework/lists"}