Публічний реєстрВинятковий
Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-08-28 00:02 UTC
bunkerity / bunkerweb
🛡️ Open-source and cloud-native Web Application Firewall (WAF)
bunkerity/bunkerweb має індекс здоров’я 94 зі 100, що відповідає смузі «Винятковий». Найвищий показник — Vitality (96/100), найнижчий — Sustainability & Governance (62/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконує один учасник.
94
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
94
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 81 калібровано до 94 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
Власність
BunkerityОрганізація · підтверджений домен
217 підписників13 публічних репозиторіївз черв. 2021 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
96
Активність розробки
100Винятковий
Як обчислюється оцінка
| 36/36 | Свіжість push — останній push 0 дн. тому |
| 36/36 | Ритм комітів — 52/52 тижнів із комітами |
| 18/18 | Обсяг комітів — 2 119 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 28 issue activity found in the last 90 days -- score normalized to 10 |
Використані вхідні дані
| commits_last_year | 2 119 |
| human_commit_share | 0,88 |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
Дисципліна релізів
90Відмінний
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 90 релізів |
| 36/36 | Свіжість релізів — останній реліз 6 дн. тому |
| 27/27 | Ритм релізів — реліз кожні ~7,3 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Використані вхідні дані
| releases_count | 90 |
| latest_release_tag | v1.6.14 |
| releases_from_tags | ні |
| days_since_latest_release | 6 |
| mean_days_between_releases | 7,3 |
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
90
Популярність і впровадження
94Винятковий
Як обчислюється оцінка
| 60/60 | Зірки — 10 871 зірок |
| 23.4/25 | Форки — 641 форків |
| 10.8/15 | Спостерігачі — 90 спостерігачів |
Використані вхідні дані
| forks | 641 |
| stars | 10 871 |
| watchers | 90 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
85Відмінний
Як обчислюється оцінка
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (AGPL-3.0) |
| 18/18 | Настанови CONTRIBUTING |
| 13.5/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| readme_badges | 8 |
| has_contributing | так |
| has_issue_template | ні |
| has_code_of_conduct | так |
| readme_badge_services | shields.io, www.bestpractices.dev |
| has_pull_request_template | ні |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
62
Стійкість мейнтейнерів (бас-фактор)
40Слабкий
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 7/22.5 | Розподіл комітів — головний контриб’ютор — автор 69% комітів |
| 13.5/13.5 | Широта контриб’юторів — 50 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 5 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 50 |
| top_contributor_share | 0,691 |
Реактивність на issue та PR
66Добрий
Як обчислюється оцінка
| 37.3/42 | Вирішення issue — закрито 89% issue |
| 15.8/30 | Прийняття PR — злито 1 434/2 723 вирішених PR |
| 8.7/13 | Newcomer PR acceptance — злито 2/3 PR від новачків за 30 дн. |
| 4.5/15 | OpenSSF Scorecard: Code-Review — Found 1/3 approved changesets -- score normalized to 3 |
Використані вхідні дані
| merged_prs | 1 434 |
| open_issues | 112 |
| closed_issues | 899 |
| prs_merged_7d | 3 |
| prs_decided_7d | 4 |
| prs_merged_30d | 12 |
| prs_decided_30d | 13 |
| issue_closed_ratio | 0,889 |
| closed_unmerged_prs | 1 289 |
| first_time_authors_30d | 3 |
| first_time_prs_merged_30d | 2 |
| first_time_prs_decided_30d | 3 |
Власність та опіка
86Відмінний
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 20/20 | Верифікований домен |
| 16.8/25 | Охоплення власника — 217 підписників у bunkerity |
| 18.7/25 | Послужний список — 13 публічних репозиторіїв, вік облікового запису ~5 р. |
Використані вхідні дані
| followers | 217 |
| owner_type | Organization |
| is_verified | так |
| owner_login | bunkerity |
| public_repos | 13 |
| account_age_days | 1 890 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
90
Інженерні практики
84Відмінний
Як обчислюється оцінка
| 24/24 | Процеси CI — 26 процес(ів) CI |
| 24/24 | Наявні тести |
| 16/16 | Конфігурація лінтера — .pylintrc, pyproject.toml ([tool.black]) |
| 9.6/9.6 | Pre-commit-хуки |
| 6.4/6.4 | .editorconfig |
| 4/20 | OpenSSF Scorecard: CI-Tests — 2 out of 8 merged PRs checked by a CI test -- score normalized to 2 |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | так |
| has_linter_config | так |
| has_precommit_config | так |
Документація
100Винятковий
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://www.bunkerweb.io |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 20 тем |
| 10/10 | Wiki |
Використані вхідні дані
| topics | nginx, modsecurity, docker, security, dnsbl, reverse-proxy, hardening, web-security, security-tuning, cybersecurity, devsecops, antibot, letsencrypt, swarm, kubernetes, devops, hosting, waf, web-application-firewall, waap |
| has_wiki | так |
| homepage | https://www.bunkerweb.io |
| docs_site | https://www.bunkerweb.io |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
66
Стан безпеки
57Помірний
Як обчислюється оцінка
| 6.8/7.5 | Binary-Artifacts — binaries present in source code |
| 4.5/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 0.5/2.5 | CI-Tests — 2 out of 8 merged PRs checked by a CI test -- score normalized to 2 |
| 1.2/2.5 | CII-Best-Practices — badge detected: Passing |
| 2.2/7.5 | Code-Review — Found 1/3 approved changesets -- score normalized to 3 |
| 2.5/2.5 | Contributors — project has 5 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 28 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 4.5/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 9 |
| 3.5/5 | SAST — SAST tool detected but not run on all commits |
| 2/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 45 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5,7 |
Сповіщення про залежності
100Винятковий
Як обчислюється оцінка
| 35/35 | Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень |
| 0/25 | Непрямі залежності без відомих сповіщень — транзитивний набір не відокремлюється від залежностей розробки й тестування в цьому обсязі |
| 0/40 | Немає задавнених сповіщень — жодне сповіщення не має дати публікації |
Використані вхідні дані
| source | osv |
| advisories | 98 |
| affected_packages | 17 |
| assessed_packages | 441 |
| unassessed_packages | 18 |
| affected_by_severity | critical 2, high 10, moderate 5 |
| direct_affected_packages | 0 |
Виключено з оцінювання (немає даних або не застосовно): Непрямі залежності без відомих сповіщень, Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено 441 резолвлених залежностей із OSV. 18 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза межами звітованого переліку пакетів. Цей репозиторій не публікує пакета, який резолвить індекс, тож натомість оцінено граф залежностей репозиторію. Цей граф змішує закріплені версії для розробки й тестування зі справді постачаними залежностями, тож оцінюються лише задекларовані runtime-залежності; транзитивні знахідки подаються як контекст і в оцінку не входять. Досяжність не аналізується.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
87
Контекст і настанови для агентів
100Винятковий
Як обчислюється оцінка
| 45/45 | Інструкції для агентів — .github/copilot-instructions.md, AGENTS.md, CLAUDE.md, examples/mcp-stack/CLAUDE.md |
| 15/15 | Машиночитана документація (llms.txt) — llms.txt опубліковано на сайті проєкту (https://docs.nginx.com/llms.txt) |
| 40/40 | Читабельна історія комітів — намір зазначено у 77 з 88 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | так |
| llms_txt_url | https://docs.nginx.com/llms.txt |
| legible_history_share | 0,875 |
| agent_instruction_files | .github/copilot-instructions.md, AGENTS.md, CLAUDE.md, examples/mcp-stack/CLAUDE.md |
| agent_instruction_max_bytes | 8 834 |
Як обчислюється оцінка
| 18/18 | Розгортання однією командою — src/deps/src/brotli/python/Makefile, src/deps/src/libinjection/go/Makefile, src/deps/src/libinjection/lua/Makefile, src/deps/src/libinjection/misc/Makefile, src/deps/src/libinjection/php/Makefile, src/deps/src/libinjection/python/Makefile, src/deps/src/libmaxminddb/mise.toml, src/deps/src/lua-5.1.5/Makefile, src/deps/src/lua-5.1.5/etc/Makefile, src/deps/src/lua-5.1.5/src/Makefile, src/deps/src/lua-cjson/Makefile, src/deps/src/lua-gd/Makefile, src/deps/src/lua-nginx-module/misc/recv-until-pm/Makefile, src/deps/src/lua-resty-core/Makefile, src/deps/src/lua-resty-dns/Makefile, src/deps/src/lua-resty-env/Makefile, src/deps/src/lua-resty-http/Makefile, src/deps/src/lua-resty-ipmatcher/Makefile, src/deps/src/lua-resty-lock/Makefile, src/deps/src/lua-resty-lrucache/Makefile, src/deps/src/lua-resty-openssl/Makefile, src/deps/src/lua-resty-random/Makefile, src/deps/src/lua-resty-redis-connector/Makefile, src/deps/src/lua-resty-redis/Makefile, src/deps/src/lua-resty-session/Makefile, src/deps/src/lua-resty-signal/Makefile, src/deps/src/lua-resty-string/Makefile, src/deps/src/lua-resty-template/Makefile, src/deps/src/lua-resty-upload/Makefile, src/deps/src/luajit-geoip/Makefile, src/deps/src/luajit/Makefile, src/deps/src/luajit/src/Makefile, src/deps/src/luajit/src/x64/Makefile, src/deps/src/luajit/src/x64/test/Makefile, src/deps/src/lualogging/Makefile, src/deps/src/luasec/Makefile, src/deps/src/luasec/src/Makefile, src/deps/src/luasec/src/luasocket/Makefile, src/deps/src/luasocket/gem/makefile, src/deps/src/luasocket/makefile, src/deps/src/luasocket/src/makefile, src/deps/src/mbedtls/library/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/dev/aarch64_opt/src/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic_deterministic/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic_lowram/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/bring_your_own_fips202/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/bring_your_own_fips202_static/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/custom_backend/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_multilevel/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_multilevel_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/multilevel_build/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/multilevel_build_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/H/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/attempt_signature_generation/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/check_pct/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/compute_pack_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/compute_t0_t1_tr_from_sk_components/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_abs_i32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_neg_i32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_nonzero_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_nonzero_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_i64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_memcmp/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_sel_int32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/fqmul/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/fqscale/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/invntt_layer/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_absorb_once_x4/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_squeezeblocks_x4/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_extract_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_extract_bytes_BE/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_permute/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_permute_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_xor_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_xor_bytes_BE/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_extract_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_permute/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_permute_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_xor_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/montgomery_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_butterfly_block/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_layer/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_native_x86_64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_pk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sig_c_h/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sig_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_add/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_challenge/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_shiftl/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_sub/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_eta_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_gamma1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_gamma1_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyeta_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyeta_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polymat_permute_bitrev_to_custom/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt0_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt0_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt1_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt1_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_expand/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_expand_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_pointwise_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_add/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_invntt_tomont/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_t0/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_w1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pointwise_poly_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_shiftl/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_sub/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_unpack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_unpack_t0/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_permute_bitrev_to_custom/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_permute_bitrev_to_custom_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_uniform_gamma1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_uniform_gamma1_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_unpack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_unpack_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyw1_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/prepare_domain_separation_prefix/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/reduce32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sample_s1_s2/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sample_s1_s2_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_release/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128x4_absorb_once/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128x4_squeezeblocks/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_release/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256x4_absorb_once/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256x4_squeezeblocks/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_keypair/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_keypair_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_open/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_pk_from_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_extmu/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_pre_hash_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_pre_hash_shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_extmu/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_pre_hash_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_pre_hash_shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sys_check_capability/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_hints/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_pk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_sig/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_i64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/hol_light/x86_64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/framework/data_files/Makefile, src/deps/src/mbedtls/tf-psa-crypto/framework/psasim/Makefile, src/deps/src/mbedtls/tf-psa-crypto/tests/Makefile, src/deps/src/nginx/misc/GNUmakefile, src/deps/src/nginx/src/event/quic/bpf/makefile, src/deps/src/zlib/Makefile, src/deps/src/zlib/contrib/blast/Makefile, src/deps/src/zlib/contrib/minizip/Makefile, src/deps/src/zlib/contrib/puff/Makefile |
| 22/22 | Автоматизовані тести |
| 11/11 | Конфігурація лінтера / форматера — .pylintrc, pyproject.toml ([tool.black]) |
| 11/11 | Статична перевірка типів — src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini |
| 10/10 | Відтворюване середовище — Dockerfile, Nix, lockfile |
| 0/10 | Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом |
| 8/8 | Автоматизоване супроводження — 12 з останніх 100 комітів — автоматичні оновлення залежностей |
| 9/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 9 |
Використані вхідні дані
| has_nix | так |
| has_tests | так |
| lockfiles | package-lock.json |
| has_dockerfile | так |
| typed_language | ні |
| bootstrap_files | src/deps/src/brotli/python/Makefile, src/deps/src/libinjection/go/Makefile, src/deps/src/libinjection/lua/Makefile, src/deps/src/libinjection/misc/Makefile, src/deps/src/libinjection/php/Makefile, src/deps/src/libinjection/python/Makefile, src/deps/src/libmaxminddb/mise.toml, src/deps/src/lua-5.1.5/Makefile, src/deps/src/lua-5.1.5/etc/Makefile, src/deps/src/lua-5.1.5/src/Makefile, src/deps/src/lua-cjson/Makefile, src/deps/src/lua-gd/Makefile, src/deps/src/lua-nginx-module/misc/recv-until-pm/Makefile, src/deps/src/lua-resty-core/Makefile, src/deps/src/lua-resty-dns/Makefile, src/deps/src/lua-resty-env/Makefile, src/deps/src/lua-resty-http/Makefile, src/deps/src/lua-resty-ipmatcher/Makefile, src/deps/src/lua-resty-lock/Makefile, src/deps/src/lua-resty-lrucache/Makefile, src/deps/src/lua-resty-openssl/Makefile, src/deps/src/lua-resty-random/Makefile, src/deps/src/lua-resty-redis-connector/Makefile, src/deps/src/lua-resty-redis/Makefile, src/deps/src/lua-resty-session/Makefile, src/deps/src/lua-resty-signal/Makefile, src/deps/src/lua-resty-string/Makefile, src/deps/src/lua-resty-template/Makefile, src/deps/src/lua-resty-upload/Makefile, src/deps/src/luajit-geoip/Makefile, src/deps/src/luajit/Makefile, src/deps/src/luajit/src/Makefile, src/deps/src/luajit/src/x64/Makefile, src/deps/src/luajit/src/x64/test/Makefile, src/deps/src/lualogging/Makefile, src/deps/src/luasec/Makefile, src/deps/src/luasec/src/Makefile, src/deps/src/luasec/src/luasocket/Makefile, src/deps/src/luasocket/gem/makefile, src/deps/src/luasocket/makefile, src/deps/src/luasocket/src/makefile, src/deps/src/mbedtls/library/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/dev/aarch64_opt/src/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic_deterministic/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic_lowram/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/bring_your_own_fips202/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/bring_your_own_fips202_static/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/custom_backend/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_multilevel/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_multilevel_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/multilevel_build/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/multilevel_build_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/H/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/attempt_signature_generation/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/check_pct/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/compute_pack_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/compute_t0_t1_tr_from_sk_components/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_abs_i32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_neg_i32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_nonzero_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_nonzero_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_i64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_memcmp/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_sel_int32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/fqmul/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/fqscale/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/invntt_layer/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_absorb_once_x4/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_squeezeblocks_x4/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_extract_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_extract_bytes_BE/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_permute/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_permute_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_xor_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_xor_bytes_BE/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_extract_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_permute/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_permute_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_xor_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/montgomery_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_butterfly_block/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_layer/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_native_x86_64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_pk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sig_c_h/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sig_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_add/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_challenge/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_shiftl/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_sub/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_eta_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_gamma1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_gamma1_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyeta_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyeta_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polymat_permute_bitrev_to_custom/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt0_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt0_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt1_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt1_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_expand/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_expand_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_pointwise_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_add/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_invntt_tomont/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_t0/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_w1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pointwise_poly_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_shiftl/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_sub/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_unpack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_unpack_t0/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_permute_bitrev_to_custom/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_permute_bitrev_to_custom_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_uniform_gamma1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_uniform_gamma1_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_unpack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_unpack_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyw1_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/prepare_domain_separation_prefix/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/reduce32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sample_s1_s2/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sample_s1_s2_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_release/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128x4_absorb_once/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128x4_squeezeblocks/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_release/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256x4_absorb_once/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256x4_squeezeblocks/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_keypair/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_keypair_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_open/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_pk_from_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_extmu/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_pre_hash_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_pre_hash_shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_extmu/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_pre_hash_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_pre_hash_shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sys_check_capability/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_hints/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_pk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_sig/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_i64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/hol_light/x86_64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/framework/data_files/Makefile, src/deps/src/mbedtls/tf-psa-crypto/framework/psasim/Makefile, src/deps/src/mbedtls/tf-psa-crypto/tests/Makefile, src/deps/src/nginx/misc/GNUmakefile, src/deps/src/nginx/src/event/quic/bpf/makefile, src/deps/src/zlib/Makefile, src/deps/src/zlib/contrib/blast/Makefile, src/deps/src/zlib/contrib/minizip/Makefile, src/deps/src/zlib/contrib/puff/Makefile |
| has_devcontainer | ні |
| has_linter_config | так |
| typecheck_configs | src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini |
| agent_commit_share | 0 |
| toolchain_manifests | src/deps/src/brotli/csharp/brotlidec.Tests.csproj, src/deps/src/brotli/csharp/brotlidec.csproj, src/deps/src/brotli/go/brotli/go.mod, src/deps/src/brotli/go/cbrotli/go.mod, src/deps/src/brotli/java/org/brotli/dec/pom.xml, src/deps/src/brotli/java/org/brotli/integration/pom.xml, src/deps/src/brotli/java/org/brotli/pom.xml, src/deps/src/zlib/contrib/dotzlib/DotZLib/DotZLib.csproj, src/deps/src/zlib/contrib/nuget/nuget.csproj |
| dependency_bot_commit_share | 0,12 |
Читабельність коду для моделей
80Відмінний
Як обчислюється оцінка
| 27/45 | Типізований код — Python з конфігурацією перевірки типів (src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini) |
| 53.2/55 | Керовані розміри файлів — 117/3 544 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | Python |
| largest_source_bytes | 13 049 704 |
| source_files_sampled | 3 544 |
| oversized_source_files | 117 |
Машиночитні інтерфейси
60Помірний
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) |
| 20/20 | Сервер MCP |
| 40/40 | Придатні до запуску приклади — demos, examples, samples |
Використані вхідні дані
| example_dirs | demos, examples, samples |
| has_mcp_signal | так |
| api_schema_files | — |
| interfaces_expected_of | network-service |
Ключові факти
10 871зірок GitHub
50контриб'юторів
2 119комітів за останні 12 місяців
0днів від останнього пушу
90релізів
1бас-фактор
112відкритих issue
npm, PyPIпакетних екосистем
Попередження щодо збору даних
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch pypi package 'BunkerWeb' from its registry
Докладніше
Історія зірок і форків 0 ★ / 641 ⇿
0Зірки
641Форки
90Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 4Патчі 36
Кожна точка охоплює 6 днів.
OpenSSF Scorecard 5.7 / 10
5.7сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 9 | Binary-Artifacts | binaries present in source code |
| 6 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 2 | CI-Tests | 2 out of 8 merged PRs checked by a CI test -- score normalized to 2 |
| 5 | CII-Best-Practices | badge detected: Passing |
| 3 | Code-Review | Found 1/3 approved changesets -- score normalized to 3 |
| 10 | Contributors | project has 5 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 28 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 9 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 9 |
| 7 | SAST | SAST tool detected but not run on all commits |
| 4 | Security-Policy | security policy file detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 45 existing vulnerabilities detected |
Прямі залежності 5
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| npm | cssnano | 8.0.2 | src/deps/package.json |
| npm | html-minifier-terser | 7.2.0 | src/deps/package.json |
| npm | postcss | 8.5.24 | src/deps/package.json |
| npm | postcss-cli | 11.0.1 | src/deps/package.json |
| npm | uglify-js | 3.19.3 | src/deps/package.json |
Усі залежності 459
Повний розв'язаний набір залежностей із графа залежностей GitHub: 5 прямих і 454 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
| Реєстр | Пакет | Версія | Зв'язок |
|---|---|---|---|
| npm | cssnano | 8.0.2 | пряма |
| npm | html-minifier-terser | 7.2.0 | пряма |
| npm | postcss | 8.5.24 | пряма |
| npm | postcss-cli | 11.0.1 | пряма |
| npm | uglify-js | 3.19.3 | пряма |
| Maven | junit:junit | 4.13.2 | непряма |
| Maven | org.apache.felix:maven-bundle-plugin | 6.0.0 | непряма |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | 3.14.0 | непряма |
| Maven | org.apache.maven.plugins:maven-gpg-plugin | 3.2.8 | непряма |
| Maven | org.apache.maven.plugins:maven-jar-plugin | 3.4.2 | непряма |
| Maven | org.apache.maven.plugins:maven-javadoc-plugin | 3.12.0 | непряма |
| Maven | org.apache.maven.plugins:maven-source-plugin | 3.3.1 | непряма |
| Maven | org.apache.maven.plugins:maven-surefire-plugin | 3.5.4 | непряма |
| Maven | org.brotli:dec | 1.2.0-SNAPSHOT | непряма |
| Maven | org.codehaus.mojo:exec-maven-plugin | 3.5.1 | непряма |
| Maven | org.sonatype.plugins:nexus-staging-maven-plugin | 1.7.0 | непряма |
| npm | @colordx/core | 5.4.3 | непряма |
| npm | @jridgewell/gen-mapping | 0.3.13 | непряма |
| npm | @jridgewell/resolve-uri | 3.1.2 | непряма |
| npm | @jridgewell/source-map | 0.3.11 | непряма |
| npm | @jridgewell/sourcemap-codec | 1.5.5 | непряма |
| npm | @jridgewell/trace-mapping | 0.3.31 | непряма |
| npm | acorn | 8.17.0 | непряма |
| npm | ansi-regex | 5.0.1 | непряма |
| npm | ansi-styles | 4.3.0 | непряма |
| npm | anymatch | 3.1.3 | непряма |
| npm | baseline-browser-mapping | 2.10.38 | непряма |
| npm | binary-extensions | 2.3.0 | непряма |
| npm | boolbase | 1.0.0 | непряма |
| npm | braces | 3.0.3 | непряма |
| npm | browserslist | 4.28.2 | непряма |
| npm | buffer-from | 1.1.2 | непряма |
| npm | camel-case | 4.1.2 | непряма |
| npm | caniuse-api | 4.0.0 | непряма |
| npm | caniuse-lite | 1.0.30001799 | непряма |
| npm | chokidar | 3.6.0 | непряма |
| npm | clean-css | 5.3.3 | непряма |
| npm | cliui | 8.0.1 | непряма |
| npm | color-convert | 2.0.1 | непряма |
| npm | color-name | 1.1.4 | непряма |
| npm | commander | 10.0.1 | непряма |
| npm | commander | 11.1.0 | непряма |
| npm | commander | 2.20.3 | непряма |
| npm | css-select | 5.2.2 | непряма |
| npm | css-tree | 2.2.1 | непряма |
| npm | css-tree | 3.2.1 | непряма |
| npm | css-what | 6.2.2 | непряма |
| npm | cssesc | 3.0.0 | непряма |
| npm | cssnano-preset-default | 8.0.2 | непряма |
| npm | cssnano-utils | 6.0.1 | непряма |
| npm | csso | 5.0.5 | непряма |
| npm | dependency-graph | 1.0.0 | непряма |
| npm | dom-serializer | 2.0.0 | непряма |
| npm | domelementtype | 2.3.0 | непряма |
| npm | domhandler | 5.0.3 | непряма |
| npm | domutils | 3.2.2 | непряма |
| npm | dot-case | 3.0.4 | непряма |
| npm | electron-to-chromium | 1.5.375 | непряма |
| npm | emoji-regex | 8.0.0 | непряма |
| npm | entities | 4.5.0 | непряма |
| npm | escalade | 3.2.0 | непряма |
| npm | fdir | 6.5.0 | непряма |
| npm | fill-range | 7.1.1 | непряма |
| npm | fs-extra | 11.3.5 | непряма |
| npm | fsevents | 2.3.3 | непряма |
| npm | get-caller-file | 2.0.5 | непряма |
| npm | glob-parent | 5.1.2 | непряма |
| npm | graceful-fs | 4.2.11 | непряма |
| npm | is-binary-path | 2.1.0 | непряма |
| npm | is-extglob | 2.1.1 | непряма |
| npm | is-fullwidth-code-point | 3.0.0 | непряма |
| npm | is-glob | 4.0.3 | непряма |
| npm | is-number | 7.0.0 | непряма |
| npm | jsonfile | 6.2.1 | непряма |
| npm | lilconfig | 3.1.3 | непряма |
| npm | lower-case | 2.0.2 | непряма |
| npm | mdn-data | 2.0.28 | непряма |
| npm | mdn-data | 2.27.1 | непряма |
| npm | nanoid | 3.3.16 | непряма |
| npm | no-case | 3.0.4 | непряма |
| npm | node-releases | 2.0.48 | непряма |
| npm | normalize-path | 3.0.0 | непряма |
| npm | nth-check | 2.1.1 | непряма |
| npm | param-case | 3.0.4 | непряма |
| npm | pascal-case | 3.1.2 | непряма |
| npm | picocolors | 1.1.1 | непряма |
| npm | picomatch | 2.3.2 | непряма |
| npm | picomatch | 4.0.4 | непряма |
| npm | pify | 2.3.0 | непряма |
| npm | postcss-calc | 10.1.1 | непряма |
| npm | postcss-colormin | 8.0.1 | непряма |
| npm | postcss-convert-values | 8.0.1 | непряма |
| npm | postcss-discard-comments | 8.0.1 | непряма |
| npm | postcss-discard-duplicates | 8.0.1 | непряма |
| npm | postcss-discard-empty | 8.0.1 | непряма |
| npm | postcss-discard-overridden | 8.0.1 | непряма |
| npm | postcss-load-config | 5.1.0 | непряма |
| npm | postcss-merge-longhand | 8.0.1 | непряма |
| npm | postcss-merge-rules | 8.0.1 | непряма |
| npm | postcss-minify-font-values | 8.0.1 | непряма |
| npm | postcss-minify-gradients | 8.0.1 | непряма |
| npm | postcss-minify-params | 8.0.1 | непряма |
| npm | postcss-minify-selectors | 8.0.2 | непряма |
| npm | postcss-normalize-charset | 8.0.1 | непряма |
| npm | postcss-normalize-display-values | 8.0.1 | непряма |
| npm | postcss-normalize-positions | 8.0.1 | непряма |
| npm | postcss-normalize-repeat-style | 8.0.1 | непряма |
| npm | postcss-normalize-string | 8.0.1 | непряма |
| npm | postcss-normalize-timing-functions | 8.0.1 | непряма |
| npm | postcss-normalize-unicode | 8.0.1 | непряма |
| npm | postcss-normalize-url | 8.0.1 | непряма |
| npm | postcss-normalize-whitespace | 8.0.1 | непряма |
| npm | postcss-ordered-values | 8.0.1 | непряма |
| npm | postcss-reduce-initial | 8.0.1 | непряма |
| npm | postcss-reduce-transforms | 8.0.1 | непряма |
| npm | postcss-reporter | 7.1.0 | непряма |
| npm | postcss-selector-parser | 7.1.4 | непряма |
| npm | postcss-svgo | 8.0.1 | непряма |
| npm | postcss-unique-selectors | 8.0.1 | непряма |
| npm | postcss-value-parser | 4.2.0 | непряма |
| npm | pretty-hrtime | 1.0.3 | непряма |
| npm | puppeteer | ^24.8.2 | непряма |
| npm | read-cache | 1.0.0 | непряма |
| npm | readdirp | 3.6.0 | непряма |
| npm | relateurl | 0.2.7 | непряма |
| npm | require-directory | 2.1.1 | непряма |
| npm | sax | 1.6.0 | непряма |
| npm | slash | 5.1.0 | непряма |
| npm | source-map | 0.6.1 | непряма |
| npm | source-map-js | 1.2.1 | непряма |
| npm | source-map-support | 0.5.21 | непряма |
| npm | string-width | 4.2.3 | непряма |
| npm | strip-ansi | 6.0.1 | непряма |
| npm | stylehacks | 8.0.1 | непряма |
| npm | svgo | 4.0.1 | непряма |
| npm | terser | 5.48.0 | непряма |
| npm | thenby | 1.4.1 | непряма |
| npm | tinyglobby | 0.2.17 | непряма |
| npm | to-regex-range | 5.0.1 | непряма |
| npm | tslib | 2.8.1 | непряма |
| npm | universalify | 2.0.1 | непряма |
| npm | update-browserslist-db | 1.2.3 | непряма |
| npm | util-deprecate | 1.0.2 | непряма |
| npm | wrap-ansi | 7.0.0 | непряма |
| npm | y18n | 5.0.8 | непряма |
| npm | yaml | 2.9.0 | непряма |
| npm | yargs | 17.7.2 | непряма |
| npm | yargs | ~8.0.2 | непряма |
| npm | yargs-parser | 21.1.1 | непряма |
| NuGet | Microsoft.NET.Test.Sdk | 18.0.0 | непряма |
| NuGet | NUnit | 3.14.0 | непряма |
| NuGet | NUnit3TestAdapter | 5.2.0 | непряма |
| PyPI | acme | 5.7.0 | непряма |
| PyPI | aiohappyeyeballs | 2.7.1 | непряма |
| PyPI | aiohttp | 3.14.3 | непряма |
| PyPI | aiosignal | 1.4.0 | непряма |
| PyPI | alembic | 1.19.1 | непряма |
| PyPI | annotated-doc | 0.0.5 | непряма |
| PyPI | annotated-types | 0.7.0 | непряма |
| PyPI | annotated-types | 0.8.0 | непряма |
| PyPI | ansible | 9.5.1 | непряма |
| PyPI | ansible-core | 2.16.8 | непряма |
| PyPI | anyio | 4.14.2 | непряма |
| PyPI | anyio | 4.6.0 | непряма |
| PyPI | anyio | 4.6.2.post1 | непряма |
| PyPI | asn1crypto | — | непряма |
| PyPI | async-timeout | 4.0.3 | непряма |
| PyPI | async-timeout | 5.0.1 | непряма |
| PyPI | attrs | 24.2.0 | непряма |
| PyPI | attrs | 26.1.0 | непряма |
| PyPI | babel | 2.18.0 | непряма |
| PyPI | backrefs | 8.0 | непряма |
| PyPI | bcrypt | 5.0.0 | непряма |
| PyPI | beautifulsoup4 | 4.15.0 | непряма |
| PyPI | biscuit-python | — | непряма |
| PyPI | blinker | 1.9.0 | непряма |
| PyPI | boto3 | 1.43.75 | непряма |
| PyPI | botocore | 1.43.75 | непряма |
| PyPI | build | 1.5.0 | непряма |
| PyPI | cachelib | 0.15.4 | непряма |
| PyPI | cairocffi | 1.7.1 | непряма |
| PyPI | cairosvg | 2.9.0 | непряма |
| PyPI | certbot | 5.7.0 | непряма |
| PyPI | certbot-dns-bunny | 3.0.0 | непряма |
| PyPI | certbot-dns-cloudflare | 5.7.0 | непряма |
| PyPI | certbot-dns-cloudns | 0.7.0 | непряма |
| PyPI | certbot-dns-desec | 1.3.2 | непряма |
| PyPI | certbot-dns-digitalocean | 5.7.0 | непряма |
| PyPI | certbot-dns-dnsimple | 5.7.0 | непряма |
| PyPI | certbot-dns-dnsmadeeasy | 5.7.0 | непряма |
| PyPI | certbot-dns-domainoffensive | 2.0.0 | непряма |
| PyPI | certbot-dns-domeneshop | 0.2.9 | непряма |
| PyPI | certbot-dns-duckdns | 1.9.0 | непряма |
| PyPI | certbot-dns-dynu | 0.0.6.post2502111739272536 | непряма |
| PyPI | certbot-dns-gandi | 1.6.2 | непряма |
| PyPI | certbot-dns-gehirn | 5.7.0 | непряма |
| PyPI | certbot-dns-godaddy | 2.8.0 | непряма |
| PyPI | certbot-dns-google | 5.7.0 | непряма |
| PyPI | certbot-dns-hetzner | 4.0.0 | непряма |
| PyPI | certbot-dns-infomaniak | 0.3.2 | непряма |
| PyPI | certbot-dns-ionos | 2024.11.9 | непряма |
| PyPI | certbot-dns-linode | 5.7.0 | непряма |
| PyPI | certbot-dns-luadns | 5.7.0 | непряма |
| PyPI | certbot-dns-njalla | 2.0.2 | непряма |
| PyPI | certbot-dns-nsone | 5.7.0 | непряма |
| PyPI | certbot-dns-ovh | 5.7.0 | непряма |
| PyPI | certbot-dns-pdns | 0.1.1 | непряма |
| PyPI | certbot-dns-porkbun | 0.11.0 | непряма |
| PyPI | certbot-dns-rfc2136 | 5.7.0 | непряма |
| PyPI | certbot-dns-route53 | 5.7.0 | непряма |
| PyPI | certbot-dns-sakuracloud | 5.7.0 | непряма |
| PyPI | certbot-dns-scaleway | 0.0.7 | непряма |
| PyPI | certbot-dns-transip | — | непряма |
| PyPI | certifi | 2024.8.30 | непряма |
| PyPI | certifi | 2026.7.22 | непряма |
| PyPI | cffi | 1.16.0 | непряма |
| PyPI | cffi | 1.17.1 | непряма |
| PyPI | cffi | 2.1.1 | непряма |
| PyPI | chardet | 6.0.0.post1 | непряма |
| PyPI | charset-normalizer | 3.3.2 | непряма |
| PyPI | charset-normalizer | 3.4.0 | непряма |
| PyPI | charset-normalizer | 3.5.1 | непряма |
| PyPI | clang | — | непряма |
| PyPI | click | 8.1.7 | непряма |
| PyPI | click | 8.4.2 | непряма |
| PyPI | cloudflare | 5.6.0 | непряма |
| PyPI | cloudns-api | 0.9.3 | непряма |
| PyPI | colorama | 0.4.6 | непряма |
| PyPI | configargparse | 1.7.5 | непряма |
| PyPI | configobj | 5.0.9 | непряма |
| PyPI | cryptography | — | непряма |
| PyPI | cryptography | 42.0.8 | непряма |
| PyPI | cryptography | 43.0.3 | непряма |
| PyPI | cryptography | 50.0.0 | непряма |
| PyPI | cssselect2 | 0.9.0 | непряма |
| PyPI | dataproperty | 1.1.1 | непряма |
| PyPI | defusedcsv | 3.0.0 | непряма |
| PyPI | defusedxml | 0.7.1 | непряма |
| PyPI | deprecated | 1.3.1 | непряма |
| PyPI | dilithium-py | — | непряма |
| PyPI | distro | 1.9.0 | непряма |
| PyPI | dns-lexicon | 3.25.2 | непряма |
| PyPI | dnspython | 2.8.0 | непряма |
| PyPI | docker | 7.1.0 | непряма |
| PyPI | docker | 7.2.0 | непряма |
| PyPI | docopt-ng | 0.9.0 | непряма |
| PyPI | domeneshop | 0.4.4 | непряма |
| PyPI | durationpy | 0.10 | непряма |
| PyPI | email-validator | 2.3.0 | непряма |
| PyPI | et-xmlfile | 2.0.0 | непряма |
| PyPI | exceptiongroup | 1.2.2 | непряма |
| PyPI | fastapi | 0.115.0 | непряма |
| PyPI | fastapi | 0.115.3 | непряма |
| PyPI | fastapi | 0.141.1 | непряма |
| PyPI | filelock | 3.32.3 | непряма |
| PyPI | flask | 3.1.3 | непряма |
| PyPI | flask-login | 0.6.3 | непряма |
| PyPI | flask-session | 0.8.0 | непряма |
| PyPI | flask-wtf | 1.3.0 | непряма |
| PyPI | frozenlist | 1.8.0 | непряма |
| PyPI | ghp-import | 2.1.0 | непряма |
| PyPI | google-api-core | 2.34.0 | непряма |
| PyPI | google-api-python-client | 2.198.0 | непряма |
| PyPI | google-auth | 2.56.3 | непряма |
| PyPI | google-auth-httplib2 | 0.4.1 | непряма |
| PyPI | googleapis-common-protos | 1.75.1 | непряма |
| PyPI | greenlet | 3.1.1 | непряма |
| PyPI | greenlet | 3.5.5 | непряма |
| PyPI | gunicorn | 26.0.0 | непряма |
| PyPI | h11 | 0.14.0 | непряма |
| PyPI | h11 | 0.16.0 | непряма |
| PyPI | h2 | 4.4.1 | непряма |
| PyPI | hcloud | 2.23.0 | непряма |
| PyPI | hiredis | 3.4.1 | непряма |
| PyPI | hpack | 4.2.0 | непряма |
| PyPI | httpcore | 1.0.6 | непряма |
| PyPI | httpcore | 1.0.9 | непряма |
| PyPI | httplib2 | 0.32.0 | непряма |
| PyPI | httptools | 0.6.1 | непряма |
| PyPI | httptools | 0.6.4 | непряма |
| PyPI | httptools | 0.8.0 | непряма |
| PyPI | httpx | 0.27.2 | непряма |
| PyPI | httpx | 0.28.1 | непряма |
| PyPI | hyperframe | 6.1.0 | непряма |
| PyPI | idna | 3.10 | непряма |
| PyPI | idna | 3.19 | непряма |
| PyPI | importlib-metadata | 9.0.0 | непряма |
| PyPI | itsdangerous | 2.2.0 | непряма |
| PyPI | jinja2 | — | непряма |
| PyPI | jinja2 | 3.1.4 | непряма |
| PyPI | jinja2 | 3.1.6 | непряма |
| PyPI | jmespath | 1.1.0 | непряма |
| PyPI | josepy | 2.2.0 | непряма |
| PyPI | jsonpickle | 4.1.2 | непряма |
| PyPI | jsonschema | — | непряма |
| PyPI | kubernetes | 36.0.3 | непряма |
| PyPI | libpass | 1.9.3 | непряма |
| PyPI | limits | 5.8.0 | непряма |
| PyPI | mako | 1.4.1 | непряма |
| PyPI | markdown | 3.10.3 | непряма |
| PyPI | markupsafe | — | непряма |
| PyPI | markupsafe | 2.1.5 | непряма |
| PyPI | markupsafe | 3.0.3 | непряма |
| PyPI | maxminddb | 2.6.2 | непряма |
| PyPI | maxminddb | 3.1.1 | непряма |
| PyPI | mbstrdecoder | 1.1.5 | непряма |
| PyPI | mergedeep | 1.3.4 | непряма |
| PyPI | mike | 2.2.0 | непряма |
| PyPI | mkdocs | 1.6.1 | непряма |
| PyPI | mkdocs-get-deps | 0.2.2 | непряма |
| PyPI | mkdocs-material | 9.7.7 | непряма |
| PyPI | mkdocs-material-extensions | 1.3.1 | непряма |
| PyPI | mkdocs-print-site-plugin | 2.8 | непряма |
| PyPI | mkdocs-static-i18n | 1.3.1 | непряма |
| PyPI | mock | 5.2.0 | непряма |
| PyPI | msc-pyparser | — | непряма |
| PyPI | msgspec | 0.21.1 | непряма |
| PyPI | multidict | 6.7.1 | непряма |
| PyPI | mypy | 0.942 | непряма |
| PyPI | oauthlib | 3.3.1 | непряма |
| PyPI | openpyxl | 3.1.5 | непряма |
| PyPI | outcome | 1.3.0.post0 | непряма |
| PyPI | packaging | 24.1 | непряма |
| PyPI | packaging | 26.3 | непряма |
| PyPI | paginate | 0.5.7 | непряма |
| PyPI | parsedatetime | 2.6 | непряма |
| PyPI | pathspec | 1.1.1 | непряма |
| PyPI | pathvalidate | 3.3.1 | непряма |
| PyPI | pillow | 12.3.0 | непряма |
| PyPI | pip | 26.2.1 | непряма |
| PyPI | pip-compile-multi | 3.3.1 | непряма |
| PyPI | pip-tools | 7.6.1 | непряма |
| PyPI | pip-upgrader | 2.4.13 | непряма |
| PyPI | pkb-client | 2.3.1 | непряма |
| PyPI | platformdirs | 4.11.3 | непряма |
| PyPI | prompt-toolkit | 3.0.53 | непряма |
| PyPI | propcache | 0.5.2 | непряма |
| PyPI | proto-plus | 1.28.3 | непряма |
| PyPI | protobuf | 7.35.1 | непряма |
| PyPI | psutil | 7.2.2 | непряма |
| PyPI | psycopg | 3.2.3 | непряма |
| PyPI | psycopg | 3.3.4 | непряма |
| PyPI | psycopg-binary | 3.2.3 | непряма |
| PyPI | psycopg-binary | 3.3.4 | непряма |
| PyPI | psycopg-c | 3.3.4 | непряма |
| PyPI | psycopg-pool | 3.2.3 | непряма |
| PyPI | psycopg-pool | 3.3.1 | непряма |
| PyPI | pyasn1 | 0.6.4 | непряма |
| PyPI | pyasn1-modules | 0.4.2 | непряма |
| PyPI | pycparser | 2.22 | непряма |
| PyPI | pycparser | 3.0 | непряма |
| PyPI | pycryptodome | — | непряма |
| PyPI | pycryptodome-test-vectors | — | непряма |
| PyPI | pycryptodomex | — | непряма |
| PyPI | pydantic | 2.13.4 | непряма |
| PyPI | pydantic | 2.9.2 | непряма |
| PyPI | pydantic-core | 2.23.4 | непряма |
| PyPI | pydantic-core | 2.46.4 | непряма |
| PyPI | pydantic-settings | 2.15.0 | непряма |
| PyPI | pygments | 2.21.0 | непряма |
| PyPI | pylint | 2.4.4 | непряма |
| PyPI | pymdown-extensions | 11.0.1 | непряма |
| PyPI | pymysql | 1.1.1 | непряма |
| PyPI | pymysql | 1.2.0 | непряма |
| PyPI | pyopenssl | 24.2.1 | непряма |
| PyPI | pyopenssl | 26.4.0 | непряма |
| PyPI | pyotp | 2.10.0 | непряма |
| PyPI | pyotp | 2.9.0 | непряма |
| PyPI | pyparsing | 3.3.2 | непряма |
| PyPI | pyproject-hooks | 1.2.0 | непряма |
| PyPI | pyrfc3339 | 2.1.0 | непряма |
| PyPI | pysocks | 1.7.1 | непряма |
| PyPI | pytablewriter | 1.2.1 | непряма |
| PyPI | python-dateutil | 2.9.0.post0 | непряма |
| PyPI | python-digitalocean | 1.17.0 | непряма |
| PyPI | python-dotenv | 1.0.1 | непряма |
| PyPI | python-dotenv | 1.2.3 | непряма |
| PyPI | python-magic | 0.4.27 | непряма |
| PyPI | python-multipart | 0.0.32 | непряма |
| PyPI | python-transip | 0.6.0 | непряма |
| PyPI | pytz | 2026.3 | непряма |
| PyPI | pytz | 2026.3.post1 | непряма |
| PyPI | pyyaml | 6.0.1 | непряма |
| PyPI | pyyaml | 6.0.2 | непряма |
| PyPI | pyyaml | 6.0.3 | непряма |
| PyPI | pyyaml-env-tag | 1.1 | непряма |
| PyPI | qrcode | 8.2 | непряма |
| PyPI | questionary | 2.1.1 | непряма |
| PyPI | redis | 5.1.0 | непряма |
| PyPI | redis | 8.1.0 | непряма |
| PyPI | regex | 2026.7.19 | непряма |
| PyPI | requests | 2.32.3 | непряма |
| PyPI | requests | 2.34.2 | непряма |
| PyPI | requests-file | 3.0.1 | непряма |
| PyPI | requests-mock | 1.12.1 | непряма |
| PyPI | requests-oauthlib | 2.0.0 | непряма |
| PyPI | requests-unixsocket | 0.4.1 | непряма |
| PyPI | resolvelib | 1.0.1 | непряма |
| PyPI | s3transfer | 0.19.2 | непряма |
| PyPI | schedule | 1.2.2 | непряма |
| PyPI | selenium | 4.25.0 | непряма |
| PyPI | setuptools | 80.10.2 | непряма |
| PyPI | setuptools | 84.0.0 | непряма |
| PyPI | six | 1.17.0 | непряма |
| PyPI | slowapi | 0.1.10 | непряма |
| PyPI | sniffio | 1.3.1 | непряма |
| PyPI | sortedcontainers | 2.4.0 | непряма |
| PyPI | soupsieve | 2.9.2 | непряма |
| PyPI | sqlalchemy | 2.0.36 | непряма |
| PyPI | sqlalchemy | 2.0.52 | непряма |
| PyPI | starlette | 0.38.6 | непряма |
| PyPI | starlette | 0.41.0 | непряма |
| PyPI | starlette | 1.6.0 | непряма |
| PyPI | tabledata | 1.3.5 | непряма |
| PyPI | tcolorpy | 0.1.7 | непряма |
| PyPI | tinycss2 | 1.5.1 | непряма |
| PyPI | tldextract | 5.3.2 | непряма |
| PyPI | tomli | 2.4.1 | непряма |
| PyPI | toposort | 1.10 | непряма |
| PyPI | trio | 0.26.2 | непряма |
| PyPI | trio | 0.27.0 | непряма |
| PyPI | trio-websocket | 0.11.1 | непряма |
| PyPI | typepy | 1.3.5 | непряма |
| PyPI | types-jinja2 | — | непряма |
| PyPI | types-jsonschema | — | непряма |
| PyPI | typing-extensions | 4.12.2 | непряма |
| PyPI | typing-extensions | 4.16.0 | непряма |
| PyPI | typing-inspection | 0.4.4 | непряма |
| PyPI | ua-parser | 1.0.2 | непряма |
| PyPI | ua-parser-builtins | 202606 | непряма |
| PyPI | uritemplate | 4.2.0 | непряма |
| PyPI | urllib3 | 2.2.3 | непряма |
| PyPI | urllib3 | 2.7.0 | непряма |
| PyPI | user-agents | 2.2.0 | непряма |
| PyPI | uvicorn | 0.31.0 | непряма |
| PyPI | uvicorn | 0.32.0 | непряма |
| PyPI | uvicorn | 0.52.4 | непряма |
| PyPI | uvloop | 0.20.0 | непряма |
| PyPI | uvloop | 0.21.0 | непряма |
| PyPI | uvloop | 0.22.1 | непряма |
| PyPI | verspec | 0.1.0 | непряма |
| PyPI | watchdog | 6.0.0 | непряма |
| PyPI | watchfiles | 0.24.0 | непряма |
| PyPI | watchfiles | 1.2.0 | непряма |
| PyPI | wcwidth | 0.8.2 | непряма |
| PyPI | webencodings | 0.6.1 | непряма |
| PyPI | websocket-client | 1.8.0 | непряма |
| PyPI | websocket-client | 1.9.0 | непряма |
| PyPI | websockets | 13.1 | непряма |
| PyPI | websockets | 17.0.1 | непряма |
| PyPI | werkzeug | 3.1.8 | непряма |
| PyPI | wheel | 0.48.0 | непряма |
| PyPI | wrapt | 2.3.0 | непряма |
| PyPI | wsproto | 1.2.0 | непряма |
| PyPI | wtforms | 3.2.2 | непряма |
| PyPI | yarl | 1.24.5 | непряма |
| PyPI | zipp | 4.1.0 | непряма |
| PyPI | zope-interface | 8.5 | непряма |
Сповіщення про залежності 17
Цей репозиторій не публікує пакета, який розпізнає індекс, тож оцінено його власний граф залежностей — 441 пакетів, серед яких є й піниї розробки та тестування, що ніколи не постачаються: 17 мають відомі сповіщення, з них 0 прямі. 18 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза наведеним переліком пакетів.
| Пакет | Версія | Зв'язок | Критичність | Сповіщень | Виправлено в |
|---|---|---|---|---|---|
| h11 | 0.14.0 | непряма | критична | 2 | 0.16.0 |
| pyopenssl | 24.2.1 | непряма | критична | 4 | 26.0.0 |
| ansible-core | 2.16.8 | непряма | висока | 8 | 2.21.1rc1 |
| click | 8.1.7 | непряма | висока | 1 | 8.3.3 |
| cryptography | 42.0.8 | непряма | висока | 12 | 49.0.0 |
| cryptography | 43.0.3 | непряма | висока | 11 | 49.0.0 |
| jinja2 | 3.1.4 | непряма | висока | 6 | 3.1.6 |
| nanoid | 3.3.16 | непряма | висока | 1 | 5.1.6 |
| starlette | 0.38.6 | непряма | висока | 14 | 1.3.1 |
| starlette | 0.41.0 | непряма | висока | 14 | 1.3.1 |
| svgo | 4.0.1 | непряма | висока | 1 | 4.0.2 |
| urllib3 | 2.2.3 | непряма | висока | 12 | 2.7.0 |
| ansible | 9.5.1 | непряма | помірна | 2 | 12.2.0 |
| idna | 3.10 | непряма | помірна | 2 | 3.15 |
| python-dotenv | 1.0.1 | непряма | помірна | 2 | 1.2.2 |
| requests | 2.32.3 | непряма | помірна | 4 | 2.33.0 |
| setuptools | 80.10.2 | непряма | помірна | 2 | 83.0.0 |
Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.
Звіт у форматі JSON машиночитний
Зворотний зв’язок
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.