Публічний реєстрДобрий
Звіт про здоров'я програмного забезпеченнясхема 0.9.0 · метрики 1.13.0 · 2026-07-13 20:37 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 має індекс здоров’я 78 зі 100, що відповідає смузі «Добрий». Найвищий показник — Sustainability & Governance (86/100), найнижчий — AI Readiness (47/100). Останнє оновлення було 4 дні тому. Більшість нещодавньої роботи виконують 5 учасників.
78
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
78
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Власність
Amazon Web Services - LabsОрганізація
11 238 підписників1 014 публічних репозиторіївз січ. 2013 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
79
Активність розробки
70Добрий
Як обчислюється оцінка
| 36/36 | Свіжість push — останній push 4 дн. тому |
| 11.8/36 | Ритм комітів — 17/52 тижнів із комітами |
| 12.7/18 | Обсяг комітів — 25 комітів за останній рік |
| 9/10 | OpenSSF Scorecard: Maintained — 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
Використані вхідні дані
| commits_last_year | 25 |
| human_commit_share | — |
| days_since_last_push | 4 |
| active_weeks_last_year | 17 |
Дисципліна релізів
92Відмінний
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 100 релізів |
| 36/36 | Свіжість релізів — останній реліз 4 дн. тому |
| 19.8/27 | Ритм релізів — реліз кожні ~52,2 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 100 |
| latest_release_tag | v0.14.2 |
| releases_from_tags | ні |
| days_since_latest_release | 4 |
| mean_days_between_releases | 52,2 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
79
Популярність і впровадження
67Помірний
Як обчислюється оцінка
| 40.2/60 | Зірки — 303 зірок |
| 18.8/25 | Форки — 183 форків |
| 8.3/15 | Спостерігачі — 32 спостерігачів |
Використані вхідні дані
| forks | 183 |
| stars | 303 |
| 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 | Шаблон issue |
| 6.3/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| has_contributing | так |
| has_issue_template | ні |
| has_code_of_conduct | так |
| has_pull_request_template | так |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
86
Стійкість мейнтейнерів (бас-фактор)
89Відмінний
Як обчислюється оцінка
| 45.9/54 | Бас-фактор — на 5 контриб’ютор(ів) припадає половина всіх комітів |
| 19.5/22.5 | Розподіл комітів — головний контриб’ютор — автор 13% комітів |
| 13.5/13.5 | Широта контриб’юторів — 73 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 17 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 5 |
| contributors_sampled | 73 |
| top_contributor_share | 0,133 |
Реактивність на issue та PR
90Відмінний
Як обчислюється оцінка
| 42.8/46.8 | Вирішення issue — закрито 92% issue |
| 32.4/38.3 | Прийняття PR — злито 939/1 110 вирішених PR |
| 15/15 | OpenSSF Scorecard: Code-Review — all changesets reviewed |
Використані вхідні дані
| merged_prs | 939 |
| open_issues | 10 |
| closed_issues | 107 |
| issue_closed_ratio | 0,915 |
| closed_unmerged_prs | 171 |
Власність та опіка
80Добрий
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен |
| 25/25 | Охоплення власника — 11 238 підписників у awslabs |
| 25/25 | Послужний список — 1 014 публічних репозиторіїв, вік облікового запису ~13 р. |
Використані вхідні дані
| followers | 11 238 |
| owner_type | Organization |
| is_verified | — |
| owner_login | awslabs |
| public_repos | 1 014 |
| account_age_days | 4 925 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
71
Інженерні практики
68Помірний
Як обчислюється оцінка
| 24/24 | Процеси CI — 10 процес(ів) CI |
| 24/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF 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 | ні |
Документація
75Добрий
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 0/15 | Сайт документації / домашня сторінка |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 2 тем |
| 0/10 | Wiki |
Використані вхідні дані
| topics | aws-sdk, hacktoberfest |
| has_wiki | ні |
| homepage | — |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
71
Стан безпеки
71Добрий
Як обчислюється оцінка
| 6.8/7.5 | Binary-Artifacts — binaries present in source code |
| 6/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 30 out of 30 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 |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 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 |
| 6.8/7.5 | Maintained — 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
| 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 | 7,1 |
Виключено з оцінювання (немає даних або не застосовно): packaging, signed_releases. Залишкові ваги перенормовано.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
47
Контекст і настанови для агентів
1Критичний
Як обчислюється оцінка
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 0/40 | Читабельна історія комітів — немає даних |
Використані вхідні дані
| has_llms_txt | ні |
| legible_history_share | — |
| 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 | Конфігурація лінтера / форматера |
| 11/11 | Статична перевірка типів — C (статично типізована) |
| 0/10 | Відтворюване середовище |
| 0/10 | Підтверджена практика роботи з агентами — немає даних |
| 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 | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | — |
Виключено з оцінювання (немає даних або не застосовно): Підтверджена практика роботи з агентами, Автоматизоване супроводження. Залишкові ваги перенормовано.
Читабельність коду для моделей
100Відмінний
Як обчислюється оцінка
| 45/45 | Типізований код — C (статично типізована) |
| 54.7/55 | Керовані розміри файлів — 3/501 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | C |
| largest_source_bytes | 196 969 |
| source_files_sampled | 501 |
| oversized_source_files | 3 |
Ключові факти
303зірок GitHub
73контриб'юторів
25комітів за останні 12 місяців
4днів від останнього пушу
100релізів
5бас-фактор
10відкритих issue
Mavenпакетних екосистем
Докладніше
OpenSSF Scorecard 7.1 / 10
7.1сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 9 | Binary-Artifacts | binaries present in source code |
| 8 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 30 out of 30 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 |
| 10 | Code-Review | all changesets reviewed |
| 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 |
| 9 | Maintained | 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
| н/д | 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 |
Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [
"aws-sdk",
"hacktoberfest"
],
"is_fork": false,
"size_kb": 4437,
"has_wiki": false,
"homepage": null,
"languages": {
"C": 2154331,
"C++": 168172,
"CMake": 97210,
"Shell": 59,
"Kotlin": 310,
"Python": 66523,
"Makefile": 179585
},
"pushed_at": "2026-07-09T16:55:53Z",
"created_at": "2018-01-11T19:17:12Z",
"owner_type": "Organization",
"updated_at": "2026-07-09T16:53:15Z",
"description": "Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.",
"is_archived": false,
"is_disabled": false,
"license_spdx": "Apache-2.0",
"default_branch": "main",
"primary_language": "C"
},
"owner": {
"blog": "http://amazon.com/aws/",
"name": "Amazon Web Services - Labs",
"type": "Organization",
"login": "awslabs",
"company": null,
"location": "Seattle, WA",
"followers": 11238,
"avatar_url": "https://avatars.githubusercontent.com/u/3299148?v=4",
"created_at": "2013-01-17T19:11:21Z",
"is_verified": null,
"public_repos": 1014,
"account_age_days": 4925
},
"activity": {
"releases_count": 100,
"commits_last_year": 25,
"latest_release_at": "2026-07-09T16:55:53Z",
"latest_release_tag": "v0.14.2",
"days_since_last_push": 4,
"active_weeks_last_year": 17,
"days_since_latest_release": 4,
"mean_days_between_releases": 52.2
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 87,
"has_issue_template": false,
"has_code_of_conduct": true,
"has_pull_request_template": true
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 183,
"stars": 303,
"watchers": 32,
"open_issues_and_prs": 28
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"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"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"largest_source_bytes": 196969,
"source_files_sampled": 501,
"oversized_source_files": 3,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"AWSCRTAndroidTestRunner/build.gradle"
],
"ecosystems": [
"maven"
],
"dependencies": []
},
"maintainership": {
"issues": {
"open_prs": 18,
"merged_prs": 939,
"open_issues": 10,
"closed_ratio": 0.915,
"closed_issues": 107,
"closed_unmerged_prs": 171
},
"bus_factor": 5,
"top_contributors": [
{
"type": "User",
"login": "graebm",
"commits": 117,
"avatar_url": "https://avatars.githubusercontent.com/u/24399397?v=4"
},
{
"type": "User",
"login": "JonathanHenson",
"commits": 97,
"avatar_url": "https://avatars.githubusercontent.com/u/3926469?u=bfac1b9ec7701991cf297ec4ae1eddaf0353c881&v=4"
},
{
"type": "User",
"login": "bretambrose",
"commits": 87,
"avatar_url": "https://avatars.githubusercontent.com/u/341314?v=4"
},
{
"type": "User",
"login": "dislogical",
"commits": 85,
"avatar_url": "https://avatars.githubusercontent.com/u/1354824?u=4f7b767d40a9c31c47d308900769d0a0c580fc62&v=4"
},
{
"type": "User",
"login": "feliperodri",
"commits": 66,
"avatar_url": "https://avatars.githubusercontent.com/u/4294522?u=a5f029472b6c191e7b2040a1add0b53bc17921e5&v=4"
},
{
"type": "User",
"login": "danielsn",
"commits": 59,
"avatar_url": "https://avatars.githubusercontent.com/u/4389518?u=29c066d2aa393d425bae3dab6854816c90e60e18&v=4"
},
{
"type": "User",
"login": "TingDaoK",
"commits": 42,
"avatar_url": "https://avatars.githubusercontent.com/u/26829806?v=4"
},
{
"type": "User",
"login": "DmitriyMusatkin",
"commits": 39,
"avatar_url": "https://avatars.githubusercontent.com/u/63878209?v=4"
},
{
"type": "User",
"login": "bdonlan",
"commits": 28,
"avatar_url": "https://avatars.githubusercontent.com/u/9473?v=4"
},
{
"type": "User",
"login": "waahm7",
"commits": 27,
"avatar_url": "https://avatars.githubusercontent.com/u/7613045?u=0d9b6216393280670456df47098c836a6047604d&v=4"
}
],
"contributors_sampled": 73,
"top_contributor_share": 0.133
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"ci.yml",
"clang-format.yml",
"clang-tidy.yml",
"closed-issue-message.yml",
"codecov.yml",
"config.yaml",
"handle-stale-discussions.yml",
"issue-regression-labeler.yml",
"proof_ci.yaml",
"stale_issue.yml"
],
"has_docs_dir": true,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 9,
"reason": "binaries present in source code",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 8,
"reason": "branch protection is not maximal on development and all release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "30 out of 30 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 10,
"reason": "all changesets reviewed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 17 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 10,
"reason": "project is fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 9,
"reason": "11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 8,
"reason": "SAST tool is not run on all commits -- score normalized to 8",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 10,
"reason": "security policy file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "a9d57d2d372582fa18bf1d81741e107c59a23226",
"ran_at": "2026-07-13T20:37:00Z",
"aggregate_score": 7.1,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/awslabs/aws-c-common",
"host": "github.com",
"name": "aws-c-common",
"owner": "awslabs"
},
"metrics": {
"overall": {
"key": "overall",
"band": "good",
"name": "Overall health",
"note": null,
"notes": [],
"value": 78,
"inputs": {
"security": 71,
"vitality": 79,
"community": 79,
"governance": 86,
"engineering": 71
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 79,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"commits_last_year": 25,
"human_commit_share": null,
"days_since_last_push": 4,
"active_weeks_last_year": 17
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 4 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 4
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "17/52 weeks with commits",
"points": 11.8,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 17
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "25 commits in the last year",
"points": 12.7,
"status": "partial",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 25
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9",
"points": 9,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 92,
"inputs": {
"releases_count": 100,
"latest_release_tag": "v0.14.2",
"releases_from_tags": false,
"days_since_latest_release": 4,
"mean_days_between_releases": 52.2
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "100 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 100
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 4 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 4
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~52.2 days",
"points": 19.8,
"status": "partial",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 52.2
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "no_commit_sample",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "good",
"name": "Community & Adoption",
"value": 79,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "moderate",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 67,
"inputs": {
"forks": 183,
"stars": 303,
"watchers": 32,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "303 stars",
"points": 40.2,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 303
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "183 forks",
"points": 18.8,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 183
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "32 watchers",
"points": 8.3,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 32
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "excellent",
"name": "Community health",
"note": null,
"notes": [],
"value": 92,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": true,
"has_pull_request_template": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (Apache-2.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "Apache-2.0"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 18,
"status": "met",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 13.5,
"status": "met",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 6.3,
"status": "met",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "excellent",
"name": "Sustainability & Governance",
"value": 86,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "excellent",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 89,
"inputs": {
"bus_factor": 5,
"contributors_sampled": 73,
"top_contributor_share": 0.133
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "5 contributor(s) cover half of all commits",
"points": 45.9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 5
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 13% of commits",
"points": 19.5,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 13
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "73 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 73
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 17 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"merged_prs": 939,
"open_issues": 10,
"closed_issues": 107,
"issue_closed_ratio": 0.915,
"closed_unmerged_prs": 171
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "92% of issues closed",
"points": 42.8,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 92
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "939/1110 decided PRs merged",
"points": 32.4,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 939,
"decided": 1110
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "all changesets reviewed",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 80,
"inputs": {
"followers": 11238,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "awslabs",
"public_repos": 1014,
"account_age_days": 4925
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "11,238 followers of awslabs",
"points": 25,
"status": "met",
"details": [
{
"code": "owner_followers",
"params": {
"count": 11238,
"login": "awslabs"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "1014 public repos, account ~13 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 1014
}
},
{
"code": "account_age_years",
"params": {
"years": 13
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 71,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "10 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 10
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "30 out of 30 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "good",
"name": "Documentation",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"topics": [
"aws-sdk",
"hacktoberfest"
],
"has_wiki": false,
"homepage": null,
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "2 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 2
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "good",
"name": "Security",
"value": 71,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "good",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Packaging, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"packaging",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 71,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 7.1
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "binaries present in source code",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection is not maximal on development and all release branches",
"points": 6,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "30 out of 30 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "all changesets reviewed",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 17 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is fuzzed",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 8",
"points": 4,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 6
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "at_risk",
"name": "AI Readiness",
"value": 47,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": "Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"legible_commit_history"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"has_llms_txt": false,
"legible_history_share": null,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": "Excluded from scoring (no data or not applicable): Demonstrated agent practice, Automated maintenance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"demonstrated_agent_practice",
"automated_maintenance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 62,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": true,
"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": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": null,
"toolchain_manifests": [],
"dependency_bot_commit_share": null
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "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",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"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"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "C (statically typed)",
"points": 11,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "C"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"primary_language": "C",
"largest_source_bytes": 196969,
"source_files_sampled": 501,
"oversized_source_files": 3
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "C (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "C"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "3/501 source files over 60KB",
"points": 54.7,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 501,
"oversized": 3
}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [],
"report_type": "repository",
"generated_at": "2026-07-13T20:37:28.920044Z",
"schema_version": "0.9.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/a/awslabs/aws-c-common.svg",
"full_name": "awslabs/aws-c-common",
"license_state": "standard",
"license_spdx": "Apache-2.0"
}Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.9.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.