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

model-checking / kani

Kani Rust Verifier

RustApache-2.0★ 3,427 星标⑂ 175 复刻始于 2021年3月在 GitHub 上查看 ↗
类型命令行工具库如何判定
#rust#model-checking#verification

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

96
总分 / 100
卓越

软件健康指数

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

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

评分画像

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

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

所有权

model-checking组织
104 关注者11 个公开仓库始于 2021年2月

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

软件包生态系统

注册表软件包版本月下载量版本数最近发布标签
crates.iokani-verifier0.68.066,086702 天前model-checkingverificationdevelopment-tools

按类别列示的指标

活力

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

91优秀 · 占总体的 21%

开发活跃度

96卓越
评分方式
36/36推送新近度 — 最近一次推送于 1 天前
31.8/36提交节奏 — 52 周中有 46 周有提交
18/18提交量 — 最近一年 304 次提交
10/10OpenSSF Scorecard：Maintained — 30 commit(s) and 15 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year304
human_commit_share0.86
days_since_last_push1
active_weeks_last_year46

发布纪律

83优秀
评分方式
27/27有发布版本 — 已发布 69 个发布版本
36/36发布时效 — 最近一次发布版本于 2 天前
19.8/27发布节奏 — 约每 65.1 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — Project has not signed or included provenance with any releases.
所用输入
releases_count69
latest_release_tagkani-0.68.0
releases_from_tags否
days_since_latest_release2
mean_days_between_releases65.1

社区与采用

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

85优秀 · 占总体的 17%

流行度与采用

83优秀
评分方式
57.3/60星标 — 3,427 个星标
18.7/25复刻 — 175 个复刻
7.2/15关注者 — 21 位关注者
所用输入
forks175
stars3,427
watchers21
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

92优秀
评分方式
22.5/22.5README
22.5/22.5许可证 — 可识别的许可证（Apache-2.0）
18/18CONTRIBUTING 指南
13.5/13.5行为准则
0/7.2议题模板
6.3/6.3PR 模板
所用输入
has_readme是
has_license是
readme_badges2
has_contributing是
has_issue_template否
has_code_of_conduct是
readme_badge_servicesgithub.com
has_pull_request_template是

生态采用（下载量）

80优秀
评分方式
64.3/80月度下载量 — crates 合计每月 66,086 次下载
0/20注册表被依赖数 — 该生态系统不报告此项
所用输入
packageskani-verifier
dependents—
ecosystemscrates
total_downloads598,760
monthly_downloads66,086
unverified_packages_excluded—
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。

可持续性与治理

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

82优秀 · 占总体的 23%

维护者韧性（巴士系数）

84优秀
评分方式
43.2/54巴士系数 — 4 位贡献者贡献了半数提交
17.8/22.5提交分布 — 头号贡献者编写了 21% 的提交
13.5/13.5贡献者广度 — 72 位贡献者
10/10OpenSSF Scorecard：Contributors — project has 16 contributing companies or organizations
所用输入
bus_factor4
contributors_sampled72
top_contributor_share0.208

议题与 PR 响应能力

82优秀
评分方式
31.9/42议题解决 — 76% 的议题已关闭
27.4/30PR 接受 — 已裁定的 PR 中 2,584/2,828 已合并
7.4/13Newcomer PR acceptance — 30 天内首次贡献者的 PR 已合并 4/7
15/15OpenSSF Scorecard：Code-Review — all changesets reviewed
所用输入
merged_prs2,584
open_issues471
closed_issues1,480
prs_merged_7d6
prs_decided_7d9
prs_merged_30d41
prs_decided_30d45
issue_closed_ratio0.759
closed_unmerged_prs244
first_time_authors_30d5
first_time_prs_merged_30d4
first_time_prs_decided_30d7

所有权与托管责任

64中等
评分方式
30/30所有权背书 — 组织持有
0/20已验证域名
14.5/25所有者影响力 — model-checking 有 104 位关注者
19.1/25既往记录 — 11 个公开仓库，账户约 5 年
所用输入
followers104
owner_typeOrganization
is_verified否
owner_loginmodel-checking
public_repos11
account_age_days2,047

软件包维护

100卓越
评分方式
25/25已发布且可解析 — crates 上有 1 个软件包
35/35发布时效 — 最近一次发布于 2 天前
20/20版本历史 — 70 个已发布版本
20/20未被弃用 — 活跃，未被弃用或撤回
所用输入
packageskani-verifier
ecosystemscrates
any_deprecated否
min_days_since_publish2

工程质量

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

90优秀 · 占总体的 19%

工程实践

90优秀
评分方式
24/24CI 工作流 — 14 个工作流
24/24存在测试
16/16Linter 配置 — Cargo.toml ([workspace.lints]), cprover_bindings/Cargo.toml ([lints]), kani-compiler/Cargo.toml ([lints]), kani_metadata/Cargo.toml ([lints]), rustfmt.toml, scripts/pyproject.toml ([tool.autopep8])
0/9.6Pre-commit 钩子
6.4/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否

文档

90优秀
评分方式
30/30README
25/25文档目录
15/15文档 / 主页站点 — https://model-checking.github.io/kani
10/10仓库描述
10/10主题标签 — 3 个主题标签
0/10Wiki
所用输入
topicsrust, model-checking, verification
has_wiki否
homepagehttps://model-checking.github.io/kani
docs_sitehttps://model-checking.github.io/kani
has_readme是
has_docs_dir是
has_description是

安全

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

70良好 · 占总体的 16%

安全态势

68良好
评分方式
7.5/7.5Binary-Artifacts — no binaries found in the repo
6/7.5Branch-Protection — branch protection is not maximal on development and all release branches
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
7.5/7.5Code-Review — all changesets reviewed
2.5/2.5Contributors — project has 16 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5许可证 — license file detected
7.5/7.5Maintained — 30 commit(s) and 15 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.5/5SAST — SAST tool is not run on all commits -- score normalized to 1
5/5Security-Policy — security policy file 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
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate6.8

依赖安全公告

78良好
评分方式
35/35直接依赖不含已知公告 — 没有直接依赖携带已知公告
8.7/25间接依赖不含已知公告 — 3 个受影响：quick-xml 0.30.0 (high 7.5), time 0.3.15 (moderate), safemem 0.3.3 (unknown)
34.8/40没有长期未处理的公告 — 2 个携带公告的软件包超过 90 天未处理；最早一条发布于 1,312 天前
所用输入
sourceosv
advisories5
affected_packages3
assessed_packages35
unassessed_packages0
affected_by_severityhigh 1, moderate 1, unknown 1
direct_affected_packages0
比对的是 crates:kani-verifier@0.68.0 的运行时依赖闭包——安装已发布的软件包时真正被拉取进来的内容——共 35 个软件包。 未对可达性进行分析。

AI 就绪度

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

87优秀 · 占总体的 4%

AI 代理上下文与指引

85优秀
评分方式
45/45代理指令 — AGENTS.md
0/15机器可读文档（llms.txt）
40/40可读的提交历史 — 86 次人类提交中有 86 次说明了意图（结构化标题或解释性正文）
所用输入
has_llms_txt否
llms_txt_url—
legible_history_share1
agent_instruction_filesAGENTS.md
agent_instruction_max_bytes9,775

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

79良好
评分方式
12.6/18一条命令的引导启动 — Cargo.toml, cprover_bindings/Cargo.toml, docs/src/getting-started/verification-results/Cargo.toml（工具链约定，无任务运行器）
22/22自动化测试
11/11Lint / 格式化配置 — Cargo.toml ([workspace.lints]), cprover_bindings/Cargo.toml ([lints]), kani-compiler/Cargo.toml ([lints]), kani_metadata/Cargo.toml ([lints]), rustfmt.toml, scripts/pyproject.toml ([tool.autopep8])
11/11静态类型检查 — Rust（静态类型）
10/10可复现环境 — Dockerfile, lockfile
4/10已体现的代理实践 — 最近 100 次提交中有 2 次由代理编写或署名代理
8/8自动化维护 — 最近 100 次提交中有 4 次为自动依赖更新
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.02
toolchain_manifestsCargo.toml, cprover_bindings/Cargo.toml, docs/src/getting-started/verification-results/Cargo.toml, docs/src/tutorial/arbitrary-variables/Cargo.toml, docs/src/tutorial/first-steps-v1/Cargo.toml, docs/src/tutorial/first-steps-v2/Cargo.toml, docs/src/tutorial/kinds-of-failure/Cargo.toml, docs/src/tutorial/loops-unwinding/Cargo.toml, kani-compiler/Cargo.toml, kani-driver/Cargo.toml, kani_metadata/Cargo.toml, library/kani/Cargo.toml, library/kani_core/Cargo.toml, library/kani_macros/Cargo.toml, library/std/Cargo.toml, tests/cargo-coverage/simple-lib/Cargo.toml, tests/cargo-kani/asm/global/Cargo.toml, tests/cargo-kani/asm/global/crate_with_global_asm/Cargo.toml, tests/cargo-kani/asm/global_error/Cargo.toml, tests/cargo-kani/asm/global_error/crate_with_global_asm/Cargo.toml, tests/cargo-kani/assert-reach/Cargo.toml, tests/cargo-kani/assert-reach/foo/Cargo.toml, tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml, tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml, tests/cargo-kani/build-rs-works/Cargo.toml, tests/cargo-kani/cargo-features-flag/Cargo.toml, tests/cargo-kani/cargo-tests-dir/Cargo.toml, tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml, tests/cargo-kani/chrono_dep/Cargo.toml, tests/cargo-kani/codegen-scalar-with-phantom/Cargo.toml, tests/cargo-kani/codegen-scalar-with-zsts/Cargo.toml, tests/cargo-kani/concrete-playback-in-verification-mode/Cargo.toml, tests/cargo-kani/config/Cargo.toml, tests/cargo-kani/default-members/Cargo.toml, tests/cargo-kani/default-members/builds-ok/Cargo.toml, tests/cargo-kani/default-members/dont-build-me/Cargo.toml, tests/cargo-kani/demos/non-empty-range/Cargo.toml, tests/cargo-kani/dependencies/Cargo.toml, tests/cargo-kani/dependency-test/dependency3/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/dependency1/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/dependency2/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/dependency3/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/main/Cargo.toml, tests/cargo-kani/dev-depends/Cargo.toml, tests/cargo-kani/feature-flag/Cargo.toml, tests/cargo-kani/firecracker-block-example/Cargo.toml, tests/cargo-kani/iss2857/Cargo.toml, tests/cargo-kani/issue-3817/Cargo.toml, tests/cargo-kani/itoa_dep/Cargo.toml, tests/cargo-kani/libc/Cargo.toml, tests/cargo-kani/mir-linker/Cargo.toml, tests/cargo-kani/nested-dirs/Cargo.toml, tests/cargo-kani/nested-dirs/crate1/Cargo.toml, tests/cargo-kani/nested-dirs/crate2/Cargo.toml, tests/cargo-kani/nested-dirs/crate2/nested_crate/Cargo.toml, tests/cargo-kani/no-std/Cargo.toml, tests/cargo-kani/output-format/Cargo.toml, tests/cargo-kani/percent-encoding/Cargo.toml, tests/cargo-kani/rectangle-example/Cargo.toml, tests/cargo-kani/simple-config-toml/Cargo.toml, tests/cargo-kani/simple-extern/Cargo.toml, tests/cargo-kani/simple-kissat/Cargo.toml, tests/cargo-kani/simple-lib/Cargo.toml, tests/cargo-kani/simple-main/Cargo.toml, tests/cargo-kani/simple-proof-annotation/Cargo.toml, tests/cargo-kani/simple-unwind-annotation/Cargo.toml, tests/cargo-kani/small-vec/Cargo.toml, tests/cargo-kani/storage-markers/Cargo.toml, tests/cargo-kani/storage-markers/crate-with-bug/Cargo.toml, tests/cargo-kani/storage-markers/crate-with-harness/Cargo.toml, tests/cargo-kani/stubbing-do-not-resolve/Cargo.toml, tests/cargo-kani/stubbing-do-not-resolve/other_crate1/Cargo.toml, tests/cargo-kani/stubbing-do-not-resolve/other_crate2/Cargo.toml, tests/cargo-kani/stubbing-double-extern-path/crate_a/Cargo.toml, tests/cargo-kani/stubbing-double-extern-path/crate_b/Cargo.toml, tests/cargo-kani/stubbing-double-extern-path/harness/Cargo.toml, tests/cargo-kani/stubbing-extern-path/Cargo.toml, tests/cargo-kani/stubbing-extern-path/other_crate/Cargo.toml, tests/cargo-kani/stubbing-foreign-method/Cargo.toml, tests/cargo-kani/stubbing-foreign-method/other_crate/Cargo.toml, tests/cargo-kani/stubbing-private-foreign-function/Cargo.toml, tests/cargo-kani/stubbing-private-foreign-function/other_crate/Cargo.toml, tests/cargo-kani/stubbing-public-foreign-function/Cargo.toml, tests/cargo-kani/stubbing-public-foreign-function/other_crate/Cargo.toml, tests/cargo-kani/stubbing-resolve-extern-crate-as/Cargo.toml, tests/cargo-kani/stubbing-resolve-extern-crate-as/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-as-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-as-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-glob-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-glob-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-in-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-in-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-validate-random/Cargo.toml, tests/cargo-kani/stubbing-ws-packages/Cargo.toml, tests/cargo-kani/stubbing-ws-packages/dependency/Cargo.toml, tests/cargo-kani/stubbing-ws-packages/top/Cargo.toml, tests/cargo-kani/symlink/Cargo.toml, tests/cargo-kani/type-mismatch/Cargo.toml, tests/cargo-kani/type-mismatch/uses_core/Cargo.toml, tests/cargo-kani/type-mismatch/uses_std/Cargo.toml, tests/cargo-kani/unexpected_cfgs/Cargo.toml, tests/cargo-kani/vecdeque-cve/Cargo.toml, tests/cargo-kani/ws-crate-type-bin/Cargo.toml, tests/cargo-kani/ws-crate-type-bin/bincrate/Cargo.toml, tests/cargo-kani/ws-crate-type-bin/libcrate/Cargo.toml, tests/cargo-kani/ws-flag/Cargo.toml, tests/cargo-kani/ws-flag/libcrate/Cargo.toml, tests/cargo-kani/ws-name-conflict/Cargo.toml, tests/cargo-kani/ws-name-conflict/lib1/Cargo.toml, tests/cargo-kani/ws-name-conflict/lib2/Cargo.toml, tests/cargo-kani/ws-specified/Cargo.toml, tests/cargo-kani/ws-specified/bincrate/Cargo.toml, tests/cargo-kani/ws-specified/libcrate/Cargo.toml, tests/cargo-kani/ws-specified/subcrate3/Cargo.toml, tests/cargo-kani/zero-harnesses-is-success/Cargo.toml, tests/cargo-ui/debug/Cargo.toml, tests/cargo-ui/function-stubbing-trait-mismatch/Cargo.toml, tests/cargo-ui/multiple-harnesses/Cargo.toml, tests/cargo-ui/no-std-no-kani/Cargo.toml, tests/cargo-ui/no-std-strict-lints/Cargo.toml, tests/cargo-ui/stubbing-flag/Cargo.toml, tests/cargo-ui/supported-lib-types/cdylib-rlib/Cargo.toml, tests/cargo-ui/supported-lib-types/cdylib/Cargo.toml, tests/cargo-ui/supported-lib-types/dylib/Cargo.toml, tests/cargo-ui/supported-lib-types/lib-rlib/Cargo.toml, tests/cargo-ui/supported-lib-types/lib/Cargo.toml, tests/cargo-ui/supported-lib-types/rlib/Cargo.toml, tests/cargo-ui/supported-lib-types/staticlib/Cargo.toml, tests/cargo-ui/target-selection/all-targets/Cargo.toml, tests/cargo-ui/target-selection/bin-target/Cargo.toml, tests/cargo-ui/target-selection/bins-target/Cargo.toml, tests/cargo-ui/target-selection/lib-target/Cargo.toml, tests/cargo-ui/target-selection/non-test-targets/Cargo.toml, tests/cargo-ui/unstable-attr/defs/Cargo.toml, tests/cargo-ui/unstable-attr/enabled/Cargo.toml, tests/cargo-ui/unstable-attr/invalid/Cargo.toml, tests/cargo-ui/unstable-attr/unstable_reachable/Cargo.toml, tests/cargo-ui/unsupported-lib-types/proc-macro/Cargo.toml, tests/cargo-ui/unsupported-lib-types/rlib-pmacro/Cargo.toml, tests/cargo-ui/verbose-cmds/Cargo.toml, tests/cargo-ui/verbose/Cargo.toml, tests/cargo-ui/ws-integ-tests/Cargo.toml, tests/cargo-ui/ws-integ-tests/all_harness/Cargo.toml, tests/cargo-ui/ws-integ-tests/in_src_harness/Cargo.toml, tests/cargo-ui/ws-integ-tests/integ_harness/Cargo.toml, tests/cargo-ui/ws-package-exclude-unknown/Cargo.toml, tests/cargo-ui/ws-package-exclude-unknown/bin_package/Cargo.toml, tests/cargo-ui/ws-package-exclude-unknown/lib_package/Cargo.toml, tests/cargo-ui/ws-package-exclude/Cargo.toml, tests/cargo-ui/ws-package-exclude/bin_package/Cargo.toml, tests/cargo-ui/ws-package-exclude/lib_package/Cargo.toml, tests/cargo-ui/ws-package-select-unknown/Cargo.toml, tests/cargo-ui/ws-package-select-unknown/bin_package/Cargo.toml, tests/cargo-ui/ws-package-select-unknown/lib_package/Cargo.toml, tests/cargo-ui/ws-package-select/Cargo.toml, tests/cargo-ui/ws-package-select/bin_package/Cargo.toml, tests/cargo-ui/ws-package-select/lib_package/Cargo.toml, tests/perf/btreeset/insert_any/Cargo.toml, tests/perf/btreeset/insert_multi/Cargo.toml, tests/perf/btreeset/insert_same/Cargo.toml, tests/perf/format/Cargo.toml, tests/perf/hashset/Cargo.toml, tests/perf/kani-lib/arbitrary/Cargo.toml, tests/perf/misc/array_fold/Cargo.toml, tests/perf/misc/display_trait/Cargo.toml, tests/perf/misc/struct_defs/Cargo.toml, tests/perf/smol_str/Cargo.toml, tests/perf/vec/box_dyn/Cargo.toml, tests/perf/vec/string/Cargo.toml, tests/perf/vec/vec/Cargo.toml, tests/script-based-pre/ambiguous_crate/Cargo.toml, tests/script-based-pre/autoderive_arbitrary_enums/Cargo.toml, tests/script-based-pre/autoderive_arbitrary_structs/Cargo.toml, tests/script-based-pre/autoharness_char_escape_unicode/Cargo.toml, tests/script-based-pre/build-cache-bin/bin/Cargo.toml, tests/script-based-pre/build-cache-dirty/target_lib/Cargo.toml, tests/script-based-pre/build-cache-fresh/lib/Cargo.toml, tests/script-based-pre/build-rs-conditional/Cargo.toml, tests/script-based-pre/cargo-kani-version-flag-version/dummy-project/Cargo.toml, tests/script-based-pre/cargo_autoharness_assume_invariant/Cargo.toml, tests/script-based-pre/cargo_autoharness_bounded/Cargo.toml, tests/script-based-pre/cargo_autoharness_bounds/Cargo.toml, tests/script-based-pre/cargo_autoharness_constructor/Cargo.toml, tests/script-based-pre/cargo_autoharness_contracts/Cargo.toml, tests/script-based-pre/cargo_autoharness_dependencies/Cargo.toml, tests/script-based-pre/cargo_autoharness_dependencies/other_crate/Cargo.toml, tests/script-based-pre/cargo_autoharness_exclude/Cargo.toml, tests/script-based-pre/cargo_autoharness_filter/Cargo.toml, tests/script-based-pre/cargo_autoharness_fmt_impls/Cargo.toml, tests/script-based-pre/cargo_autoharness_fn_bounds/Cargo.toml, tests/script-based-pre/cargo_autoharness_generics/Cargo.toml, tests/script-based-pre/cargo_autoharness_harnesses_fail/Cargo.toml, tests/script-based-pre/cargo_autoharness_include/Cargo.toml, tests/script-based-pre/cargo_autoharness_list/Cargo.toml, tests/script-based-pre/cargo_autoharness_mined_invariants/Cargo.toml, tests/script-based-pre/cargo_autoharness_parallel/Cargo.toml, tests/script-based-pre/cargo_autoharness_raw_pointers/Cargo.toml, tests/script-based-pre/cargo_autoharness_slices/Cargo.toml, tests/script-based-pre/cargo_autoharness_smart_pointers/Cargo.toml, tests/script-based-pre/cargo_autoharness_termination_timeout/Cargo.toml, tests/script-based-pre/cargo_autoharness_termination_unwind/Cargo.toml, tests/script-based-pre/cargo_autoharness_type_invariant/Cargo.toml, tests/script-based-pre/cargo_autoharness_vec_unbounded/Cargo.toml, tests/script-based-pre/cargo_list_json/Cargo.toml, tests/script-based-pre/cargo_list_md/Cargo.toml, tests/script-based-pre/cargo_manifest_test/add/Cargo.toml, tests/script-based-pre/cargo_no_assert_overrides/Cargo.toml, tests/script-based-pre/cargo_playback_build/sample_crate/Cargo.toml, tests/script-based-pre/cargo_playback_opts/sample_crate/Cargo.toml, tests/script-based-pre/cargo_playback_target/sample_crate/Cargo.toml, tests/script-based-pre/check-output/multifile/Cargo.toml, tests/script-based-pre/concrete_playback_e2e/sample_crate/Cargo.toml, tests/script-based-pre/individual_file_output/sample_crate/Cargo.toml, tests/script-based-pre/kani_lib_dep/Cargo.toml, tests/script-based-pre/no_codegen/Cargo.toml, tests/script-based-pre/no_codegen_error/Cargo.toml, tests/script-based-pre/playback_with_cfg_kani/sample_crate/Cargo.toml, tests/script-based-pre/std_codegen_fixme/dummy/Cargo.toml, tests/script-based-pre/workspace_features/Cargo.toml, tests/script-based-pre/workspace_features/mylib/Cargo.toml, tests/script-based-pre/workspace_features/mytests/Cargo.toml, tests/slow/tokio-proofs/Cargo.toml, tests/std-checks/core/Cargo.toml, tests/std-checks/std/Cargo.toml, tools/build-kani/Cargo.toml, tools/compile-timer/Cargo.toml, tools/compiletest/Cargo.toml, tools/kani-cov/Cargo.toml, tools/scanner/Cargo.toml
dependency_bot_commit_share0.04

面向模型的代码可读性

100卓越
评分方式
45/45可类型检查的代码 — Rust（静态类型）
54.8/55可控的文件大小 — 采样的 1,930 个源文件中有 8 个超过 60KB
所用输入
primary_languageRust
largest_source_bytes95,910
source_files_sampled1,930
oversized_source_files8

机器可读接口

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

关键数据

3,427GitHub 星标
72贡献者
304最近 12 个月提交数
1距最近推送天数
69发布版本数
4巴士系数（bus factor）
471开放议题
crates.io, PyPI软件包生态系统数

数据采集警告

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch crates package 'kani-driver' from its registry
  • Could not fetch crates package 'kani-compiler' from its registry
  • Could not fetch crates package 'kani_metadata' from its registry
  • Could not fetch crates package 'cprover_bindings' from its registry

更多细节

Star 与 Fork 历史 0 ★ / 175 ⇿
0Star
175Fork
68发布

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

0408012016020017242021-042024-012026-09
主版本 0次版本 0修订 0

每个点涵盖 5 天。

OpenSSF Scorecard 6.8 / 10
6.8综合

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

10Binary-Artifactsno binaries found in the repo
8Branch-Protectionbranch protection is not maximal on development and all release branches
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
10Code-Reviewall changesets reviewed
10Contributorsproject has 16 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 15 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
1SASTSAST tool is not run on all commits -- score normalized to 1
10Security-Policysecurity policy file detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
10Vulnerabilities0 existing vulnerabilities detected
直接依赖 61
注册表软件包版本约束清单文件
crates.ioanyhow1Cargo.toml
crates.iohome0.5Cargo.toml
crates.ioos_info3Cargo.toml
crates.iolazy_static1.5.0cprover_bindings/Cargo.toml
crates.ionum0.4.0cprover_bindings/Cargo.toml
crates.ionum-traits0.2cprover_bindings/Cargo.toml
crates.ioserde1cprover_bindings/Cargo.toml
crates.iostring-interner0.20cprover_bindings/Cargo.toml
crates.iotracing0.1cprover_bindings/Cargo.toml
crates.iolinear-map1.2cprover_bindings/Cargo.toml
crates.iorustc-hash2.1.1cprover_bindings/Cargo.toml
crates.iocbmc—kani-compiler/Cargo.toml
crates.iocharon—kani-compiler/Cargo.toml
crates.ioclap4.4.11kani-compiler/Cargo.toml
crates.ioindexmap2.7.1kani-compiler/Cargo.toml
crates.ioitertools0.15kani-compiler/Cargo.toml
crates.iokani_metadata—kani-compiler/Cargo.toml
crates.iolazy_static1.5.0kani-compiler/Cargo.toml
crates.ionum0.4.0kani-compiler/Cargo.toml
crates.ioquote1.0.36kani-compiler/Cargo.toml
crates.ioregex1.11.1kani-compiler/Cargo.toml
crates.ioserde1kani-compiler/Cargo.toml
crates.ioserde_json1kani-compiler/Cargo.toml
crates.iosha1-checked0.10.0kani-compiler/Cargo.toml
crates.iostrum0.28kani-compiler/Cargo.toml
crates.iostrum_macros0.28kani-compiler/Cargo.toml
crates.iosyn2.0.72kani-compiler/Cargo.toml
crates.iotracing0.1kani-compiler/Cargo.toml
crates.iotracing-subscriber0.3.20kani-compiler/Cargo.toml
crates.iotracing-tree0.4.0kani-compiler/Cargo.toml
crates.iokani_metadata—kani-driver/Cargo.toml
crates.iocargo_metadata0.23kani-driver/Cargo.toml
crates.ioanyhow1kani-driver/Cargo.toml
crates.ioconsole0.16kani-driver/Cargo.toml
crates.ioonce_cell1.19.0kani-driver/Cargo.toml
crates.ioto_markdown_table0.1.0kani-driver/Cargo.toml
crates.ioserde1kani-driver/Cargo.toml
crates.ioserde_json1kani-driver/Cargo.toml
crates.ioclap4.4.11kani-driver/Cargo.toml
crates.iotoml1kani-driver/Cargo.toml
crates.ioregex1.11.1kani-driver/Cargo.toml
crates.iorustc-demangle0.1.21kani-driver/Cargo.toml
crates.iopathdiff0.2.1kani-driver/Cargo.toml
crates.iorayon1.5.3kani-driver/Cargo.toml
crates.iocomfy-table8.0.0kani-driver/Cargo.toml
crates.iostrum0.28kani-driver/Cargo.toml
crates.iostrum_macros0.28kani-driver/Cargo.toml
crates.iotempfile3kani-driver/Cargo.toml
crates.iotracing0.1kani-driver/Cargo.toml
crates.iotracing-subscriber0.3.20kani-driver/Cargo.toml
crates.iowhich8kani-driver/Cargo.toml
crates.iotime0.3.47kani-driver/Cargo.toml
crates.iotokio1.40.0kani-driver/Cargo.toml
crates.iochrono0.4.41kani-driver/Cargo.toml
crates.ioindicatif0.18kani-driver/Cargo.toml
crates.ioserde1kani_metadata/Cargo.toml
crates.iocbmc—kani_metadata/Cargo.toml
crates.iostrum0.28kani_metadata/Cargo.toml
crates.iostrum_macros0.28kani_metadata/Cargo.toml
crates.ioclap4.4.11kani_metadata/Cargo.toml
crates.iotracing0.1.41kani_metadata/Cargo.toml
全部依赖 364

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

注册表软件包版本关系
crates.ioanyhow—直接
crates.ioanyhow1.0.104直接
crates.iocargo_metadata—直接
crates.iocargo_metadata0.23.1直接
crates.iochrono—直接
crates.iochrono0.4.19直接
crates.iochrono0.4.45直接
crates.ioclap—直接
crates.ioclap4.6.7直接
crates.iocomfy-table—直接
crates.iocomfy-table8.0.0直接
crates.ioconsole—直接
crates.ioconsole0.16.6直接
crates.iohome0.5.12直接
crates.ioindexmap2.14.2直接
crates.ioindicatif—直接
crates.ioindicatif0.18.6直接
crates.ioitertools0.13.0直接
crates.ioitertools0.15.0直接
crates.iolazy_static—直接
crates.iolazy_static1.5.0直接
crates.iolinear-map—直接
crates.iolinear-map1.2.0直接
crates.ionum—直接
crates.ionum0.4.3直接
crates.ionum-traits—直接
crates.ionum-traits0.2.19直接
crates.ioonce_cell—直接
crates.ioonce_cell1.21.4直接
crates.ioos_info3.15.0直接
crates.iopathdiff—直接
crates.iopathdiff0.2.3直接
crates.ioquote—直接
crates.ioquote1.0.47直接
crates.iorayon—直接
crates.iorayon1.12.0直接
crates.ioregex—直接
crates.ioregex1.13.1直接
crates.iorustc-demangle—直接
crates.iorustc-demangle0.1.28直接
crates.iorustc-hash—直接
crates.iorustc-hash2.1.3直接
crates.ioserde—直接
crates.ioserde1.0.229直接
crates.ioserde_json—直接
crates.ioserde_json1.0.151直接
crates.iosha1-checked0.10.0直接
crates.iostring-interner—直接
crates.iostring-interner0.20.0直接
crates.iostrum—直接
crates.iostrum0.28.0直接
crates.iostrum_macros—直接
crates.iostrum_macros0.28.0直接
crates.iosyn—直接
crates.iosyn2.0.119直接
crates.iosyn3.0.5直接
crates.iotempfile—直接
crates.iotempfile3.27.0直接
crates.iotime—直接
crates.iotime0.3.55直接
crates.ioto_markdown_table—直接
crates.ioto_markdown_table0.1.5直接
crates.iotokio—直接
crates.iotokio1.53.1直接
crates.iotoml—直接
crates.iotoml0.8.23直接
crates.iotoml1.1.6+spec-1.1.0直接
crates.iotracing—直接
crates.iotracing0.1.44直接
crates.iotracing-subscriber—直接
crates.iotracing-subscriber0.3.23直接
crates.iotracing-tree0.4.0直接
crates.iotracing-tree0.4.1直接
crates.iowhich—直接
crates.iowhich7.0.3直接
crates.iowhich8.0.6直接
crates.ioahash0.8.12间接
crates.ioaho-corasick1.1.5间接
crates.ioandroid_system_properties0.1.6间接
crates.ioannotate-snippets0.11.5间接
crates.ioanstream0.6.21间接
crates.ioanstream1.0.0间接
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.ioar_archive_writer0.5.3间接
crates.ioarrayvec0.7.8间接
crates.ioassert_cmd2.2.2间接
crates.ioasync-stream—间接
crates.ioautocfg1.5.1间接
crates.iobitflags1.3.2间接
crates.iobitflags2.13.2间接
crates.ioblock-buffer0.10.4间接
crates.ioblock20.6.2间接
crates.iobrownstone3.0.0间接
crates.iobstr1.13.1间接
crates.iobumpalo3.20.3间接
crates.iobytes—间接
crates.iobytes1.12.1间接
crates.iobzip2—间接
crates.iocamino1.2.5间接
crates.iocargo-platform0.3.3间接
crates.iocc1.4.6间接
crates.iocfg-if1.0.4间接
crates.iocfg_aliases0.2.2间接
crates.ioclap_builder4.6.7间接
crates.ioclap_derive4.6.7间接
crates.ioclap_lex1.1.1间接
crates.iocolorchoice1.0.5间接
crates.iocolored2.2.0间接
crates.ioconst-oid0.9.6间接
crates.ioconvert_case0.6.0间接
crates.iocore-foundation-sys0.8.7间接
crates.iocpufeatures0.2.17间接
crates.iocrossbeam-deque0.8.8间接
crates.iocrossbeam-epoch0.9.21间接
crates.iocrossbeam-utils0.8.23间接
crates.iocrossterm0.29.0间接
crates.iocrossterm_winapi0.9.1间接
crates.iocrypto-common0.1.7间接
crates.iocsv—间接
crates.iocsv1.4.0间接
crates.iocsv-core0.1.13间接
crates.iodarling0.20.11间接
crates.iodarling_core0.20.11间接
crates.iodarling_macro0.20.11间接
crates.iodefmt1.1.1间接
crates.iodefmt-macros1.1.1间接
crates.iodefmt-parser1.0.0间接
crates.ioderanged0.5.8间接
crates.ioderive_generic_visitor0.1.3间接
crates.ioderive_generic_visitor_macros0.1.1间接
crates.iodifflib0.4.0间接
crates.iodigest0.10.7间接
crates.iodispatch20.3.1间接
crates.iodocument-features0.2.12间接
crates.ioeither—间接
crates.ioeither1.18.0间接
crates.ioencode_unicode1.0.0间接
crates.ioenv_filter2.0.0间接
crates.ioenv_home0.1.0间接
crates.ioenv_logger0.11.11间接
crates.ioequivalent1.0.2间接
crates.ioerrno0.3.14间接
crates.iofastrand2.5.0间接
crates.iofind-msvc-tools0.1.12间接
crates.iofixedbitset0.4.2间接
crates.iofixedbitset0.5.7间接
crates.iofnv1.0.7间接
crates.iofoldhash0.1.5间接
crates.iofoldhash0.2.0间接
crates.iofutures—间接
crates.iofutures-core0.3.34间接
crates.iofutures-task0.3.34间接
crates.iofutures-util0.3.34间接
crates.iogeneric-array0.14.7间接
crates.iogetopts—间接
crates.iogetopts0.2.24间接
crates.iogetrandom—间接
crates.iogetrandom0.3.4间接
crates.iogetrandom0.4.3间接
crates.ioglob—间接
crates.ioglob0.3.4间接
crates.iograph-cycles—间接
crates.iograph-cycles0.3.0间接
crates.iohashbrown0.15.5间接
crates.iohashbrown0.16.1间接
crates.iohashbrown0.17.1间接
crates.ioheck0.5.0间接
crates.ioiana-time-zone0.1.65间接
crates.ioiana-time-zone-haiku0.1.2间接
crates.ioident_case1.0.1间接
crates.ioindent_write2.2.0间接
crates.ioindex_vec0.1.4间接
crates.ioindoc2.0.7间接
crates.iois_terminal_polyfill1.70.2间接
crates.ioitoa—间接
crates.ioitoa1.0.18间接
crates.iojiff0.2.37间接
crates.iojiff-core0.1.1间接
crates.iojiff-static0.2.37间接
crates.iojoinery2.1.0间接
crates.iojs-sys0.3.105间接
crates.iokani-compiler0.1.0间接
crates.iolibc—间接
crates.iolibc0.2.189间接
crates.iolinux-raw-sys0.12.1间接
crates.iolitrs1.0.0间接
crates.iolock_api0.4.14间接
crates.iolog0.4.34间接
crates.iomatchers0.2.0间接
crates.iomemchr—间接
crates.iomemchr2.8.3间接
crates.iomemuse—间接
crates.iomemuse0.2.2间接
crates.iominimal-lexical0.2.1间接
crates.iomio1.2.3间接
crates.ionix0.31.3间接
crates.ionom7.1.3间接
crates.ionom-supreme0.8.0间接
crates.ionu-ansi-term0.50.3间接
crates.ionum-bigint0.4.8间接
crates.ionum-complex0.4.6间接
crates.ionum-conv0.2.2间接
crates.ionum-integer0.1.47间接
crates.ionum-iter0.1.46间接
crates.ionum-rational0.4.2间接
crates.ionum_threads0.1.7间接
crates.ioobjc20.6.4间接
crates.ioobjc2-cloud-kit0.3.2间接
crates.ioobjc2-core-data0.3.2间接
crates.ioobjc2-core-foundation0.3.2间接
crates.ioobjc2-core-graphics0.3.2间接
crates.ioobjc2-core-image0.3.2间接
crates.ioobjc2-core-location0.3.2间接
crates.ioobjc2-core-text0.3.2间接
crates.ioobjc2-encode4.1.0间接
crates.ioobjc2-foundation0.3.2间接
crates.ioobjc2-io-surface0.3.2间接
crates.ioobjc2-quartz-core0.3.2间接
crates.ioobjc2-ui-kit0.3.2间接
crates.ioobjc2-user-notifications0.3.2间接
crates.ioobject0.39.1间接
crates.ioonce_cell_polyfill1.70.2间接
crates.ioparking_lot0.12.5间接
crates.ioparking_lot_core0.9.12间接
crates.iopercent-encoding—间接
crates.iopetgraph—间接
crates.iopetgraph0.6.5间接
crates.iopetgraph0.8.3间接
crates.iopin-project-lite0.2.17间接
crates.ioportable-atomic1.15.0间接
crates.ioportable-atomic-util0.2.8间接
crates.iopowerfmt0.2.0间接
crates.iopredicates3.1.4间接
crates.iopredicates-core1.0.10间接
crates.iopredicates-tree1.0.13间接
crates.ioproc-macro2—间接
crates.ioproc-macro21.0.107间接
crates.ioproc-macro2-diagnostics—间接
crates.ioproc-macro2-diagnostics0.10.1间接
crates.ioproptest—间接
crates.iopsm0.1.32间接
crates.ior-efi5.3.0间接
crates.ior-efi6.0.0间接
crates.iorand—间接
crates.iorayon-core1.13.0间接
crates.ioredox_syscall0.5.18间接
crates.ioregex-automata0.4.18间接
crates.ioregex-syntax0.8.11间接
crates.iorustc_version0.4.1间接
crates.iorustix1.1.4间接
crates.iorustversion1.0.23间接
crates.ioryu1.0.23间接
crates.iosame-file1.0.6间接
crates.ioscopeguard1.2.0间接
crates.iosec1—间接
crates.iosemver—间接
crates.iosemver1.0.28间接
crates.ioserde-map-to-array1.1.1间接
crates.ioserde_core1.0.229间接
crates.ioserde_derive—间接
crates.ioserde_derive1.0.229间接
crates.ioserde_spanned0.6.9间接
crates.ioserde_spanned1.1.1间接
crates.ioserde_stacker0.1.14间接
crates.ioserde_test—间接
crates.ioserde_test1.0.177间接
crates.ioserde_yaml—间接
crates.ioserde_yaml0.9.34+deprecated间接
crates.iosha10.10.7间接
crates.iosharded-slab0.1.7间接
crates.ioshlex2.0.1间接
crates.iosignal-hook-registry1.4.8间接
crates.ioslab0.4.12间接
crates.iosmallvec—间接
crates.iosmallvec1.16.1间接
crates.iosmol_str0.2.2间接
crates.iostacker0.1.25间接
crates.iostreaming-iterator0.1.9间接
crates.iostrip-ansi-escapes0.2.1间接
crates.iostrsim0.11.1间接
crates.iotake_mut0.2.2间接
crates.iotermtree0.5.1间接
crates.iothiserror1.0.69间接
crates.iothiserror2.0.20间接
crates.iothiserror-impl1.0.69间接
crates.iothiserror-impl2.0.20间接
crates.iothread_local1.1.10间接
crates.iotime-core0.1.9间接
crates.iotime-macros0.2.32间接
crates.iotokio-stream—间接
crates.iotokio-test—间接
crates.iotokio-util—间接
crates.iotoml_datetime0.6.11间接
crates.iotoml_datetime1.1.1+spec-1.1.0间接
crates.iotoml_edit0.22.27间接
crates.iotoml_parser1.1.3+spec-1.1.0间接
crates.iotoml_write0.1.2间接
crates.iotoml_writer1.1.2+spec-1.1.0间接
crates.iotracing-attributes0.1.31间接
crates.iotracing-core0.1.36间接
crates.iotracing-log0.2.0间接
crates.iotracing-serde0.2.0间接
crates.iotree-sitter—间接
crates.iotree-sitter0.27.0间接
crates.iotree-sitter-language0.1.8间接
crates.iotree-sitter-rust—间接
crates.iotree-sitter-rust0.24.2间接
crates.iotypenum1.20.1间接
crates.iounicode-ident1.0.24间接
crates.iounicode-segmentation1.13.3间接
crates.iounicode-width0.2.2间接
crates.iounit-prefix0.5.2间接
crates.iounsafe-libyaml0.2.11间接
crates.ioutf8parse0.2.2间接
crates.iovaluable0.1.1间接
crates.iovector-map—间接
crates.ioversion_check0.9.5间接
crates.iovte0.14.1间接
crates.iowait-timeout—间接
crates.iowait-timeout0.2.1间接
crates.iowalkdir—间接
crates.iowalkdir2.5.0间接
crates.iowasi0.11.1+wasi-snapshot-preview1间接
crates.iowasip21.0.4+wasi-0.2.12间接
crates.iowasm-bindgen0.2.128间接
crates.iowasm-bindgen-macro0.2.128间接
crates.iowasm-bindgen-macro-support0.2.128间接
crates.iowasm-bindgen-shared0.2.128间接
crates.ioweb-time1.1.0间接
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.59.0间接
crates.iowindows-sys0.61.2间接
crates.iowindows-targets0.52.6间接
crates.iowindows_aarch64_gnullvm0.52.6间接
crates.iowindows_aarch64_msvc0.52.6间接
crates.iowindows_i686_gnu0.52.6间接
crates.iowindows_i686_gnullvm0.52.6间接
crates.iowindows_i686_msvc0.52.6间接
crates.iowindows_x86_64_gnu0.52.6间接
crates.iowindows_x86_64_gnullvm0.52.6间接
crates.iowindows_x86_64_msvc0.52.6间接
crates.iowinnow0.7.15间接
crates.iowinnow1.0.4间接
crates.iowinsafe0.0.19间接
crates.iowit-bindgen0.57.1间接
crates.iozerocopy0.8.4间接
crates.iozerocopy0.8.57间接
crates.iozerocopy-derive0.8.57间接
crates.iozmij1.0.23间接
PyPIcerberus—间接
PyPIpyyaml—间接
依赖安全公告 3

安装 crates:kani-verifier@0.68.0 会引入 35 个包（直接与传递）：其中 3 个存在已知公告，0 个为直接依赖。

软件包版本关系严重程度公告数修复版本
quick-xml0.30.0间接高20.41.0
time0.3.15间接中20.3.47
safemem0.3.3间接未知1—

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

原始 JSON 报告 机器可读

反馈

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

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

相关记录

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

98svix/svix-webhooksThe open source and enterprise-ready webhooks service 🦀卓越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.卓越96web-infra-dev/rspackFast Rust-based bundler for the web with a modernized webpack API 🦀卓越95rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/卓越94vinhnx/VTCodeVT Code is an open-source Rust terminal coding agent.卓越

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

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

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