Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
automators-com/flowproof 的健康指数为 100 分中的 65 分,处于「良好」区间。 其得分最高的类别是Engineering Quality(81/100),最低的是Security(43/100)。 最近一次更新在今天。 近期的大部分工作由 1 位贡献者完成。
指标归入加权类别,统一采用 1–100 量表。总体分先取类别加权平均,再依据公开记录的分布进行校准,使各等级具有百分位含义;当公开证据触发高风险司法辖区政策时,评级会按政策调整,并设置 34(存在风险)的上限。
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形,而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 60 经校准后在公布的指数量表上为 65(记录校准 2026-08-02)。
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 | 标签 |
|---|---|---|---|---|---|---|
| npm | flowproof | 0.12.2 | 1,599 | 12 | 0 天前 | test-automationtestingautomationai-agentssap-guicitrixwindows |
| PyPI | flowproof | 0.12.2 | 4,338 | 25 | 0 天前 | — |
项目是否仍有生命——是否仍在编写代码,是否仍在发布版本?
| 36/36 | 推送新近度 — 最近一次推送于 0 天前 |
| 2.1/36 | 提交节奏 — 52 周中有 3 周有提交 |
| 18/18 | 提交量 — 最近一年 558 次提交 |
| 0/10 | OpenSSF Scorecard:Maintained — project was created within the last 90 days. Please review its contents carefully |
| commits_last_year | 558 |
| human_commit_share | 1 |
| days_since_last_push | 0 |
| active_weeks_last_year | 3 |
| 27/27 | 有发布版本 — 已发布 1 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 0 天前 |
| 12.6/27 | 发布节奏 — 节奏未知(仅一次发布) |
| 0/10 | OpenSSF Scorecard:Signed-Releases — Project has not signed or included provenance with any releases. |
| releases_count | 1 |
| latest_release_tag | v0.12.2 |
| releases_from_tags | 否 |
| days_since_latest_release | 0 |
| mean_days_between_releases | — |
项目是否拥有用户、下载量与关注度,并具备欢迎贡献者参与的配置?
| 9.8/60 | 星标 — 5 个星标 |
| 0/25 | 复刻 — 0 个复刻 |
| 0/15 | 关注者 — 0 位关注者 |
| forks | 0 |
| stars | 5 |
| watchers | 0 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证(Apache-2.0) |
| 18/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
| has_readme | 是 |
| has_license | 是 |
| readme_badges | 4 |
| has_contributing | 是 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| readme_badge_services | github.com, shields.io |
| has_pull_request_template | 否 |
| 50.3/80 | 月度下载量 — npm, pypi 合计每月 5,937 次下载 |
| 0/20 | 注册表被依赖数 — 该生态系统不报告此项 |
| packages | flowproof, flowproof |
| dependents | — |
| ecosystems | npm, pypi |
| total_downloads | — |
| monthly_downloads | 5,937 |
| unverified_packages_excluded | — |
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持,以及软件包的维护状况?
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 5.4/22.5 | 提交分布 — 头号贡献者编写了 76% 的提交 |
| 4.1/13.5 | 贡献者广度 — 3 位贡献者 |
| 6/10 | OpenSSF Scorecard:Contributors — project has 2 contributing companies or organizations -- score normalized to 6 |
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0.762 |
| 32.9/42 | 议题解决 — 78% 的议题已关闭 |
| 28.9/30 | PR 接受 — 已裁定的 PR 中 318/330 已合并 |
| 0/13 | Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决 |
| 0/15 | OpenSSF Scorecard:Code-Review — Found 0/16 approved changesets -- score normalized to 0 |
| merged_prs | 318 |
| open_issues | 13 |
| closed_issues | 47 |
| prs_merged_7d | 60 |
| prs_decided_7d | 60 |
| prs_merged_30d | 60 |
| prs_decided_30d | 60 |
| issue_closed_ratio | 0.783 |
| closed_unmerged_prs | 12 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 — 未读取该组织的域名验证状态 |
| 7.5/25 | 所有者影响力 — automators-com 有 10 位关注者 |
| 15.1/25 | 既往记录 — 8 个公开仓库,账户约 4 年 |
| followers | 10 |
| owner_type | Organization |
| is_verified | — |
| owner_login | automators-com |
| public_repos | 8 |
| account_age_days | 1,489 |
| 25/25 | 已发布且可解析 — npm, pypi 上有 2 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 0 天前 |
| 20/20 | 版本历史 — 25 个已发布版本 |
| 20/20 | 未被弃用 — 活跃,未被弃用或撤回 |
| packages | flowproof, flowproof |
| ecosystems | npm, pypi |
| any_deprecated | 否 |
| min_days_since_publish | 0 |
基础的工程与文档实践是否到位?
| 24/24 | CI 工作流 — 8 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard:CI-Tests — 16 out of 16 merged PRs checked by a CI test -- score normalized to 10 |
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
| 30/30 | README |
| 25/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://automators.ai/flowproof |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 16 个主题标签 |
| 10/10 | Wiki |
| topics | automation, automation-framework, test-automation, test-automation-framework, testing, testing-framework, ai-agents, citrix, mcp-server, self-healing, windows-automation, agent-testing, mcp-testing, sap, sap-test-automation, sap-testing |
| has_wiki | 是 |
| homepage | https://automators.ai/flowproof |
| docs_site | https://automators.ai/flowproof |
| has_readme | 是 |
| has_docs_dir | 是 |
| has_description | 是 |
可见的安全与供应链实践是否稳固,且不存在未解决的高风险司法辖区暴露?
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 6/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 16 out of 16 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/16 approved changesets -- score normalized to 0 |
| 1.5/2.5 | Contributors — project has 2 contributing companies or organizations -- score normalized to 6 |
| 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 |
| 0/7.5 | Maintained — project was created within the last 90 days. Please review its contents carefully |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 3/7.5 | Vulnerabilities — 6 existing vulnerabilities detected |
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 3.6 |
| 14/35 | 直接依赖不含已知公告 — 1 个受影响:pyo3 0.26.0 (high 7.5) |
| 0/25 | 间接依赖不含已知公告 — 在此范围内,传递依赖集合无法与开发和测试依赖区分 |
| 40/40 | 没有长期未处理的公告 — 没有公告公开超过 90 天 |
| source | osv |
| advisories | 9 |
| affected_packages | 5 |
| assessed_packages | 430 |
| unassessed_packages | 16 |
| affected_by_severity | high 1, moderate 2, unknown 2 |
| direct_affected_packages | 1 |
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件?权重刻意设小(4%):代理工具链是一项真实的维护信号,但完全不具备的仓库仍可达到 100/100。
| 45/45 | 代理指令 — CLAUDE.md |
| 0/15 | 机器可读文档(llms.txt) |
| 40/40 | 可读的提交历史 — 100 次人类提交中有 96 次说明了意图(结构化标题或解释性正文) |
| has_llms_txt | 否 |
| llms_txt_url | — |
| legible_history_share | 0.96 |
| agent_instruction_files | CLAUDE.md |
| agent_instruction_max_bytes | 5,506 |
| 12.6/18 | 一条命令的引导启动 — Cargo.toml, crates/flowproof-adapters/Cargo.toml, crates/flowproof-agent/Cargo.toml(工具链约定,无任务运行器) |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — sdk/python/flowproof/py.typed |
| 10/10 | 可复现环境 — lockfile |
| 10/10 | 已体现的代理实践 — 最近 100 次提交中有 53 次由代理编写或署名代理 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard:Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | Cargo.lock, uv.lock |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | — |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | sdk/python/flowproof/py.typed |
| agent_commit_share | 0.53 |
| toolchain_manifests | Cargo.toml, crates/flowproof-adapters/Cargo.toml, crates/flowproof-agent/Cargo.toml, crates/flowproof-cli/Cargo.toml, crates/flowproof-driver/Cargo.toml, crates/flowproof-python/Cargo.toml, crates/flowproof-replay/Cargo.toml, crates/flowproof-trace/Cargo.toml, spike/windows-containment/Cargo.toml |
| dependency_bot_commit_share | 0 |
| 45/45 | 可类型检查的代码 — Rust(静态类型) |
| 49.8/55 | 可控的文件大小 — 采样的 147 个源文件中有 14 个超过 60KB |
| primary_language | Rust |
| largest_source_bytes | 267,250 |
| source_files_sampled | 147 |
| oversized_source_files | 14 |
| 0/40 | API 模式(OpenAPI/GraphQL/proto) — 不适用于此类软件 |
| 20/20 | MCP 服务器 |
| 40/40 | 可运行示例 — examples |
| example_dirs | examples |
| has_mcp_signal | 是 |
| api_schema_files | — |
| interfaces_expected_of | — |
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身,而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用,并从安全评分中剔除(绝不按零分计)。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 8 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 16 out of 16 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/16 approved changesets -- score normalized to 0 |
| 6 | Contributors | project has 2 contributing companies or organizations -- score normalized to 6 |
| 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 |
| 0 | Maintained | project was created within the last 90 days. Please review its contents carefully |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 4 | Vulnerabilities | 6 existing vulnerabilities detected |
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| crates.io | anyhow | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | headless_chrome | 1 | crates/flowproof-adapters/Cargo.toml |
| crates.io | serde | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | serde_json | 1 | crates/flowproof-adapters/Cargo.toml |
| crates.io | image | 0.25.10 | crates/flowproof-adapters/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | ocrs | 0.12 | crates/flowproof-adapters/Cargo.toml |
| crates.io | rten | 0.24 | crates/flowproof-adapters/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-adapters/Cargo.toml |
| crates.io | chrono | — | crates/flowproof-agent/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-agent/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-agent/Cargo.toml |
| crates.io | regex | — | crates/flowproof-agent/Cargo.toml |
| crates.io | serde | — | crates/flowproof-agent/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-agent/Cargo.toml |
| crates.io | serde_yaml | — | crates/flowproof-agent/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-agent/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-agent/Cargo.toml |
| crates.io | uuid | — | crates/flowproof-agent/Cargo.toml |
| crates.io | chrono | — | crates/flowproof-cli/Cargo.toml |
| crates.io | clap | — | crates/flowproof-cli/Cargo.toml |
| crates.io | ctrlc | 3 | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-adapters | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-agent | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-replay | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-cli/Cargo.toml |
| crates.io | serde | — | crates/flowproof-cli/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-cli/Cargo.toml |
| crates.io | serde_yaml | — | crates/flowproof-cli/Cargo.toml |
| crates.io | image | 0.25.10 | crates/flowproof-driver/Cargo.toml |
| crates.io | serde | — | crates/flowproof-driver/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-driver/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-driver/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-driver/Cargo.toml |
| crates.io | postgres | 0.19 | crates/flowproof-driver/Cargo.toml |
| crates.io | flowproof-agent | — | crates/flowproof-python/Cargo.toml |
| crates.io | flowproof-cli | — | crates/flowproof-python/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-python/Cargo.toml |
| crates.io | flowproof-replay | — | crates/flowproof-python/Cargo.toml |
| crates.io | pyo3 | 0.26 | crates/flowproof-python/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-python/Cargo.toml |
| crates.io | chrono | — | crates/flowproof-replay/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-replay/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-replay/Cargo.toml |
| crates.io | serde | — | crates/flowproof-replay/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-replay/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-replay/Cargo.toml |
| crates.io | serde | — | crates/flowproof-trace/Cargo.toml |
| crates.io | regex | — | crates/flowproof-trace/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-trace/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-trace/Cargo.toml |
来自 GitHub 依赖图的完整解析依赖集合:27 个直接依赖与 419 个间接(传递)软件包。仓库提交锁文件时,传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| crates.io | anyhow | 1.0.103 | 直接 |
| crates.io | chrono | 0.4.45 | 直接 |
| crates.io | clap | 4.6.2 | 直接 |
| crates.io | ctrlc | — | 直接 |
| crates.io | ctrlc | 3.5.2 | 直接 |
| crates.io | headless_chrome | — | 直接 |
| crates.io | headless_chrome | 1.0.22 | 直接 |
| crates.io | image | — | 直接 |
| crates.io | image | 0.25.10 | 直接 |
| crates.io | ocrs | — | 直接 |
| crates.io | ocrs | 0.12.2 | 直接 |
| crates.io | postgres | — | 直接 |
| crates.io | postgres | 0.19.14 | 直接 |
| crates.io | pyo3 | — | 直接 |
| crates.io | pyo3 | 0.26.0 | 直接 |
| crates.io | regex | 1.13.1 | 直接 |
| crates.io | rten | — | 直接 |
| crates.io | rten | 0.24.0 | 直接 |
| crates.io | serde | 1.0.228 | 直接 |
| crates.io | serde_json | — | 直接 |
| crates.io | serde_json | 1.0.150 | 直接 |
| crates.io | serde_yaml | 0.9.34+deprecated | 直接 |
| crates.io | thiserror | 1.0.69 | 直接 |
| crates.io | thiserror | 2.0.18 | 直接 |
| crates.io | ureq | — | 直接 |
| crates.io | ureq | 3.3.0 | 直接 |
| crates.io | uuid | 1.24.0 | 直接 |
| crates.io | ab_glyph | — | 间接 |
| crates.io | ab_glyph | 0.2.32 | 间接 |
| crates.io | ab_glyph_rasterizer | 0.1.10 | 间接 |
| crates.io | adler2 | 2.0.1 | 间接 |
| crates.io | ahash | 0.8.12 | 间接 |
| crates.io | aho-corasick | 1.1.4 | 间接 |
| crates.io | android_system_properties | 0.1.5 | 间接 |
| crates.io | anstream | 1.0.0 | 间接 |
| crates.io | anstyle | 1.0.14 | 间接 |
| crates.io | anstyle-parse | 1.0.0 | 间接 |
| crates.io | anstyle-query | 1.1.5 | 间接 |
| crates.io | anstyle-wincon | 3.0.11 | 间接 |
| crates.io | approx | 0.5.1 | 间接 |
| crates.io | ascii | 1.1.0 | 间接 |
| crates.io | async-trait | 0.1.91 | 间接 |
| crates.io | auto_generate_cdp | 0.4.6 | 间接 |
| crates.io | autocfg | 1.5.1 | 间接 |
| crates.io | base64 | 0.22.1 | 间接 |
| crates.io | bit-set | 0.8.0 | 间接 |
| crates.io | bit-vec | 0.8.0 | 间接 |
| crates.io | bitflags | 1.3.2 | 间接 |
| crates.io | bitflags | 2.13.1 | 间接 |
| crates.io | block-buffer | 0.10.4 | 间接 |
| crates.io | block-buffer | 0.12.1 | 间接 |
| crates.io | block2 | 0.6.2 | 间接 |
| crates.io | borrow-or-share | 0.2.4 | 间接 |
| crates.io | bumpalo | 3.20.3 | 间接 |
| crates.io | bytecount | 0.6.9 | 间接 |
| crates.io | bytemuck | 1.25.1 | 间接 |
| crates.io | byteorder | 1.5.0 | 间接 |
| crates.io | byteorder-lite | 0.1.0 | 间接 |
| crates.io | bytes | 1.12.1 | 间接 |
| crates.io | cc | 1.2.67 | 间接 |
| crates.io | cc | 1.4.0 | 间接 |
| crates.io | cesu8 | 1.1.0 | 间接 |
| crates.io | cfg-if | 1.0.4 | 间接 |
| crates.io | cfg_aliases | 0.2.2 | 间接 |
| crates.io | chacha20 | 0.10.1 | 间接 |
| crates.io | chunked_transfer | 1.5.0 | 间接 |
| crates.io | clap_builder | 4.6.2 | 间接 |
| crates.io | clap_derive | 4.6.1 | 间接 |
| crates.io | clap_lex | 1.1.0 | 间接 |
| crates.io | cmov | 0.5.4 | 间接 |
| crates.io | color_quant | 1.1.0 | 间接 |
| crates.io | colorchoice | 1.0.5 | 间接 |
| crates.io | combine | 4.6.7 | 间接 |
| crates.io | const-oid | 0.10.2 | 间接 |
| crates.io | convert_case | 0.8.0 | 间接 |
| crates.io | cookie | 0.18.1 | 间接 |
| crates.io | cookie_store | 0.22.1 | 间接 |
| crates.io | core-foundation | 0.10.1 | 间接 |
| crates.io | core-foundation-sys | 0.8.7 | 间接 |
| crates.io | cpufeatures | 0.2.17 | 间接 |
| crates.io | cpufeatures | 0.3.0 | 间接 |
| crates.io | crc32fast | 1.5.0 | 间接 |
| crates.io | crossbeam-deque | 0.8.7 | 间接 |
| crates.io | crossbeam-epoch | 0.9.20 | 间接 |
| crates.io | crossbeam-utils | 0.8.22 | 间接 |
| crates.io | crypto-common | 0.1.7 | 间接 |
| crates.io | crypto-common | 0.2.2 | 间接 |
| crates.io | ctutils | 0.4.2 | 间接 |
| crates.io | darling | 0.20.11 | 间接 |
| crates.io | darling_core | 0.20.11 | 间接 |
| crates.io | darling_macro | 0.20.11 | 间接 |
| crates.io | data-encoding | 2.11.0 | 间接 |
| crates.io | deranged | 0.5.8 | 间接 |
| crates.io | derive_builder | 0.20.2 | 间接 |
| crates.io | derive_builder_core | 0.20.2 | 间接 |
| crates.io | derive_builder_macro | 0.20.2 | 间接 |
| crates.io | digest | 0.10.7 | 间接 |
| crates.io | digest | 0.11.3 | 间接 |
| crates.io | dispatch2 | 0.3.1 | 间接 |
| crates.io | displaydoc | 0.2.6 | 间接 |
| crates.io | document-features | 0.2.12 | 间接 |
| crates.io | either | 1.16.0 | 间接 |
| crates.io | email_address | 0.2.9 | 间接 |
| crates.io | equivalent | 1.0.2 | 间接 |
| crates.io | errno | 0.3.14 | 间接 |
| crates.io | fallible-iterator | 0.2.0 | 间接 |
| crates.io | fancy-regex | 0.16.2 | 间接 |
| crates.io | fastrand | 2.4.1 | 间接 |
| crates.io | fdeflate | 0.3.7 | 间接 |
| crates.io | find-msvc-tools | 0.1.9 | 间接 |
| crates.io | flatbuffers | 24.12.23 | 间接 |
| crates.io | flate2 | 1.1.9 | 间接 |
| crates.io | fluent-uri | 0.3.2 | 间接 |
| crates.io | fnv | 1.0.7 | 间接 |
| crates.io | form_urlencoded | 1.2.2 | 间接 |
| crates.io | fraction | 0.15.4 | 间接 |
| crates.io | futures-channel | 0.3.32 | 间接 |
| crates.io | futures-core | 0.3.32 | 间接 |
| crates.io | futures-core | 0.3.33 | 间接 |
| crates.io | futures-sink | 0.3.33 | 间接 |
| crates.io | futures-task | 0.3.32 | 间接 |
| crates.io | futures-task | 0.3.33 | 间接 |
| crates.io | futures-util | 0.3.32 | 间接 |
| crates.io | futures-util | 0.3.33 | 间接 |
| crates.io | generic-array | 0.14.7 | 间接 |
| crates.io | getrandom | 0.2.17 | 间接 |
| crates.io | getrandom | 0.3.4 | 间接 |
| crates.io | getrandom | 0.4.3 | 间接 |
| crates.io | gif | 0.14.2 | 间接 |
| crates.io | hashbrown | 0.17.1 | 间接 |
| crates.io | heck | 0.5.0 | 间接 |
| crates.io | hermit-abi | 0.5.2 | 间接 |
| crates.io | hmac | 0.13.0 | 间接 |
| crates.io | http | 1.4.2 | 间接 |
| crates.io | httparse | 1.10.1 | 间接 |
| crates.io | httpdate | 1.0.3 | 间接 |
| crates.io | hybrid-array | 0.4.13 | 间接 |
| crates.io | iana-time-zone | 0.1.65 | 间接 |
| crates.io | iana-time-zone-haiku | 0.1.2 | 间接 |
| crates.io | icu_collections | 2.2.0 | 间接 |
| crates.io | icu_locale_core | 2.2.0 | 间接 |
| crates.io | icu_normalizer | 2.2.0 | 间接 |
| crates.io | icu_normalizer_data | 2.2.0 | 间接 |
| crates.io | icu_properties | 2.2.0 | 间接 |
| crates.io | icu_properties_data | 2.2.0 | 间接 |
| crates.io | icu_provider | 2.2.0 | 间接 |
| crates.io | ident_case | 1.0.1 | 间接 |
| crates.io | idna | 1.1.0 | 间接 |
| crates.io | idna_adapter | 1.2.2 | 间接 |
| crates.io | imageproc | — | 间接 |
| crates.io | imageproc | 0.25.1 | 间接 |
| crates.io | indexmap | 2.14.0 | 间接 |
| crates.io | indoc | 2.0.7 | 间接 |
| crates.io | is_terminal_polyfill | 1.70.2 | 间接 |
| crates.io | itertools | 0.12.1 | 间接 |
| crates.io | itoa | 1.0.18 | 间接 |
| crates.io | jni | 0.21.1 | 间接 |
| crates.io | jni-sys | 0.3.1 | 间接 |
| crates.io | jni-sys | 0.4.1 | 间接 |
| crates.io | jni-sys-macros | 0.4.1 | 间接 |
| crates.io | js-sys | 0.3.103 | 间接 |
| crates.io | jsonschema | — | 间接 |
| crates.io | jsonschema | 0.33.0 | 间接 |
| crates.io | lazy_static | 1.5.0 | 间接 |
| crates.io | libc | — | 间接 |
| crates.io | libc | 0.2.186 | 间接 |
| crates.io | libc | 0.2.189 | 间接 |
| crates.io | libm | 0.2.16 | 间接 |
| crates.io | libredox | 0.1.18 | 间接 |
| crates.io | linux-raw-sys | 0.12.1 | 间接 |
| crates.io | litemap | 0.8.2 | 间接 |
| crates.io | litrs | 1.0.0 | 间接 |
| crates.io | lock_api | 0.4.14 | 间接 |
| crates.io | log | 0.4.33 | 间接 |
| crates.io | matrixmultiply | 0.3.11 | 间接 |
| crates.io | md-5 | 0.11.0 | 间接 |
| crates.io | memchr | 2.8.3 | 间接 |
| crates.io | memoffset | 0.9.1 | 间接 |
| crates.io | miniz_oxide | 0.8.9 | 间接 |
| crates.io | mio | 1.2.2 | 间接 |
| crates.io | moxcms | 0.8.1 | 间接 |
| crates.io | nalgebra | 0.32.6 | 间接 |
| crates.io | nix | 0.31.3 | 间接 |
| crates.io | num | 0.4.3 | 间接 |
| crates.io | num-bigint | 0.4.8 | 间接 |
| crates.io | num-cmp | 0.1.0 | 间接 |
| crates.io | num-complex | 0.4.6 | 间接 |
| crates.io | num-conv | 0.2.2 | 间接 |
| crates.io | num-integer | 0.1.46 | 间接 |
| crates.io | num-iter | 0.1.46 | 间接 |
| crates.io | num-rational | 0.4.2 | 间接 |
| crates.io | num-traits | 0.2.19 | 间接 |
| crates.io | num_cpus | 1.17.0 | 间接 |
| crates.io | objc2 | 0.6.4 | 间接 |
| crates.io | objc2-core-foundation | 0.3.2 | 间接 |
| crates.io | objc2-encode | 4.1.0 | 间接 |
| crates.io | objc2-system-configuration | 0.3.2 | 间接 |
| crates.io | once_cell | 1.21.4 | 间接 |
| crates.io | once_cell_polyfill | 1.70.2 | 间接 |
| crates.io | openssl-probe | 0.2.1 | 间接 |
| crates.io | outref | 0.5.2 | 间接 |
| crates.io | owned_ttf_parser | 0.25.1 | 间接 |
| crates.io | parking_lot | 0.12.5 | 间接 |
| crates.io | parking_lot_core | 0.9.12 | 间接 |
| crates.io | paste | 1.0.15 | 间接 |
| crates.io | percent-encoding | 2.3.2 | 间接 |
| crates.io | phf | 0.13.1 | 间接 |
| crates.io | phf_shared | 0.13.1 | 间接 |
| crates.io | pin-project-lite | 0.2.17 | 间接 |
| crates.io | png | 0.18.1 | 间接 |
| crates.io | portable-atomic | 1.14.0 | 间接 |
| crates.io | postgres-protocol | 0.6.12 | 间接 |
| crates.io | postgres-types | 0.2.14 | 间接 |
| crates.io | potential_utf | 0.1.5 | 间接 |
| crates.io | powerfmt | 0.2.0 | 间接 |
| crates.io | ppv-lite86 | 0.2.21 | 间接 |
| crates.io | proc-macro2 | 1.0.106 | 间接 |
| crates.io | proc-macro2 | 1.0.107 | 间接 |
| crates.io | pxfm | 0.1.30 | 间接 |
| crates.io | pyo3-build-config | 0.26.0 | 间接 |
| crates.io | pyo3-ffi | 0.26.0 | 间接 |
| crates.io | pyo3-macros | 0.26.0 | 间接 |
| crates.io | pyo3-macros-backend | 0.26.0 | 间接 |
| crates.io | quote | 1.0.46 | 间接 |
| crates.io | quote | 1.0.47 | 间接 |
| crates.io | r-efi | 5.3.0 | 间接 |
| crates.io | r-efi | 6.0.0 | 间接 |
| crates.io | rand | 0.10.2 | 间接 |
| crates.io | rand | 0.8.7 | 间接 |
| crates.io | rand | 0.9.5 | 间接 |
| crates.io | rand_chacha | 0.3.1 | 间接 |
| crates.io | rand_chacha | 0.9.0 | 间接 |
| crates.io | rand_core | 0.10.1 | 间接 |
| crates.io | rand_core | 0.6.4 | 间接 |
| crates.io | rand_core | 0.9.5 | 间接 |
| crates.io | rand_distr | 0.4.3 | 间接 |
| crates.io | rawpointer | 0.2.1 | 间接 |
| crates.io | rayon | 1.12.0 | 间接 |
| crates.io | rayon-core | 1.13.0 | 间接 |
| crates.io | redox_syscall | 0.5.18 | 间接 |
| crates.io | ref-cast | 1.0.25 | 间接 |
| crates.io | ref-cast-impl | 1.0.25 | 间接 |
| crates.io | referencing | 0.33.0 | 间接 |
| crates.io | regex-automata | 0.4.16 | 间接 |
| crates.io | regex-syntax | 0.8.11 | 间接 |
| crates.io | ring | 0.17.14 | 间接 |
| crates.io | rten-base | 0.24.0 | 间接 |
| crates.io | rten-gemm | 0.24.0 | 间接 |
| crates.io | rten-imageproc | 0.24.0 | 间接 |
| crates.io | rten-model-file | 0.24.0 | 间接 |
| crates.io | rten-onnx | 0.24.0 | 间接 |
| crates.io | rten-shape-inference | 0.24.0 | 间接 |
| crates.io | rten-simd | 0.24.0 | 间接 |
| crates.io | rten-tensor | 0.24.0 | 间接 |
| crates.io | rten-vecmath | 0.24.0 | 间接 |
| crates.io | rustc-hash | 2.1.3 | 间接 |
| crates.io | rustc_version | 0.4.1 | 间接 |
| crates.io | rustix | 1.1.4 | 间接 |
| crates.io | rustls | 0.23.42 | 间接 |
| crates.io | rustls-native-certs | 0.8.4 | 间接 |
| crates.io | rustls-pki-types | 1.15.0 | 间接 |
| crates.io | rustls-platform-verifier | 0.6.2 | 间接 |
| crates.io | rustls-platform-verifier-android | 0.1.1 | 间接 |
| crates.io | rustls-webpki | 0.103.13 | 间接 |
| crates.io | rustversion | 1.0.23 | 间接 |
| crates.io | ryu | 1.0.23 | 间接 |
| crates.io | safe_arch | 0.7.4 | 间接 |
| crates.io | same-file | 1.0.6 | 间接 |
| crates.io | schannel | 0.1.29 | 间接 |
| crates.io | scopeguard | 1.2.0 | 间接 |
| crates.io | security-framework | 3.7.0 | 间接 |
| crates.io | security-framework-sys | 2.17.0 | 间接 |
| crates.io | semver | 1.0.28 | 间接 |
| crates.io | serde_core | 1.0.228 | 间接 |
| crates.io | serde_derive | 1.0.228 | 间接 |
| crates.io | sha1 | 0.10.7 | 间接 |
| crates.io | sha2 | 0.11.0 | 间接 |
| crates.io | shlex | 2.0.1 | 间接 |
| crates.io | simba | 0.8.1 | 间接 |
| crates.io | simd-adler32 | 0.3.10 | 间接 |
| crates.io | siphasher | 1.0.3 | 间接 |
| crates.io | slab | 0.4.12 | 间接 |
| crates.io | smallvec | 1.15.2 | 间接 |
| crates.io | socket2 | 0.6.5 | 间接 |
| crates.io | socks | 0.3.4 | 间接 |
| crates.io | stable_deref_trait | 1.2.1 | 间接 |
| crates.io | stringprep | 0.1.5 | 间接 |
| crates.io | strsim | 0.11.1 | 间接 |
| crates.io | subtle | 2.6.1 | 间接 |
| crates.io | syn | 2.0.119 | 间接 |
| crates.io | syn | 3.0.0 | 间接 |
| crates.io | synstructure | 0.13.2 | 间接 |
| crates.io | target-lexicon | 0.13.5 | 间接 |
| crates.io | tempfile | 3.27.0 | 间接 |
| crates.io | thiserror-impl | 1.0.69 | 间接 |
| crates.io | thiserror-impl | 2.0.18 | 间接 |
| crates.io | time | 0.3.53 | 间接 |
| crates.io | time-core | 0.1.9 | 间接 |
| crates.io | time-macros | 0.2.31 | 间接 |
| crates.io | tiny_http | — | 间接 |
| crates.io | tiny_http | 0.12.0 | 间接 |
| crates.io | tinystr | 0.8.3 | 间接 |
| crates.io | tinyvec | 1.12.0 | 间接 |
| crates.io | tinyvec_macros | 0.1.1 | 间接 |
| crates.io | tokio | 1.53.0 | 间接 |
| crates.io | tokio-postgres | 0.7.18 | 间接 |
| crates.io | tokio-util | 0.7.18 | 间接 |
| crates.io | ttf-parser | 0.25.1 | 间接 |
| crates.io | tungstenite | 0.29.0 | 间接 |
| crates.io | typeid | 1.0.3 | 间接 |
| crates.io | typenum | 1.20.1 | 间接 |
| crates.io | uiautomation | — | 间接 |
| crates.io | uiautomation | 0.24.4 | 间接 |
| crates.io | uiautomation_derive | 0.7.8 | 间接 |
| crates.io | unicode-bidi | 0.3.18 | 间接 |
| crates.io | unicode-ident | 1.0.24 | 间接 |
| crates.io | unicode-normalization | 0.1.25 | 间接 |
| crates.io | unicode-properties | 0.1.4 | 间接 |
| crates.io | unicode-segmentation | 1.13.3 | 间接 |
| crates.io | unindent | 0.2.4 | 间接 |
| crates.io | unsafe-libyaml | 0.2.11 | 间接 |
| crates.io | untrusted | 0.9.0 | 间接 |
| crates.io | ureq-proto | 0.6.0 | 间接 |
| crates.io | url | 2.5.8 | 间接 |
| crates.io | utf8-zero | 0.8.1 | 间接 |
| crates.io | utf8_iter | 1.0.4 | 间接 |
| crates.io | utf8parse | 0.2.2 | 间接 |
| crates.io | uuid-simd | 0.8.0 | 间接 |
| crates.io | version_check | 0.9.5 | 间接 |
| crates.io | vsimd | 0.8.0 | 间接 |
| crates.io | walkdir | 2.5.0 | 间接 |
| crates.io | wasi | 0.11.1+wasi-snapshot-preview1 | 间接 |
| crates.io | wasi | 0.14.7+wasi-0.2.4 | 间接 |
| crates.io | wasip2 | 1.0.4+wasi-0.2.12 | 间接 |
| crates.io | wasite | 1.0.2 | 间接 |
| crates.io | wasm-bindgen | 0.2.126 | 间接 |
| crates.io | wasm-bindgen-macro | 0.2.126 | 间接 |
| crates.io | wasm-bindgen-macro-support | 0.2.126 | 间接 |
| crates.io | wasm-bindgen-shared | 0.2.126 | 间接 |
| crates.io | web-sys | 0.3.103 | 间接 |
| crates.io | webpki-root-certs | 1.0.9 | 间接 |
| crates.io | webpki-roots | 1.0.9 | 间接 |
| crates.io | weezl | 0.1.12 | 间接 |
| crates.io | which | 8.0.5 | 间接 |
| crates.io | whoami | 2.1.2 | 间接 |
| crates.io | wide | 0.7.33 | 间接 |
| crates.io | winapi | 0.3.9 | 间接 |
| crates.io | winapi-i686-pc-windows-gnu | 0.4.0 | 间接 |
| crates.io | winapi-util | 0.1.11 | 间接 |
| crates.io | winapi-x86_64-pc-windows-gnu | 0.4.0 | 间接 |
| crates.io | windows | — | 间接 |
| crates.io | windows | 0.62.2 | 间接 |
| crates.io | windows-collections | 0.3.2 | 间接 |
| crates.io | windows-core | 0.62.2 | 间接 |
| crates.io | windows-future | 0.3.2 | 间接 |
| crates.io | windows-implement | 0.60.2 | 间接 |
| crates.io | windows-interface | 0.59.3 | 间接 |
| crates.io | windows-link | 0.2.1 | 间接 |
| crates.io | windows-numerics | 0.3.1 | 间接 |
| crates.io | windows-result | 0.4.1 | 间接 |
| crates.io | windows-strings | 0.5.1 | 间接 |
| crates.io | windows-sys | 0.45.0 | 间接 |
| crates.io | windows-sys | 0.52.0 | 间接 |
| crates.io | windows-sys | 0.61.2 | 间接 |
| crates.io | windows-targets | 0.42.2 | 间接 |
| crates.io | windows-targets | 0.52.6 | 间接 |
| crates.io | windows-threading | 0.2.1 | 间接 |
| crates.io | windows_aarch64_gnullvm | 0.42.2 | 间接 |
| crates.io | windows_aarch64_gnullvm | 0.52.6 | 间接 |
| crates.io | windows_aarch64_msvc | 0.42.2 | 间接 |
| crates.io | windows_aarch64_msvc | 0.52.6 | 间接 |
| crates.io | windows_i686_gnu | 0.42.2 | 间接 |
| crates.io | windows_i686_gnu | 0.52.6 | 间接 |
| crates.io | windows_i686_gnullvm | 0.52.6 | 间接 |
| crates.io | windows_i686_msvc | 0.42.2 | 间接 |
| crates.io | windows_i686_msvc | 0.52.6 | 间接 |
| crates.io | windows_x86_64_gnu | 0.42.2 | 间接 |
| crates.io | windows_x86_64_gnu | 0.52.6 | 间接 |
| crates.io | windows_x86_64_gnullvm | 0.42.2 | 间接 |
| crates.io | windows_x86_64_gnullvm | 0.52.6 | 间接 |
| crates.io | windows_x86_64_msvc | 0.42.2 | 间接 |
| crates.io | windows_x86_64_msvc | 0.52.6 | 间接 |
| crates.io | winreg | 0.56.0 | 间接 |
| crates.io | wit-bindgen | 0.57.1 | 间接 |
| crates.io | writeable | 0.6.3 | 间接 |
| crates.io | yoke | 0.8.3 | 间接 |
| crates.io | yoke-derive | 0.8.2 | 间接 |
| crates.io | zerocopy | 0.8.54 | 间接 |
| crates.io | zerocopy-derive | 0.8.54 | 间接 |
| crates.io | zerofrom | 0.1.8 | 间接 |
| crates.io | zerofrom-derive | 0.1.7 | 间接 |
| crates.io | zeroize | 1.9.0 | 间接 |
| crates.io | zerotrie | 0.2.4 | 间接 |
| crates.io | zerovec | 0.11.6 | 间接 |
| crates.io | zerovec-derive | 0.11.3 | 间接 |
| crates.io | zmij | 1.0.23 | 间接 |
| npm | @automators/flowproof-cli-darwin-arm64 | 0.12.2 | 间接 |
| npm | @automators/flowproof-cli-darwin-x64 | 0.12.2 | 间接 |
| npm | @automators/flowproof-cli-linux-x64 | 0.12.2 | 间接 |
| npm | @automators/flowproof-cli-win32-x64 | 0.12.2 | 间接 |
| PyPI | annotated-types | 0.7.0 | 间接 |
| PyPI | anyio | 4.14.2 | 间接 |
| PyPI | attrs | 26.1.0 | 间接 |
| PyPI | backports-asyncio-runner | 1.2.0 | 间接 |
| PyPI | certifi | 2026.6.17 | 间接 |
| PyPI | cffi | 2.1.0 | 间接 |
| PyPI | click | 8.4.2 | 间接 |
| PyPI | colorama | 0.4.6 | 间接 |
| PyPI | cryptography | 49.0.0 | 间接 |
| PyPI | exceptiongroup | 1.3.1 | 间接 |
| PyPI | flowproof | 0.12.2 | 间接 |
| PyPI | h11 | 0.16.0 | 间接 |
| PyPI | httpcore | 1.0.9 | 间接 |
| PyPI | httpx | 0.28.1 | 间接 |
| PyPI | httpx-sse | 0.4.3 | 间接 |
| PyPI | idna | 3.18 | 间接 |
| PyPI | iniconfig | 2.1.0 | 间接 |
| PyPI | iniconfig | 2.3.0 | 间接 |
| PyPI | jsonschema | 4.26.0 | 间接 |
| PyPI | jsonschema-specifications | 2025.9.1 | 间接 |
| PyPI | mcp | 1.28.1 | 间接 |
| PyPI | packaging | 26.2 | 间接 |
| PyPI | pluggy | 1.6.0 | 间接 |
| PyPI | pycparser | 3.0 | 间接 |
| PyPI | pydantic | 2.13.4 | 间接 |
| PyPI | pydantic-core | 2.46.4 | 间接 |
| PyPI | pydantic-settings | 2.14.2 | 间接 |
| PyPI | pygments | 2.20.0 | 间接 |
| PyPI | pyjwt | 2.13.0 | 间接 |
| PyPI | pytest | 8.4.2 | 间接 |
| PyPI | pytest | 9.1.1 | 间接 |
| PyPI | pytest-asyncio | 1.2.0 | 间接 |
| PyPI | pytest-asyncio | 1.4.0 | 间接 |
| PyPI | python-dotenv | 1.2.2 | 间接 |
| PyPI | python-multipart | 0.0.32 | 间接 |
| PyPI | pywin32 | 312 | 间接 |
| PyPI | referencing | 0.37.0 | 间接 |
| PyPI | rpds-py | 0.30.0 | 间接 |
| PyPI | rpds-py | 2026.6.3 | 间接 |
| PyPI | ruff | 0.15.22 | 间接 |
| PyPI | sse-starlette | 3.4.5 | 间接 |
| PyPI | starlette | 1.3.1 | 间接 |
| PyPI | tomli | 2.4.1 | 间接 |
| PyPI | typing-extensions | 4.16.0 | 间接 |
| PyPI | typing-inspection | 0.4.2 | 间接 |
| PyPI | uvicorn | 0.51.0 | 间接 |
该仓库未发布可被索引解析的包,因此评估的是其自身的依赖图——共 430 个包,其中也包含从不交付的开发与测试版本固定:5 个存在已知公告,1 个为直接依赖。 有 16 个无法评估——没有已解析的版本、生态系统不受支持,或不在所列包清单之内。
| 软件包 | 版本 | 关系 | 严重程度 | 公告数 | 修复版本 |
|---|---|---|---|---|---|
| pyo3 | 0.26.0 | 直接 | 高 | 4 | 0.29.0 |
| cryptography | 49.0.0 | 间接 | 中 | 1 | 50.0.0 |
| pytest | 8.4.2 | 间接 | 中 | 2 | 9.0.3 |
| paste | 1.0.15 | 间接 | 未知 | 1 | — |
| ttf-parser | 0.25.1 | 间接 | 未知 | 1 | — |
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析,且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
发现这份报告有不准确之处,或有想法要分享?错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。