公开记录优秀
软件健康报告模式 0.34.0 · 指标 2.10.0 · 2026-10-19 07:53 UTC
LearnLib / automatalib
A free, open-source Java library for automata, graphs, and transition systems
LearnLib/automatalib 的健康指数为 100 分中的 83 分，处于「优秀」区间。 其得分最高的类别是Vitality（71/100），最低的是AI Readiness（56/100）。 最近一次更新在 24 天前。 近期的大部分工作由 1 位贡献者完成。
83
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。
83
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 70 经校准后在公布的指数量表上为 83（记录校准 2026-08-02）。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 |
|---|---|---|---|---|---|
| Maven | net.automatalib:automata-api | 13.0.0 | - | 18 | 67 天前 |
| Maven | net.automatalib:automata-core | 13.0.0 | - | 18 | 67 天前 |
| Maven | net.automatalib:automata-util | 13.0.0 | - | 18 | 67 天前 |
| Maven | net.automatalib.archetypes:complete | 13.0.0 | - | 18 | 67 天前 |
| Maven | net.automatalib:automata-incremental | 13.0.0 | - | 18 | 67 天前 |
| Maven | net.automatalib:automata-build-config | 13.0.0 | - | 3 | 67 天前 |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
71
开发活跃度
68良好
评分方式
| 28.8/36 | 推送新近度 — 最近一次推送于 24 天前 |
| 13.2/36 | 提交节奏 — 52 周中有 19 周有提交 |
| 15.6/18 | 提交量 — 最近一年 54 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 22 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 54 |
| human_commit_share | 1 |
| days_since_last_push | 24 |
| active_weeks_last_year | 19 |
发布纪律
76良好
评分方式
| 27/27 | 有发布版本 — 已发布 9 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 67 天前 |
| 5.4/27 | 发布节奏 — 约每 386 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 9 |
| latest_release_tag | automatalib-13.0.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 67 |
| mean_days_between_releases | 386 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
71
流行度与采用
51中等
评分方式
| 32.7/60 | 星标 — 104 个星标 |
| 12.9/25 | 复刻 — 36 个复刻 |
| 5.3/15 | 关注者 — 10 位关注者 |
所用输入
| forks | 36 |
| stars | 104 |
| watchers | 10 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
93卓越
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（Apache-2.0） |
| 18/18 | CONTRIBUTING 指南 |
| 13.5/13.5 | 行为准则 |
| 7.2/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| readme_badges | 2 |
| has_contributing | 是 |
| has_issue_template | 是 |
| has_code_of_conduct | 是 |
| readme_badge_services | coveralls.io, github.com |
| has_pull_request_template | 否 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
71
维护者韧性（巴士系数）
37薄弱
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 4.6/22.5 | 提交分布 — 头号贡献者编写了 80% 的提交 |
| 13.5/13.5 | 贡献者广度 — 18 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 4 contributing companies or organizations |
所用输入
| bus_factor | 1 |
| contributors_sampled | 18 |
| top_contributor_share | 0.796 |
议题与 PR 响应能力
80优秀
评分方式
| 40/42 | 议题解决 — 95% 的议题已关闭 |
| 29.5/30 | PR 接受 — 已裁定的 PR 中 54/55 已合并 |
| 0/13 | Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决 |
| 0/15 | OpenSSF Scorecard：Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
所用输入
| merged_prs | 54 |
| open_issues | 2 |
| closed_issues | 40 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 0 |
| prs_decided_30d | 0 |
| issue_closed_ratio | 0.952 |
| closed_unmerged_prs | 1 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。
所有权与托管责任
80优秀
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 20/20 | 已验证域名 |
| 7.8/25 | 所有者影响力 — LearnLib 有 11 位关注者 |
| 21.8/25 | 既往记录 — 21 个公开仓库，账户约 13 年 |
所用输入
| followers | 11 |
| owner_type | Organization |
| is_verified | 是 |
| owner_login | LearnLib |
| public_repos | 21 |
| account_age_days | 4,912 |
软件包维护
100卓越
评分方式
| 25/25 | 已发布且可解析 — maven 上有 6 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 67 天前 |
| 20/20 | 版本历史 — 18 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | net.automatalib:automata-api, net.automatalib:automata-core, net.automatalib:automata-util, net.automatalib.archetypes:complete, net.automatalib:automata-incremental, net.automatalib:automata-build-config |
| ecosystems | maven |
| any_deprecated | 否 |
| min_days_since_publish | 67 |
工程质量
基础的工程与文档实践是否到位？
71
工程实践
68良好
评分方式
| 24/24 | CI 工作流 — 1 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 1 out of 1 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://learnlib.de/pages/automatalib |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 14 个主题标签 |
| 10/10 | Wiki |
所用输入
| topics | automata, conformance-testing, dfa, m3c, mealy-machine, minimization, model-checking, test-case-generation, timed-automata, transition-system, vpa, procedural-systems, graph, automata-visualization |
| has_wiki | 是 |
| homepage | https://learnlib.de/pages/automatalib |
| docs_site | https://learnlib.de/pages/automatalib |
| has_readme | 是 |
| has_docs_dir | 否 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
70
安全态势
63中等
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — 无数据 |
| 2.5/2.5 | CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 4 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 22 commit(s) and 0 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 |
| 4.5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — 无数据 |
| 7.5/7.5 | Token-Permissions — GitHub workflow tokens follow principle of least privilege |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 6.3 |
已排除计分（无数据或不适用）：Branch-Protection, Signed-Releases。 其余权重已重新归一化。
依赖安全公告
100卓越
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 25/25 | 间接依赖不含已知公告 — 没有间接依赖携带已知公告 |
| 0/40 | 没有长期未处理的公告 — 没有公告带有发布日期 |
所用输入
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 5 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
已排除计分（无数据或不适用）：没有长期未处理的公告。 其余权重已重新归一化。 比对的是 maven:net.automatalib:automata-api@13.0.0 的运行时依赖闭包——安装已发布的软件包时真正被拉取进来的内容——共 5 个软件包。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。
56
AI 代理上下文与指引
19危急
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 19.2/40 | 可读的提交历史 — 100 次人类提交中有 36 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| llms_txt_url | — |
| legible_history_share | 0.36 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 18/18 | 一条命令的引导启动 — commons/util/src/test/resources/net/automatalib/common/util/lib/linux/x86_64/Makefile |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — Java（静态类型） |
| 0/10 | 可复现环境 |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 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 | commons/util/src/test/resources/net/automatalib/common/util/lib/linux/x86_64/Makefile |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | adapters/brics/pom.xml, adapters/pom.xml, api/pom.xml, archetype/pom.xml, archetype/src/main/resources/archetype-resources/pom.xml, build-config/pom.xml, build-parent/pom.xml, commons/pom.xml, commons/settings/pom.xml, commons/smartcollections/pom.xml, commons/util/pom.xml, core/pom.xml, distribution/pom.xml, distribution/src/it/jlink/pom.xml, examples/pom.xml, incremental/pom.xml, modelchecking/ltsmin/pom.xml, modelchecking/m3c/pom.xml, modelchecking/pom.xml, pom.xml, serialization/aut/pom.xml, serialization/ba/pom.xml, serialization/dot/pom.xml, serialization/etf/pom.xml, serialization/fsm/pom.xml, serialization/learnlibv2/pom.xml, serialization/mata/pom.xml, serialization/pom.xml, serialization/saf/pom.xml, serialization/taf/pom.xml, util/pom.xml, visualization/dot-visualizer/pom.xml, visualization/jung-visualizer/pom.xml, visualization/pom.xml |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
100卓越
评分方式
| 45/45 | 可类型检查的代码 — Java（静态类型） |
| 55/55 | 可控的文件大小 — 采样的 1,073 个源文件中有 0 个超过 60KB |
所用输入
| primary_language | Java |
| largest_source_bytes | 56,052 |
| source_files_sampled | 1,073 |
| oversized_source_files | 0 |
机器可读接口
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 服务器。 其余权重已重新归一化。
关键数据
104GitHub 星标
18贡献者
54最近 12 个月提交数
24距最近推送天数
9发布版本数
1巴士系数（bus factor）
2开放议题
Maven软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
更多细节
Star 与 Fork 历史 0 ★ / 36 ⇿
0Star
36Fork
8发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 0修订 0
每个点涵盖 12 天。
OpenSSF Scorecard 6.3 / 10
6.3综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 不适用 | Branch-Protection | internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md |
| 10 | CI-Tests | 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/30 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 4 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 22 commit(s) and 0 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 |
| 9 | Security-Policy | security policy file detected |
| 不适用 | Signed-Releases | no releases found |
| 10 | Token-Permissions | GitHub workflow tokens follow principle of least privilege |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
直接依赖 119
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| Maven | net.automatalib:automata-commons-settings | — | api/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | — | api/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | api/pom.xml |
| Maven | org.slf4j:slf4j-api | — | api/pom.xml |
| Maven | org.checkerframework:checker-qual | — | api/pom.xml |
| Maven | org.mockito:mockito-core | — | api/pom.xml |
| Maven | org.testng:testng | — | api/pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | build-parent/pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | build-parent/pom.xml |
| Maven | com.puppycrawl.tools:checkstyle | ${checkstyle.version} | build-parent/pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | build-parent/pom.xml |
| Maven | net.automatalib:automata-api | — | core/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | core/pom.xml |
| Maven | org.slf4j:slf4j-api | — | core/pom.xml |
| Maven | org.checkerframework:checker-qual | — | core/pom.xml |
| Maven | org.mockito:mockito-core | — | core/pom.xml |
| Maven | org.testng:testng | — | core/pom.xml |
| Maven | net.automatalib:automata-brics | — | distribution/pom.xml |
| Maven | net.automatalib:automata-api | — | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-settings | — | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | — | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | distribution/pom.xml |
| Maven | net.automatalib:automata-core | — | distribution/pom.xml |
| Maven | net.automatalib:automata-incremental | — | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-ltsmin | — | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-m3c | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-aut | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-ba | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-dot | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-etf | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-fsm | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-mata | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-saf | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-taf | — | distribution/pom.xml |
| Maven | net.automatalib:automata-util | — | distribution/pom.xml |
| Maven | net.automatalib:automata-dot-visualizer | — | distribution/pom.xml |
| Maven | net.automatalib:automata-jung-visualizer | — | distribution/pom.xml |
| Maven | net.automatalib:automata-brics | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-api | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-settings | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-util | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-core | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-incremental | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-ltsmin | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-m3c | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-aut | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-ba | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-dot | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-etf | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-fsm | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-mata | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-saf | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-taf | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-util | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-dot-visualizer | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-jung-visualizer | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-api | — | incremental/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | incremental/pom.xml |
| Maven | net.automatalib:automata-util | — | incremental/pom.xml |
| Maven | org.checkerframework:checker-qual | — | incremental/pom.xml |
| Maven | org.testng:testng | — | incremental/pom.xml |
| Maven | net.automatalib:automata-adapters-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-brics | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-api | ${project.version} | pom.xml |
| Maven | net.automatalib.archetypes:automata-archetypes-parent | ${project.version} | pom.xml |
| Maven | net.automatalib.archetypes:basic | ${project.version} | pom.xml |
| Maven | net.automatalib.archetypes:complete | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-build-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-settings | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-util | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-core | ${project.version} | pom.xml |
| Maven | net.automatalib.distribution:automata-distribution | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-incremental | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-modelchecking-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-modelchecking-ltsmin | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-modelchecking-m3c | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-aut | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-ba | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-dot | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-etf | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-fsm | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-mata | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-saf | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-taf | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-util | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-visualization-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-dot-visualizer | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-jung-visualizer | ${project.version} | pom.xml |
| Maven | dk.brics:automaton | ${brics-automaton.version} | pom.xml |
| Maven | com.google.guava:guava | ${guava.version} | pom.xml |
| Maven | net.sf.jung:jung-api | ${jung.version} | pom.xml |
| Maven | net.sf.jung:jung-algorithms | ${jung.version} | pom.xml |
| Maven | net.sf.jung:jung-graph-impl | ${jung.version} | pom.xml |
| Maven | net.sf.jung:jung-visualization | ${jung.version} | pom.xml |
| Maven | com.github.misberner.graphviz-awt-shapes:graphviz-awt-shapes | ${graphviz-awt-shapes.version} | pom.xml |
| Maven | org.slf4j:slf4j-api | ${slf4j.version} | pom.xml |
| Maven | ch.qos.logback:logback-classic | ${logback.version} | pom.xml |
| Maven | info.scce:addlib-core | ${addlib.version} | pom.xml |
| Maven | info.scce:addlib-cudd | ${addlib.version} | pom.xml |
| Maven | net.sourceforge.pmd:pmd-core | ${pmd.version} | pom.xml |
| Maven | net.sourceforge.pmd:pmd-java | ${pmd.version} | pom.xml |
| Maven | javax.xml.bind:jaxb-api | ${jaxb-api.version} | pom.xml |
| Maven | org.codehaus.mojo:extra-enforcer-rules | ${extra-enforcer-rules.version} | pom.xml |
| Maven | net.automatalib:automata-api | — | util/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | — | util/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | util/pom.xml |
| Maven | net.automatalib:automata-core | — | util/pom.xml |
| Maven | de.learnlib.tooling:annotations | — | util/pom.xml |
| Maven | org.checkerframework:checker-qual | — | util/pom.xml |
| Maven | org.testng:testng | — | util/pom.xml |
| Maven | org.apache.maven.surefire:surefire-testng | ${surefire-plugin.version} | visualization/pom.xml |
全部依赖 112
来自 GitHub 依赖图的完整解析依赖集合：75 个直接依赖与 37 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| Maven | ch.qos.logback:logback-classic | — | 直接 |
| Maven | com.github.misberner.graphviz-awt-shapes:graphviz-awt-shapes | — | 直接 |
| Maven | com.google.guava:guava | — | 直接 |
| Maven | com.puppycrawl.tools:checkstyle | — | 直接 |
| Maven | de.learnlib.tooling:annotations | — | 直接 |
| Maven | dk.brics:automaton | — | 直接 |
| Maven | info.scce:addlib-core | — | 直接 |
| Maven | info.scce:addlib-cudd | — | 直接 |
| Maven | javax.xml.bind:jaxb-api | — | 直接 |
| Maven | net.automatalib.archetypes:automata-archetypes-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib.archetypes:basic | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib.archetypes:complete | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib.distribution:automata-distribution | — | 直接 |
| Maven | net.automatalib.distribution:automata-distribution | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-adapters-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-api | — | 直接 |
| Maven | net.automatalib:automata-api | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-brics | — | 直接 |
| Maven | net.automatalib:automata-brics | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-build-config | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-build-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-commons-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-commons-settings | — | 直接 |
| Maven | net.automatalib:automata-commons-settings | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-commons-smartcollections | — | 直接 |
| Maven | net.automatalib:automata-commons-smartcollections | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-commons-util | — | 直接 |
| Maven | net.automatalib:automata-commons-util | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-core | — | 直接 |
| Maven | net.automatalib:automata-core | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-dot-visualizer | — | 直接 |
| Maven | net.automatalib:automata-dot-visualizer | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-incremental | — | 直接 |
| Maven | net.automatalib:automata-incremental | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-jung-visualizer | — | 直接 |
| Maven | net.automatalib:automata-jung-visualizer | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-modelchecking-ltsmin | — | 直接 |
| Maven | net.automatalib:automata-modelchecking-ltsmin | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-modelchecking-m3c | — | 直接 |
| Maven | net.automatalib:automata-modelchecking-m3c | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-modelchecking-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-aut | — | 直接 |
| Maven | net.automatalib:automata-serialization-aut | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-ba | — | 直接 |
| Maven | net.automatalib:automata-serialization-ba | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-dot | — | 直接 |
| Maven | net.automatalib:automata-serialization-dot | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-etf | — | 直接 |
| Maven | net.automatalib:automata-serialization-etf | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-fsm | — | 直接 |
| Maven | net.automatalib:automata-serialization-fsm | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-learnlibv2 | — | 直接 |
| Maven | net.automatalib:automata-serialization-learnlibv2 | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-mata | — | 直接 |
| Maven | net.automatalib:automata-serialization-mata | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-saf | — | 直接 |
| Maven | net.automatalib:automata-serialization-saf | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-serialization-taf | — | 直接 |
| Maven | net.automatalib:automata-serialization-taf | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-util | — | 直接 |
| Maven | net.automatalib:automata-util | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.automatalib:automata-visualization-parent | 14.0.0-SNAPSHOT | 直接 |
| Maven | net.sf.jung:jung-algorithms | — | 直接 |
| Maven | net.sf.jung:jung-api | — | 直接 |
| Maven | net.sf.jung:jung-graph-impl | — | 直接 |
| Maven | net.sf.jung:jung-visualization | — | 直接 |
| Maven | net.sourceforge.pmd:pmd-core | — | 直接 |
| Maven | net.sourceforge.pmd:pmd-java | — | 直接 |
| Maven | org.apache.maven.surefire:surefire-testng | — | 直接 |
| Maven | org.checkerframework:checker-qual | — | 直接 |
| Maven | org.codehaus.mojo:extra-enforcer-rules | — | 直接 |
| Maven | org.mockito:mockito-core | — | 直接 |
| Maven | org.slf4j:slf4j-api | — | 直接 |
| Maven | org.testng:testng | — | 直接 |
| Maven | com.github.caciocavallosilano:cacio-tta | — | 间接 |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | — | 间接 |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | 14.0.0-SNAPSHOT | 间接 |
| Maven | net.automatalib:automata-examples | 14.0.0-SNAPSHOT | 间接 |
| Maven | org.apache.maven.plugins:maven-antrun-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-assembly-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-checkstyle-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-clean-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-dependency-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-deploy-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-enforcer-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-gpg-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-install-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-invoker-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-jar-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-javadoc-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-jlink-plugin | 3.1.0 | 间接 |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | 14.0.0-SNAPSHOT | 间接 |
| Maven | org.apache.maven.plugins:maven-project-info-reports-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-release-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-resources-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-scm-publish-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-site-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-source-plugin | — | 间接 |
| Maven | org.apache.maven.plugins:maven-surefire-plugin | — | 间接 |
| Maven | org.assertj:assertj-swing | — | 间接 |
| Maven | org.assertj:assertj-swing-testng | — | 间接 |
| Maven | org.checkerframework:maven-compiler-plugin | — | 间接 |
| Maven | org.codehaus.mojo:javacc-maven-plugin | — | 间接 |
| Maven | org.codehaus.mojo:tidy-maven-plugin | — | 间接 |
| Maven | org.eclipse.m2e:lifecycle-mapping | — | 间接 |
| Maven | org.eluder.coveralls:coveralls-maven-plugin | — | 间接 |
| Maven | org.jacoco:jacoco-maven-plugin | — | 间接 |
| Maven | org.kohsuke.metainf-services:metainf-services | — | 间接 |
| Maven | org.sonatype.central:central-publishing-maven-plugin | — | 间接 |
依赖安全公告 0
安装 maven:net.automatalib:automata-api@13.0.0 会引入 5 个包（直接与传递）：其中 0 个存在已知公告，0 个为直接依赖。
没有已知公告影响已评估的依赖。
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
反馈
发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。