Публічний реєстр
Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-09-18 14:56 UTC

model-checking / kani

Kani Rust Verifier

RustApache-2.0★ 3 427 зірок⑂ 175 форківз бер. 2021 р.Переглянути на GitHub ↗
ТипІнструмент командного рядкаБібліотекаяк це визначено
#rust#model-checking#verification

model-checking/kani має індекс здоров’я 96 зі 100, що відповідає смузі «Винятковий». Найвищий показник — Vitality (91/100), найнижчий — Security (70/100). Останнє оновлення було 1 день тому. Більшість нещодавньої роботи виконують 4 учасники.

96
загалом / 100
Винятковий

Індекс здоров'я програмного забезпечення

Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).

96
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
ЖиттєздатністьСпільнота тавпровадженняСталість таврядуванняІнженернаякістьБезпекаГотовність доШІ

Профіль оцінок

Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.

Зважений загальний бал 84 калібровано до 96 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).

Власність

model-checkingОрганізація
104 підписники11 публічних репозиторіївз лют. 2021 р.

За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.

Пакетні екосистеми

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
crates.iokani-verifier0.68.066 086702 дні томуmodel-checkingverificationdevelopment-tools

Метрики за категоріями

Життєздатність

Чи живий проєкт — чи пишеться код і чи виходять релізи?

91Відмінний · 21% загального індексу

Активність розробки

96Винятковий
Як обчислюється оцінка
36/36Свіжість push — останній push 1 дн. тому
31.8/36Ритм комітів — 46/52 тижнів із комітами
18/18Обсяг комітів — 304 комітів за останній рік
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 15 issue activity found in the last 90 days -- score normalized to 10
Використані вхідні дані
commits_last_year304
human_commit_share0,86
days_since_last_push1
active_weeks_last_year46

Дисципліна релізів

83Відмінний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 69 релізів
36/36Свіжість релізів — останній реліз 2 дн. тому
19.8/27Ритм релізів — реліз кожні ~65,1 дн.
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Використані вхідні дані
releases_count69
latest_release_tagkani-0.68.0
releases_from_tagsні
days_since_latest_release2
mean_days_between_releases65,1

Спільнота та впровадження

Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?

85Відмінний · 17% загального індексу

Популярність і впровадження

83Відмінний
Як обчислюється оцінка
57.3/60Зірки — 3 427 зірок
18.7/25Форки — 175 форків
7.2/15Спостерігачі — 21 спостерігачів
Використані вхідні дані
forks175
stars3 427
watchers21
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Здоров'я спільноти

92Відмінний
Як обчислюється оцінка
22.5/22.5README
22.5/22.5Ліцензія — визнана ліцензія (Apache-2.0)
18/18Настанови CONTRIBUTING
13.5/13.5Кодекс поведінки
0/7.2Шаблон issue
6.3/6.3Шаблон PR
Використані вхідні дані
has_readmeтак
has_licenseтак
readme_badges2
has_contributingтак
has_issue_templateні
has_code_of_conductтак
readme_badge_servicesgithub.com
has_pull_request_templateтак

Впровадження в екосистемі (завантаження)

80Відмінний
Як обчислюється оцінка
64.3/80Щомісячні завантаження — 66 086 завантажень/місяць у crates
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packageskani-verifier
dependents—
ecosystemscrates
total_downloads598 760
monthly_downloads66 086
unverified_packages_excluded—
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

Сталість та врядування

Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?

82Відмінний · 23% загального індексу

Стійкість мейнтейнерів (бас-фактор)

84Відмінний
Як обчислюється оцінка
43.2/54Бас-фактор — на 4 контриб’ютор(ів) припадає половина всіх комітів
17.8/22.5Розподіл комітів — головний контриб’ютор — автор 21% комітів
13.5/13.5Широта контриб’юторів — 72 контриб’юторів
10/10OpenSSF Scorecard: Contributors — project has 16 contributing companies or organizations
Використані вхідні дані
bus_factor4
contributors_sampled72
top_contributor_share0,208

Реактивність на issue та PR

82Відмінний
Як обчислюється оцінка
31.9/42Вирішення issue — закрито 76% issue
27.4/30Прийняття PR — злито 2 584/2 828 вирішених PR
7.4/13Newcomer PR acceptance — злито 4/7 PR від новачків за 30 дн.
15/15OpenSSF Scorecard: Code-Review — all changesets reviewed
Використані вхідні дані
merged_prs2 584
open_issues471
closed_issues1 480
prs_merged_7d6
prs_decided_7d9
prs_merged_30d41
prs_decided_30d45
issue_closed_ratio0,759
closed_unmerged_prs244
first_time_authors_30d5
first_time_prs_merged_30d4
first_time_prs_decided_30d7

Власність та опіка

64Помірний
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен
14.5/25Охоплення власника — 104 підписників у model-checking
19.1/25Послужний список — 11 публічних репозиторіїв, вік облікового запису ~5 р.
Використані вхідні дані
followers104
owner_typeOrganization
is_verifiedні
owner_loginmodel-checking
public_repos11
account_age_days2 047

Супровід пакетів

100Винятковий
Як обчислюється оцінка
25/25Опубліковано й доступно — 1 пакет(ів) у crates
35/35Свіжість публікацій — остання публікація 2 дн. тому
20/20Історія версій — 70 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packageskani-verifier
ecosystemscrates
any_deprecatedні
min_days_since_publish2

Інженерна якість

Чи наявні базові інженерні практики та документація?

90Відмінний · 19% загального індексу

Інженерні практики

90Відмінний
Як обчислюється оцінка
24/24Процеси CI — 14 процес(ів) CI
24/24Наявні тести
16/16Конфігурація лінтера — Cargo.toml ([workspace.lints]), cprover_bindings/Cargo.toml ([lints]), kani-compiler/Cargo.toml ([lints]), kani_metadata/Cargo.toml ([lints]), rustfmt.toml, scripts/pyproject.toml ([tool.autopep8])
0/9.6Pre-commit-хуки
6.4/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
Використані вхідні дані
has_ciтак
has_testsтак
has_editorconfigтак
has_linter_configтак
has_precommit_configні

Документація

90Відмінний
Як обчислюється оцінка
30/30README
25/25Каталог документації
15/15Сайт документації / домашня сторінка — https://model-checking.github.io/kani
10/10Опис репозиторію
10/10Теми — 3 тем
0/10Wiki
Використані вхідні дані
topicsrust, model-checking, verification
has_wikiні
homepagehttps://model-checking.github.io/kani
docs_sitehttps://model-checking.github.io/kani
has_readmeтак
has_docs_dirтак
has_descriptionтак

Безпека

Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?

70Добрий · 16% загального індексу

Стан безпеки

68Добрий
Як обчислюється оцінка
7.5/7.5Binary-Artifacts — no binaries found in the repo
6/7.5Branch-Protection — branch protection is not maximal on development and all release branches
2.5/2.5CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
7.5/7.5Code-Review — all changesets reviewed
2.5/2.5Contributors — project has 16 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Ліцензія — license file detected
7.5/7.5Maintained — 30 commit(s) and 15 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0.5/5SAST — SAST tool is not run on all commits -- score normalized to 1
5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate6,8

Сповіщення про залежності

78Добрий
Як обчислюється оцінка
35/35Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень
8.7/25Непрямі залежності без відомих сповіщень — уражено 3: quick-xml 0.30.0 (high 7.5), time 0.3.15 (moderate), safemem 0.3.3 (unknown)
34.8/40Немає задавнених сповіщень — 2 пакет(ів) зі сповіщеннями без реакції понад 90 дн.; найдавніше опубліковано 1 312 дн. тому
Використані вхідні дані
sourceosv
advisories5
affected_packages3
assessed_packages35
unassessed_packages0
affected_by_severityhigh 1, moderate 1, unknown 1
direct_affected_packages0
Звірено з runtime-замиканням залежностей crates:kani-verifier@0.68.0 — тим, що тягне за собою встановлення опублікованого пакета, — 35 пакетів. Досяжність не аналізується.

Готовність до ШІ

Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.

87Відмінний · 4% загального індексу

Контекст і настанови для агентів

85Відмінний
Як обчислюється оцінка
45/45Інструкції для агентів — AGENTS.md
0/15Машиночитана документація (llms.txt)
40/40Читабельна історія комітів — намір зазначено у 86 з 86 людських комітів (структурований заголовок або пояснювальний текст)
Використані вхідні дані
has_llms_txtні
llms_txt_url—
legible_history_share1
agent_instruction_filesAGENTS.md
agent_instruction_max_bytes9 775

Цикл верифікації (збірка / тести / перевірка типів)

79Добрий
Як обчислюється оцінка
12.6/18Розгортання однією командою — Cargo.toml, cprover_bindings/Cargo.toml, docs/src/getting-started/verification-results/Cargo.toml (домовленість інструментарію, без раннера задач)
22/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — Cargo.toml ([workspace.lints]), cprover_bindings/Cargo.toml ([lints]), kani-compiler/Cargo.toml ([lints]), kani_metadata/Cargo.toml ([lints]), rustfmt.toml, scripts/pyproject.toml ([tool.autopep8])
11/11Статична перевірка типів — Rust (статично типізована)
10/10Відтворюване середовище — Dockerfile, lockfile
4/10Підтверджена практика роботи з агентами — 2 з останніх 100 комітів створено агентом або з його зазначенням
8/8Автоматизоване супроводження — 4 з останніх 100 комітів — автоматичні оновлення залежностей
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsтак
lockfilesCargo.lock
has_dockerfileтак
typed_languageтак
bootstrap_files—
has_devcontainerні
has_linter_configтак
typecheck_configs—
agent_commit_share0,02
toolchain_manifestsCargo.toml, cprover_bindings/Cargo.toml, docs/src/getting-started/verification-results/Cargo.toml, docs/src/tutorial/arbitrary-variables/Cargo.toml, docs/src/tutorial/first-steps-v1/Cargo.toml, docs/src/tutorial/first-steps-v2/Cargo.toml, docs/src/tutorial/kinds-of-failure/Cargo.toml, docs/src/tutorial/loops-unwinding/Cargo.toml, kani-compiler/Cargo.toml, kani-driver/Cargo.toml, kani_metadata/Cargo.toml, library/kani/Cargo.toml, library/kani_core/Cargo.toml, library/kani_macros/Cargo.toml, library/std/Cargo.toml, tests/cargo-coverage/simple-lib/Cargo.toml, tests/cargo-kani/asm/global/Cargo.toml, tests/cargo-kani/asm/global/crate_with_global_asm/Cargo.toml, tests/cargo-kani/asm/global_error/Cargo.toml, tests/cargo-kani/asm/global_error/crate_with_global_asm/Cargo.toml, tests/cargo-kani/assert-reach/Cargo.toml, tests/cargo-kani/assert-reach/foo/Cargo.toml, tests/cargo-kani/build-rs-plus-host-with-kani-proofs/binary/Cargo.toml, tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants/Cargo.toml, tests/cargo-kani/build-rs-works/Cargo.toml, tests/cargo-kani/cargo-features-flag/Cargo.toml, tests/cargo-kani/cargo-tests-dir/Cargo.toml, tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml, tests/cargo-kani/chrono_dep/Cargo.toml, tests/cargo-kani/codegen-scalar-with-phantom/Cargo.toml, tests/cargo-kani/codegen-scalar-with-zsts/Cargo.toml, tests/cargo-kani/concrete-playback-in-verification-mode/Cargo.toml, tests/cargo-kani/config/Cargo.toml, tests/cargo-kani/default-members/Cargo.toml, tests/cargo-kani/default-members/builds-ok/Cargo.toml, tests/cargo-kani/default-members/dont-build-me/Cargo.toml, tests/cargo-kani/demos/non-empty-range/Cargo.toml, tests/cargo-kani/dependencies/Cargo.toml, tests/cargo-kani/dependency-test/dependency3/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/dependency1/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/dependency2/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/dependency3/Cargo.toml, tests/cargo-kani/dependency-test/diamond-dependency/main/Cargo.toml, tests/cargo-kani/dev-depends/Cargo.toml, tests/cargo-kani/feature-flag/Cargo.toml, tests/cargo-kani/firecracker-block-example/Cargo.toml, tests/cargo-kani/iss2857/Cargo.toml, tests/cargo-kani/issue-3817/Cargo.toml, tests/cargo-kani/itoa_dep/Cargo.toml, tests/cargo-kani/libc/Cargo.toml, tests/cargo-kani/mir-linker/Cargo.toml, tests/cargo-kani/nested-dirs/Cargo.toml, tests/cargo-kani/nested-dirs/crate1/Cargo.toml, tests/cargo-kani/nested-dirs/crate2/Cargo.toml, tests/cargo-kani/nested-dirs/crate2/nested_crate/Cargo.toml, tests/cargo-kani/no-std/Cargo.toml, tests/cargo-kani/output-format/Cargo.toml, tests/cargo-kani/percent-encoding/Cargo.toml, tests/cargo-kani/rectangle-example/Cargo.toml, tests/cargo-kani/simple-config-toml/Cargo.toml, tests/cargo-kani/simple-extern/Cargo.toml, tests/cargo-kani/simple-kissat/Cargo.toml, tests/cargo-kani/simple-lib/Cargo.toml, tests/cargo-kani/simple-main/Cargo.toml, tests/cargo-kani/simple-proof-annotation/Cargo.toml, tests/cargo-kani/simple-unwind-annotation/Cargo.toml, tests/cargo-kani/small-vec/Cargo.toml, tests/cargo-kani/storage-markers/Cargo.toml, tests/cargo-kani/storage-markers/crate-with-bug/Cargo.toml, tests/cargo-kani/storage-markers/crate-with-harness/Cargo.toml, tests/cargo-kani/stubbing-do-not-resolve/Cargo.toml, tests/cargo-kani/stubbing-do-not-resolve/other_crate1/Cargo.toml, tests/cargo-kani/stubbing-do-not-resolve/other_crate2/Cargo.toml, tests/cargo-kani/stubbing-double-extern-path/crate_a/Cargo.toml, tests/cargo-kani/stubbing-double-extern-path/crate_b/Cargo.toml, tests/cargo-kani/stubbing-double-extern-path/harness/Cargo.toml, tests/cargo-kani/stubbing-extern-path/Cargo.toml, tests/cargo-kani/stubbing-extern-path/other_crate/Cargo.toml, tests/cargo-kani/stubbing-foreign-method/Cargo.toml, tests/cargo-kani/stubbing-foreign-method/other_crate/Cargo.toml, tests/cargo-kani/stubbing-private-foreign-function/Cargo.toml, tests/cargo-kani/stubbing-private-foreign-function/other_crate/Cargo.toml, tests/cargo-kani/stubbing-public-foreign-function/Cargo.toml, tests/cargo-kani/stubbing-public-foreign-function/other_crate/Cargo.toml, tests/cargo-kani/stubbing-resolve-extern-crate-as/Cargo.toml, tests/cargo-kani/stubbing-resolve-extern-crate-as/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-as-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-as-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-glob-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-glob-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-use-in-foreign/Cargo.toml, tests/cargo-kani/stubbing-use-in-foreign/other_crate/Cargo.toml, tests/cargo-kani/stubbing-validate-random/Cargo.toml, tests/cargo-kani/stubbing-ws-packages/Cargo.toml, tests/cargo-kani/stubbing-ws-packages/dependency/Cargo.toml, tests/cargo-kani/stubbing-ws-packages/top/Cargo.toml, tests/cargo-kani/symlink/Cargo.toml, tests/cargo-kani/type-mismatch/Cargo.toml, tests/cargo-kani/type-mismatch/uses_core/Cargo.toml, tests/cargo-kani/type-mismatch/uses_std/Cargo.toml, tests/cargo-kani/unexpected_cfgs/Cargo.toml, tests/cargo-kani/vecdeque-cve/Cargo.toml, tests/cargo-kani/ws-crate-type-bin/Cargo.toml, tests/cargo-kani/ws-crate-type-bin/bincrate/Cargo.toml, tests/cargo-kani/ws-crate-type-bin/libcrate/Cargo.toml, tests/cargo-kani/ws-flag/Cargo.toml, tests/cargo-kani/ws-flag/libcrate/Cargo.toml, tests/cargo-kani/ws-name-conflict/Cargo.toml, tests/cargo-kani/ws-name-conflict/lib1/Cargo.toml, tests/cargo-kani/ws-name-conflict/lib2/Cargo.toml, tests/cargo-kani/ws-specified/Cargo.toml, tests/cargo-kani/ws-specified/bincrate/Cargo.toml, tests/cargo-kani/ws-specified/libcrate/Cargo.toml, tests/cargo-kani/ws-specified/subcrate3/Cargo.toml, tests/cargo-kani/zero-harnesses-is-success/Cargo.toml, tests/cargo-ui/debug/Cargo.toml, tests/cargo-ui/function-stubbing-trait-mismatch/Cargo.toml, tests/cargo-ui/multiple-harnesses/Cargo.toml, tests/cargo-ui/no-std-no-kani/Cargo.toml, tests/cargo-ui/no-std-strict-lints/Cargo.toml, tests/cargo-ui/stubbing-flag/Cargo.toml, tests/cargo-ui/supported-lib-types/cdylib-rlib/Cargo.toml, tests/cargo-ui/supported-lib-types/cdylib/Cargo.toml, tests/cargo-ui/supported-lib-types/dylib/Cargo.toml, tests/cargo-ui/supported-lib-types/lib-rlib/Cargo.toml, tests/cargo-ui/supported-lib-types/lib/Cargo.toml, tests/cargo-ui/supported-lib-types/rlib/Cargo.toml, tests/cargo-ui/supported-lib-types/staticlib/Cargo.toml, tests/cargo-ui/target-selection/all-targets/Cargo.toml, tests/cargo-ui/target-selection/bin-target/Cargo.toml, tests/cargo-ui/target-selection/bins-target/Cargo.toml, tests/cargo-ui/target-selection/lib-target/Cargo.toml, tests/cargo-ui/target-selection/non-test-targets/Cargo.toml, tests/cargo-ui/unstable-attr/defs/Cargo.toml, tests/cargo-ui/unstable-attr/enabled/Cargo.toml, tests/cargo-ui/unstable-attr/invalid/Cargo.toml, tests/cargo-ui/unstable-attr/unstable_reachable/Cargo.toml, tests/cargo-ui/unsupported-lib-types/proc-macro/Cargo.toml, tests/cargo-ui/unsupported-lib-types/rlib-pmacro/Cargo.toml, tests/cargo-ui/verbose-cmds/Cargo.toml, tests/cargo-ui/verbose/Cargo.toml, tests/cargo-ui/ws-integ-tests/Cargo.toml, tests/cargo-ui/ws-integ-tests/all_harness/Cargo.toml, tests/cargo-ui/ws-integ-tests/in_src_harness/Cargo.toml, tests/cargo-ui/ws-integ-tests/integ_harness/Cargo.toml, tests/cargo-ui/ws-package-exclude-unknown/Cargo.toml, tests/cargo-ui/ws-package-exclude-unknown/bin_package/Cargo.toml, tests/cargo-ui/ws-package-exclude-unknown/lib_package/Cargo.toml, tests/cargo-ui/ws-package-exclude/Cargo.toml, tests/cargo-ui/ws-package-exclude/bin_package/Cargo.toml, tests/cargo-ui/ws-package-exclude/lib_package/Cargo.toml, tests/cargo-ui/ws-package-select-unknown/Cargo.toml, tests/cargo-ui/ws-package-select-unknown/bin_package/Cargo.toml, tests/cargo-ui/ws-package-select-unknown/lib_package/Cargo.toml, tests/cargo-ui/ws-package-select/Cargo.toml, tests/cargo-ui/ws-package-select/bin_package/Cargo.toml, tests/cargo-ui/ws-package-select/lib_package/Cargo.toml, tests/perf/btreeset/insert_any/Cargo.toml, tests/perf/btreeset/insert_multi/Cargo.toml, tests/perf/btreeset/insert_same/Cargo.toml, tests/perf/format/Cargo.toml, tests/perf/hashset/Cargo.toml, tests/perf/kani-lib/arbitrary/Cargo.toml, tests/perf/misc/array_fold/Cargo.toml, tests/perf/misc/display_trait/Cargo.toml, tests/perf/misc/struct_defs/Cargo.toml, tests/perf/smol_str/Cargo.toml, tests/perf/vec/box_dyn/Cargo.toml, tests/perf/vec/string/Cargo.toml, tests/perf/vec/vec/Cargo.toml, tests/script-based-pre/ambiguous_crate/Cargo.toml, tests/script-based-pre/autoderive_arbitrary_enums/Cargo.toml, tests/script-based-pre/autoderive_arbitrary_structs/Cargo.toml, tests/script-based-pre/autoharness_char_escape_unicode/Cargo.toml, tests/script-based-pre/build-cache-bin/bin/Cargo.toml, tests/script-based-pre/build-cache-dirty/target_lib/Cargo.toml, tests/script-based-pre/build-cache-fresh/lib/Cargo.toml, tests/script-based-pre/build-rs-conditional/Cargo.toml, tests/script-based-pre/cargo-kani-version-flag-version/dummy-project/Cargo.toml, tests/script-based-pre/cargo_autoharness_assume_invariant/Cargo.toml, tests/script-based-pre/cargo_autoharness_bounded/Cargo.toml, tests/script-based-pre/cargo_autoharness_bounds/Cargo.toml, tests/script-based-pre/cargo_autoharness_constructor/Cargo.toml, tests/script-based-pre/cargo_autoharness_contracts/Cargo.toml, tests/script-based-pre/cargo_autoharness_dependencies/Cargo.toml, tests/script-based-pre/cargo_autoharness_dependencies/other_crate/Cargo.toml, tests/script-based-pre/cargo_autoharness_exclude/Cargo.toml, tests/script-based-pre/cargo_autoharness_filter/Cargo.toml, tests/script-based-pre/cargo_autoharness_fmt_impls/Cargo.toml, tests/script-based-pre/cargo_autoharness_fn_bounds/Cargo.toml, tests/script-based-pre/cargo_autoharness_generics/Cargo.toml, tests/script-based-pre/cargo_autoharness_harnesses_fail/Cargo.toml, tests/script-based-pre/cargo_autoharness_include/Cargo.toml, tests/script-based-pre/cargo_autoharness_list/Cargo.toml, tests/script-based-pre/cargo_autoharness_mined_invariants/Cargo.toml, tests/script-based-pre/cargo_autoharness_parallel/Cargo.toml, tests/script-based-pre/cargo_autoharness_raw_pointers/Cargo.toml, tests/script-based-pre/cargo_autoharness_slices/Cargo.toml, tests/script-based-pre/cargo_autoharness_smart_pointers/Cargo.toml, tests/script-based-pre/cargo_autoharness_termination_timeout/Cargo.toml, tests/script-based-pre/cargo_autoharness_termination_unwind/Cargo.toml, tests/script-based-pre/cargo_autoharness_type_invariant/Cargo.toml, tests/script-based-pre/cargo_autoharness_vec_unbounded/Cargo.toml, tests/script-based-pre/cargo_list_json/Cargo.toml, tests/script-based-pre/cargo_list_md/Cargo.toml, tests/script-based-pre/cargo_manifest_test/add/Cargo.toml, tests/script-based-pre/cargo_no_assert_overrides/Cargo.toml, tests/script-based-pre/cargo_playback_build/sample_crate/Cargo.toml, tests/script-based-pre/cargo_playback_opts/sample_crate/Cargo.toml, tests/script-based-pre/cargo_playback_target/sample_crate/Cargo.toml, tests/script-based-pre/check-output/multifile/Cargo.toml, tests/script-based-pre/concrete_playback_e2e/sample_crate/Cargo.toml, tests/script-based-pre/individual_file_output/sample_crate/Cargo.toml, tests/script-based-pre/kani_lib_dep/Cargo.toml, tests/script-based-pre/no_codegen/Cargo.toml, tests/script-based-pre/no_codegen_error/Cargo.toml, tests/script-based-pre/playback_with_cfg_kani/sample_crate/Cargo.toml, tests/script-based-pre/std_codegen_fixme/dummy/Cargo.toml, tests/script-based-pre/workspace_features/Cargo.toml, tests/script-based-pre/workspace_features/mylib/Cargo.toml, tests/script-based-pre/workspace_features/mytests/Cargo.toml, tests/slow/tokio-proofs/Cargo.toml, tests/std-checks/core/Cargo.toml, tests/std-checks/std/Cargo.toml, tools/build-kani/Cargo.toml, tools/compile-timer/Cargo.toml, tools/compiletest/Cargo.toml, tools/kani-cov/Cargo.toml, tools/scanner/Cargo.toml
dependency_bot_commit_share0,04

Читабельність коду для моделей

100Винятковий
Як обчислюється оцінка
45/45Типізований код — Rust (статично типізована)
54.8/55Керовані розміри файлів — 8/1 930 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageRust
largest_source_bytes95 910
source_files_sampled1 930
oversized_source_files8

Машиночитні інтерфейси

100Винятковий
Як обчислюється оцінка
0/40Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення
0/20Сервер MCP — не застосовно до цього типу програмного забезпечення
40/40Придатні до запуску приклади — demos
Використані вхідні дані
example_dirsdemos
has_mcp_signalні
api_schema_files—
interfaces_expected_of—
Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.

Ключові факти

3 427зірок GitHub
72контриб'юторів
304комітів за останні 12 місяців
1днів від останнього пушу
69релізів
4бас-фактор
471відкритих issue
crates.io, PyPIпакетних екосистем

Попередження щодо збору даних

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

Докладніше

Історія зірок і форків 0 ★ / 175 ⇿
0Зірки
175Форки
68Релізи

Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.

0408012016020017242021-042024-012026-09
Мажорні 0Мінорні 0Патчі 0

Кожна точка охоплює 5 днів.

OpenSSF Scorecard 6.8 / 10
6.8сукупно

Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-09-18 14:55 UTC

10Binary-Artifactsno binaries found in the repo
8Branch-Protectionbranch protection is not maximal on development and all release branches
10CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
10Code-Reviewall changesets reviewed
10Contributorsproject has 16 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 15 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
1SASTSAST tool is not run on all commits -- score normalized to 1
10Security-Policysecurity policy file detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
10Vulnerabilities0 existing vulnerabilities detected
Прямі залежності 61
РеєстрПакетОбмеження версіїМаніфест
crates.ioanyhow1Cargo.toml
crates.iohome0.5Cargo.toml
crates.ioos_info3Cargo.toml
crates.iolazy_static1.5.0cprover_bindings/Cargo.toml
crates.ionum0.4.0cprover_bindings/Cargo.toml
crates.ionum-traits0.2cprover_bindings/Cargo.toml
crates.ioserde1cprover_bindings/Cargo.toml
crates.iostring-interner0.20cprover_bindings/Cargo.toml
crates.iotracing0.1cprover_bindings/Cargo.toml
crates.iolinear-map1.2cprover_bindings/Cargo.toml
crates.iorustc-hash2.1.1cprover_bindings/Cargo.toml
crates.iocbmc—kani-compiler/Cargo.toml
crates.iocharon—kani-compiler/Cargo.toml
crates.ioclap4.4.11kani-compiler/Cargo.toml
crates.ioindexmap2.7.1kani-compiler/Cargo.toml
crates.ioitertools0.15kani-compiler/Cargo.toml
crates.iokani_metadata—kani-compiler/Cargo.toml
crates.iolazy_static1.5.0kani-compiler/Cargo.toml
crates.ionum0.4.0kani-compiler/Cargo.toml
crates.ioquote1.0.36kani-compiler/Cargo.toml
crates.ioregex1.11.1kani-compiler/Cargo.toml
crates.ioserde1kani-compiler/Cargo.toml
crates.ioserde_json1kani-compiler/Cargo.toml
crates.iosha1-checked0.10.0kani-compiler/Cargo.toml
crates.iostrum0.28kani-compiler/Cargo.toml
crates.iostrum_macros0.28kani-compiler/Cargo.toml
crates.iosyn2.0.72kani-compiler/Cargo.toml
crates.iotracing0.1kani-compiler/Cargo.toml
crates.iotracing-subscriber0.3.20kani-compiler/Cargo.toml
crates.iotracing-tree0.4.0kani-compiler/Cargo.toml
crates.iokani_metadata—kani-driver/Cargo.toml
crates.iocargo_metadata0.23kani-driver/Cargo.toml
crates.ioanyhow1kani-driver/Cargo.toml
crates.ioconsole0.16kani-driver/Cargo.toml
crates.ioonce_cell1.19.0kani-driver/Cargo.toml
crates.ioto_markdown_table0.1.0kani-driver/Cargo.toml
crates.ioserde1kani-driver/Cargo.toml
crates.ioserde_json1kani-driver/Cargo.toml
crates.ioclap4.4.11kani-driver/Cargo.toml
crates.iotoml1kani-driver/Cargo.toml
crates.ioregex1.11.1kani-driver/Cargo.toml
crates.iorustc-demangle0.1.21kani-driver/Cargo.toml
crates.iopathdiff0.2.1kani-driver/Cargo.toml
crates.iorayon1.5.3kani-driver/Cargo.toml
crates.iocomfy-table8.0.0kani-driver/Cargo.toml
crates.iostrum0.28kani-driver/Cargo.toml
crates.iostrum_macros0.28kani-driver/Cargo.toml
crates.iotempfile3kani-driver/Cargo.toml
crates.iotracing0.1kani-driver/Cargo.toml
crates.iotracing-subscriber0.3.20kani-driver/Cargo.toml
crates.iowhich8kani-driver/Cargo.toml
crates.iotime0.3.47kani-driver/Cargo.toml
crates.iotokio1.40.0kani-driver/Cargo.toml
crates.iochrono0.4.41kani-driver/Cargo.toml
crates.ioindicatif0.18kani-driver/Cargo.toml
crates.ioserde1kani_metadata/Cargo.toml
crates.iocbmc—kani_metadata/Cargo.toml
crates.iostrum0.28kani_metadata/Cargo.toml
crates.iostrum_macros0.28kani_metadata/Cargo.toml
crates.ioclap4.4.11kani_metadata/Cargo.toml
crates.iotracing0.1.41kani_metadata/Cargo.toml
Усі залежності 364

Повний розв'язаний набір залежностей із графа залежностей GitHub: 76 прямих і 288 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.

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

Встановлення crates:kani-verifier@0.68.0 тягне 35 пакетів, прямих і транзитивних: 3 мають відомі сповіщення, з них 0 — прямі залежності.

ПакетВерсіяЗв'язокКритичністьСповіщеньВиправлено в
quick-xml0.30.0непрямависока20.41.0
time0.3.15непрямапомірна20.3.47
safemem0.3.3непряманевідома1—

Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.

Звіт у форматі JSON машиночитний

Зворотний зв’язок

Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.

Повідомлення збережеться під час входу.

Пов’язані записи

Перевірені репозиторії, що мають спільні каталожні теги або екосистеми з model-checking/kani. Читати поруч →

98svix/svix-webhooksThe open source and enterprise-ready webhooks service 🦀Винятковий96temporalio/sdk-rustTemporal Rust & Core SDKsВинятковий96slint-ui/slintSlint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.Винятковий96web-infra-dev/rspackFast Rust-based bundler for the web with a modernized webpack API 🦀Винятковий95rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/Винятковий94vinhnx/VTCodeVT Code is an open-source Rust terminal coding agent.Винятковий

Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.

Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.

Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — crates.io.