Öffentliches Register
Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-09-18 14:56 UTC

model-checking / kani

Kani Rust Verifier

RustApache-2.0★ 3.427 Sterne⑂ 175 Forksseit März 2021Auf GitHub ansehen ↗
ArtKommandozeilenwerkzeugBibliothekwie das ermittelt wird
#rust#model-checking#verification

model-checking/kani erreicht einen Gesundheitsindex von 96 von 100 und liegt damit im Bereich Außergewöhnlich. Am stärksten schneidet es bei Vitality (91/100) ab, am schwächsten bei Security (70/100). Zuletzt vor 1 Tag aktualisiert. 4 Mitwirkende tragen den Großteil der jüngsten Arbeit.

96
gesamt / 100
Außergewöhnlich

Software-Gesundheitsindex

Metriken werden auf einer standardisierten Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr gewichtetes Mittel, kalibriert auf die Verteilung des öffentlichen Registers, sodass die Stufen Perzentilbedeutung tragen; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze Gefährdet von 34.

96
Außergewöhnlich93-100Die Spitzengruppe des Registers (≈ obere 5 %); erfüllt im Wesentlichen alle geprüften Kriterien
Exzellent80-92Durchgehend stark; geringfügige Lücken
Gut65-79Gesund; Lücken sind begrenzt und beherrschbar
Mittel50-64Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Schwach35-49Wesentliche Schwächen in mehreren Bereichen
Gefährdet20-34Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-19Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
VitalitätCommunity &VerbreitungNachhaltigkeit &GovernanceEngineering-QualitätSicherheitAI Readiness

Bewertungsprofil

Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.

Der gewichtete Gesamtwert 84 wird auf der veröffentlichten Indexskala auf 96 kalibriert (Register-Kalibrierung 2026-08-02).

Eigentümerschaft

model-checkingOrganisation
104 Follower11 öffentliche Reposseit Feb. 2021

Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.

Paket-Ökosysteme

RegistryPaketVersionDownloads / MonatVersionenZuletzt veröffentlichtTags
crates.iokani-verifier0.68.066.08670vor 2 Tagenmodel-checkingverificationdevelopment-tools

Metriken nach Kategorie

Vitalität

Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?

91Exzellent · 21 % des Gesamtindex

Entwicklungsaktivität

96Außergewöhnlich
Wie die Bewertung erfolgt
36/36Push-Aktualität — letzter Push vor 1 Tagen
31.8/36Commit-Rhythmus — 46/52 Wochen mit Commits
18/18Commit-Volumen — 304 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 15 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year304
human_commit_share0,86
days_since_last_push1
active_weeks_last_year46

Release-Disziplin

83Exzellent
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 69 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 2 Tagen
19.8/27Release-Rhythmus — ein Release etwa alle 65,1 Tage
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Verwendete Eingangsdaten
releases_count69
latest_release_tagkani-0.68.0
releases_from_tagsnein
days_since_latest_release2
mean_days_between_releases65,1

Community & Verbreitung

Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?

85Exzellent · 17 % des Gesamtindex

Popularität & Verbreitung

83Exzellent
Wie die Bewertung erfolgt
57.3/60Stars — 3.427 Stars
18.7/25Forks — 175 Forks
7.2/15Watcher — 21 Watcher
Verwendete Eingangsdaten
forks175
stars3.427
watchers21
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Community-Gesundheit

92Exzellent
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (Apache-2.0)
18/18CONTRIBUTING-Leitfaden
13.5/13.5Verhaltenskodex
0/7.2Issue-Vorlage
6.3/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
readme_badges2
has_contributingja
has_issue_templatenein
has_code_of_conductja
readme_badge_servicesgithub.com
has_pull_request_templateja

Ökosystem-Verbreitung (Downloads)

80Exzellent
Wie die Bewertung erfolgt
64.3/80Downloads pro Monat — 66.086 Downloads/Monat über crates
0/20Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen
Verwendete Eingangsdaten
packageskani-verifier
dependents—
ecosystemscrates
total_downloads598.760
monthly_downloads66.086
unverified_packages_excluded—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Abhängige in der Registry. Die verbleibenden Gewichte wurden renormalisiert.

Nachhaltigkeit & Governance

Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?

82Exzellent · 23 % des Gesamtindex

Maintainer-Resilienz (Bus-Faktor)

84Exzellent
Wie die Bewertung erfolgt
43.2/54Bus-Faktor — 4 Beitragende decken die Hälfte aller Commits ab
17.8/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 21 % der Commits
13.5/13.5Breite der Beitragenden — 72 Beitragende
10/10OpenSSF Scorecard: Contributors — project has 16 contributing companies or organizations
Verwendete Eingangsdaten
bus_factor4
contributors_sampled72
top_contributor_share0,208

Reaktionsfähigkeit bei Issues & PRs

82Exzellent
Wie die Bewertung erfolgt
31.9/42Issue-Lösungsquote — 76 % der Issues geschlossen
27.4/30PR-Annahme — 2.584/2.828 entschiedene PRs gemergt
7.4/13Newcomer PR acceptance — 4/7 PRs von Erstbeitragenden in 30 Tagen gemergt
15/15OpenSSF Scorecard: Code-Review — all changesets reviewed
Verwendete Eingangsdaten
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

Eigentümerschaft & Trägerschaft

64Mittel
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain
14.5/25Reichweite des Inhabers — 104 Follower von model-checking
19.1/25Kontohistorie — 11 öffentliche Repos, Kontoalter ca. 5 Jahre
Verwendete Eingangsdaten
followers104
owner_typeOrganization
is_verifiednein
owner_loginmodel-checking
public_repos11
account_age_days2.047

Paketpflege

100Außergewöhnlich
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 1 Paket(e) auf crates
35/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 2 Tagen
20/20Versionshistorie — 70 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packageskani-verifier
ecosystemscrates
any_deprecatednein
min_days_since_publish2

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

90Exzellent · 19 % des Gesamtindex

Engineering-Praktiken

90Exzellent
Wie die Bewertung erfolgt
24/24CI-Workflows — 14 Workflow(s)
24/24Tests vorhanden
16/16Linter-Konfiguration — 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-Hooks
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
Verwendete Eingangsdaten
has_cija
has_testsja
has_editorconfigja
has_linter_configja
has_precommit_confignein

Dokumentation

90Exzellent
Wie die Bewertung erfolgt
30/30README
25/25Dokumentationsverzeichnis
15/15Dokumentations-/Homepage-Site — https://model-checking.github.io/kani
10/10Repository-Beschreibung
10/10Topics — 3 Topics
0/10Wiki
Verwendete Eingangsdaten
topicsrust, model-checking, verification
has_wikinein
homepagehttps://model-checking.github.io/kani
docs_sitehttps://model-checking.github.io/kani
has_readmeja
has_docs_dirja
has_descriptionja

Sicherheit

Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?

70Gut · 16 % des Gesamtindex

Sicherheitslage

68Gut
Wie die Bewertung erfolgt
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.5Lizenz — 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
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate6,8

Abhängigkeits-Advisories

78Gut
Wie die Bewertung erfolgt
35/35Direkte Abhängigkeiten ohne bekannte Advisories — keine direkte Abhängigkeit trägt ein bekanntes Advisory
8.7/25Indirekte Abhängigkeiten ohne bekannte Advisories — 3 betroffen: quick-xml 0.30.0 (high 7.5), time 0.3.15 (moderate), safemem 0.3.3 (unknown)
34.8/40Keine offenen Advisories — 2 Paket(e) mit Advisory seit über 90 Tagen unbehandelt; ältestes vor 1.312 Tagen veröffentlicht
Verwendete Eingangsdaten
sourceosv
advisories5
affected_packages3
assessed_packages35
unassessed_packages0
affected_by_severityhigh 1, moderate 1, unknown 1
direct_affected_packages0
Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von crates:kani-verifier@0.68.0 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 35 Paketen. Erreichbarkeit wird nicht analysiert.

AI Readiness

Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Trägt ein bewusst kleines Gewicht (4 %): Agenten-Tooling ist ein echtes Pflegesignal, doch ein Repository ohne jedes Signal kann weiterhin 100/100 erreichen.

87Exzellent · 4 % des Gesamtindex

AI-Agentenkontext & Leitlinien

85Exzellent
Wie die Bewertung erfolgt
45/45Agentenanweisungen — AGENTS.md
0/15Maschinenlesbare Doku (llms.txt)
40/40Lesbare Commit-Historie — 86 von 86 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtnein
llms_txt_url—
legible_history_share1
agent_instruction_filesAGENTS.md
agent_instruction_max_bytes9.775

AI-Verify-Loop (Build / Test / Typprüfung)

79Gut
Wie die Bewertung erfolgt
12.6/18Bootstrap mit einem Befehl — Cargo.toml, cprover_bindings/Cargo.toml, docs/src/getting-started/verification-results/Cargo.toml (Toolchain-Konvention, kein Task-Runner)
22/22Automatisierte Tests
11/11Lint-/Format-Konfiguration — 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/11Statische Typprüfung — Rust (statisch typisiert)
10/10Reproduzierbare Umgebung — Dockerfile, lockfile
4/10Belegte Agentenpraxis — 2 der letzten 100 Commits von Agenten verfasst oder ihnen zugeschrieben
8/8Automatisierte Wartung — 4 der letzten 100 Commits sind automatisierte Abhängigkeits-Updates
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Verwendete Eingangsdaten
has_nixnein
has_testsja
lockfilesCargo.lock
has_dockerfileja
typed_languageja
bootstrap_files—
has_devcontainernein
has_linter_configja
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

AI-Code-Lesbarkeit für Modelle

100Außergewöhnlich
Wie die Bewertung erfolgt
45/45Typprüfbarer Code — Rust (statisch typisiert)
54.8/55Handhabbare Dateigrößen — 8/1.930 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageRust
largest_source_bytes95.910
source_files_sampled1.930
oversized_source_files8

Maschinenlesbare AI-Schnittstellen

100Außergewöhnlich
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto) — für diese Art von Software nicht anwendbar
0/20MCP-Server — für diese Art von Software nicht anwendbar
40/40Lauffähige Beispiele — demos
Verwendete Eingangsdaten
example_dirsdemos
has_mcp_signalnein
api_schema_files—
interfaces_expected_of—
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): API-Schema (OpenAPI/GraphQL/proto), MCP-Server. Die verbleibenden Gewichte wurden renormalisiert.

Eckdaten

3.427GitHub-Sterne
72Mitwirkende
304Commits, letzte 12 Monate
1Tage seit letztem Push
69Releases
4Bus-Faktor
471offene Issues
crates.io, PyPIPaket-Ökosysteme

Warnungen zur Datenerhebung

  • 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

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 175 ⇿
0Sterne
175Forks
68Releases

Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.

0408012016020017242021-042024-012026-09
Major 0Minor 0Patch 0

Jeder Punkt umfasst 5 Tage.

OpenSSF Scorecard 6.8 / 10
6.8Gesamtwert

Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).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
Direkte Abhängigkeiten 61
RegistryPaketVersionsvorgabeManifest
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
Alle Abhängigkeiten 364

Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 76 direkte und 288 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.

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

Die Installation von crates:kani-verifier@0.68.0 zieht 35 Pakete nach sich, direkt und transitiv: 3 tragen bekannte Advisories, davon 0 direkte Abhängigkeiten.

PaketVersionBeziehungSchweregradAdvisoriesBehoben in
quick-xml0.30.0indirekthoch20.41.0
time0.3.15indirektmittel20.3.47
safemem0.3.3indirektunbekannt1—

Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.

JSON-Rohbericht maschinenlesbar

Feedback

Stimmt etwas in diesem Bericht nicht, oder gibt es Gedanken dazu? Falsche Messungen, übersehene Tools, Ideen, Fragen — alles ist willkommen. Jede Nachricht wird gelesen und beantwortet.

Die Nachricht bleibt bei der Anmeldung erhalten.

Verwandte Einträge

Geprüfte Repositories, die Katalog-Tags oder Ökosysteme mit model-checking/kani teilen. Nebeneinander lesen →

98svix/svix-webhooksThe open source and enterprise-ready webhooks service 🦀Außergewöhnlich96temporalio/sdk-rustTemporal Rust & Core SDKsAußergewöhnlich96slint-ui/slintSlint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.Außergewöhnlich96web-infra-dev/rspackFast Rust-based bundler for the web with a modernized webpack API 🦀Außergewöhnlich95rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/Außergewöhnlich94vinhnx/VTCodeVT Code is an open-source Rust terminal coding agent.Außergewöhnlich

Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.

Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v2.10.0, Schema v0.34.0 — vollständige Methodik · Metriken-Wiki.

Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — crates.io.