公开记录优秀
软件健康报告模式 0.34.0 · 指标 2.10.0 · 2026-10-19 09:44 UTC
KeYProject / key
KeY Theorem Prover for Deductive Java Verification
KeYProject/key 的健康指数为 100 分中的 87 分，处于「优秀」区间。 其得分最高的类别是Vitality（88/100），最低的是Community & Adoption（59/100）。 最近一次更新在 1 天前。 近期的大部分工作由 4 位贡献者完成。
87
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。
87
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 73 经校准后在公布的指数量表上为 87（记录校准 2026-08-02）。
所有权
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
88
开发活跃度
96卓越
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 1 天前 |
| 32.5/36 | 提交节奏 — 52 周中有 47 周有提交 |
| 18/18 | 提交量 — 最近一年 1,431 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 1,431 |
| human_commit_share | 0.94 |
| days_since_last_push | 1 |
| active_weeks_last_year | 47 |
发布纪律
76良好
评分方式
| 27/27 | 有发布版本 — 已发布 25 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 87 天前 |
| 12.6/27 | 发布节奏 — 约每 141.1 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — Project has not signed or included provenance with any releases. |
所用输入
| releases_count | 25 |
| latest_release_tag | KeY-3.0.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 87 |
| mean_days_between_releases | 141.1 |
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
59
流行度与采用
48薄弱
评分方式
| 31.5/60 | 星标 — 88 个星标 |
| 13.8/25 | 复刻 — 46 个复刻 |
| 2.7/15 | 关注者 — 4 位关注者 |
所用输入
| forks | 46 |
| stars | 88 |
| watchers | 4 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
71良好
评分方式
| 22.5/22.5 | README |
| 16.9/22.5 | 许可证 — 存在许可证文件，但不是可识别的许可证 |
| 18/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 6.3/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| readme_badges | 4 |
| has_contributing | 是 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| readme_badge_services | github.com, shields.io |
| has_pull_request_template | 是 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
80
维护者韧性（巴士系数）
85优秀
评分方式
| 43.2/54 | 巴士系数 — 4 位贡献者贡献了半数提交 |
| 18.6/22.5 | 提交分布 — 头号贡献者编写了 17% 的提交 |
| 13.5/13.5 | 贡献者广度 — 54 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 13 contributing companies or organizations |
所用输入
| bus_factor | 4 |
| contributors_sampled | 54 |
| top_contributor_share | 0.173 |
议题与 PR 响应能力
91优秀
评分方式
| 37.6/42 | 议题解决 — 90% 的议题已关闭 |
| 26.2/30 | PR 接受 — 已裁定的 PR 中 637/729 已合并 |
| 0/13 | Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决 |
| 15/15 | OpenSSF Scorecard：Code-Review — all changesets reviewed |
所用输入
| merged_prs | 637 |
| open_issues | 337 |
| closed_issues | 2,871 |
| prs_merged_7d | 2 |
| prs_decided_7d | 3 |
| prs_merged_30d | 7 |
| prs_decided_30d | 8 |
| issue_closed_ratio | 0.895 |
| closed_unmerged_prs | 92 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。
所有权与托管责任
62中等
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 9.4/25 | 所有者影响力 — KeYProject 有 19 位关注者 |
| 22.4/25 | 既往记录 — 26 个公开仓库，账户约 10 年 |
所用输入
| followers | 19 |
| owner_type | Organization |
| is_verified | 否 |
| owner_login | KeYProject |
| public_repos | 26 |
| account_age_days | 3,824 |
工程质量
基础的工程与文档实践是否到位？
71
工程实践
68良好
评分方式
| 24/24 | CI 工作流 — 4 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 12 out of 12 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
文档
75良好
评分方式
| 30/30 | README |
| 0/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://key-project.org |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 4 个主题标签 |
| 10/10 | Wiki |
所用输入
| topics | key, formal-verification, smt-solver, static-analysis |
| has_wiki | 是 |
| homepage | https://key-project.org |
| docs_site | https://key-project.org |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
65
安全态势
56中等
评分方式
| 4.5/7.5 | Binary-Artifacts — binaries present in source code |
| 0.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 12 out of 12 merged PRs checked by a CI test -- score normalized to 10 |
| 1.2/2.5 | CII-Best-Practices — badge detected: Passing |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 2.5/2.5 | Contributors — project has 13 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.2/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5.6 |
依赖安全公告
100卓越
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 0/25 | 间接依赖不含已知公告 — 在此范围内，传递依赖集合无法与开发和测试依赖区分 |
| 0/40 | 没有长期未处理的公告 — 没有公告带有发布日期 |
所用输入
| source | osv |
| advisories | 37 |
| affected_packages | 18 |
| assessed_packages | 129 |
| unassessed_packages | 0 |
| affected_by_severity | critical 2, high 7, moderate 7, low 2 |
| direct_affected_packages | 0 |
已排除计分（无数据或不适用）：间接依赖不含已知公告, 没有长期未处理的公告。 其余权重已重新归一化。 已将 129 个已解析依赖与 OSV 比对。 该仓库未发布任何索引可解析的软件包，因此改为评估仓库依赖图。该图将开发与测试版本固定同交付的依赖混在一起，因此仅对声明的运行时依赖计分；传递性发现仅作为背景信息列出，不计入评分。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。
62
AI 代理上下文与指引
27存在风险
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 27.2/40 | 可读的提交历史 — 94 次人类提交中有 48 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| llms_txt_url | — |
| legible_history_share | 0.511 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 18/18 | 一条命令的引导启动 — oldStuff/system/Makefile |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — Java（静态类型） |
| 0/10 | 可复现环境 |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 8/8 | 自动化维护 — 最近 100 次提交中有 6 次为自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | — |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | oldStuff/system/Makefile |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | build.gradle, key.core.example/build.gradle, key.core.infflow/build.gradle, key.core.testgen/build.gradle, key.core.testgen/src/main/resources/de/uka/ilkd/key/tcg/build.gradle.kts, key.core.testgen/src/main/resources/de/uka/ilkd/key/tcg/pom.xml, key.core.testgen/testcases/arrayutil/actual/build.gradle.kts, key.core.testgen/testcases/arrayutil/actual/pom.xml, key.core.testgen/testcases/arrayutil/expected/build.gradle.kts, key.core.testgen/testcases/arrayutil/expected/pom.xml, key.core.wd/build.gradle, key.core/build.gradle, key.ncore.calculus/build.gradle, key.ncore.matcher/build.gradle, key.ncore/build.gradle, key.ui/build.gradle, key.util/build.gradle, keyext.caching/build.gradle, keyext.exploration/build.gradle, keyext.isabelletranslation/build.gradle, keyext.proofmanagement/build.gradle, keyext.slicing/build.gradle, keyext.ui.testgen/build.gradle, scripts/tools/mt/build.gradle |
| dependency_bot_commit_share | 0.06 |
面向模型的代码可读性
100卓越
评分方式
| 45/45 | 可类型检查的代码 — Java（静态类型） |
| 54.7/55 | 可控的文件大小 — 采样的 3,836 个源文件中有 24 个超过 60KB |
所用输入
| primary_language | Java |
| largest_source_bytes | 199,141 |
| source_files_sampled | 3,836 |
| oversized_source_files | 24 |
机器可读接口
100卓越
评分方式
| 0/40 | API 模式（OpenAPI/GraphQL/proto） — 不适用于此类软件 |
| 0/20 | MCP 服务器 — 不适用于此类软件 |
| 40/40 | 可运行示例 — example, examples |
所用输入
| example_dirs | example, examples |
| has_mcp_signal | 否 |
| api_schema_files | — |
| interfaces_expected_of | — |
已排除计分（无数据或不适用）：API 模式（OpenAPI/GraphQL/proto）, MCP 服务器。 其余权重已重新归一化。
关键数据
88GitHub 星标
54贡献者
1,431最近 12 个月提交数
1距最近推送天数
25发布版本数
4巴士系数（bus factor）
337开放议题
Maven软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
更多细节
Star 与 Fork 历史 0 ★ / 46 ⇿
0Star
46Fork
25发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 0修订 0
每个点涵盖 4 天。
OpenSSF Scorecard 5.6 / 10
5.6综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 6 | Binary-Artifacts | binaries present in source code |
| 1 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 12 out of 12 merged PRs checked by a CI test -- score normalized to 10 |
| 5 | CII-Best-Practices | badge detected: Passing |
| 10 | Code-Review | all changesets reviewed |
| 10 | Contributors | project has 13 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 9 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
全部依赖 129
来自 GitHub 依赖图的完整解析依赖集合：0 个直接依赖与 129 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| Maven | antlr:antlr | 2.7.7 | 间接 |
| Maven | backport-util-concurrent:backport-util-concurrent | 3.1 | 间接 |
| Maven | ca.coglinc:javacc-gradle-plugin | 2.4.0 | 间接 |
| Maven | ch.qos.logback:logback-classic | 1.5.12 | 间接 |
| Maven | ch.qos.logback:logback-core | 1.5.12 | 间接 |
| Maven | com.beust:jcommander | 1.48 | 间接 |
| Maven | com.diffplug.durian:durian-collect | 1.2.0 | 间接 |
| Maven | com.diffplug.durian:durian-core | 1.2.0 | 间接 |
| Maven | com.diffplug.durian:durian-io | 1.2.0 | 间接 |
| Maven | com.diffplug.durian:durian-swt.os | 4.2.2 | 间接 |
| Maven | com.diffplug.spotless:spotless-lib | 2.45.0 | 间接 |
| Maven | com.diffplug.spotless:spotless-lib-extra | 2.45.0 | 间接 |
| Maven | com.diffplug.spotless:spotless-plugin-gradle | 6.25.0 | 间接 |
| Maven | com.github.johnrengelman:shadow | 8.1.1 | 间接 |
| Maven | com.google.code.findbugs:jsr305 | 3.0.2 | 间接 |
| Maven | com.google.code.gson:gson | 2.8.9 | 间接 |
| Maven | com.google.errorprone:error_prone_annotations | 2.11.0 | 间接 |
| Maven | com.google.errorprone:javac | 9+181-r4173-1 | 间接 |
| Maven | com.google.guava:failureaccess | 1.0.1 | 间接 |
| Maven | com.google.guava:guava | 31.1-jre | 间接 |
| Maven | com.google.guava:guava-jdk5 | 17.0 | 间接 |
| Maven | com.google.guava:listenablefuture | 9999.0-empty-to-avoid-conflict-with-guava | 间接 |
| Maven | com.google.j2objc:j2objc-annotations | 1.3 | 间接 |
| Maven | com.googlecode.concurrent-trees:concurrent-trees | 2.6.1 | 间接 |
| Maven | com.googlecode.javaewah:JavaEWAH | 1.2.3 | 间接 |
| Maven | com.gradle:common-custom-user-data-gradle-plugin | 2.0 | 间接 |
| Maven | com.gradle:develocity-gradle-plugin | 3.17.5 | 间接 |
| Maven | com.ibm.icu:icu4j | 72.1 | 间接 |
| Maven | com.miglayout:miglayout-core | 11.4.2 | 间接 |
| Maven | com.miglayout:miglayout-swing | 11.4.2 | 间接 |
| Maven | com.mycila.xmltool:xmltool | 3.3 | 间接 |
| Maven | com.mycila:license-maven-plugin | 3.0 | 间接 |
| Maven | com.mycila:mycila-xmltool | 4.4.ga | 间接 |
| Maven | com.puppycrawl.tools:checkstyle | 10.6.0 | 间接 |
| Maven | com.squareup.okhttp3:okhttp | 4.12.0 | 间接 |
| Maven | com.squareup.okio:okio | 3.6.0 | 间接 |
| Maven | com.squareup.okio:okio-jvm | 3.6.0 | 间接 |
| Maven | commons-beanutils:commons-beanutils | 1.9.4 | 间接 |
| Maven | commons-codec:commons-codec | 1.15 | 间接 |
| Maven | commons-codec:commons-codec | 1.16.0 | 间接 |
| Maven | commons-collections:commons-collections | 3.2.2 | 间接 |
| Maven | commons-io:commons-io | 2.11.0 | 间接 |
| Maven | commons-io:commons-io | 2.4 | 间接 |
| Maven | commons-logging:commons-logging | 1.1.1 | 间接 |
| Maven | dev.equo.ide:solstice | 1.7.5 | 间接 |
| Maven | gradle.plugin.com.hierynomus.gradle.plugins:license-gradle-plugin | 0.16.1 | 间接 |
| Maven | info.picocli:picocli | 4.7.0 | 间接 |
| Maven | io.freefair.gradle:lombok-plugin | 5.3.3.3 | 间接 |
| Maven | io.github.eisop:checker | 3.42.0-eisop4 | 间接 |
| Maven | io.github.eisop:checker-qual | 3.42.0-eisop4 | 间接 |
| Maven | io.github.eisop:checker-util | 3.42.0-eisop4 | 间接 |
| Maven | net.java.dev.javacc:javacc | 4.0 | 间接 |
| Maven | net.sf.retrotranslator:retrotranslator-runtime | 1.2.9 | 间接 |
| Maven | net.sf.retrotranslator:retrotranslator-transformer | 1.2.9 | 间接 |
| Maven | net.sf.saxon:Saxon-HE | 11.4 | 间接 |
| Maven | net.sourceforge.pmd:pmd-core | 6.53.0 | 间接 |
| Maven | net.sourceforge.pmd:pmd-java | 6.53.0 | 间接 |
| Maven | net.sourceforge.saxon:saxon | 9.1.0.8 | 间接 |
| Maven | org.abego.treelayout:org.abego.treelayout.core | 1.0.3 | 间接 |
| Maven | org.antlr:antlr | 3.5.3 | 间接 |
| Maven | org.antlr:antlr-runtime | 3.5.3 | 间接 |
| Maven | org.antlr:antlr4 | 4.13.2 | 间接 |
| Maven | org.antlr:antlr4-runtime | 4.11.1 | 间接 |
| Maven | org.antlr:antlr4-runtime | 4.13.2 | 间接 |
| Maven | org.antlr:antlr4-runtime | 4.7.2 | 间接 |
| Maven | org.antlr:ST4 | 4.3.1 | 间接 |
| Maven | org.antlr:ST4 | 4.3.4 | 间接 |
| Maven | org.apache-extras.beanshell:bsh | 2.0b6 | 间接 |
| Maven | org.apache.ant:ant | 1.10.13 | 间接 |
| Maven | org.apache.ant:ant-launcher | 1.10.13 | 间接 |
| Maven | org.apache.commons:commons-collections4 | 4.1 | 间接 |
| Maven | org.apache.commons:commons-lang3 | 3.4 | 间接 |
| Maven | org.apache.commons:commons-lang3 | 3.8.1 | 间接 |
| Maven | org.apache.commons:commons-pool2 | 2.2 | 间接 |
| Maven | org.apache.httpcomponents.client5:httpclient5 | 5.1.3 | 间接 |
| Maven | org.apache.httpcomponents.core5:httpcore5 | 5.1.3 | 间接 |
| Maven | org.apache.httpcomponents.core5:httpcore5-h2 | 5.1.3 | 间接 |
| Maven | org.apache.logging.log4j:log4j-api | 2.20.0 | 间接 |
| Maven | org.apache.logging.log4j:log4j-core | 2.20.0 | 间接 |
| Maven | org.apache.maven:maven-settings | 3.0.4 | 间接 |
| Maven | org.apache.maven:maven-settings-builder | 3.0.4 | 间接 |
| Maven | org.apiguardian:apiguardian-api | 1.1.2 | 间接 |
| Maven | org.checkerframework:checker | 3.48.0 | 间接 |
| Maven | org.checkerframework:checker-qual | 3.27.0 | 间接 |
| Maven | org.checkerframework:checker-qual | 3.48.0 | 间接 |
| Maven | org.checkerframework:checker-util | 3.48.0 | 间接 |
| Maven | org.checkerframework:checkerframework-gradle-plugin | 0.6.45 | 间接 |
| Maven | org.codehaus.plexus:plexus-component-annotations | 1.5.5 | 间接 |
| Maven | org.codehaus.plexus:plexus-interpolation | 1.14 | 间接 |
| Maven | org.codehaus.plexus:plexus-utils | 2.0.6 | 间接 |
| Maven | org.codehaus.plexus:plexus-utils | 3.5.1 | 间接 |
| Maven | org.eclipse.jgit:org.eclipse.jgit | 6.7.0.202309050840-r | 间接 |
| Maven | org.eclipse.platform:org.eclipse.osgi | 3.18.300 | 间接 |
| Maven | org.hamcrest:hamcrest-core | 2.2 | 间接 |
| Maven | org.javassist:javassist | 3.28.0-GA | 间接 |
| Maven | org.jdom:jdom2 | 2.0.6.1 | 间接 |
| Maven | org.jetbrains.kotlin:kotlin-stdlib | 1.9.10 | 间接 |
| Maven | org.jetbrains.kotlin:kotlin-stdlib-common | 1.9.10 | 间接 |
| Maven | org.jetbrains.kotlin:kotlin-stdlib-jdk7 | 1.9.10 | 间接 |
| Maven | org.jetbrains.kotlin:kotlin-stdlib-jdk8 | 1.9.10 | 间接 |
| Maven | org.jetbrains:annotations | 13.0 | 间接 |
| Maven | org.jspecify:jspecify | 1.0.0 | 间接 |
| Maven | org.junit.jupiter:junit-jupiter-api | 5.11.3 | 间接 |
| Maven | org.junit.jupiter:junit-jupiter-engine | 5.11.3 | 间接 |
| Maven | org.junit.jupiter:junit-jupiter-params | 5.11.3 | 间接 |
| Maven | org.junit.platform:junit-platform-commons | 1.11.3 | 间接 |
| Maven | org.junit.platform:junit-platform-engine | 1.11.3 | 间接 |
| Maven | org.junit:junit-bom | 5.11.3 | 间接 |
| Maven | org.key-project:docking-frames-common | 1.1.3p1 | 间接 |
| Maven | org.key-project:docking-frames-core | 1.1.3p1 | 间接 |
| Maven | org.objenesis:objenesis | 3.3 | 间接 |
| Maven | org.opentest4j:opentest4j | 1.3.0 | 间接 |
| Maven | org.ow2.asm:asm | 9.3 | 间接 |
| Maven | org.ow2.asm:asm | 9.4 | 间接 |
| Maven | org.ow2.asm:asm | 9.7.1 | 间接 |
| Maven | org.ow2.asm:asm-commons | 9.4 | 间接 |
| Maven | org.ow2.asm:asm-tree | 9.4 | 间接 |
| Maven | org.reflections:reflections | 0.10.2 | 间接 |
| Maven | org.slf4j:slf4j-api | 1.7.36 | 间接 |
| Maven | org.slf4j:slf4j-api | 2.0.16 | 间接 |
| Maven | org.sonarsource.scanner.api:sonar-scanner-api | 2.16.2.588 | 间接 |
| Maven | org.sonarsource.scanner.gradle:sonarqube-gradle-plugin | 5.0.0.4638 | 间接 |
| Maven | org.sonatype.plexus:plexus-cipher | 1.4 | 间接 |
| Maven | org.sonatype.plexus:plexus-sec-dispatcher | 1.3 | 间接 |
| Maven | org.springframework:spring-asm | 3.1.3.RELEASE | 间接 |
| Maven | org.springframework:spring-core | 3.1.3.RELEASE | 间接 |
| Maven | org.tukaani:xz | 1.9 | 间接 |
| Maven | org.vafer:jdependency | 2.8.0 | 间接 |
| Maven | org.xmlresolver:xmlresolver | 4.4.3 | 间接 |
依赖安全公告 18
该仓库未发布可被索引解析的包，因此评估的是其自身的依赖图——共 129 个包，其中也包含从不交付的开发与测试版本固定：18 个存在已知公告，0 个为直接依赖。
| 软件包 | 版本 | 关系 | 严重程度 | 公告数 | 修复版本 |
|---|---|---|---|---|---|
| net.sourceforge.pmd:pmd-core | 6.53.0 | 间接 | 严重 | 2 | 7.22.0 |
| org.codehaus.plexus:plexus-utils | 2.0.6 | 间接 | 严重 | 4 | 4.0.3 |
| commons-beanutils:commons-beanutils | 1.9.4 | 间接 | 高 | 1 | 2.0.0-M2 |
| commons-io:commons-io | 2.11.0 | 间接 | 高 | 1 | 2.14.0 |
| commons-io:commons-io | 2.4 | 间接 | 高 | 2 | 2.14.0 |
| org.apache.httpcomponents.core5:httpcore5 | 5.1.3 | 间接 | 高 | 1 | 5.5-beta2 |
| org.apache.httpcomponents.core5:httpcore5-h2 | 5.1.3 | 间接 | 高 | 1 | 5.5-beta2 |
| org.codehaus.plexus:plexus-utils | 3.5.1 | 间接 | 高 | 1 | 4.0.3 |
| org.springframework:spring-core | 3.1.3.RELEASE | 间接 | 高 | 7 | 7.0.8 |
| ch.qos.logback:logback-core | 1.5.12 | 间接 | 中 | 6 | 1.5.34 |
| com.google.guava:guava | 31.1-jre | 间接 | 中 | 2 | 32.0.0-android |
| com.google.guava:guava-jdk5 | 17.0 | 间接 | 中 | 1 | 24.1.1-android |
| org.apache.commons:commons-lang3 | 3.4 | 间接 | 中 | 1 | 3.18.0 |
| org.apache.commons:commons-lang3 | 3.8.1 | 间接 | 中 | 1 | 3.18.0 |
| org.apache.httpcomponents.client5:httpclient5 | 5.1.3 | 间接 | 中 | 1 | 5.6.3 |
| org.eclipse.jgit:org.eclipse.jgit | 6.7.0.202309050840-r | 间接 | 中 | 1 | 7.2.1.202505142326-r |
| org.apache.logging.log4j:log4j-api | 2.20.0 | 间接 | 低 | 1 | 2.26.1 |
| org.apache.logging.log4j:log4j-core | 2.20.0 | 间接 | 低 | 3 | 2.25.4 |
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
反馈
发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。