公开记录
软件健康报告模式 0.34.0 · 指标 2.10.0 · 2026-08-22 18:24 UTC

verus-lang / verus

Verified Rust for low-level systems code

RustMIT★ 2,883 星标⑂ 208 复刻始于 2021年10月在 GitHub 上查看 ↗
类型库命令行工具如何判定

verus-lang/verus 的健康指数为 100 分中的 91 分，处于「优秀」区间。 其得分最高的类别是Vitality（96/100），最低的是Security（55/100）。 最近一次更新在今天。 近期的大部分工作由 2 位贡献者完成。

91
总分 / 100
优秀

软件健康指数

指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。

91
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
活力社区与采用可持续性与治理工程质量安全AI 就绪度

评分画像

每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。

加权总体分 77 经校准后在公布的指数量表上为 91（记录校准 2026-08-02）。

所有权

verus-lang组织
75 关注者16 个公开仓库始于 2022年6月

该仓库由组织支持——共同承担、可问责的托管责任，可延续于任何单一维护者之后。

软件包生态系统

注册表软件包版本月下载量版本数最近发布标签
crates.ioair指向其他仓库——不计分1.0.219511143 天前—
crates.iovir0.0.0211633 天前—
crates.iovstd0.0.0-2026-08-09-004441,2473913 天前verificationverified-rustverusdevelopment-tools
crates.ioverus0.0.0501891 天前verified-rustverusdevelopment-tools
crates.ioverus_builtin0.0.0-2026-08-09-004439,8132113 天前verificationverified-rustverusdevelopment-tools

按类别列示的指标

活力

项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？

96卓越 · 占总体的 21%

开发活跃度

100卓越
评分方式
36/36推送新近度 — 最近一次推送于 0 天前
36/36提交节奏 — 52 周中有 52 周有提交
18/18提交量 — 最近一年 936 次提交
10/10OpenSSF Scorecard：Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year936
human_commit_share1
days_since_last_push0
active_weeks_last_year52

发布纪律

90优秀
评分方式
27/27有发布版本 — 已发布 81 个发布版本
36/36发布时效 — 最近一次发布版本于 1 天前
27/27发布节奏 — 约每 6.7 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — Project has not signed or included provenance with any releases.
所用输入
releases_count81
latest_release_tagrelease/rolling/0.2026.08.21.11eda20
releases_from_tags否
days_since_latest_release1
mean_days_between_releases6.7

社区与采用

项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？

81优秀 · 占总体的 17%

流行度与采用

84优秀
评分方式
56.1/60星标 — 2,883 个星标
19.3/25复刻 — 208 个复刻
8.3/15关注者 — 32 位关注者
所用输入
forks208
stars2,883
watchers32
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

77良好
评分方式
22.5/22.5README
22.5/22.5许可证 — 可识别的许可证（MIT）
18/18CONTRIBUTING 指南
0/13.5行为准则
0/7.2议题模板
6.3/6.3PR 模板
所用输入
has_readme是
has_license是
readme_badges4
has_contributing是
has_issue_template否
has_code_of_conduct否
readme_badge_servicesshields.io
has_pull_request_template是

生态采用（下载量）

82优秀
评分方式
65.5/80月度下载量 — crates 合计每月 81,110 次下载
0/20注册表被依赖数 — 该生态系统不报告此项
所用输入
packagesvstd, verus, verus_builtin
dependents—
ecosystemscrates
total_downloads373,397
monthly_downloads81,110
unverified_packages_excludedvir
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。

可持续性与治理

项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？

75良好 · 占总体的 23%

维护者韧性（巴士系数）

65良好
评分方式
25.2/54巴士系数 — 2 位贡献者贡献了半数提交
16.4/22.5提交分布 — 头号贡献者编写了 27% 的提交
13.5/13.5贡献者广度 — 99 位贡献者
10/10OpenSSF Scorecard：Contributors — project has 34 contributing companies or organizations
所用输入
bus_factor2
contributors_sampled99
top_contributor_share0.269

议题与 PR 响应能力

82优秀
评分方式
32.7/42议题解决 — 78% 的议题已关闭
27.4/30PR 接受 — 已裁定的 PR 中 1,527/1,674 已合并
11.1/13Newcomer PR acceptance — 30 天内首次贡献者的 PR 已合并 6/7
10.5/15OpenSSF Scorecard：Code-Review — Found 21/30 approved changesets -- score normalized to 7
所用输入
merged_prs1,527
open_issues198
closed_issues692
prs_merged_7d17
prs_decided_7d18
prs_merged_30d57
prs_decided_30d60
issue_closed_ratio0.778
closed_unmerged_prs147
first_time_authors_30d5
first_time_prs_merged_30d6
first_time_prs_decided_30d7

所有权与托管责任

61中等
评分方式
30/30所有权背书 — 组织持有
0/20已验证域名
13.5/25所有者影响力 — verus-lang 有 75 位关注者
17.4/25既往记录 — 16 个公开仓库，账户约 4 年
所用输入
followers75
owner_typeOrganization
is_verified否
owner_loginverus-lang
public_repos16
account_age_days1,536

软件包维护

100卓越
评分方式
25/25已发布且可解析 — crates 上有 4 个软件包
35/35发布时效 — 最近一次发布于 13 天前
20/20版本历史 — 39 个已发布版本
20/20未被弃用 — 活跃，未被弃用或撤回
所用输入
packagesvir, vstd, verus, verus_builtin
ecosystemscrates
any_deprecated否
min_days_since_publish13

工程质量

基础的工程与文档实践是否到位？

72良好 · 占总体的 19%

工程实践

84优秀
评分方式
24/24CI 工作流 — 8 个工作流
24/24存在测试
16/16Linter 配置 — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
0/9.6Pre-commit 钩子
0/6.4.editorconfig
20/20OpenSSF Scorecard：CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
所用输入
has_ci是
has_tests是
has_editorconfig否
has_linter_config是
has_precommit_config否

文档

55中等
评分方式
30/30README
0/25文档目录
15/15文档 / 主页站点 — https://verus-lang.github.io/verus/verusdoc/vstd/
10/10仓库描述
0/10主题标签
0/10Wiki
所用输入
topics—
has_wiki否
homepage—
docs_sitehttps://verus-lang.github.io/verus/verusdoc/vstd/
has_readme是
has_docs_dir否
has_description是

安全

可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？

55中等 · 占总体的 16%

安全态势

48薄弱
评分方式
6.8/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — 无数据
2.5/2.5CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
5.2/7.5Code-Review — Found 21/30 approved changesets -- score normalized to 7
2.5/2.5Contributors — project has 34 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
5/5Fuzzing — project is fuzzed
2.5/2.5许可证 — license file detected
7.5/7.5Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 25 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated17
scorecard_versionv5.5.0
checks_inconclusive1
scorecard_aggregate4.8
已排除计分（无数据或不适用）：Branch-Protection。 其余权重已重新归一化。

依赖安全公告

81优秀
评分方式
24.2/35直接依赖不含已知公告 — 3 个受影响：rand 0.7.3 (low), anyhow 1.0.100 (unknown), im 15.1.0 (unknown)
0/25间接依赖不含已知公告 — 在此范围内，传递依赖集合无法与开发和测试依赖区分
36.4/40没有长期未处理的公告 — 2 个携带公告的软件包超过 90 天未处理；最早一条发布于 1,295 天前
所用输入
sourceosv
advisories26
affected_packages15
assessed_packages452
unassessed_packages19
affected_by_severityhigh 5, low 1, unknown 9
direct_affected_packages3
已排除计分（无数据或不适用）：间接依赖不含已知公告。 其余权重已重新归一化。 已将 452 个已解析依赖与 OSV 比对。 有 19 项无法评估——没有已解析的版本、生态系统不受支持，或超出所报告的软件包清单。 该仓库未发布任何索引可解析的软件包，因此改为评估仓库依赖图。该图将开发与测试版本固定同交付的依赖混在一起，因此仅对声明的运行时依赖计分；传递性发现仅作为背景信息列出，不计入评分。 未对可达性进行分析。

AI 就绪度

该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。

72良好 · 占总体的 4%

AI 代理上下文与指引

40薄弱
评分方式
0/45代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则
0/15机器可读文档（llms.txt）
40/40可读的提交历史 — 100 次人类提交中有 89 次说明了意图（结构化标题或解释性正文）
所用输入
has_llms_txt否
llms_txt_url—
legible_history_share0.89
agent_instruction_files—
agent_instruction_max_bytes—

验证循环（构建 / 测试 / 类型检查）

76良好
评分方式
18/18一条命令的引导启动 — source/docs/publications-and-projects/Makefile
22/22自动化测试
11/11Lint / 格式化配置 — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
11/11静态类型检查 — Rust（静态类型）
10/10可复现环境 — Nix, lockfile
4/10已体现的代理实践 — 最近 100 次提交中有 2 次由代理编写或署名代理
0/8自动化维护 — 未观察到自动依赖更新
0/10OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
所用输入
has_nix是
has_tests是
lockfilesCargo.lock, Gemfile.lock
has_dockerfile否
typed_language是
bootstrap_filessource/docs/publications-and-projects/Makefile
has_devcontainer否
has_linter_config是
typecheck_configs—
agent_commit_share0.02
toolchain_manifestsdependencies/prettyplease/Cargo.toml, dependencies/prettyplease/cargo-expand/update/Cargo.toml, dependencies/prettyplease/examples/update/Cargo.toml, dependencies/prettyplease/fuzz/Cargo.toml, dependencies/syn/Cargo.toml, dependencies/syn/codegen/Cargo.toml, dependencies/syn/dev/Cargo.toml, dependencies/syn/examples/dump-syntax/Cargo.toml, dependencies/syn/examples/heapsize/example/Cargo.toml, dependencies/syn/examples/heapsize/heapsize/Cargo.toml, dependencies/syn/examples/heapsize/heapsize_derive/Cargo.toml, dependencies/syn/examples/lazy-static/example/Cargo.toml, dependencies/syn/examples/lazy-static/lazy-static/Cargo.toml, dependencies/syn/examples/trace-var/example/Cargo.toml, dependencies/syn/examples/trace-var/trace-var/Cargo.toml, dependencies/syn/fuzz/Cargo.toml, dependencies/syn/json/Cargo.toml, dependencies/syn/tests/features/Cargo.toml, source/Cargo.toml, source/air/Cargo.toml, source/builtin/Cargo.toml, source/builtin_macros/Cargo.toml, source/cargo-verus-toolchains/Cargo.toml, source/cargo-verus/Cargo.toml, source/rust_verify/Cargo.toml, source/rust_verify_test/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_machines/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_vstd/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/structural/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib_consumer_verified/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/big_rlimit/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/lib_with_bin/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/state_machine_macro_usage/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive1/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive3/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/vstd_macro_usage/Cargo.toml, source/rust_verify_test_macros/Cargo.toml, source/rustc_mir_build/Cargo.toml, source/state_machines_macros/Cargo.toml, source/tools/bump_crate_versions/Cargo.toml, source/tools/internals_interface/Cargo.toml, source/tools/line_count/Cargo.toml, source/verus/Cargo.toml, source/verusdoc/Cargo.toml, source/vir/Cargo.toml, source/vir_macros/Cargo.toml, source/vstd/Cargo.toml, source/vstd_build/Cargo.toml, tools/vargo/Cargo.toml, tools/verita/Cargo.toml
dependency_bot_commit_share0

面向模型的代码可读性

97卓越
评分方式
45/45可类型检查的代码 — Rust（静态类型）
51.6/55可控的文件大小 — 采样的 915 个源文件中有 56 个超过 60KB
所用输入
primary_languageRust
largest_source_bytes1,671,171
source_files_sampled915
oversized_source_files56

机器可读接口

100卓越
评分方式
0/40API 模式（OpenAPI/GraphQL/proto） — 不适用于此类软件
0/20MCP 服务器 — 不适用于此类软件
40/40可运行示例 — example, examples
所用输入
example_dirsexample, examples
has_mcp_signal否
api_schema_files—
interfaces_expected_of—
已排除计分（无数据或不适用）：API 模式（OpenAPI/GraphQL/proto）, MCP 服务器。 其余权重已重新归一化。

关键数据

2,883GitHub 星标
99贡献者
936最近 12 个月提交数
0距最近推送天数
81发布版本数
2巴士系数（bus factor）
198开放议题
crates.io软件包生态系统数

数据采集警告

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • First-time contributor figures cover 12 of 17 authors (cap 12)
  • crates package 'air' points at a different repository (https://github.com/ramp-stack/air.git); excluded from ecosystem scoring
  • Could not fetch crates package 'vargo' from its registry
  • Could not fetch crates package 'verita' from its registry
  • Could not fetch crates package 'verusdoc' from its registry

更多细节

Star 与 Fork 历史 0 ★ / 208 ⇿
0Star
208Fork
81发布

每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。

0408012016020024020552021-112024-042026-08
主版本 0次版本 0修订 0

每个点涵盖 5 天。

OpenSSF Scorecard 4.8 / 10
4.8综合

来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。Scorecard v5.5.0 · 2026-08-22 18:23 UTC

9Binary-Artifactsbinaries present in source code
不适用Branch-Protectioninternal 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
10CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
7Code-ReviewFound 21/30 approved changesets -- score normalized to 7
10Contributorsproject has 34 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
10Fuzzingproject is fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities25 existing vulnerabilities detected
直接依赖 121
注册表软件包版本约束清单文件
crates.ioproc-macro21.0.80dependencies/prettyplease/Cargo.toml
crates.ioverus_syn=0.0.0-2026-08-02-0125dependencies/prettyplease/Cargo.toml
crates.ioproc-macro21.0.101dependencies/syn/Cargo.toml
crates.ioquote1.0.35dependencies/syn/Cargo.toml
crates.iounicode-ident1dependencies/syn/Cargo.toml
crates.iosise—source/air/Cargo.toml
crates.iogetopts—source/air/Cargo.toml
crates.iosmt-scope—source/air/Cargo.toml
crates.iopetgraph—source/air/Cargo.toml
crates.ioserde—source/air/Cargo.toml
crates.ioindexmap—source/air/Cargo.toml
crates.ioyansi—source/air/Cargo.toml
crates.ioconvert_case—source/builtin_macros/Cargo.toml
crates.ioproc-macro2—source/builtin_macros/Cargo.toml
crates.ioquote—source/builtin_macros/Cargo.toml
crates.iosynstructure—source/builtin_macros/Cargo.toml
crates.iosyn—source/builtin_macros/Cargo.toml
crates.ioverus_syn—source/builtin_macros/Cargo.toml
crates.ioverus_prettyplease—source/builtin_macros/Cargo.toml
crates.ioanyhow—source/cargo-verus-toolchains/Cargo.toml
crates.ioclap—source/cargo-verus-toolchains/Cargo.toml
crates.ioitertools—source/cargo-verus-toolchains/Cargo.toml
crates.ioregex—source/cargo-verus-toolchains/Cargo.toml
crates.ioserde—source/cargo-verus-toolchains/Cargo.toml
crates.iotoml—source/cargo-verus-toolchains/Cargo.toml
crates.iotoml_edit—source/cargo-verus-toolchains/Cargo.toml
crates.ioanyhow—source/cargo-verus/Cargo.toml
crates.iocargo_metadata—source/cargo-verus/Cargo.toml
crates.iocargo-verus-toolchains—source/cargo-verus/Cargo.toml
crates.ioclap-cargo—source/cargo-verus/Cargo.toml
crates.ioclap—source/cargo-verus/Cargo.toml
crates.iocolored—source/cargo-verus/Cargo.toml
crates.iohex—source/cargo-verus/Cargo.toml
crates.iorustc_tools_util—source/cargo-verus/Cargo.toml
crates.ioserde_json—source/cargo-verus/Cargo.toml
crates.ioserde—source/cargo-verus/Cargo.toml
crates.iosha2—source/cargo-verus/Cargo.toml
crates.iotempfile—source/cargo-verus/Cargo.toml
crates.ioair—source/rust_verify/Cargo.toml
crates.iobincode-next—source/rust_verify/Cargo.toml
crates.iocargo-verus-toolchains—source/rust_verify/Cargo.toml
crates.ioconsole—source/rust_verify/Cargo.toml
crates.iogetopts—source/rust_verify/Cargo.toml
crates.iohex—source/rust_verify/Cargo.toml
crates.ioindexmap—source/rust_verify/Cargo.toml
crates.ioindicatif—source/rust_verify/Cargo.toml
crates.iointernals_interface—source/rust_verify/Cargo.toml
crates.ionum-bigint—source/rust_verify/Cargo.toml
crates.ionum-format—source/rust_verify/Cargo.toml
crates.ioregex—source/rust_verify/Cargo.toml
crates.iorustc_mir_build_verus—source/rust_verify/Cargo.toml
crates.ioserde_json—source/rust_verify/Cargo.toml
crates.ioserde—source/rust_verify/Cargo.toml
crates.iosha2—source/rust_verify/Cargo.toml
crates.iosise—source/rust_verify/Cargo.toml
crates.iovir—source/rust_verify/Cargo.toml
crates.ioair—source/rust_verify_test/Cargo.toml
crates.iovir—source/rust_verify_test/Cargo.toml
crates.ioquote—source/rust_verify_test_macros/Cargo.toml
crates.iosyn—source/rust_verify_test_macros/Cargo.toml
crates.ioproc-macro2—source/rust_verify_test_macros/Cargo.toml
crates.ioitertools0.12source/rustc_mir_build/Cargo.toml
crates.iotracing0.1source/rustc_mir_build/Cargo.toml
crates.ioverus_syn—source/state_machines_macros/Cargo.toml
crates.ioquote—source/state_machines_macros/Cargo.toml
crates.ioproc-macro2—source/state_machines_macros/Cargo.toml
crates.ioindexmap—source/state_machines_macros/Cargo.toml
crates.iocargo-verus-toolchains—source/verus/Cargo.toml
crates.iochrono—source/verus/Cargo.toml
crates.ioregex—source/verus/Cargo.toml
crates.ioserde_json—source/verus/Cargo.toml
crates.iotoml—source/verus/Cargo.toml
crates.ioyansi—source/verus/Cargo.toml
crates.iozip—source/verus/Cargo.toml
crates.iogit2—source/verus/Cargo.toml
crates.iois-terminal—source/verus/Cargo.toml
crates.iorand—source/verus/Cargo.toml
crates.iowalkdir—source/verusdoc/Cargo.toml
crates.iokuchikiki—source/verusdoc/Cargo.toml
crates.ioserde_json—source/verusdoc/Cargo.toml
crates.ioserde—source/verusdoc/Cargo.toml
crates.iohtml5ever—source/verusdoc/Cargo.toml
crates.ioair—source/vir/Cargo.toml
crates.ioim—source/vir/Cargo.toml
crates.ioindexmap—source/vir/Cargo.toml
crates.ionum-bigint—source/vir/Cargo.toml
crates.ionum-traits—source/vir/Cargo.toml
crates.ioserde—source/vir/Cargo.toml
crates.iosha2—source/vir/Cargo.toml
crates.iosise—source/vir/Cargo.toml
crates.iovir-macros—source/vir/Cargo.toml
crates.iosynstructure—source/vir_macros/Cargo.toml
crates.ioproc-macro2—source/vir_macros/Cargo.toml
crates.iosyn—source/vir_macros/Cargo.toml
crates.ioverus_builtin_macros=0.0.0-2026-08-09-0044source/vstd/Cargo.toml
crates.ioverus_builtin=0.0.0-2026-08-09-0044source/vstd/Cargo.toml
crates.ioverus_state_machines_macros=0.0.0-2026-08-02-0125source/vstd/Cargo.toml
crates.ioyansi—source/vstd_build/Cargo.toml
crates.ioanyhow1tools/vargo/Cargo.toml
crates.ioclap4.5tools/vargo/Cargo.toml
crates.iofiletime0.2.26tools/vargo/Cargo.toml
crates.ioregex1tools/vargo/Cargo.toml
crates.ioserde_json1tools/vargo/Cargo.toml
crates.ioserde1tools/vargo/Cargo.toml
crates.iotoml0.9tools/vargo/Cargo.toml
crates.iowalkdir2.5tools/vargo/Cargo.toml
crates.ioyansi1.0tools/vargo/Cargo.toml
crates.ioanyhow1.0.83tools/verita/Cargo.toml
crates.iodunce1tools/verita/Cargo.toml
crates.iochrono0.4.38tools/verita/Cargo.toml
crates.ioclap4.3.11tools/verita/Cargo.toml
crates.iogit20.18.3tools/verita/Cargo.toml
crates.ioregex1.10.4tools/verita/Cargo.toml
crates.ioserde1.0tools/verita/Cargo.toml
crates.ioserde_json1.0.117tools/verita/Cargo.toml
crates.iotempdir0.3.7tools/verita/Cargo.toml
crates.iotoml0.8.13tools/verita/Cargo.toml
crates.iotoml_edit0.22tools/verita/Cargo.toml
crates.iotracing0.1.37tools/verita/Cargo.toml
crates.iotracing-subscriber0.3.17tools/verita/Cargo.toml
crates.ioxshell0.2.6tools/verita/Cargo.toml
全部依赖 471

来自 GitHub 依赖图的完整解析依赖集合：83 个直接依赖与 388 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。

注册表软件包版本关系
crates.ioanyhow—直接
crates.ioanyhow1.0.100直接
crates.ioanyhow1.0.104直接
crates.iobincode-next3.1.1直接
crates.iocargo_metadata0.23.1直接
crates.iochrono—直接
crates.iochrono0.4.45直接
crates.ioclap—直接
crates.ioclap4.5.53直接
crates.ioclap4.6.4直接
crates.ioclap-cargo0.18.3直接
crates.iocolored3.1.1直接
crates.ioconsole0.16.4直接
crates.ioconvert_case0.4.0直接
crates.iodunce—直接
crates.iofiletime0.2.26直接
crates.iogetopts0.2.21直接
crates.iogit2—直接
crates.iogit20.21.0直接
crates.iohex0.4.3直接
crates.iohtml5ever0.26.0直接
crates.ioim15.1.0直接
crates.ioindexmap1.9.3直接
crates.ioindexmap2.12.1直接
crates.ioindexmap2.14.0直接
crates.ioindicatif0.18.6直接
crates.iois-terminal0.4.17直接
crates.ioitertools—直接
crates.ioitertools0.12.1直接
crates.ioitertools0.15.0直接
crates.iokuchikiki0.8.2直接
crates.ionum-bigint0.4.8直接
crates.ionum-bigint0.5.1直接
crates.ionum-format0.4.4直接
crates.ionum-traits0.2.19直接
crates.iopetgraph—直接
crates.iopetgraph0.6.5直接
crates.iopetgraph0.8.3直接
crates.ioproc-macro21.0.104直接
crates.ioproc-macro21.0.107直接
crates.ioquote1.0.42直接
crates.ioquote1.0.47直接
crates.iorand0.10.2直接
crates.iorand0.7.3直接
crates.iorand0.8.7直接
crates.ioregex—直接
crates.ioregex1.12.2直接
crates.ioregex1.13.1直接
crates.iorustc_tools_util0.4.2直接
crates.ioserde—直接
crates.ioserde1.0.228直接
crates.ioserde1.0.229直接
crates.ioserde_json—直接
crates.ioserde_json1.0.148直接
crates.ioserde_json1.0.151直接
crates.iosha20.11.0直接
crates.iosise0.8.0直接
crates.iosmt-scope0.1.7直接
crates.iosyn1.0.109直接
crates.iosyn2.0.112直接
crates.iosyn2.0.119直接
crates.iosyn3.0.3直接
crates.iosynstructure0.13.2直接
crates.iotempdir—直接
crates.iotempfile—直接
crates.iotempfile3.27.0直接
crates.iotoml—直接
crates.iotoml0.9.10+spec-1.1.0直接
crates.iotoml1.1.4+spec-1.1.0直接
crates.iotoml_edit—直接
crates.iotoml_edit0.23.10+spec-1.0.0直接
crates.iotracing—直接
crates.iotracing0.1.44直接
crates.iotracing-subscriber—直接
crates.iounicode-ident1.0.22直接
crates.iounicode-ident1.0.24直接
crates.ioverus_builtin0.0.0-2026-08-09-0044直接
crates.ioverus_builtin_macros0.0.0-2026-08-09-0044直接
crates.ioverus_state_machines_macros0.0.0-2026-08-02-0125直接
crates.iowalkdir2.5.0直接
crates.ioxshell—直接
crates.ioyansi1.0.1直接
crates.iozip8.6.0直接
crates.ioadler22.0.1间接
crates.ioaes0.9.2间接
crates.ioahash0.8.12间接
crates.ioaho-corasick1.1.4间接
crates.ioallocator-api20.2.21间接
crates.ioandroid_system_properties0.1.5间接
crates.ioanstream0.6.21间接
crates.ioanstream1.0.0间接
crates.ioanstyle1.0.13间接
crates.ioanstyle1.0.14间接
crates.ioanstyle-parse0.2.7间接
crates.ioanstyle-parse1.0.0间接
crates.ioanstyle-query1.1.5间接
crates.ioanstyle-wincon3.0.11间接
crates.ioarrayvec0.7.8间接
crates.ioatomic-waker1.1.2间接
crates.ioautocfg1.5.1间接
crates.iobase640.22.1间接
crates.iobincode2.0.1间接
crates.iobincode_derive-next3.1.1间接
crates.iobitflags1.3.2间接
crates.iobitflags2.10.0间接
crates.iobitflags2.13.1间接
crates.iobitmaps2.1.0间接
crates.iobitmask-enum2.2.5间接
crates.ioblock-buffer0.12.1间接
crates.iobumpalo3.20.3间接
crates.iobytecount0.6.9间接
crates.iobyteorder1.5.0间接
crates.iobytes1.12.1间接
crates.iobzip20.6.1间接
crates.iocamino1.2.5间接
crates.iocargo-platform0.3.3间接
crates.iocc1.4.0间接
crates.iocfg-if1.0.4间接
crates.iochacha200.10.1间接
crates.iocipher0.5.2间接
crates.ioclap_builder4.5.53间接
crates.ioclap_builder4.6.2间接
crates.ioclap_derive4.5.49间接
crates.ioclap_derive4.6.4间接
crates.ioclap_lex0.7.6间接
crates.ioclap_lex1.1.0间接
crates.iocmov0.5.4间接
crates.iocolorchoice1.0.4间接
crates.iocolorchoice1.0.5间接
crates.ioconst-oid0.10.2间接
crates.ioconstant_time_eq0.4.2间接
crates.iocore-foundation0.10.1间接
crates.iocore-foundation-sys0.8.7间接
crates.iocpubits0.1.1间接
crates.iocpufeatures0.3.0间接
crates.iocrates_io_api0.12.0间接
crates.iocrc32fast1.5.0间接
crates.iocrypto-common0.2.2间接
crates.iocssparser0.27.2间接
crates.iocssparser-macros0.6.1间接
crates.ioctutils0.4.2间接
crates.iodeflate640.1.12间接
crates.ioderanged0.5.8间接
crates.ioderive_more0.99.20间接
crates.iodiff0.1.13间接
crates.iodigest0.11.3间接
crates.iodisplaydoc0.2.7间接
crates.iodtoa1.0.11间接
crates.iodtoa-short0.3.5间接
crates.ioduplicate1.0.0间接
crates.ioeither1.17.0间接
crates.ioencode_unicode1.0.0间接
crates.ioequivalent1.0.2间接
crates.ioerrno0.3.14间接
crates.iofastrand2.5.0间接
crates.iofind-msvc-tools0.1.9间接
crates.iofixedbitset0.4.2间接
crates.iofixedbitset0.5.7间接
crates.ioflate21.1.9间接
crates.iofnv1.0.7间接
crates.iofoldhash0.1.5间接
crates.ioforeign-types0.3.2间接
crates.ioforeign-types-shared0.1.1间接
crates.ioform_urlencoded1.2.2间接
crates.iofutf0.1.5间接
crates.iofutures0.3.33间接
crates.iofutures-channel0.3.33间接
crates.iofutures-core0.3.33间接
crates.iofutures-executor0.3.33间接
crates.iofutures-io0.3.33间接
crates.iofutures-macro0.3.33间接
crates.iofutures-sink0.3.33间接
crates.iofutures-task0.3.33间接
crates.iofutures-util0.3.33间接
crates.iofxhash0.2.1间接
crates.iogetrandom0.1.16间接
crates.iogetrandom0.2.17间接
crates.iogetrandom0.4.3间接
crates.iohashbrown0.12.3间接
crates.iohashbrown0.14.5间接
crates.iohashbrown0.15.5间接
crates.iohashbrown0.16.1间接
crates.iohashbrown0.17.1间接
crates.ioheck0.4.1间接
crates.ioheck0.5.0间接
crates.iohermit-abi0.5.2间接
crates.iohmac0.13.0间接
crates.iohttp1.5.0间接
crates.iohttp-body1.1.0间接
crates.iohttp-body-util0.1.4间接
crates.iohttparse1.10.1间接
crates.iohybrid-array0.4.14间接
crates.iohyper1.11.0间接
crates.iohyper-tls0.6.0间接
crates.iohyper-util0.1.20间接
crates.ioiana-time-zone0.1.65间接
crates.ioiana-time-zone-haiku0.1.2间接
crates.ioicu_collections2.2.0间接
crates.ioicu_locale_core2.2.0间接
crates.ioicu_normalizer2.2.0间接
crates.ioicu_normalizer_data2.2.0间接
crates.ioicu_properties2.2.0间接
crates.ioicu_properties_data2.2.0间接
crates.ioicu_provider2.2.0间接
crates.ioidna1.1.0间接
crates.ioidna_adapter1.2.2间接
crates.ioindoc2.0.7间接
crates.ioinout0.2.2间接
crates.ioinsta1.48.0间接
crates.ioinstant0.1.13间接
crates.ioipnet2.12.0间接
crates.iois_terminal_polyfill1.70.2间接
crates.ioitoa0.4.8间接
crates.ioitoa1.0.17间接
crates.ioitoa1.0.18间接
crates.iojobserver0.1.35间接
crates.iojs-sys0.3.103间接
crates.iolasso0.7.3间接
crates.iolibbz2-rs-sys0.2.5间接
crates.iolibc0.2.178间接
crates.iolibc0.2.189间接
crates.iolibgit2-sys0.18.7+1.9.6间接
crates.iolibredox0.1.12间接
crates.iolibz-sys1.1.29间接
crates.iolinux-raw-sys0.12.1间接
crates.iolitemap0.8.2间接
crates.iolock_api0.4.14间接
crates.iolog0.4.33间接
crates.iolzma-rust20.16.5间接
crates.iomac0.1.1间接
crates.iomarkup5ever0.11.0间接
crates.iomatches0.1.10间接
crates.iomemchr2.7.6间接
crates.iomemchr2.8.3间接
crates.iominiz_oxide0.8.9间接
crates.iomio1.2.2间接
crates.ionative-tls0.2.18间接
crates.ionew_debug_unreachable1.0.6间接
crates.ionodrop0.1.14间接
crates.iononmax0.5.5间接
crates.ionum0.4.3间接
crates.ionum-complex0.4.6间接
crates.ionum-conv0.2.2间接
crates.ionum-integer0.1.46间接
crates.ionum-iter0.1.46间接
crates.ionum-rational0.4.2间接
crates.ioonce_cell1.21.4间接
crates.ioonce_cell_polyfill1.70.2间接
crates.ioopenssl0.10.81间接
crates.ioopenssl-macros0.1.1间接
crates.ioopenssl-probe0.2.1间接
crates.ioopenssl-sys0.9.117间接
crates.iopapergrid0.18.0间接
crates.ioparking_lot0.11.2间接
crates.ioparking_lot0.12.5间接
crates.ioparking_lot_core0.8.6间接
crates.ioparking_lot_core0.9.12间接
crates.iopastey0.2.3间接
crates.iopbkdf20.13.0间接
crates.iopercent-encoding2.3.2间接
crates.iophf0.10.1间接
crates.iophf0.8.0间接
crates.iophf_codegen0.10.0间接
crates.iophf_codegen0.8.0间接
crates.iophf_generator0.10.0间接
crates.iophf_generator0.11.3间接
crates.iophf_generator0.8.0间接
crates.iophf_macros0.8.0间接
crates.iophf_shared0.10.0间接
crates.iophf_shared0.11.3间接
crates.iophf_shared0.8.0间接
crates.iopin-project-lite0.2.17间接
crates.iopin-utils0.1.0间接
crates.iopkg-config0.3.33间接
crates.ioportable-atomic1.14.0间接
crates.iopotential_utf0.1.5间接
crates.iopowerfmt0.2.0间接
crates.ioppmd-rust1.4.0间接
crates.ioppv-lite860.2.21间接
crates.ioprecomputed-hash0.1.1间接
crates.iopretty_assertions—间接
crates.iopretty_assertions1.4.1间接
crates.ioproc-macro-error1.0.4间接
crates.ioproc-macro-error-attr1.0.4间接
crates.ioproc-macro-error-attr22.0.0间接
crates.ioproc-macro-error22.0.1间接
crates.ioproc-macro-hack0.5.20+deprecated间接
crates.ior-efi6.0.0间接
crates.iorand_chacha0.2.2间接
crates.iorand_chacha0.3.1间接
crates.iorand_core0.10.1间接
crates.iorand_core0.5.1间接
crates.iorand_core0.6.4间接
crates.iorand_hc0.2.0间接
crates.iorand_pcg0.2.1间接
crates.iorand_xoshiro0.6.0间接
crates.iorapidhash4.5.1间接
crates.ioredox_syscall0.2.16间接
crates.ioredox_syscall0.5.18间接
crates.ioredox_syscall0.7.0间接
crates.ioregex-automata0.4.13间接
crates.ioregex-automata0.4.16间接
crates.ioregex-syntax0.8.11间接
crates.ioregex-syntax0.8.8间接
crates.ioreqwest0.12.28间接
crates.iorustc_version0.4.1间接
crates.iorustix1.1.4间接
crates.iorustls-pki-types1.15.1间接
crates.iorustversion1.0.23间接
crates.ioryu1.0.23间接
crates.iosame-file1.0.6间接
crates.ioschannel0.1.29间接
crates.ioscopeguard1.2.0间接
crates.iosecurity-framework3.7.0间接
crates.iosecurity-framework-sys2.17.0间接
crates.ioselectors0.22.0间接
crates.iosemver1.0.28间接
crates.ioserde_core1.0.228间接
crates.ioserde_core1.0.229间接
crates.ioserde_derive1.0.228间接
crates.ioserde_derive1.0.229间接
crates.ioserde_path_to_error0.1.20间接
crates.ioserde_spanned1.0.4间接
crates.ioserde_spanned1.1.1间接
crates.ioserde_urlencoded0.7.1间接
crates.ioservo_arc0.1.1间接
crates.iosha10.11.0间接
crates.ioshlex2.0.1间接
crates.iosimd-adler320.3.10间接
crates.iosimilar2.7.0间接
crates.iosiphasher0.3.11间接
crates.iosiphasher1.0.3间接
crates.iosized-chunks0.6.5间接
crates.ioslab0.4.12间接
crates.iosmallvec1.15.2间接
crates.iosocket20.6.5间接
crates.iostable_deref_trait1.2.1间接
crates.iostring_cache0.8.9间接
crates.iostring_cache_codegen0.5.4间接
crates.iostrsim0.11.1间接
crates.iostrum0.26.3间接
crates.iostrum_macros0.26.4间接
crates.iosync_wrapper1.0.2间接
crates.iotabled0.21.0间接
crates.iotabled_derive0.11.0间接
crates.iotendril0.4.3间接
crates.iotesting_table0.3.0间接
crates.iothin-slice0.1.1间接
crates.iothiserror1.0.69间接
crates.iothiserror2.0.19间接
crates.iothiserror-impl1.0.69间接
crates.iothiserror-impl2.0.19间接
crates.iotime0.3.54间接
crates.iotime-core0.1.9间接
crates.iotinystr0.8.3间接
crates.iotokio1.53.1间接
crates.iotokio-native-tls0.3.1间接
crates.iotoml_datetime0.7.5+spec-1.1.0间接
crates.iotoml_datetime1.1.1+spec-1.1.0间接
crates.iotoml_parser1.0.6+spec-1.1.0间接
crates.iotoml_parser1.1.3+spec-1.1.0间接
crates.iotoml_writer1.0.6+spec-1.1.0间接
crates.iotoml_writer1.1.2+spec-1.1.0间接
crates.iotower0.5.3间接
crates.iotower-http0.6.11间接
crates.iotower-layer0.3.3间接
crates.iotower-service0.3.3间接
crates.iotracing-attributes0.1.31间接
crates.iotracing-core0.1.36间接
crates.iotry-lock0.2.5间接
crates.iotyped-index-collections3.5.0间接
crates.iotyped-path0.12.3间接
crates.iotypenum1.20.1间接
crates.iounicode-width0.1.14间接
crates.iounicode-width0.2.2间接
crates.iounit-prefix0.5.2间接
crates.iounty0.0.4间接
crates.iounty-next0.1.2间接
crates.iourl2.5.8间接
crates.ioutf-80.7.6间接
crates.ioutf8_iter1.0.4间接
crates.ioutf8parse0.2.2间接
crates.iovcpkg0.2.15间接
crates.ioversion_check0.9.5间接
crates.iovirtue-next0.1.3间接
crates.iowant0.3.1间接
crates.iowasi0.11.1+wasi-snapshot-preview1间接
crates.iowasi0.9.0+wasi-snapshot-preview1间接
crates.iowasm-bindgen0.2.126间接
crates.iowasm-bindgen-futures0.4.76间接
crates.iowasm-bindgen-macro0.2.126间接
crates.iowasm-bindgen-macro-support0.2.126间接
crates.iowasm-bindgen-shared0.2.126间接
crates.iowasm-timer0.2.5间接
crates.ioweb-sys0.3.103间接
crates.ioweb-time1.1.0间接
crates.iowin32job—间接
crates.iowin32job1.0.4间接
crates.iowinapi0.3.9间接
crates.iowinapi-i686-pc-windows-gnu0.4.0间接
crates.iowinapi-util0.1.11间接
crates.iowinapi-x86_64-pc-windows-gnu0.4.0间接
crates.iowindows-core0.62.2间接
crates.iowindows-implement0.60.2间接
crates.iowindows-interface0.59.3间接
crates.iowindows-link0.2.1间接
crates.iowindows-result0.4.1间接
crates.iowindows-strings0.5.1间接
crates.iowindows-sys0.60.2间接
crates.iowindows-sys0.61.2间接
crates.iowindows-targets0.53.5间接
crates.iowindows_aarch64_gnullvm0.53.1间接
crates.iowindows_aarch64_msvc0.53.1间接
crates.iowindows_i686_gnu0.53.1间接
crates.iowindows_i686_gnullvm0.53.1间接
crates.iowindows_i686_msvc0.53.1间接
crates.iowindows_x86_64_gnu0.53.1间接
crates.iowindows_x86_64_gnullvm0.53.1间接
crates.iowindows_x86_64_msvc0.53.1间接
crates.iowinnow0.7.14间接
crates.iowinnow0.7.15间接
crates.iowinnow1.0.4间接
crates.iowriteable0.6.3间接
crates.ioyoke0.8.3间接
crates.ioyoke-derive0.8.2间接
crates.iozerocopy0.8.55间接
crates.iozerocopy-derive0.8.55间接
crates.iozerofrom0.1.8间接
crates.iozerofrom-derive0.1.7间接
crates.iozeroize1.9.0间接
crates.iozerotrie0.2.4间接
crates.iozerovec0.11.6间接
crates.iozerovec-derive0.11.3间接
crates.iozlib-rs0.6.6间接
crates.iozmij1.0.23间接
crates.iozmij1.0.5间接
crates.iozopfli0.8.3间接
crates.iozstd0.13.3间接
crates.iozstd-safe7.2.4间接
crates.iozstd-sys2.0.16+zstd.1.5.7间接
RubyGemsaddressable2.8.6间接
RubyGemscolorator1.1.0间接
RubyGemsconcurrent-ruby1.2.3间接
RubyGemsem-websocket0.5.3间接
RubyGemseventmachine1.2.7间接
RubyGemsffi1.16.3间接
RubyGemsforwardable-extended2.6.0间接
RubyGemsgoogle-protobuf4.26.1间接
RubyGemshttp_parser.rb0.8.0间接
RubyGemsi18n1.14.4间接
RubyGemsjekyll4.3.3间接
RubyGemsjekyll-feed0.17.0间接
RubyGemsjekyll-sass-converter3.0.0间接
RubyGemsjekyll-watch2.2.1间接
RubyGemskramdown2.4.0间接
RubyGemskramdown-parser-gfm1.1.0间接
RubyGemsliquid4.0.4间接
RubyGemslisten3.9.0间接
RubyGemsmercenary0.4.0间接
RubyGemspathutil0.16.2间接
RubyGemspublic_suffix5.0.5间接
RubyGemsrake13.2.1间接
RubyGemsrb-fsevent0.11.2间接
RubyGemsrb-inotify0.10.1间接
RubyGemsrexml3.2.6间接
RubyGemsrouge4.2.1间接
RubyGemssafe_yaml1.0.5间接
RubyGemssass-embedded1.76.0-x86_64-linux-musl间接
RubyGemsterminal-table3.0.2间接
RubyGemsunicode-display_width2.5.0间接
RubyGemswebrick1.8.1间接
依赖安全公告 15

该仓库未发布可被索引解析的包，因此评估的是其自身的依赖图——共 452 个包，其中也包含从不交付的开发与测试版本固定：15 个存在已知公告，3 个为直接依赖。 有 19 个无法评估——没有已解析的版本、生态系统不受支持，或不在所列包清单之内。

软件包版本关系严重程度公告数修复版本
addressable2.8.6间接高12.9.0
concurrent-ruby1.2.3间接高31.3.7
google-protobuf4.26.1间接高14.28.2
rexml3.2.6间接高63.3.9
webrick1.8.1间接高21.8.2
rand0.7.3直接低20.10.1
anyhow1.0.100直接未知11.0.103
im15.1.0直接未知2—
bincode2.0.1间接未知1—
bitmaps2.1.0间接未知1—
fxhash0.2.1间接未知1—
instant0.1.13间接未知1—
proc-macro-error1.0.4间接未知1—
proc-macro-error22.0.1间接未知1—
sized-chunks0.6.5间接未知2—

公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。

原始 JSON 报告 机器可读

反馈

发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。

登录过程中消息不会丢失。

相关记录

与 verus-lang/verus 共享目录标签或生态系统的已检测仓库。 并排阅读 →

89creusot-rs/creusotCreusot helps you prove your Rust code is correct.优秀83assura-lang/assuraContract-first AI-native language. Write what it should do. AI proves it does.优秀80hypothesi/mcp-server-tauriA Model Context Protocol (MCP) server and plugin for Tauri v2 development优秀80verus-lang/verusfmtAn Opinionated Formatter for Verus优秀78x52dev/contractsA Rust crate that implements "design by contract" via procedural macros良好71aretta-ai/aristoAn SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.良好

评分是信号，而非担保。 评分反映的是 GitHub 上公开可见的实践——不是代码审计，也不是安全保证。

缺失数据将被剔除并重新归一化权重，绝不按零分计。方法论已版本化并公开：指标 v2.10.0、模式 v0.34.0—— 完整方法论 · 指标知识库.

单项结果在整体记录中的位置： 汇总统计 — crates.io.