Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-08-22 18:24 UTC

verus-lang / verus

Verified Rust for low-level systems code

RustMIT★ 2.883 Sterne⑂ 208 Forksseit Okt. 2021Auf GitHub ansehen ↗

ArtBibliothekKommandozeilenwerkzeugwie das ermittelt wird

verus-lang/verus erreicht einen Gesundheitsindex von 91 von 100 und liegt damit im Bereich Exzellent. Am stärksten schneidet es bei Vitality (96/100) ab, am schwächsten bei Security (55/100). Zuletzt heute aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

gesamt / 100

Exzellent

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.

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)

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 77 wird auf der veröffentlichten Indexskala auf 91 kalibriert (Register-Kalibrierung 2026-08-02).

Eigentümerschaft

verus-langOrganisation

75 Follower16 öffentliche Reposseit Juni 2022

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

Paket-Ökosysteme

Registry	Paket	Version	Downloads / Monat	Versionen	Zuletzt veröffentlicht	Tags
crates.io	airverweist auf ein anderes Repo — nicht bewertet	1.0.2	195	11	vor 143 Tagen	—
crates.io	vir	0.0.0	2	1	vor 1633 Tagen	—
crates.io	vstd	0.0.0-2026-08-09-0044	41.247	39	vor 13 Tagen	verification verified-rust verus development-tools
crates.io	verus	0.0.0	50	1	vor 891 Tagen	verified-rust verus development-tools
crates.io	verus_builtin	0.0.0-2026-08-09-0044	39.813	21	vor 13 Tagen	verification verified-rust verus development-tools

Metriken nach Kategorie

Vitalität

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

96Außergewöhnlich · 21 % des Gesamtindex

Entwicklungsaktivität

100Außergewöhnlich

Wie die Bewertung erfolgt

36/36	Push-Aktualität — letzter Push vor 0 Tagen
36/36	Commit-Rhythmus — 52/52 Wochen mit Commits
18/18	Commit-Volumen — 936 Commits im letzten Jahr
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10

Verwendete Eingangsdaten

commits_last_year	936
human_commit_share	1
days_since_last_push	0
active_weeks_last_year	52

Release-Disziplin

90Exzellent

Wie die Bewertung erfolgt

27/27	Liefert Releases aus — 81 Releases veröffentlicht
36/36	Release-Aktualität — letztes Release vor 1 Tagen
27/27	Release-Rhythmus — ein Release etwa alle 6,7 Tage
0/10	OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.

Verwendete Eingangsdaten

releases_count	81
latest_release_tag	release/rolling/0.2026.08.21.11eda20
releases_from_tags	nein
days_since_latest_release	1
mean_days_between_releases	6,7

Community & Verbreitung

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

81Exzellent · 17 % des Gesamtindex

Popularität & Verbreitung

84Exzellent

Wie die Bewertung erfolgt

56.1/60	Stars — 2.883 Stars
19.3/25	Forks — 208 Forks
8.3/15	Watcher — 32 Watcher

Verwendete Eingangsdaten

forks	208
stars	2.883
watchers	32
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Community-Gesundheit

77Gut

Wie die Bewertung erfolgt

22.5/22.5	README
22.5/22.5	Lizenz — anerkannte Lizenz (MIT)
18/18	CONTRIBUTING-Leitfaden
0/13.5	Verhaltenskodex
0/7.2	Issue-Vorlage
6.3/6.3	PR-Vorlage

Verwendete Eingangsdaten

has_readme	ja
has_license	ja
readme_badges	4
has_contributing	ja
has_issue_template	nein
has_code_of_conduct	nein
readme_badge_services	shields.io
has_pull_request_template	ja

Ökosystem-Verbreitung (Downloads)

82Exzellent

Wie die Bewertung erfolgt

65.5/80	Downloads pro Monat — 81.110 Downloads/Monat über crates
0/20	Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen

Verwendete Eingangsdaten

packages	vstd, verus, verus_builtin
dependents	—
ecosystems	crates
total_downloads	373.397
monthly_downloads	81.110
unverified_packages_excluded	vir

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?

75Gut · 23 % des Gesamtindex

Maintainer-Resilienz (Bus-Faktor)

65Gut

Wie die Bewertung erfolgt

25.2/54	Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab
16.4/22.5	Commit-Verteilung — wichtigste beitragende Person verfasste 27 % der Commits
13.5/13.5	Breite der Beitragenden — 99 Beitragende
10/10	OpenSSF Scorecard: Contributors — project has 34 contributing companies or organizations

Verwendete Eingangsdaten

bus_factor	2
contributors_sampled	99
top_contributor_share	0,269

Reaktionsfähigkeit bei Issues & PRs

82Exzellent

Wie die Bewertung erfolgt

32.7/42	Issue-Lösungsquote — 78 % der Issues geschlossen
27.4/30	PR-Annahme — 1.527/1.674 entschiedene PRs gemergt
11.1/13	Newcomer PR acceptance — 6/7 PRs von Erstbeitragenden in 30 Tagen gemergt
10.5/15	OpenSSF Scorecard: Code-Review — Found 21/30 approved changesets -- score normalized to 7

Verwendete Eingangsdaten

merged_prs	1.527
open_issues	198
closed_issues	692
prs_merged_7d	17
prs_decided_7d	18
prs_merged_30d	57
prs_decided_30d	60
issue_closed_ratio	0,778
closed_unmerged_prs	147
first_time_authors_30d	5
first_time_prs_merged_30d	6
first_time_prs_decided_30d	7

Eigentümerschaft & Trägerschaft

61Mittel

Wie die Bewertung erfolgt

30/30	Organisatorische Trägerschaft — im Besitz einer Organisation
0/20	Verifizierte Domain
13.5/25	Reichweite des Inhabers — 75 Follower von verus-lang
17.4/25	Kontohistorie — 16 öffentliche Repos, Kontoalter ca. 4 Jahre

Verwendete Eingangsdaten

followers	75
owner_type	Organization
is_verified	nein
owner_login	verus-lang
public_repos	16
account_age_days	1.536

Paketpflege

100Außergewöhnlich

Wie die Bewertung erfolgt

25/25	Veröffentlicht & auflösbar — 4 Paket(e) auf crates
35/35	Veröffentlichungsaktualität — letzte Veröffentlichung vor 13 Tagen
20/20	Versionshistorie — 39 veröffentlichte Versionen
20/20	Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen

Verwendete Eingangsdaten

packages	vir, vstd, verus, verus_builtin
ecosystems	crates
any_deprecated	nein
min_days_since_publish	13

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

72Gut · 19 % des Gesamtindex

Engineering-Praktiken

84Exzellent

Wie die Bewertung erfolgt

24/24	CI-Workflows — 8 Workflow(s)
24/24	Tests vorhanden
16/16	Linter-Konfiguration — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
0/9.6	Pre-Commit-Hooks
0/6.4	.editorconfig
20/20	OpenSSF Scorecard: CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10

Verwendete Eingangsdaten

has_ci	ja
has_tests	ja
has_editorconfig	nein
has_linter_config	ja
has_precommit_config	nein

Dokumentation

55Mittel

Wie die Bewertung erfolgt

30/30	README
0/25	Dokumentationsverzeichnis
15/15	Dokumentations-/Homepage-Site — https://verus-lang.github.io/verus/verusdoc/vstd/
10/10	Repository-Beschreibung
0/10	Topics
0/10	Wiki

Verwendete Eingangsdaten

topics	—
has_wiki	nein
homepage	—
docs_site	https://verus-lang.github.io/verus/verusdoc/vstd/
has_readme	ja
has_docs_dir	nein
has_description	ja

Sicherheit

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

55Mittel · 16 % des Gesamtindex

Sicherheitslage

48Schwach

Wie die Bewertung erfolgt

6.8/7.5	Binary-Artifacts — binaries present in source code
0/7.5	Branch-Protection — keine Daten
2.5/2.5	CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
5.2/7.5	Code-Review — Found 21/30 approved changesets -- score normalized to 7
2.5/2.5	Contributors — project has 34 contributing companies or organizations
10/10	Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5	Dependency-Update-Tool — no update tool detected
5/5	Fuzzing — project is fuzzed
2.5/2.5	Lizenz — license file detected
7.5/7.5	Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
5/5	Packaging — packaging workflow detected
0/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5	SAST — SAST tool is not run on all commits -- score normalized to 0
0/5	Security-Policy — security policy file not 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 — 25 existing vulnerabilities detected

Verwendete Eingangsdaten

source	openssf_scorecard
checks_evaluated	17
scorecard_version	v5.5.0
checks_inconclusive	1
scorecard_aggregate	4,8

Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Branch-Protection. Die verbleibenden Gewichte wurden renormalisiert.

Abhängigkeits-Advisories

81Exzellent

Wie die Bewertung erfolgt

24.2/35	Direkte Abhängigkeiten ohne bekannte Advisories — 3 betroffen: rand 0.7.3 (low), anyhow 1.0.100 (unknown), im 15.1.0 (unknown)
0/25	Indirekte Abhängigkeiten ohne bekannte Advisories — transitive Menge in diesem Bereich nicht von Entwicklungs- und Test-Abhängigkeiten trennbar
36.4/40	Keine offenen Advisories — 2 Paket(e) mit Advisory seit über 90 Tagen unbehandelt; ältestes vor 1.295 Tagen veröffentlicht

Verwendete Eingangsdaten

source	osv
advisories	26
affected_packages	15
assessed_packages	452
unassessed_packages	19
affected_by_severity	high 5, low 1, unknown 9
direct_affected_packages	3

Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Indirekte Abhängigkeiten ohne bekannte Advisories. Die verbleibenden Gewichte wurden renormalisiert. 452 aufgelöste Abhängigkeiten wurden mit OSV abgeglichen. 19 konnten nicht bewertet werden — keine aufgelöste Version, ein nicht unterstütztes Ökosystem oder außerhalb der ausgewiesenen Paketliste. Dieses Repository veröffentlicht kein Paket, das der Index auflöst; bewertet wurde daher der Abhängigkeitsgraph des Repositorys. Dieser Graph vermischt Entwicklungs- und Test-Pins mit ausgelieferten Abhängigkeiten, daher werden nur die deklarierten Laufzeit-Abhängigkeiten bewertet; transitive Befunde werden als Kontext ausgewiesen und fließen nicht in die Bewertung ein. 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.

72Gut · 4 % des Gesamtindex

AI-Agentenkontext & Leitlinien

40Schwach

Wie die Bewertung erfolgt

0/45	Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15	Maschinenlesbare Doku (llms.txt)
40/40	Lesbare Commit-Historie — 89 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)

Verwendete Eingangsdaten

has_llms_txt	nein
llms_txt_url	—
legible_history_share	0,89
agent_instruction_files	—
agent_instruction_max_bytes	—

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

76Gut

Wie die Bewertung erfolgt

18/18	Bootstrap mit einem Befehl — source/docs/publications-and-projects/Makefile
22/22	Automatisierte Tests
11/11	Lint-/Format-Konfiguration — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
11/11	Statische Typprüfung — Rust (statisch typisiert)
10/10	Reproduzierbare Umgebung — Nix, lockfile
4/10	Belegte Agentenpraxis — 2 der letzten 100 Commits von Agenten verfasst oder ihnen zugeschrieben
0/8	Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet
0/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0

Verwendete Eingangsdaten

has_nix	ja
has_tests	ja
lockfiles	Cargo.lock, Gemfile.lock
has_dockerfile	nein
typed_language	ja
bootstrap_files	source/docs/publications-and-projects/Makefile
has_devcontainer	nein
has_linter_config	ja
typecheck_configs	—
agent_commit_share	0,02
toolchain_manifests	dependencies/prettyplease/Cargo.toml, dependencies/prettyplease/cargo-expand/update/Cargo.toml, dependencies/prettyplease/examples/update/Cargo.toml, dependencies/prettyplease/fuzz/Cargo.toml, dependencies/syn/Cargo.toml, dependencies/syn/codegen/Cargo.toml, dependencies/syn/dev/Cargo.toml, dependencies/syn/examples/dump-syntax/Cargo.toml, dependencies/syn/examples/heapsize/example/Cargo.toml, dependencies/syn/examples/heapsize/heapsize/Cargo.toml, dependencies/syn/examples/heapsize/heapsize_derive/Cargo.toml, dependencies/syn/examples/lazy-static/example/Cargo.toml, dependencies/syn/examples/lazy-static/lazy-static/Cargo.toml, dependencies/syn/examples/trace-var/example/Cargo.toml, dependencies/syn/examples/trace-var/trace-var/Cargo.toml, dependencies/syn/fuzz/Cargo.toml, dependencies/syn/json/Cargo.toml, dependencies/syn/tests/features/Cargo.toml, source/Cargo.toml, source/air/Cargo.toml, source/builtin/Cargo.toml, source/builtin_macros/Cargo.toml, source/cargo-verus-toolchains/Cargo.toml, source/cargo-verus/Cargo.toml, source/rust_verify/Cargo.toml, source/rust_verify_test/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_machines/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_vstd/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/structural/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib_consumer_verified/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/big_rlimit/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/lib_with_bin/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/state_machine_macro_usage/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive1/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive3/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/vstd_macro_usage/Cargo.toml, source/rust_verify_test_macros/Cargo.toml, source/rustc_mir_build/Cargo.toml, source/state_machines_macros/Cargo.toml, source/tools/bump_crate_versions/Cargo.toml, source/tools/internals_interface/Cargo.toml, source/tools/line_count/Cargo.toml, source/verus/Cargo.toml, source/verusdoc/Cargo.toml, source/vir/Cargo.toml, source/vir_macros/Cargo.toml, source/vstd/Cargo.toml, source/vstd_build/Cargo.toml, tools/vargo/Cargo.toml, tools/verita/Cargo.toml
dependency_bot_commit_share	0

AI-Code-Lesbarkeit für Modelle

97Außergewöhnlich

Wie die Bewertung erfolgt

45/45	Typprüfbarer Code — Rust (statisch typisiert)
51.6/55	Handhabbare Dateigrößen — 56/915 Quelldateien über 60 KB

Verwendete Eingangsdaten

primary_language	Rust
largest_source_bytes	1.671.171
source_files_sampled	915
oversized_source_files	56

Maschinenlesbare AI-Schnittstellen

100Außergewöhnlich

Wie die Bewertung erfolgt

0/40	API-Schema (OpenAPI/GraphQL/proto) — für diese Art von Software nicht anwendbar
0/20	MCP-Server — für diese Art von Software nicht anwendbar
40/40	Lauffähige Beispiele — example, examples

Verwendete Eingangsdaten

example_dirs	example, examples
has_mcp_signal	nein
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

2.883GitHub-Sterne

99Mitwirkende

936Commits, letzte 12 Monate

0Tage seit letztem Push

81Releases

2Bus-Faktor

198offene Issues

crates.ioPaket-Ökosysteme

Warnungen zur Datenerhebung

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
First-time contributor figures cover 12 of 17 authors (cap 12)
crates package 'air' points at a different repository (https://github.com/ramp-stack/air.git); excluded from ecosystem scoring
Could not fetch crates package 'vargo' from its registry
Could not fetch crates package 'verita' from its registry
Could not fetch crates package 'verusdoc' from its registry

Weitere Details

Stern- und Fork-Verlauf 0 ★ / 208 ⇿

0Sterne

208Forks

81Releases

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.

Major 0Minor 0Patch 0

Jeder Punkt umfasst 5 Tage.

OpenSSF Scorecard 4.8 / 10

4.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-08-22 18:23 UTC

9	Binary-Artifacts	binaries present in source code
k. A.	Branch-Protection	internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
10	CI-Tests	30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
7	Code-Review	Found 21/30 approved changesets -- score normalized to 7
10	Contributors	project has 34 contributing companies or organizations
10	Dangerous-Workflow	no dangerous workflow patterns detected
0	Dependency-Update-Tool	no update tool detected
10	Fuzzing	project is fuzzed
10	License	license file detected
10	Maintained	30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
10	Packaging	packaging workflow detected
0	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 0
0	SAST	SAST tool is not run on all commits -- score normalized to 0
0	Security-Policy	security policy file not 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	25 existing vulnerabilities detected

Direkte Abhängigkeiten 121

Registry	Paket	Versionsvorgabe	Manifest
crates.io	proc-macro2	`1.0.80`	dependencies/prettyplease/Cargo.toml
crates.io	verus_syn	`=0.0.0-2026-08-02-0125`	dependencies/prettyplease/Cargo.toml
crates.io	proc-macro2	`1.0.101`	dependencies/syn/Cargo.toml
crates.io	quote	`1.0.35`	dependencies/syn/Cargo.toml
crates.io	unicode-ident	`1`	dependencies/syn/Cargo.toml
crates.io	sise	`—`	source/air/Cargo.toml
crates.io	getopts	`—`	source/air/Cargo.toml
crates.io	smt-scope	`—`	source/air/Cargo.toml
crates.io	petgraph	`—`	source/air/Cargo.toml
crates.io	serde	`—`	source/air/Cargo.toml
crates.io	indexmap	`—`	source/air/Cargo.toml
crates.io	yansi	`—`	source/air/Cargo.toml
crates.io	convert_case	`—`	source/builtin_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/builtin_macros/Cargo.toml
crates.io	quote	`—`	source/builtin_macros/Cargo.toml
crates.io	synstructure	`—`	source/builtin_macros/Cargo.toml
crates.io	syn	`—`	source/builtin_macros/Cargo.toml
crates.io	verus_syn	`—`	source/builtin_macros/Cargo.toml
crates.io	verus_prettyplease	`—`	source/builtin_macros/Cargo.toml
crates.io	anyhow	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	clap	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	itertools	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	regex	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	serde	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	toml	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	toml_edit	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	anyhow	`—`	source/cargo-verus/Cargo.toml
crates.io	cargo_metadata	`—`	source/cargo-verus/Cargo.toml
crates.io	cargo-verus-toolchains	`—`	source/cargo-verus/Cargo.toml
crates.io	clap-cargo	`—`	source/cargo-verus/Cargo.toml
crates.io	clap	`—`	source/cargo-verus/Cargo.toml
crates.io	colored	`—`	source/cargo-verus/Cargo.toml
crates.io	hex	`—`	source/cargo-verus/Cargo.toml
crates.io	rustc_tools_util	`—`	source/cargo-verus/Cargo.toml
crates.io	serde_json	`—`	source/cargo-verus/Cargo.toml
crates.io	serde	`—`	source/cargo-verus/Cargo.toml
crates.io	sha2	`—`	source/cargo-verus/Cargo.toml
crates.io	tempfile	`—`	source/cargo-verus/Cargo.toml
crates.io	air	`—`	source/rust_verify/Cargo.toml
crates.io	bincode-next	`—`	source/rust_verify/Cargo.toml
crates.io	cargo-verus-toolchains	`—`	source/rust_verify/Cargo.toml
crates.io	console	`—`	source/rust_verify/Cargo.toml
crates.io	getopts	`—`	source/rust_verify/Cargo.toml
crates.io	hex	`—`	source/rust_verify/Cargo.toml
crates.io	indexmap	`—`	source/rust_verify/Cargo.toml
crates.io	indicatif	`—`	source/rust_verify/Cargo.toml
crates.io	internals_interface	`—`	source/rust_verify/Cargo.toml
crates.io	num-bigint	`—`	source/rust_verify/Cargo.toml
crates.io	num-format	`—`	source/rust_verify/Cargo.toml
crates.io	regex	`—`	source/rust_verify/Cargo.toml
crates.io	rustc_mir_build_verus	`—`	source/rust_verify/Cargo.toml
crates.io	serde_json	`—`	source/rust_verify/Cargo.toml
crates.io	serde	`—`	source/rust_verify/Cargo.toml
crates.io	sha2	`—`	source/rust_verify/Cargo.toml
crates.io	sise	`—`	source/rust_verify/Cargo.toml
crates.io	vir	`—`	source/rust_verify/Cargo.toml
crates.io	air	`—`	source/rust_verify_test/Cargo.toml
crates.io	vir	`—`	source/rust_verify_test/Cargo.toml
crates.io	quote	`—`	source/rust_verify_test_macros/Cargo.toml
crates.io	syn	`—`	source/rust_verify_test_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/rust_verify_test_macros/Cargo.toml
crates.io	itertools	`0.12`	source/rustc_mir_build/Cargo.toml
crates.io	tracing	`0.1`	source/rustc_mir_build/Cargo.toml
crates.io	verus_syn	`—`	source/state_machines_macros/Cargo.toml
crates.io	quote	`—`	source/state_machines_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/state_machines_macros/Cargo.toml
crates.io	indexmap	`—`	source/state_machines_macros/Cargo.toml
crates.io	cargo-verus-toolchains	`—`	source/verus/Cargo.toml
crates.io	chrono	`—`	source/verus/Cargo.toml
crates.io	regex	`—`	source/verus/Cargo.toml
crates.io	serde_json	`—`	source/verus/Cargo.toml
crates.io	toml	`—`	source/verus/Cargo.toml
crates.io	yansi	`—`	source/verus/Cargo.toml
crates.io	zip	`—`	source/verus/Cargo.toml
crates.io	git2	`—`	source/verus/Cargo.toml
crates.io	is-terminal	`—`	source/verus/Cargo.toml
crates.io	rand	`—`	source/verus/Cargo.toml
crates.io	walkdir	`—`	source/verusdoc/Cargo.toml
crates.io	kuchikiki	`—`	source/verusdoc/Cargo.toml
crates.io	serde_json	`—`	source/verusdoc/Cargo.toml
crates.io	serde	`—`	source/verusdoc/Cargo.toml
crates.io	html5ever	`—`	source/verusdoc/Cargo.toml
crates.io	air	`—`	source/vir/Cargo.toml
crates.io	im	`—`	source/vir/Cargo.toml
crates.io	indexmap	`—`	source/vir/Cargo.toml
crates.io	num-bigint	`—`	source/vir/Cargo.toml
crates.io	num-traits	`—`	source/vir/Cargo.toml
crates.io	serde	`—`	source/vir/Cargo.toml
crates.io	sha2	`—`	source/vir/Cargo.toml
crates.io	sise	`—`	source/vir/Cargo.toml
crates.io	vir-macros	`—`	source/vir/Cargo.toml
crates.io	synstructure	`—`	source/vir_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/vir_macros/Cargo.toml
crates.io	syn	`—`	source/vir_macros/Cargo.toml
crates.io	verus_builtin_macros	`=0.0.0-2026-08-09-0044`	source/vstd/Cargo.toml
crates.io	verus_builtin	`=0.0.0-2026-08-09-0044`	source/vstd/Cargo.toml
crates.io	verus_state_machines_macros	`=0.0.0-2026-08-02-0125`	source/vstd/Cargo.toml
crates.io	yansi	`—`	source/vstd_build/Cargo.toml
crates.io	anyhow	`1`	tools/vargo/Cargo.toml
crates.io	clap	`4.5`	tools/vargo/Cargo.toml
crates.io	filetime	`0.2.26`	tools/vargo/Cargo.toml
crates.io	regex	`1`	tools/vargo/Cargo.toml
crates.io	serde_json	`1`	tools/vargo/Cargo.toml
crates.io	serde	`1`	tools/vargo/Cargo.toml
crates.io	toml	`0.9`	tools/vargo/Cargo.toml
crates.io	walkdir	`2.5`	tools/vargo/Cargo.toml
crates.io	yansi	`1.0`	tools/vargo/Cargo.toml
crates.io	anyhow	`1.0.83`	tools/verita/Cargo.toml
crates.io	dunce	`1`	tools/verita/Cargo.toml
crates.io	chrono	`0.4.38`	tools/verita/Cargo.toml
crates.io	clap	`4.3.11`	tools/verita/Cargo.toml
crates.io	git2	`0.18.3`	tools/verita/Cargo.toml
crates.io	regex	`1.10.4`	tools/verita/Cargo.toml
crates.io	serde	`1.0`	tools/verita/Cargo.toml
crates.io	serde_json	`1.0.117`	tools/verita/Cargo.toml
crates.io	tempdir	`0.3.7`	tools/verita/Cargo.toml
crates.io	toml	`0.8.13`	tools/verita/Cargo.toml
crates.io	toml_edit	`0.22`	tools/verita/Cargo.toml
crates.io	tracing	`0.1.37`	tools/verita/Cargo.toml
crates.io	tracing-subscriber	`0.3.17`	tools/verita/Cargo.toml
crates.io	xshell	`0.2.6`	tools/verita/Cargo.toml

Alle Abhängigkeiten 471

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

Registry	Paket	Version	Beziehung
crates.io	anyhow	`—`	direkt
crates.io	anyhow	`1.0.100`	direkt
crates.io	anyhow	`1.0.104`	direkt
crates.io	bincode-next	`3.1.1`	direkt
crates.io	cargo_metadata	`0.23.1`	direkt
crates.io	chrono	`—`	direkt
crates.io	chrono	`0.4.45`	direkt
crates.io	clap	`—`	direkt
crates.io	clap	`4.5.53`	direkt
crates.io	clap	`4.6.4`	direkt
crates.io	clap-cargo	`0.18.3`	direkt
crates.io	colored	`3.1.1`	direkt
crates.io	console	`0.16.4`	direkt
crates.io	convert_case	`0.4.0`	direkt
crates.io	dunce	`—`	direkt
crates.io	filetime	`0.2.26`	direkt
crates.io	getopts	`0.2.21`	direkt
crates.io	git2	`—`	direkt
crates.io	git2	`0.21.0`	direkt
crates.io	hex	`0.4.3`	direkt
crates.io	html5ever	`0.26.0`	direkt
crates.io	im	`15.1.0`	direkt
crates.io	indexmap	`1.9.3`	direkt
crates.io	indexmap	`2.12.1`	direkt
crates.io	indexmap	`2.14.0`	direkt
crates.io	indicatif	`0.18.6`	direkt
crates.io	is-terminal	`0.4.17`	direkt
crates.io	itertools	`—`	direkt
crates.io	itertools	`0.12.1`	direkt
crates.io	itertools	`0.15.0`	direkt
crates.io	kuchikiki	`0.8.2`	direkt
crates.io	num-bigint	`0.4.8`	direkt
crates.io	num-bigint	`0.5.1`	direkt
crates.io	num-format	`0.4.4`	direkt
crates.io	num-traits	`0.2.19`	direkt
crates.io	petgraph	`—`	direkt
crates.io	petgraph	`0.6.5`	direkt
crates.io	petgraph	`0.8.3`	direkt
crates.io	proc-macro2	`1.0.104`	direkt
crates.io	proc-macro2	`1.0.107`	direkt
crates.io	quote	`1.0.42`	direkt
crates.io	quote	`1.0.47`	direkt
crates.io	rand	`0.10.2`	direkt
crates.io	rand	`0.7.3`	direkt
crates.io	rand	`0.8.7`	direkt
crates.io	regex	`—`	direkt
crates.io	regex	`1.12.2`	direkt
crates.io	regex	`1.13.1`	direkt
crates.io	rustc_tools_util	`0.4.2`	direkt
crates.io	serde	`—`	direkt
crates.io	serde	`1.0.228`	direkt
crates.io	serde	`1.0.229`	direkt
crates.io	serde_json	`—`	direkt
crates.io	serde_json	`1.0.148`	direkt
crates.io	serde_json	`1.0.151`	direkt
crates.io	sha2	`0.11.0`	direkt
crates.io	sise	`0.8.0`	direkt
crates.io	smt-scope	`0.1.7`	direkt
crates.io	syn	`1.0.109`	direkt
crates.io	syn	`2.0.112`	direkt
crates.io	syn	`2.0.119`	direkt
crates.io	syn	`3.0.3`	direkt
crates.io	synstructure	`0.13.2`	direkt
crates.io	tempdir	`—`	direkt
crates.io	tempfile	`—`	direkt
crates.io	tempfile	`3.27.0`	direkt
crates.io	toml	`—`	direkt
crates.io	toml	`0.9.10+spec-1.1.0`	direkt
crates.io	toml	`1.1.4+spec-1.1.0`	direkt
crates.io	toml_edit	`—`	direkt
crates.io	toml_edit	`0.23.10+spec-1.0.0`	direkt
crates.io	tracing	`—`	direkt
crates.io	tracing	`0.1.44`	direkt
crates.io	tracing-subscriber	`—`	direkt
crates.io	unicode-ident	`1.0.22`	direkt
crates.io	unicode-ident	`1.0.24`	direkt
crates.io	verus_builtin	`0.0.0-2026-08-09-0044`	direkt
crates.io	verus_builtin_macros	`0.0.0-2026-08-09-0044`	direkt
crates.io	verus_state_machines_macros	`0.0.0-2026-08-02-0125`	direkt
crates.io	walkdir	`2.5.0`	direkt
crates.io	xshell	`—`	direkt
crates.io	yansi	`1.0.1`	direkt
crates.io	zip	`8.6.0`	direkt
crates.io	adler2	`2.0.1`	indirekt
crates.io	aes	`0.9.2`	indirekt
crates.io	ahash	`0.8.12`	indirekt
crates.io	aho-corasick	`1.1.4`	indirekt
crates.io	allocator-api2	`0.2.21`	indirekt
crates.io	android_system_properties	`0.1.5`	indirekt
crates.io	anstream	`0.6.21`	indirekt
crates.io	anstream	`1.0.0`	indirekt
crates.io	anstyle	`1.0.13`	indirekt
crates.io	anstyle	`1.0.14`	indirekt
crates.io	anstyle-parse	`0.2.7`	indirekt
crates.io	anstyle-parse	`1.0.0`	indirekt
crates.io	anstyle-query	`1.1.5`	indirekt
crates.io	anstyle-wincon	`3.0.11`	indirekt
crates.io	arrayvec	`0.7.8`	indirekt
crates.io	atomic-waker	`1.1.2`	indirekt
crates.io	autocfg	`1.5.1`	indirekt
crates.io	base64	`0.22.1`	indirekt
crates.io	bincode	`2.0.1`	indirekt
crates.io	bincode_derive-next	`3.1.1`	indirekt
crates.io	bitflags	`1.3.2`	indirekt
crates.io	bitflags	`2.10.0`	indirekt
crates.io	bitflags	`2.13.1`	indirekt
crates.io	bitmaps	`2.1.0`	indirekt
crates.io	bitmask-enum	`2.2.5`	indirekt
crates.io	block-buffer	`0.12.1`	indirekt
crates.io	bumpalo	`3.20.3`	indirekt
crates.io	bytecount	`0.6.9`	indirekt
crates.io	byteorder	`1.5.0`	indirekt
crates.io	bytes	`1.12.1`	indirekt
crates.io	bzip2	`0.6.1`	indirekt
crates.io	camino	`1.2.5`	indirekt
crates.io	cargo-platform	`0.3.3`	indirekt
crates.io	cc	`1.4.0`	indirekt
crates.io	cfg-if	`1.0.4`	indirekt
crates.io	chacha20	`0.10.1`	indirekt
crates.io	cipher	`0.5.2`	indirekt
crates.io	clap_builder	`4.5.53`	indirekt
crates.io	clap_builder	`4.6.2`	indirekt
crates.io	clap_derive	`4.5.49`	indirekt
crates.io	clap_derive	`4.6.4`	indirekt
crates.io	clap_lex	`0.7.6`	indirekt
crates.io	clap_lex	`1.1.0`	indirekt
crates.io	cmov	`0.5.4`	indirekt
crates.io	colorchoice	`1.0.4`	indirekt
crates.io	colorchoice	`1.0.5`	indirekt
crates.io	const-oid	`0.10.2`	indirekt
crates.io	constant_time_eq	`0.4.2`	indirekt
crates.io	core-foundation	`0.10.1`	indirekt
crates.io	core-foundation-sys	`0.8.7`	indirekt
crates.io	cpubits	`0.1.1`	indirekt
crates.io	cpufeatures	`0.3.0`	indirekt
crates.io	crates_io_api	`0.12.0`	indirekt
crates.io	crc32fast	`1.5.0`	indirekt
crates.io	crypto-common	`0.2.2`	indirekt
crates.io	cssparser	`0.27.2`	indirekt
crates.io	cssparser-macros	`0.6.1`	indirekt
crates.io	ctutils	`0.4.2`	indirekt
crates.io	deflate64	`0.1.12`	indirekt
crates.io	deranged	`0.5.8`	indirekt
crates.io	derive_more	`0.99.20`	indirekt
crates.io	diff	`0.1.13`	indirekt
crates.io	digest	`0.11.3`	indirekt
crates.io	displaydoc	`0.2.7`	indirekt
crates.io	dtoa	`1.0.11`	indirekt
crates.io	dtoa-short	`0.3.5`	indirekt
crates.io	duplicate	`1.0.0`	indirekt
crates.io	either	`1.17.0`	indirekt
crates.io	encode_unicode	`1.0.0`	indirekt
crates.io	equivalent	`1.0.2`	indirekt
crates.io	errno	`0.3.14`	indirekt
crates.io	fastrand	`2.5.0`	indirekt
crates.io	find-msvc-tools	`0.1.9`	indirekt
crates.io	fixedbitset	`0.4.2`	indirekt
crates.io	fixedbitset	`0.5.7`	indirekt
crates.io	flate2	`1.1.9`	indirekt
crates.io	fnv	`1.0.7`	indirekt
crates.io	foldhash	`0.1.5`	indirekt
crates.io	foreign-types	`0.3.2`	indirekt
crates.io	foreign-types-shared	`0.1.1`	indirekt
crates.io	form_urlencoded	`1.2.2`	indirekt
crates.io	futf	`0.1.5`	indirekt
crates.io	futures	`0.3.33`	indirekt
crates.io	futures-channel	`0.3.33`	indirekt
crates.io	futures-core	`0.3.33`	indirekt
crates.io	futures-executor	`0.3.33`	indirekt
crates.io	futures-io	`0.3.33`	indirekt
crates.io	futures-macro	`0.3.33`	indirekt
crates.io	futures-sink	`0.3.33`	indirekt
crates.io	futures-task	`0.3.33`	indirekt
crates.io	futures-util	`0.3.33`	indirekt
crates.io	fxhash	`0.2.1`	indirekt
crates.io	getrandom	`0.1.16`	indirekt
crates.io	getrandom	`0.2.17`	indirekt
crates.io	getrandom	`0.4.3`	indirekt
crates.io	hashbrown	`0.12.3`	indirekt
crates.io	hashbrown	`0.14.5`	indirekt
crates.io	hashbrown	`0.15.5`	indirekt
crates.io	hashbrown	`0.16.1`	indirekt
crates.io	hashbrown	`0.17.1`	indirekt
crates.io	heck	`0.4.1`	indirekt
crates.io	heck	`0.5.0`	indirekt
crates.io	hermit-abi	`0.5.2`	indirekt
crates.io	hmac	`0.13.0`	indirekt
crates.io	http	`1.5.0`	indirekt
crates.io	http-body	`1.1.0`	indirekt
crates.io	http-body-util	`0.1.4`	indirekt
crates.io	httparse	`1.10.1`	indirekt
crates.io	hybrid-array	`0.4.14`	indirekt
crates.io	hyper	`1.11.0`	indirekt
crates.io	hyper-tls	`0.6.0`	indirekt
crates.io	hyper-util	`0.1.20`	indirekt
crates.io	iana-time-zone	`0.1.65`	indirekt
crates.io	iana-time-zone-haiku	`0.1.2`	indirekt
crates.io	icu_collections	`2.2.0`	indirekt
crates.io	icu_locale_core	`2.2.0`	indirekt
crates.io	icu_normalizer	`2.2.0`	indirekt
crates.io	icu_normalizer_data	`2.2.0`	indirekt
crates.io	icu_properties	`2.2.0`	indirekt
crates.io	icu_properties_data	`2.2.0`	indirekt
crates.io	icu_provider	`2.2.0`	indirekt
crates.io	idna	`1.1.0`	indirekt
crates.io	idna_adapter	`1.2.2`	indirekt
crates.io	indoc	`2.0.7`	indirekt
crates.io	inout	`0.2.2`	indirekt
crates.io	insta	`1.48.0`	indirekt
crates.io	instant	`0.1.13`	indirekt
crates.io	ipnet	`2.12.0`	indirekt
crates.io	is_terminal_polyfill	`1.70.2`	indirekt
crates.io	itoa	`0.4.8`	indirekt
crates.io	itoa	`1.0.17`	indirekt
crates.io	itoa	`1.0.18`	indirekt
crates.io	jobserver	`0.1.35`	indirekt
crates.io	js-sys	`0.3.103`	indirekt
crates.io	lasso	`0.7.3`	indirekt
crates.io	libbz2-rs-sys	`0.2.5`	indirekt
crates.io	libc	`0.2.178`	indirekt
crates.io	libc	`0.2.189`	indirekt
crates.io	libgit2-sys	`0.18.7+1.9.6`	indirekt
crates.io	libredox	`0.1.12`	indirekt
crates.io	libz-sys	`1.1.29`	indirekt
crates.io	linux-raw-sys	`0.12.1`	indirekt
crates.io	litemap	`0.8.2`	indirekt
crates.io	lock_api	`0.4.14`	indirekt
crates.io	log	`0.4.33`	indirekt
crates.io	lzma-rust2	`0.16.5`	indirekt
crates.io	mac	`0.1.1`	indirekt
crates.io	markup5ever	`0.11.0`	indirekt
crates.io	matches	`0.1.10`	indirekt
crates.io	memchr	`2.7.6`	indirekt
crates.io	memchr	`2.8.3`	indirekt
crates.io	miniz_oxide	`0.8.9`	indirekt
crates.io	mio	`1.2.2`	indirekt
crates.io	native-tls	`0.2.18`	indirekt
crates.io	new_debug_unreachable	`1.0.6`	indirekt
crates.io	nodrop	`0.1.14`	indirekt
crates.io	nonmax	`0.5.5`	indirekt
crates.io	num	`0.4.3`	indirekt
crates.io	num-complex	`0.4.6`	indirekt
crates.io	num-conv	`0.2.2`	indirekt
crates.io	num-integer	`0.1.46`	indirekt
crates.io	num-iter	`0.1.46`	indirekt
crates.io	num-rational	`0.4.2`	indirekt
crates.io	once_cell	`1.21.4`	indirekt
crates.io	once_cell_polyfill	`1.70.2`	indirekt
crates.io	openssl	`0.10.81`	indirekt
crates.io	openssl-macros	`0.1.1`	indirekt
crates.io	openssl-probe	`0.2.1`	indirekt
crates.io	openssl-sys	`0.9.117`	indirekt
crates.io	papergrid	`0.18.0`	indirekt
crates.io	parking_lot	`0.11.2`	indirekt
crates.io	parking_lot	`0.12.5`	indirekt
crates.io	parking_lot_core	`0.8.6`	indirekt
crates.io	parking_lot_core	`0.9.12`	indirekt
crates.io	pastey	`0.2.3`	indirekt
crates.io	pbkdf2	`0.13.0`	indirekt
crates.io	percent-encoding	`2.3.2`	indirekt
crates.io	phf	`0.10.1`	indirekt
crates.io	phf	`0.8.0`	indirekt
crates.io	phf_codegen	`0.10.0`	indirekt
crates.io	phf_codegen	`0.8.0`	indirekt
crates.io	phf_generator	`0.10.0`	indirekt
crates.io	phf_generator	`0.11.3`	indirekt
crates.io	phf_generator	`0.8.0`	indirekt
crates.io	phf_macros	`0.8.0`	indirekt
crates.io	phf_shared	`0.10.0`	indirekt
crates.io	phf_shared	`0.11.3`	indirekt
crates.io	phf_shared	`0.8.0`	indirekt
crates.io	pin-project-lite	`0.2.17`	indirekt
crates.io	pin-utils	`0.1.0`	indirekt
crates.io	pkg-config	`0.3.33`	indirekt
crates.io	portable-atomic	`1.14.0`	indirekt
crates.io	potential_utf	`0.1.5`	indirekt
crates.io	powerfmt	`0.2.0`	indirekt
crates.io	ppmd-rust	`1.4.0`	indirekt
crates.io	ppv-lite86	`0.2.21`	indirekt
crates.io	precomputed-hash	`0.1.1`	indirekt
crates.io	pretty_assertions	`—`	indirekt
crates.io	pretty_assertions	`1.4.1`	indirekt
crates.io	proc-macro-error	`1.0.4`	indirekt
crates.io	proc-macro-error-attr	`1.0.4`	indirekt
crates.io	proc-macro-error-attr2	`2.0.0`	indirekt
crates.io	proc-macro-error2	`2.0.1`	indirekt
crates.io	proc-macro-hack	`0.5.20+deprecated`	indirekt
crates.io	r-efi	`6.0.0`	indirekt
crates.io	rand_chacha	`0.2.2`	indirekt
crates.io	rand_chacha	`0.3.1`	indirekt
crates.io	rand_core	`0.10.1`	indirekt
crates.io	rand_core	`0.5.1`	indirekt
crates.io	rand_core	`0.6.4`	indirekt
crates.io	rand_hc	`0.2.0`	indirekt
crates.io	rand_pcg	`0.2.1`	indirekt
crates.io	rand_xoshiro	`0.6.0`	indirekt
crates.io	rapidhash	`4.5.1`	indirekt
crates.io	redox_syscall	`0.2.16`	indirekt
crates.io	redox_syscall	`0.5.18`	indirekt
crates.io	redox_syscall	`0.7.0`	indirekt
crates.io	regex-automata	`0.4.13`	indirekt
crates.io	regex-automata	`0.4.16`	indirekt
crates.io	regex-syntax	`0.8.11`	indirekt
crates.io	regex-syntax	`0.8.8`	indirekt
crates.io	reqwest	`0.12.28`	indirekt
crates.io	rustc_version	`0.4.1`	indirekt
crates.io	rustix	`1.1.4`	indirekt
crates.io	rustls-pki-types	`1.15.1`	indirekt
crates.io	rustversion	`1.0.23`	indirekt
crates.io	ryu	`1.0.23`	indirekt
crates.io	same-file	`1.0.6`	indirekt
crates.io	schannel	`0.1.29`	indirekt
crates.io	scopeguard	`1.2.0`	indirekt
crates.io	security-framework	`3.7.0`	indirekt
crates.io	security-framework-sys	`2.17.0`	indirekt
crates.io	selectors	`0.22.0`	indirekt
crates.io	semver	`1.0.28`	indirekt
crates.io	serde_core	`1.0.228`	indirekt
crates.io	serde_core	`1.0.229`	indirekt
crates.io	serde_derive	`1.0.228`	indirekt
crates.io	serde_derive	`1.0.229`	indirekt
crates.io	serde_path_to_error	`0.1.20`	indirekt
crates.io	serde_spanned	`1.0.4`	indirekt
crates.io	serde_spanned	`1.1.1`	indirekt
crates.io	serde_urlencoded	`0.7.1`	indirekt
crates.io	servo_arc	`0.1.1`	indirekt
crates.io	sha1	`0.11.0`	indirekt
crates.io	shlex	`2.0.1`	indirekt
crates.io	simd-adler32	`0.3.10`	indirekt
crates.io	similar	`2.7.0`	indirekt
crates.io	siphasher	`0.3.11`	indirekt
crates.io	siphasher	`1.0.3`	indirekt
crates.io	sized-chunks	`0.6.5`	indirekt
crates.io	slab	`0.4.12`	indirekt
crates.io	smallvec	`1.15.2`	indirekt
crates.io	socket2	`0.6.5`	indirekt
crates.io	stable_deref_trait	`1.2.1`	indirekt
crates.io	string_cache	`0.8.9`	indirekt
crates.io	string_cache_codegen	`0.5.4`	indirekt
crates.io	strsim	`0.11.1`	indirekt
crates.io	strum	`0.26.3`	indirekt
crates.io	strum_macros	`0.26.4`	indirekt
crates.io	sync_wrapper	`1.0.2`	indirekt
crates.io	tabled	`0.21.0`	indirekt
crates.io	tabled_derive	`0.11.0`	indirekt
crates.io	tendril	`0.4.3`	indirekt
crates.io	testing_table	`0.3.0`	indirekt
crates.io	thin-slice	`0.1.1`	indirekt
crates.io	thiserror	`1.0.69`	indirekt
crates.io	thiserror	`2.0.19`	indirekt
crates.io	thiserror-impl	`1.0.69`	indirekt
crates.io	thiserror-impl	`2.0.19`	indirekt
crates.io	time	`0.3.54`	indirekt
crates.io	time-core	`0.1.9`	indirekt
crates.io	tinystr	`0.8.3`	indirekt
crates.io	tokio	`1.53.1`	indirekt
crates.io	tokio-native-tls	`0.3.1`	indirekt
crates.io	toml_datetime	`0.7.5+spec-1.1.0`	indirekt
crates.io	toml_datetime	`1.1.1+spec-1.1.0`	indirekt
crates.io	toml_parser	`1.0.6+spec-1.1.0`	indirekt
crates.io	toml_parser	`1.1.3+spec-1.1.0`	indirekt
crates.io	toml_writer	`1.0.6+spec-1.1.0`	indirekt
crates.io	toml_writer	`1.1.2+spec-1.1.0`	indirekt
crates.io	tower	`0.5.3`	indirekt
crates.io	tower-http	`0.6.11`	indirekt
crates.io	tower-layer	`0.3.3`	indirekt
crates.io	tower-service	`0.3.3`	indirekt
crates.io	tracing-attributes	`0.1.31`	indirekt
crates.io	tracing-core	`0.1.36`	indirekt
crates.io	try-lock	`0.2.5`	indirekt
crates.io	typed-index-collections	`3.5.0`	indirekt
crates.io	typed-path	`0.12.3`	indirekt
crates.io	typenum	`1.20.1`	indirekt
crates.io	unicode-width	`0.1.14`	indirekt
crates.io	unicode-width	`0.2.2`	indirekt
crates.io	unit-prefix	`0.5.2`	indirekt
crates.io	unty	`0.0.4`	indirekt
crates.io	unty-next	`0.1.2`	indirekt
crates.io	url	`2.5.8`	indirekt
crates.io	utf-8	`0.7.6`	indirekt
crates.io	utf8_iter	`1.0.4`	indirekt
crates.io	utf8parse	`0.2.2`	indirekt
crates.io	vcpkg	`0.2.15`	indirekt
crates.io	version_check	`0.9.5`	indirekt
crates.io	virtue-next	`0.1.3`	indirekt
crates.io	want	`0.3.1`	indirekt
crates.io	wasi	`0.11.1+wasi-snapshot-preview1`	indirekt
crates.io	wasi	`0.9.0+wasi-snapshot-preview1`	indirekt
crates.io	wasm-bindgen	`0.2.126`	indirekt
crates.io	wasm-bindgen-futures	`0.4.76`	indirekt
crates.io	wasm-bindgen-macro	`0.2.126`	indirekt
crates.io	wasm-bindgen-macro-support	`0.2.126`	indirekt
crates.io	wasm-bindgen-shared	`0.2.126`	indirekt
crates.io	wasm-timer	`0.2.5`	indirekt
crates.io	web-sys	`0.3.103`	indirekt
crates.io	web-time	`1.1.0`	indirekt
crates.io	win32job	`—`	indirekt
crates.io	win32job	`1.0.4`	indirekt
crates.io	winapi	`0.3.9`	indirekt
crates.io	winapi-i686-pc-windows-gnu	`0.4.0`	indirekt
crates.io	winapi-util	`0.1.11`	indirekt
crates.io	winapi-x86_64-pc-windows-gnu	`0.4.0`	indirekt
crates.io	windows-core	`0.62.2`	indirekt
crates.io	windows-implement	`0.60.2`	indirekt
crates.io	windows-interface	`0.59.3`	indirekt
crates.io	windows-link	`0.2.1`	indirekt
crates.io	windows-result	`0.4.1`	indirekt
crates.io	windows-strings	`0.5.1`	indirekt
crates.io	windows-sys	`0.60.2`	indirekt
crates.io	windows-sys	`0.61.2`	indirekt
crates.io	windows-targets	`0.53.5`	indirekt
crates.io	windows_aarch64_gnullvm	`0.53.1`	indirekt
crates.io	windows_aarch64_msvc	`0.53.1`	indirekt
crates.io	windows_i686_gnu	`0.53.1`	indirekt
crates.io	windows_i686_gnullvm	`0.53.1`	indirekt
crates.io	windows_i686_msvc	`0.53.1`	indirekt
crates.io	windows_x86_64_gnu	`0.53.1`	indirekt
crates.io	windows_x86_64_gnullvm	`0.53.1`	indirekt
crates.io	windows_x86_64_msvc	`0.53.1`	indirekt
crates.io	winnow	`0.7.14`	indirekt
crates.io	winnow	`0.7.15`	indirekt
crates.io	winnow	`1.0.4`	indirekt
crates.io	writeable	`0.6.3`	indirekt
crates.io	yoke	`0.8.3`	indirekt
crates.io	yoke-derive	`0.8.2`	indirekt
crates.io	zerocopy	`0.8.55`	indirekt
crates.io	zerocopy-derive	`0.8.55`	indirekt
crates.io	zerofrom	`0.1.8`	indirekt
crates.io	zerofrom-derive	`0.1.7`	indirekt
crates.io	zeroize	`1.9.0`	indirekt
crates.io	zerotrie	`0.2.4`	indirekt
crates.io	zerovec	`0.11.6`	indirekt
crates.io	zerovec-derive	`0.11.3`	indirekt
crates.io	zlib-rs	`0.6.6`	indirekt
crates.io	zmij	`1.0.23`	indirekt
crates.io	zmij	`1.0.5`	indirekt
crates.io	zopfli	`0.8.3`	indirekt
crates.io	zstd	`0.13.3`	indirekt
crates.io	zstd-safe	`7.2.4`	indirekt
crates.io	zstd-sys	`2.0.16+zstd.1.5.7`	indirekt
RubyGems	addressable	`2.8.6`	indirekt
RubyGems	colorator	`1.1.0`	indirekt
RubyGems	concurrent-ruby	`1.2.3`	indirekt
RubyGems	em-websocket	`0.5.3`	indirekt
RubyGems	eventmachine	`1.2.7`	indirekt
RubyGems	ffi	`1.16.3`	indirekt
RubyGems	forwardable-extended	`2.6.0`	indirekt
RubyGems	google-protobuf	`4.26.1`	indirekt
RubyGems	http_parser.rb	`0.8.0`	indirekt
RubyGems	i18n	`1.14.4`	indirekt
RubyGems	jekyll	`4.3.3`	indirekt
RubyGems	jekyll-feed	`0.17.0`	indirekt
RubyGems	jekyll-sass-converter	`3.0.0`	indirekt
RubyGems	jekyll-watch	`2.2.1`	indirekt
RubyGems	kramdown	`2.4.0`	indirekt
RubyGems	kramdown-parser-gfm	`1.1.0`	indirekt
RubyGems	liquid	`4.0.4`	indirekt
RubyGems	listen	`3.9.0`	indirekt
RubyGems	mercenary	`0.4.0`	indirekt
RubyGems	pathutil	`0.16.2`	indirekt
RubyGems	public_suffix	`5.0.5`	indirekt
RubyGems	rake	`13.2.1`	indirekt
RubyGems	rb-fsevent	`0.11.2`	indirekt
RubyGems	rb-inotify	`0.10.1`	indirekt
RubyGems	rexml	`3.2.6`	indirekt
RubyGems	rouge	`4.2.1`	indirekt
RubyGems	safe_yaml	`1.0.5`	indirekt
RubyGems	sass-embedded	`1.76.0-x86_64-linux-musl`	indirekt
RubyGems	terminal-table	`3.0.2`	indirekt
RubyGems	unicode-display_width	`2.5.0`	indirekt
RubyGems	webrick	`1.8.1`	indirekt

Abhängigkeits-Advisories 15

Dieses Repository veröffentlicht kein vom Index auflösbares Paket, daher wurde sein eigener Abhängigkeitsgraph bewertet – 452 Pakete, darunter auch Entwicklungs- und Test-Pins, die nie ausgeliefert werden: 15 tragen bekannte Advisories, davon 3 direkte. 19 konnten nicht bewertet werden – keine aufgelöste Version, ein nicht unterstütztes Ökosystem, oder außerhalb der ausgewiesenen Paketliste.

Paket	Version	Beziehung	Schweregrad	Advisories	Behoben in
addressable	`2.8.6`	indirekt	hoch	1	`2.9.0`
concurrent-ruby	`1.2.3`	indirekt	hoch	3	`1.3.7`
google-protobuf	`4.26.1`	indirekt	hoch	1	`4.28.2`
rexml	`3.2.6`	indirekt	hoch	6	`3.3.9`
webrick	`1.8.1`	indirekt	hoch	2	`1.8.2`
rand	`0.7.3`	direkt	niedrig	2	`0.10.1`
anyhow	`1.0.100`	direkt	unbekannt	1	`1.0.103`
im	`15.1.0`	direkt	unbekannt	2	—
bincode	`2.0.1`	indirekt	unbekannt	1	—
bitmaps	`2.1.0`	indirekt	unbekannt	1	—
fxhash	`0.2.1`	indirekt	unbekannt	1	—
instant	`0.1.13`	indirekt	unbekannt	1	—
proc-macro-error	`1.0.4`	indirekt	unbekannt	1	—
proc-macro-error2	`2.0.1`	indirekt	unbekannt	1	—
sized-chunks	`0.6.5`	indirekt	unbekannt	2	—

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.

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.

Software-Gesundheitsindex

Bewertungsprofil

Eigentümerschaft

Paket-Ökosysteme

Metriken nach Kategorie

Eckdaten

Warnungen zur Datenerhebung

Weitere Details

Feedback

Verwandte Einträge