公开记录卓越
软件健康报告模式 0.34.0 · 指标 2.10.0 · 2026-08-22 16:21 UTC
awslabs / aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
awslabs/aws-c-common 的健康指数为 100 分中的 93 分，处于「卓越」区间。 其得分最高的类别是Sustainability & Governance（92/100），最低的是AI Readiness（56/100）。 最近一次更新在今天。 近期的大部分工作由 5 位贡献者完成。
93
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。
93
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
加权总体分 79 经校准后在公布的指数量表上为 93（记录校准 2026-08-02）。
所有权
Amazon Web Services - Labs组织 · 域名已验证
11,445 关注者1,027 个公开仓库始于 2013年1月
该仓库由组织支持——共同承担、可问责的托管责任，可延续于任何单一维护者之后。
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
84
开发活跃度
73良好
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 0 天前 |
| 13.8/36 | 提交节奏 — 52 周中有 20 周有提交 |
| 13.4/18 | 提交量 — 最近一年 30 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 30 |
| human_commit_share | 1 |
| days_since_last_push | 0 |
| active_weeks_last_year | 20 |
发布纪律
100卓越
评分方式
| 27/27 | 有发布版本 — 已发布 100 个发布版本 |
| 36/36 | 发布时效 — 最近一次发布版本于 10 天前 |
| 27/27 | 发布节奏 — 约每 36.4 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 100 |
| latest_release_tag | v0.14.5 |
| releases_from_tags | 否 |
| days_since_latest_release | 10 |
| mean_days_between_releases | 36.4 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
79
流行度与采用
67良好
评分方式
| 40.2/60 | 星标 — 302 个星标 |
| 18.8/25 | 复刻 — 182 个复刻 |
| 8.3/15 | 关注者 — 32 位关注者 |
所用输入
| forks | 182 |
| stars | 302 |
| watchers | 32 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
92优秀
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（Apache-2.0） |
| 18/18 | CONTRIBUTING 指南 |
| 13.5/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 6.3/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| readme_badges | 1 |
| has_contributing | 是 |
| has_issue_template | 否 |
| has_code_of_conduct | 是 |
| readme_badge_services | shields.io |
| has_pull_request_template | 是 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
92
维护者韧性（巴士系数）
89优秀
评分方式
| 45.9/54 | 巴士系数 — 5 位贡献者贡献了半数提交 |
| 19.5/22.5 | 提交分布 — 头号贡献者编写了 13% 的提交 |
| 13.5/13.5 | 贡献者广度 — 76 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 17 contributing companies or organizations |
所用输入
| bus_factor | 5 |
| contributors_sampled | 76 |
| top_contributor_share | 0.132 |
议题与 PR 响应能力
89优秀
评分方式
| 38.4/42 | 议题解决 — 92% 的议题已关闭 |
| 25.4/30 | PR 接受 — 已裁定的 PR 中 948/1,121 已合并 |
| 0/13 | Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决 |
| 13.5/15 | OpenSSF Scorecard：Code-Review — Found 29/30 approved changesets -- score normalized to 9 |
所用输入
| merged_prs | 948 |
| open_issues | 10 |
| closed_issues | 107 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 4 |
| prs_decided_30d | 5 |
| issue_closed_ratio | 0.915 |
| closed_unmerged_prs | 173 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。
所有权与托管责任
100卓越
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 20/20 | 已验证域名 |
| 25/25 | 所有者影响力 — awslabs 有 11,445 位关注者 |
| 25/25 | 既往记录 — 1,027 个公开仓库，账户约 13 年 |
所用输入
| followers | 11,445 |
| owner_type | Organization |
| is_verified | 是 |
| owner_login | awslabs |
| public_repos | 1,027 |
| account_age_days | 4,964 |
工程质量
基础的工程与文档实践是否到位？
71
工程实践
68良好
评分方式
| 24/24 | CI 工作流 — 13 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 29 out of 29 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
文档
75良好
评分方式
| 30/30 | README |
| 25/25 | 文档目录 |
| 0/15 | 文档 / 主页站点 |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 2 个主题标签 |
| 0/10 | Wiki |
所用输入
| topics | hacktoberfest, aws-sdk |
| has_wiki | 否 |
| homepage | — |
| docs_site | — |
| has_readme | 是 |
| has_docs_dir | 是 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
69
安全态势
69良好
评分方式
| 6.8/7.5 | Binary-Artifacts — binaries present in source code |
| 3.8/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 29 out of 29 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 |
| 6.8/7.5 | Code-Review — Found 29/30 approved changesets -- score normalized to 9 |
| 2.5/2.5 | Contributors — project has 17 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 7.5/7.5 | Maintained — 14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
| 0/5 | Packaging — 无数据 |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 4/5 | SAST — SAST tool is not run on all commits -- score normalized to 8 |
| 5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — 无数据 |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 6.9 |
已排除计分（无数据或不适用）：Packaging, Signed-Releases。 其余权重已重新归一化。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。
56
AI 代理上下文与指引
40薄弱
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 40/40 | 可读的提交历史 — 100 次人类提交中有 98 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| llms_txt_url | — |
| legible_history_share | 0.98 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 18/18 | 一条命令的引导启动 — verification/cbmc/proofs/aws_add_size_checked/Makefile, verification/cbmc/proofs/aws_add_size_saturating/Makefile, verification/cbmc/proofs/aws_array_eq/Makefile, verification/cbmc/proofs/aws_array_eq_c_str/Makefile, verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_array_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_array_list_back/Makefile, verification/cbmc/proofs/aws_array_list_capacity/Makefile, verification/cbmc/proofs/aws_array_list_clean_up/Makefile, verification/cbmc/proofs/aws_array_list_clear/Makefile, verification/cbmc/proofs/aws_array_list_comparator_string/Makefile, verification/cbmc/proofs/aws_array_list_copy/Makefile, verification/cbmc/proofs/aws_array_list_ensure_capacity/Makefile, verification/cbmc/proofs/aws_array_list_erase/Makefile, verification/cbmc/proofs/aws_array_list_front/Makefile, verification/cbmc/proofs/aws_array_list_get_at/Makefile, verification/cbmc/proofs/aws_array_list_get_at_ptr/Makefile, verification/cbmc/proofs/aws_array_list_init_dynamic/Makefile, verification/cbmc/proofs/aws_array_list_init_static/Makefile, verification/cbmc/proofs/aws_array_list_length/Makefile, verification/cbmc/proofs/aws_array_list_pop_back/Makefile, verification/cbmc/proofs/aws_array_list_pop_front/Makefile, verification/cbmc/proofs/aws_array_list_pop_front_n/Makefile, verification/cbmc/proofs/aws_array_list_push_back/Makefile, verification/cbmc/proofs/aws_array_list_push_front/Makefile, verification/cbmc/proofs/aws_array_list_set_at/Makefile, verification/cbmc/proofs/aws_array_list_shrink_to_fit/Makefile, verification/cbmc/proofs/aws_array_list_sort/Makefile, verification/cbmc/proofs/aws_array_list_swap/Makefile, verification/cbmc/proofs/aws_array_list_swap_contents/Makefile, verification/cbmc/proofs/aws_byte_buf_advance/Makefile, verification/cbmc/proofs/aws_byte_buf_append/Makefile, verification/cbmc/proofs/aws_byte_buf_append_and_update/Makefile, verification/cbmc/proofs/aws_byte_buf_append_dynamic/Makefile, verification/cbmc/proofs/aws_byte_buf_append_with_lookup/Makefile, verification/cbmc/proofs/aws_byte_buf_cat/Makefile, verification/cbmc/proofs/aws_byte_buf_clean_up/Makefile, verification/cbmc/proofs/aws_byte_buf_clean_up_secure/Makefile, verification/cbmc/proofs/aws_byte_buf_eq/Makefile, verification/cbmc/proofs/aws_byte_buf_eq_c_str/Makefile, verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_buf_from_array/Makefile, verification/cbmc/proofs/aws_byte_buf_from_c_str/Makefile, verification/cbmc/proofs/aws_byte_buf_from_empty_array/Makefile, verification/cbmc/proofs/aws_byte_buf_init/Makefile, verification/cbmc/proofs/aws_byte_buf_init_copy/Makefile, verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/Makefile, verification/cbmc/proofs/aws_byte_buf_reserve/Makefile, verification/cbmc/proofs/aws_byte_buf_reserve_relative/Makefile, verification/cbmc/proofs/aws_byte_buf_reset/Makefile, verification/cbmc/proofs/aws_byte_buf_secure_zero/Makefile, verification/cbmc/proofs/aws_byte_buf_write/Makefile, verification/cbmc/proofs/aws_byte_buf_write_be16/Makefile, verification/cbmc/proofs/aws_byte_buf_write_be32/Makefile, verification/cbmc/proofs/aws_byte_buf_write_be64/Makefile, verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/Makefile, verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/Makefile, verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/Makefile, verification/cbmc/proofs/aws_byte_buf_write_u8/Makefile, verification/cbmc/proofs/aws_byte_cursor_advance/Makefile, verification/cbmc/proofs/aws_byte_cursor_advance_nospec/Makefile, verification/cbmc/proofs/aws_byte_cursor_compare_lexical/Makefile, verification/cbmc/proofs/aws_byte_cursor_compare_lookup/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_c_str/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_array/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_buf/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_c_str/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_string/Makefile, verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/Makefile, verification/cbmc/proofs/aws_byte_cursor_read/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_be16/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_be32/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_be64/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_u8/Makefile, verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/Makefile, verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/Makefile, verification/cbmc/proofs/aws_byte_cursor_trim_pred/Makefile, verification/cbmc/proofs/aws_hash_array_ignore_case/Makefile, verification/cbmc/proofs/aws_hash_byte_cursor_ptr/Makefile, verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/Makefile, verification/cbmc/proofs/aws_hash_c_string/Makefile, verification/cbmc/proofs/aws_hash_callback_c_str_eq/Makefile, verification/cbmc/proofs/aws_hash_callback_string_destroy/Makefile, verification/cbmc/proofs/aws_hash_callback_string_eq/Makefile, verification/cbmc/proofs/aws_hash_iter_begin/Makefile, verification/cbmc/proofs/aws_hash_iter_delete/Makefile, verification/cbmc/proofs/aws_hash_iter_done/Makefile, verification/cbmc/proofs/aws_hash_iter_next/Makefile, verification/cbmc/proofs/aws_hash_ptr/Makefile, verification/cbmc/proofs/aws_hash_string/Makefile, verification/cbmc/proofs/aws_hash_table_clean_up/Makefile, verification/cbmc/proofs/aws_hash_table_clear/Makefile, verification/cbmc/proofs/aws_hash_table_create/Makefile, verification/cbmc/proofs/aws_hash_table_eq/Makefile, verification/cbmc/proofs/aws_hash_table_find/Makefile, verification/cbmc/proofs/aws_hash_table_foreach/Makefile, verification/cbmc/proofs/aws_hash_table_get_entry_count/Makefile, verification/cbmc/proofs/aws_hash_table_init_bounded/Makefile, verification/cbmc/proofs/aws_hash_table_init_unbounded/Makefile, verification/cbmc/proofs/aws_hash_table_move/Makefile, verification/cbmc/proofs/aws_hash_table_put/Makefile, verification/cbmc/proofs/aws_hash_table_remove/Makefile, verification/cbmc/proofs/aws_hash_table_swap/Makefile, verification/cbmc/proofs/aws_is_power_of_two/Makefile, verification/cbmc/proofs/aws_linked_list_back/Makefile, verification/cbmc/proofs/aws_linked_list_begin/Makefile, verification/cbmc/proofs/aws_linked_list_end/Makefile, verification/cbmc/proofs/aws_linked_list_front/Makefile, verification/cbmc/proofs/aws_linked_list_init/Makefile, verification/cbmc/proofs/aws_linked_list_insert_after/Makefile, verification/cbmc/proofs/aws_linked_list_insert_before/Makefile, verification/cbmc/proofs/aws_linked_list_next/Makefile, verification/cbmc/proofs/aws_linked_list_node_reset/Makefile, verification/cbmc/proofs/aws_linked_list_pop_back/Makefile, verification/cbmc/proofs/aws_linked_list_pop_front/Makefile, verification/cbmc/proofs/aws_linked_list_prev/Makefile, verification/cbmc/proofs/aws_linked_list_push_back/Makefile, verification/cbmc/proofs/aws_linked_list_push_front/Makefile, verification/cbmc/proofs/aws_linked_list_rbegin/Makefile, verification/cbmc/proofs/aws_linked_list_remove/Makefile, verification/cbmc/proofs/aws_linked_list_rend/Makefile, verification/cbmc/proofs/aws_linked_list_swap_contents/Makefile, verification/cbmc/proofs/aws_mul_size_checked/Makefile, verification/cbmc/proofs/aws_mul_size_saturating/Makefile, verification/cbmc/proofs/aws_nospec_mask/Makefile, verification/cbmc/proofs/aws_priority_queue_capacity/Makefile, verification/cbmc/proofs/aws_priority_queue_clean_up/Makefile, verification/cbmc/proofs/aws_priority_queue_init_dynamic/Makefile, verification/cbmc/proofs/aws_priority_queue_init_static/Makefile, verification/cbmc/proofs/aws_priority_queue_pop/Makefile, verification/cbmc/proofs/aws_priority_queue_push/Makefile, verification/cbmc/proofs/aws_priority_queue_push_ref/Makefile, verification/cbmc/proofs/aws_priority_queue_remove/Makefile, verification/cbmc/proofs/aws_priority_queue_s_remove_node/Makefile, verification/cbmc/proofs/aws_priority_queue_s_sift_down/Makefile, verification/cbmc/proofs/aws_priority_queue_s_sift_either/Makefile, verification/cbmc/proofs/aws_priority_queue_s_sift_up/Makefile, verification/cbmc/proofs/aws_priority_queue_s_swap/Makefile, verification/cbmc/proofs/aws_priority_queue_size/Makefile, verification/cbmc/proofs/aws_priority_queue_top/Makefile, verification/cbmc/proofs/aws_ptr_eq/Makefile, verification/cbmc/proofs/aws_ring_buffer_acquire/Makefile, verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/Makefile, verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/Makefile, verification/cbmc/proofs/aws_ring_buffer_clean_up/Makefile, verification/cbmc/proofs/aws_ring_buffer_init/Makefile, verification/cbmc/proofs/aws_ring_buffer_release/Makefile, verification/cbmc/proofs/aws_round_up_to_power_of_two/Makefile, verification/cbmc/proofs/aws_string_bytes/Makefile, verification/cbmc/proofs/aws_string_compare/Makefile, verification/cbmc/proofs/aws_string_destroy/Makefile, verification/cbmc/proofs/aws_string_destroy_secure/Makefile, verification/cbmc/proofs/aws_string_eq/Makefile, verification/cbmc/proofs/aws_string_eq_byte_buf/Makefile, verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/Makefile, verification/cbmc/proofs/aws_string_eq_byte_cursor/Makefile, verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/Makefile, verification/cbmc/proofs/aws_string_eq_c_str/Makefile, verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_string_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_string_new_from_array/Makefile, verification/cbmc/proofs/aws_string_new_from_c_str/Makefile, verification/cbmc/proofs/aws_string_new_from_string/Makefile, verification/cbmc/proofs/memcpy_using_uint64/Makefile, verification/cbmc/proofs/memset_override_0/Makefile, verification/cbmc/proofs/memset_using_uint64/Makefile |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — C（静态类型） |
| 0/10 | 可复现环境 |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | — |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | verification/cbmc/proofs/aws_add_size_checked/Makefile, verification/cbmc/proofs/aws_add_size_saturating/Makefile, verification/cbmc/proofs/aws_array_eq/Makefile, verification/cbmc/proofs/aws_array_eq_c_str/Makefile, verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_array_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_array_list_back/Makefile, verification/cbmc/proofs/aws_array_list_capacity/Makefile, verification/cbmc/proofs/aws_array_list_clean_up/Makefile, verification/cbmc/proofs/aws_array_list_clear/Makefile, verification/cbmc/proofs/aws_array_list_comparator_string/Makefile, verification/cbmc/proofs/aws_array_list_copy/Makefile, verification/cbmc/proofs/aws_array_list_ensure_capacity/Makefile, verification/cbmc/proofs/aws_array_list_erase/Makefile, verification/cbmc/proofs/aws_array_list_front/Makefile, verification/cbmc/proofs/aws_array_list_get_at/Makefile, verification/cbmc/proofs/aws_array_list_get_at_ptr/Makefile, verification/cbmc/proofs/aws_array_list_init_dynamic/Makefile, verification/cbmc/proofs/aws_array_list_init_static/Makefile, verification/cbmc/proofs/aws_array_list_length/Makefile, verification/cbmc/proofs/aws_array_list_pop_back/Makefile, verification/cbmc/proofs/aws_array_list_pop_front/Makefile, verification/cbmc/proofs/aws_array_list_pop_front_n/Makefile, verification/cbmc/proofs/aws_array_list_push_back/Makefile, verification/cbmc/proofs/aws_array_list_push_front/Makefile, verification/cbmc/proofs/aws_array_list_set_at/Makefile, verification/cbmc/proofs/aws_array_list_shrink_to_fit/Makefile, verification/cbmc/proofs/aws_array_list_sort/Makefile, verification/cbmc/proofs/aws_array_list_swap/Makefile, verification/cbmc/proofs/aws_array_list_swap_contents/Makefile, verification/cbmc/proofs/aws_byte_buf_advance/Makefile, verification/cbmc/proofs/aws_byte_buf_append/Makefile, verification/cbmc/proofs/aws_byte_buf_append_and_update/Makefile, verification/cbmc/proofs/aws_byte_buf_append_dynamic/Makefile, verification/cbmc/proofs/aws_byte_buf_append_with_lookup/Makefile, verification/cbmc/proofs/aws_byte_buf_cat/Makefile, verification/cbmc/proofs/aws_byte_buf_clean_up/Makefile, verification/cbmc/proofs/aws_byte_buf_clean_up_secure/Makefile, verification/cbmc/proofs/aws_byte_buf_eq/Makefile, verification/cbmc/proofs/aws_byte_buf_eq_c_str/Makefile, verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_buf_from_array/Makefile, verification/cbmc/proofs/aws_byte_buf_from_c_str/Makefile, verification/cbmc/proofs/aws_byte_buf_from_empty_array/Makefile, verification/cbmc/proofs/aws_byte_buf_init/Makefile, verification/cbmc/proofs/aws_byte_buf_init_copy/Makefile, verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/Makefile, verification/cbmc/proofs/aws_byte_buf_reserve/Makefile, verification/cbmc/proofs/aws_byte_buf_reserve_relative/Makefile, verification/cbmc/proofs/aws_byte_buf_reset/Makefile, verification/cbmc/proofs/aws_byte_buf_secure_zero/Makefile, verification/cbmc/proofs/aws_byte_buf_write/Makefile, verification/cbmc/proofs/aws_byte_buf_write_be16/Makefile, verification/cbmc/proofs/aws_byte_buf_write_be32/Makefile, verification/cbmc/proofs/aws_byte_buf_write_be64/Makefile, verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/Makefile, verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/Makefile, verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/Makefile, verification/cbmc/proofs/aws_byte_buf_write_u8/Makefile, verification/cbmc/proofs/aws_byte_cursor_advance/Makefile, verification/cbmc/proofs/aws_byte_cursor_advance_nospec/Makefile, verification/cbmc/proofs/aws_byte_cursor_compare_lexical/Makefile, verification/cbmc/proofs/aws_byte_cursor_compare_lookup/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_c_str/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_array/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_buf/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_c_str/Makefile, verification/cbmc/proofs/aws_byte_cursor_from_string/Makefile, verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/Makefile, verification/cbmc/proofs/aws_byte_cursor_read/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_be16/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_be32/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_be64/Makefile, verification/cbmc/proofs/aws_byte_cursor_read_u8/Makefile, verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/Makefile, verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/Makefile, verification/cbmc/proofs/aws_byte_cursor_trim_pred/Makefile, verification/cbmc/proofs/aws_hash_array_ignore_case/Makefile, verification/cbmc/proofs/aws_hash_byte_cursor_ptr/Makefile, verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/Makefile, verification/cbmc/proofs/aws_hash_c_string/Makefile, verification/cbmc/proofs/aws_hash_callback_c_str_eq/Makefile, verification/cbmc/proofs/aws_hash_callback_string_destroy/Makefile, verification/cbmc/proofs/aws_hash_callback_string_eq/Makefile, verification/cbmc/proofs/aws_hash_iter_begin/Makefile, verification/cbmc/proofs/aws_hash_iter_delete/Makefile, verification/cbmc/proofs/aws_hash_iter_done/Makefile, verification/cbmc/proofs/aws_hash_iter_next/Makefile, verification/cbmc/proofs/aws_hash_ptr/Makefile, verification/cbmc/proofs/aws_hash_string/Makefile, verification/cbmc/proofs/aws_hash_table_clean_up/Makefile, verification/cbmc/proofs/aws_hash_table_clear/Makefile, verification/cbmc/proofs/aws_hash_table_create/Makefile, verification/cbmc/proofs/aws_hash_table_eq/Makefile, verification/cbmc/proofs/aws_hash_table_find/Makefile, verification/cbmc/proofs/aws_hash_table_foreach/Makefile, verification/cbmc/proofs/aws_hash_table_get_entry_count/Makefile, verification/cbmc/proofs/aws_hash_table_init_bounded/Makefile, verification/cbmc/proofs/aws_hash_table_init_unbounded/Makefile, verification/cbmc/proofs/aws_hash_table_move/Makefile, verification/cbmc/proofs/aws_hash_table_put/Makefile, verification/cbmc/proofs/aws_hash_table_remove/Makefile, verification/cbmc/proofs/aws_hash_table_swap/Makefile, verification/cbmc/proofs/aws_is_power_of_two/Makefile, verification/cbmc/proofs/aws_linked_list_back/Makefile, verification/cbmc/proofs/aws_linked_list_begin/Makefile, verification/cbmc/proofs/aws_linked_list_end/Makefile, verification/cbmc/proofs/aws_linked_list_front/Makefile, verification/cbmc/proofs/aws_linked_list_init/Makefile, verification/cbmc/proofs/aws_linked_list_insert_after/Makefile, verification/cbmc/proofs/aws_linked_list_insert_before/Makefile, verification/cbmc/proofs/aws_linked_list_next/Makefile, verification/cbmc/proofs/aws_linked_list_node_reset/Makefile, verification/cbmc/proofs/aws_linked_list_pop_back/Makefile, verification/cbmc/proofs/aws_linked_list_pop_front/Makefile, verification/cbmc/proofs/aws_linked_list_prev/Makefile, verification/cbmc/proofs/aws_linked_list_push_back/Makefile, verification/cbmc/proofs/aws_linked_list_push_front/Makefile, verification/cbmc/proofs/aws_linked_list_rbegin/Makefile, verification/cbmc/proofs/aws_linked_list_remove/Makefile, verification/cbmc/proofs/aws_linked_list_rend/Makefile, verification/cbmc/proofs/aws_linked_list_swap_contents/Makefile, verification/cbmc/proofs/aws_mul_size_checked/Makefile, verification/cbmc/proofs/aws_mul_size_saturating/Makefile, verification/cbmc/proofs/aws_nospec_mask/Makefile, verification/cbmc/proofs/aws_priority_queue_capacity/Makefile, verification/cbmc/proofs/aws_priority_queue_clean_up/Makefile, verification/cbmc/proofs/aws_priority_queue_init_dynamic/Makefile, verification/cbmc/proofs/aws_priority_queue_init_static/Makefile, verification/cbmc/proofs/aws_priority_queue_pop/Makefile, verification/cbmc/proofs/aws_priority_queue_push/Makefile, verification/cbmc/proofs/aws_priority_queue_push_ref/Makefile, verification/cbmc/proofs/aws_priority_queue_remove/Makefile, verification/cbmc/proofs/aws_priority_queue_s_remove_node/Makefile, verification/cbmc/proofs/aws_priority_queue_s_sift_down/Makefile, verification/cbmc/proofs/aws_priority_queue_s_sift_either/Makefile, verification/cbmc/proofs/aws_priority_queue_s_sift_up/Makefile, verification/cbmc/proofs/aws_priority_queue_s_swap/Makefile, verification/cbmc/proofs/aws_priority_queue_size/Makefile, verification/cbmc/proofs/aws_priority_queue_top/Makefile, verification/cbmc/proofs/aws_ptr_eq/Makefile, verification/cbmc/proofs/aws_ring_buffer_acquire/Makefile, verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/Makefile, verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/Makefile, verification/cbmc/proofs/aws_ring_buffer_clean_up/Makefile, verification/cbmc/proofs/aws_ring_buffer_init/Makefile, verification/cbmc/proofs/aws_ring_buffer_release/Makefile, verification/cbmc/proofs/aws_round_up_to_power_of_two/Makefile, verification/cbmc/proofs/aws_string_bytes/Makefile, verification/cbmc/proofs/aws_string_compare/Makefile, verification/cbmc/proofs/aws_string_destroy/Makefile, verification/cbmc/proofs/aws_string_destroy_secure/Makefile, verification/cbmc/proofs/aws_string_eq/Makefile, verification/cbmc/proofs/aws_string_eq_byte_buf/Makefile, verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/Makefile, verification/cbmc/proofs/aws_string_eq_byte_cursor/Makefile, verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/Makefile, verification/cbmc/proofs/aws_string_eq_c_str/Makefile, verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/Makefile, verification/cbmc/proofs/aws_string_eq_ignore_case/Makefile, verification/cbmc/proofs/aws_string_new_from_array/Makefile, verification/cbmc/proofs/aws_string_new_from_c_str/Makefile, verification/cbmc/proofs/aws_string_new_from_string/Makefile, verification/cbmc/proofs/memcpy_using_uint64/Makefile, verification/cbmc/proofs/memset_override_0/Makefile, verification/cbmc/proofs/memset_using_uint64/Makefile |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | AWSCRTAndroidTestRunner/app/build.gradle, AWSCRTAndroidTestRunner/build.gradle |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
100卓越
评分方式
| 45/45 | 可类型检查的代码 — C（静态类型） |
| 54.7/55 | 可控的文件大小 — 采样的 501 个源文件中有 3 个超过 60KB |
所用输入
| primary_language | C |
| largest_source_bytes | 196,969 |
| source_files_sampled | 501 |
| oversized_source_files | 3 |
关键数据
302GitHub 星标
76贡献者
30最近 12 个月提交数
0距最近推送天数
100发布版本数
5巴士系数（bus factor）
10开放议题
Maven软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
更多细节
Star 与 Fork 历史 0 ★ / 182 ⇿
0Star
182Fork
97发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 0次版本 8修订 89
每个点涵盖 8 天。
OpenSSF Scorecard 6.9 / 10
6.9综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 9 | Binary-Artifacts | binaries present in source code |
| 5 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 29 out of 29 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 |
| 9 | Code-Review | Found 29/30 approved changesets -- score normalized to 9 |
| 10 | Contributors | project has 17 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
| 不适用 | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 8 | SAST | SAST tool is not run on all commits -- score normalized to 8 |
| 10 | Security-Policy | security policy file detected |
| 不适用 | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
全部依赖 0
来自 GitHub 依赖图的完整解析依赖集合：0 个直接依赖与 0 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|
依赖安全公告 未评估
本报告未能完成公告比对：No resolved dependencies to assess
原始 JSON 报告 机器可读
反馈
发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。