公开记录
软件健康报告模式 0.34.0 · 指标 2.10.0 · 2026-09-14 05:46 UTC

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

RustLGPL-2.1★ 1,844 星标⑂ 91 复刻始于 2021年1月在 GitHub 上查看 ↗
类型库命令行工具如何判定
#rust-lang#verification#proof#formal-verification#deductive-reasoning#why3#rust#formal-methods#contracts

creusot-rs/creusot 的健康指数为 100 分中的 93 分，处于「卓越」区间。 其得分最高的类别是Vitality（96/100），最低的是Security（57/100）。 最近一次更新在 2 天前。 近期的大部分工作由 2 位贡献者完成。

93
总分 / 100
卓越

软件健康指数

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

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

评分画像

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

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

所有权

Creusot Rust Verifier组织 · 域名已验证
41 关注者9 个公开仓库始于 2024年2月

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

软件包生态系统

注册表软件包版本月下载量版本数最近发布标签
crates.iowhy30.13.0201248 天前verificationdevelopment-tools
crates.iocreusot-std0.13.016,772548 天前verificationdevelopment-tools
crates.iopearlite-syn0.13.016,6681448 天前verificationdevelopment-tools

按类别列示的指标

活力

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

96卓越 · 占总体的 21%

开发活跃度

99卓越
评分方式
36/36推送新近度 — 最近一次推送于 2 天前
35.3/36提交节奏 — 52 周中有 51 周有提交
18/18提交量 — 最近一年 1,152 次提交
10/10OpenSSF Scorecard：Maintained — 30 commit(s) and 25 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year1,152
human_commit_share1
days_since_last_push2
active_weeks_last_year51

发布纪律

92优秀
评分方式
27/27有发布版本 — 已发布 14 个发布版本
36/36发布时效 — 最近一次发布版本于 45 天前
19.8/27发布节奏 — 约每 57.1 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — 无数据
所用输入
releases_count14
latest_release_tagv0.13.0
releases_from_tags否
days_since_latest_release45
mean_days_between_releases57.1
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。

社区与采用

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

74良好 · 占总体的 17%

流行度与采用

76良好
评分方式
53/60星标 — 1,844 个星标
16.3/25复刻 — 91 个复刻
6.7/15关注者 — 17 位关注者
所用输入
forks91
stars1,844
watchers17
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

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

生态采用（下载量）

75良好
评分方式
60.3/80月度下载量 — crates 合计每月 33,460 次下载
0/20注册表被依赖数 — 该生态系统不报告此项
所用输入
packageswhy3, creusot-std, pearlite-syn
dependents—
ecosystemscrates
total_downloads116,078
monthly_downloads33,460
unverified_packages_excluded—
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。

可持续性与治理

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

77良好 · 占总体的 23%

维护者韧性（巴士系数）

64中等
评分方式
25.2/54巴士系数 — 2 位贡献者贡献了半数提交
15.3/22.5提交分布 — 头号贡献者编写了 32% 的提交
13.5/13.5贡献者广度 — 50 位贡献者
10/10OpenSSF Scorecard：Contributors — project has 12 contributing companies or organizations
所用输入
bus_factor2
contributors_sampled50
top_contributor_share0.318

议题与 PR 响应能力

78良好
评分方式
35.5/42议题解决 — 85% 的议题已关闭
28.6/30PR 接受 — 已裁定的 PR 中 1,523/1,598 已合并
9.8/13Newcomer PR acceptance — 30 天内首次贡献者的 PR 已合并 3/4
4.5/15OpenSSF Scorecard：Code-Review — Found 3/10 approved changesets -- score normalized to 3
所用输入
merged_prs1,523
open_issues94
closed_issues516
prs_merged_7d2
prs_decided_7d2
prs_merged_30d16
prs_decided_30d18
issue_closed_ratio0.846
closed_unmerged_prs75
first_time_authors_30d3
first_time_prs_merged_30d3
first_time_prs_decided_30d4

所有权与托管责任

74良好
评分方式
30/30所有权背书 — 组织持有
20/20已验证域名
11.7/25所有者影响力 — creusot-rs 有 41 位关注者
12.4/25既往记录 — 9 个公开仓库，账户约 2 年
所用输入
followers41
owner_typeOrganization
is_verified是
owner_logincreusot-rs
public_repos9
account_age_days936

软件包维护

100卓越
评分方式
25/25已发布且可解析 — crates 上有 3 个软件包
35/35发布时效 — 最近一次发布于 48 天前
20/20版本历史 — 14 个已发布版本
20/20未被弃用 — 活跃，未被弃用或撤回
所用输入
packageswhy3, creusot-std, pearlite-syn
ecosystemscrates
any_deprecated否
min_days_since_publish48

工程质量

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

90优秀 · 占总体的 19%

工程实践

84优秀
评分方式
24/24CI 工作流 — 3 个工作流
24/24存在测试
16/16Linter 配置 — creusot-std-proc/Cargo.toml ([lints]), creusot-std/Cargo.toml ([lints]), rustfmt.toml
0/9.6Pre-commit 钩子
0/6.4.editorconfig
20/20OpenSSF Scorecard：CI-Tests — 10 out of 10 merged PRs checked by a CI test -- score normalized to 10
所用输入
has_ci是
has_tests是
has_editorconfig否
has_linter_config是
has_precommit_config否

文档

100卓越
评分方式
30/30README
25/25文档目录
15/15文档 / 主页站点 — https://creusot.rs
10/10仓库描述
10/10主题标签 — 9 个主题标签
10/10Wiki
所用输入
topicsrust-lang, verification, proof, formal-verification, deductive-reasoning, why3, rust, formal-methods, contracts
has_wiki是
homepagehttps://creusot.rs
docs_sitehttps://creusot.rs
has_readme是
has_docs_dir是
has_description是

安全

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

57中等 · 占总体的 16%

安全态势

49薄弱
评分方式
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — 无数据
2.5/2.5CI-Tests — 10 out of 10 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
2.2/7.5Code-Review — Found 3/10 approved changesets -- score normalized to 3
2.5/2.5Contributors — project has 12 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5许可证 — license file detected
7.5/7.5Maintained — 30 commit(s) and 25 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — 无数据
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 — 无数据
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
6.8/7.5Vulnerabilities — 1 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated15
scorecard_versionv5.5.0
checks_inconclusive3
scorecard_aggregate4.9
已排除计分（无数据或不适用）：Branch-Protection, Packaging, Signed-Releases。 其余权重已重新归一化。

依赖安全公告

89优秀
评分方式
26.6/35直接依赖不含已知公告 — 1 个受影响：anyhow 1.0.102 (unknown)
0/25间接依赖不含已知公告 — 在此范围内，传递依赖集合无法与开发和测试依赖区分
40/40没有长期未处理的公告 — 没有公告公开超过 90 天
所用输入
sourceosv
advisories1
affected_packages1
assessed_packages176
unassessed_packages40
affected_by_severityunknown 1
direct_affected_packages1
已排除计分（无数据或不适用）：间接依赖不含已知公告。 其余权重已重新归一化。 已将 176 个已解析依赖与 OSV 比对。 有 40 项无法评估——没有已解析的版本、生态系统不受支持，或超出所报告的软件包清单。 该仓库未发布任何索引可解析的软件包，因此改为评估仓库依赖图。该图将开发与测试版本固定同交付的依赖混在一起，因此仅对声明的运行时依赖计分；传递性发现仅作为背景信息列出，不计入评分。 未对可达性进行分析。

AI 就绪度

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

67良好 · 占总体的 4%

AI 代理上下文与指引

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

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

67良好
评分方式
12.6/18一条命令的引导启动 — Cargo.toml, cargo-creusot/Cargo.toml, creusot-args/Cargo.toml（工具链约定，无任务运行器）
22/22自动化测试
11/11Lint / 格式化配置 — creusot-std-proc/Cargo.toml ([lints]), creusot-std/Cargo.toml ([lints]), rustfmt.toml
11/11静态类型检查 — Rust（静态类型）
10/10可复现环境 — Nix, lockfile
0/10已体现的代理实践 — 最近 100 次提交中没有代理编写的提交
0/8自动化维护 — 未观察到自动依赖更新
0/10OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
所用输入
has_nix是
has_tests是
lockfilesCargo.lock
has_dockerfile否
typed_language是
bootstrap_files—
has_devcontainer否
has_linter_config是
typecheck_configs—
agent_commit_share0
toolchain_manifestsCargo.toml, cargo-creusot/Cargo.toml, creusot-args/Cargo.toml, creusot-dev-config/Cargo.toml, creusot-install/Cargo.toml, creusot-metadata/Cargo.toml, creusot-rustc/Cargo.toml, creusot-setup/Cargo.toml, creusot-std-proc/Cargo.toml, creusot-std/Cargo.toml, creusot/Cargo.toml, pearlite-syn/Cargo.toml, prelude-generator/Cargo.toml, tests/Cargo.toml, why3/Cargo.toml, why3tests/Cargo.toml
dependency_bot_commit_share0

面向模型的代码可读性

100卓越
评分方式
45/45可类型检查的代码 — Rust（静态类型）
54.8/55可控的文件大小 — 采样的 714 个源文件中有 3 个超过 60KB
所用输入
primary_languageRust
largest_source_bytes73,319
source_files_sampled714
oversized_source_files3

机器可读接口

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

关键数据

1,844GitHub 星标
50贡献者
1,152最近 12 个月提交数
2距最近推送天数
14发布版本数
2巴士系数（bus factor）
94开放议题
crates.io软件包生态系统数

数据采集警告

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch crates package 'creusot' from its registry
  • Could not fetch crates package 'why3tests' from its registry
  • Could not fetch crates package 'creusot-args' from its registry
  • Could not fetch crates package 'cargo-creusot' from its registry
  • Could not fetch crates package 'creusot-rustc' from its registry

更多细节

Star 与 Fork 历史 0 ★ / 91 ⇿
0Star
91Fork
14发布

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

0204060801009032021-032023-122026-09
主版本 0次版本 12修订 1

每个点涵盖 6 天。

OpenSSF Scorecard 4.9 / 10
4.9综合

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

10Binary-Artifactsno binaries found in the repo
不适用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-Tests10 out of 10 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
3Code-ReviewFound 3/10 approved changesets -- score normalized to 3
10Contributorsproject has 12 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 25 issue activity found in the last 90 days -- score normalized to 10
不适用Packagingpackaging workflow not 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
不适用Signed-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
9Vulnerabilities1 existing vulnerabilities detected
直接依赖 64
注册表软件包版本约束清单文件
crates.ioclap4.5cargo-creusot/Cargo.toml
crates.ioserde_json1.0cargo-creusot/Cargo.toml
crates.iotoml0.9cargo-creusot/Cargo.toml
crates.ioenv_logger0.11cargo-creusot/Cargo.toml
crates.ioserde1.0cargo-creusot/Cargo.toml
crates.iocreusot-args—cargo-creusot/Cargo.toml
crates.iocreusot-setup—cargo-creusot/Cargo.toml
crates.ioanyhow1.0cargo-creusot/Cargo.toml
crates.iocargo_metadata0.23cargo-creusot/Cargo.toml
crates.ioglob0.3cargo-creusot/Cargo.toml
crates.iotoml_edit0.24cargo-creusot/Cargo.toml
crates.ioclap4.5creusot-args/Cargo.toml
crates.ioserde1.0creusot-args/Cargo.toml
crates.iocreusot-setup—creusot-dev-config/Cargo.toml
crates.ioanyhow1.0creusot-dev-config/Cargo.toml
crates.iowhich8.0creusot-dev-config/Cargo.toml
crates.ioclap4.5creusot-install/Cargo.toml
crates.iocreusot-setup—creusot-install/Cargo.toml
crates.ioanyhow1.0creusot-install/Cargo.toml
crates.iodirectories6.0creusot-install/Cargo.toml
crates.iosha20.10creusot-install/Cargo.toml
crates.iohex0.4creusot-install/Cargo.toml
crates.iozip8.1.0creusot-install/Cargo.toml
crates.ioindexmap2.7creusot-metadata/Cargo.toml
crates.ioserde_json1.0creusot-rustc/Cargo.toml
crates.iocreusot—creusot-rustc/Cargo.toml
crates.ioenv_logger0.11creusot-rustc/Cargo.toml
crates.ioserde1.0creusot-rustc/Cargo.toml
crates.iocreusot-args—creusot-rustc/Cargo.toml
crates.iocreusot-args—creusot-setup/Cargo.toml
crates.ioserde1.0creusot-setup/Cargo.toml
crates.iotoml0.9creusot-setup/Cargo.toml
crates.iodirectories6.0creusot-setup/Cargo.toml
crates.iowhich8.0creusot-setup/Cargo.toml
crates.ioanyhow1.0creusot-setup/Cargo.toml
crates.ionum_cpus1.17.0creusot-setup/Cargo.toml
crates.ioquote1.0creusot-std-proc/Cargo.toml
crates.iouuid1.12creusot-std-proc/Cargo.toml
crates.iopearlite-syn0.14.0-devcreusot-std-proc/Cargo.toml
crates.iosyn2.0creusot-std-proc/Cargo.toml
crates.ioproc-macro21.0creusot-std-proc/Cargo.toml
crates.iocreusot-std-proc0.14.0-devcreusot-std/Cargo.toml
crates.ioitertools0.14creusot/Cargo.toml
crates.iolog0.4creusot/Cargo.toml
crates.ioserde1.0creusot/Cargo.toml
crates.iopetgraph0.6creusot/Cargo.toml
crates.ioindexmap2.7creusot/Cargo.toml
crates.iowhy3—creusot/Cargo.toml
crates.iocreusot-metadata—creusot/Cargo.toml
crates.iocreusot-args—creusot/Cargo.toml
crates.iopathdiff0.2creusot/Cargo.toml
crates.ioonce_map0.4creusot/Cargo.toml
crates.iosyn2.0pearlite-syn/Cargo.toml
crates.ioproc-macro21.0pearlite-syn/Cargo.toml
crates.ioquote1.0pearlite-syn/Cargo.toml
crates.iocreusot-setup—prelude-generator/Cargo.toml
crates.ioanyhow1.0prelude-generator/Cargo.toml
crates.ioitertools0.14why3/Cargo.toml
crates.iopretty0.12why3/Cargo.toml
crates.ioindexmap2.7why3/Cargo.toml
crates.ioserde1.0why3/Cargo.toml
crates.ionum0.4why3/Cargo.toml
crates.ioserde_json1.0why3/Cargo.toml
crates.iostring-interner0.19why3/Cargo.toml
全部依赖 216

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

注册表软件包版本关系
crates.ioanyhow—直接
crates.ioanyhow1.0.102直接
crates.iocargo_metadata—直接
crates.iocargo_metadata0.23.1直接
crates.ioclap—直接
crates.ioclap4.6.1直接
crates.iocreusot-std-proc—直接
crates.iodirectories—直接
crates.iodirectories6.0.0直接
crates.ioenv_logger—直接
crates.ioenv_logger0.11.10直接
crates.ioglob—直接
crates.ioglob0.3.3直接
crates.iohex—直接
crates.iohex0.4.3直接
crates.ioindexmap—直接
crates.ioindexmap2.14.0直接
crates.ioitertools—直接
crates.ioitertools0.14.0直接
crates.iolog—直接
crates.iolog0.4.29直接
crates.ionum—直接
crates.ionum0.4.3直接
crates.ionum_cpus—直接
crates.ionum_cpus1.17.0直接
crates.ioonce_map—直接
crates.ioonce_map0.4.24直接
crates.iopathdiff—直接
crates.iopathdiff0.2.3直接
crates.iopearlite-syn—直接
crates.iopetgraph—直接
crates.iopetgraph0.6.5直接
crates.iopretty—直接
crates.iopretty0.12.5直接
crates.ioproc-macro2—直接
crates.ioproc-macro21.0.106直接
crates.ioquote—直接
crates.ioquote1.0.45直接
crates.ioserde—直接
crates.ioserde1.0.228直接
crates.ioserde_json—直接
crates.ioserde_json1.0.151直接
crates.iosha2—直接
crates.iosha20.10.9直接
crates.iostring-interner—直接
crates.iostring-interner0.19.0直接
crates.iosyn—直接
crates.iosyn2.0.117直接
crates.iotoml—直接
crates.iotoml0.9.12+spec-1.1.0直接
crates.iotoml_edit—直接
crates.iotoml_edit0.24.1+spec-1.1.0直接
crates.iouuid—直接
crates.iouuid1.23.1直接
crates.iowhich—直接
crates.iowhich8.0.2直接
crates.iozip—直接
crates.iozip8.5.1直接
crates.ioadler22.0.1间接
crates.ioahash0.8.12间接
crates.ioaho-corasick1.1.4间接
crates.ioanstream1.0.0间接
crates.ioanstyle1.0.14间接
crates.ioanstyle-parse1.0.0间接
crates.ioanstyle-query1.1.5间接
crates.ioanstyle-wincon3.0.11间接
crates.ioarrayvec0.5.2间接
crates.ioautocfg1.5.0间接
crates.iobit-set0.8.0间接
crates.iobit-vec0.8.0间接
crates.iobitflags2.11.1间接
crates.ioblock-buffer0.10.4间接
crates.iobumpalo3.20.2间接
crates.iocamino1.2.2间接
crates.iocargo-platform0.3.3间接
crates.iocfg-if1.0.4间接
crates.ioclap_builder4.6.0间接
crates.ioclap_derive4.6.1间接
crates.ioclap_lex1.1.0间接
crates.iocolorchoice1.0.5间接
crates.ioconsole0.16.3间接
crates.iocpufeatures0.2.17间接
crates.iocrc32fast1.5.0间接
crates.iocrypto-common0.1.7间接
crates.iodigest0.10.7间接
crates.iodirs-sys0.5.0间接
crates.ioeither1.15.0间接
crates.ioencode_unicode1.0.0间接
crates.ioenv_filter1.0.1间接
crates.ioequivalent1.0.2间接
crates.ioerrno0.3.14间接
crates.iofastrand2.4.1间接
crates.iofixedbitset0.4.2间接
crates.ioflate21.1.9间接
crates.iofnv1.0.7间接
crates.iofoldhash0.1.5间接
crates.iogeneric-array0.14.7间接
crates.iogetrandom0.2.17间接
crates.iogetrandom0.3.4间接
crates.iogetrandom0.4.2间接
crates.iohashbrown0.15.5间接
crates.iohashbrown0.17.0间接
crates.ioheck0.5.0间接
crates.iohermit-abi0.5.2间接
crates.ioid-arena2.3.0间接
crates.ioinsta—间接
crates.ioinsta1.47.2间接
crates.iois_terminal_polyfill1.70.2间接
crates.ioitoa1.0.18间接
crates.iojiff0.2.23间接
crates.iojiff-static0.2.23间接
crates.iojs-sys0.3.95间接
crates.ioleb128fmt0.1.0间接
crates.iolibc—间接
crates.iolibc0.2.185间接
crates.iolibredox0.1.16间接
crates.iolinux-raw-sys0.12.1间接
crates.iolock_api0.4.14间接
crates.iomemchr2.8.0间接
crates.iominiz_oxide0.8.9间接
crates.ionum-bigint0.4.6间接
crates.ionum-complex0.4.6间接
crates.ionum-integer0.1.46间接
crates.ionum-iter0.1.45间接
crates.ionum-rational—间接
crates.ionum-rational0.4.2间接
crates.ionum-traits0.2.19间接
crates.ioonce_cell1.21.4间接
crates.ioonce_cell_polyfill1.70.2间接
crates.iooption-ext0.2.0间接
crates.ioparking_lot0.12.5间接
crates.ioparking_lot_core0.9.12间接
crates.ioportable-atomic1.13.1间接
crates.ioportable-atomic-util0.2.7间接
crates.ioppv-lite860.2.21间接
crates.ioprettyplease0.2.37间接
crates.ioproptest—间接
crates.ioproptest1.11.0间接
crates.ioquick-error1.2.3间接
crates.ior-efi5.3.0间接
crates.ior-efi6.0.0间接
crates.iorand0.9.4间接
crates.iorand_chacha0.9.0间接
crates.iorand_core0.9.5间接
crates.iorand_xorshift0.4.0间接
crates.ioredox_syscall0.5.18间接
crates.ioredox_users0.5.2间接
crates.ioref-cast—间接
crates.ioref-cast1.0.25间接
crates.ioref-cast-impl1.0.25间接
crates.ioregex—间接
crates.ioregex1.12.3间接
crates.ioregex-automata0.4.14间接
crates.ioregex-syntax0.8.10间接
crates.ioroxmltree—间接
crates.ioroxmltree0.21.1间接
crates.iorustix1.1.4间接
crates.iorustversion1.0.22间接
crates.iorusty-fork0.3.1间接
crates.ioscopeguard1.2.0间接
crates.iosemver1.0.28间接
crates.ioserde_core1.0.228间接
crates.ioserde_derive1.0.228间接
crates.ioserde_spanned1.1.1间接
crates.iosimd-adler320.3.9间接
crates.iosimilar—间接
crates.iosimilar2.7.0间接
crates.iosmallvec1.15.1间接
crates.iostable_deref_trait1.2.1间接
crates.iostrsim0.11.1间接
crates.iotempfile—间接
crates.iotempfile3.27.0间接
crates.iotermcolor—间接
crates.iotermcolor1.4.1间接
crates.iothiserror2.0.18间接
crates.iothiserror-impl2.0.18间接
crates.iotoml_datetime0.7.5+spec-1.1.0间接
crates.iotoml_parser1.1.2+spec-1.1.0间接
crates.iotoml_writer1.1.1+spec-1.1.0间接
crates.iotyped-arena2.0.2间接
crates.iotyped-path0.12.3间接
crates.iotypenum1.20.0间接
crates.iounarray0.1.4间接
crates.iounicode-ident1.0.24间接
crates.iounicode-width0.2.2间接
crates.iounicode-xid0.2.6间接
crates.ioutf8parse0.2.2间接
crates.ioversion_check0.9.5间接
crates.iowait-timeout0.2.1间接
crates.iowasi0.11.1+wasi-snapshot-preview1间接
crates.iowasip21.0.3+wasi-0.2.9间接
crates.iowasip30.4.0+wasi-0.3.0-rc-2026-01-06间接
crates.iowasm-bindgen0.2.118间接
crates.iowasm-bindgen-macro0.2.118间接
crates.iowasm-bindgen-macro-support0.2.118间接
crates.iowasm-bindgen-shared0.2.118间接
crates.iowasm-encoder0.244.0间接
crates.iowasm-metadata0.244.0间接
crates.iowasmparser0.244.0间接
crates.iowinapi-util0.1.11间接
crates.iowindows-link0.2.1间接
crates.iowindows-sys0.61.2间接
crates.iowinnow0.7.15间接
crates.iowinnow1.0.2间接
crates.iowit-bindgen0.51.0间接
crates.iowit-bindgen0.57.1间接
crates.iowit-bindgen-core0.51.0间接
crates.iowit-bindgen-rust0.51.0间接
crates.iowit-bindgen-rust-macro0.51.0间接
crates.iowit-component0.244.0间接
crates.iowit-parser0.244.0间接
crates.iozerocopy0.8.48间接
crates.iozerocopy-derive0.8.48间接
crates.iozlib-rs0.6.3间接
crates.iozmij1.0.21间接
crates.iozopfli0.8.3间接
依赖安全公告 1

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

软件包版本关系严重程度公告数修复版本
anyhow1.0.102直接未知11.0.103

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

原始 JSON 报告 机器可读

反馈

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

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

相关记录

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

96temporalio/sdk-rustTemporal Rust & Core SDKs卓越96slint-ui/slintSlint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.卓越96model-checking/kaniKani Rust Verifier卓越94bazelbuild/rules_rustRust rules for Bazel卓越98svix/svix-webhooksThe open source and enterprise-ready webhooks service 🦀卓越98zama-ai/tfhe-rsTFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.卓越

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

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

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