Öffentliches RegisterGut
Software-GesundheitsberichtSchema 0.34.0 · Metriken 2.10.0 · 2026-09-16 05:58 UTC
automators-com / flowproof
Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
automators-com/flowproof erreicht einen Gesundheitsindex von 77 von 100 und liegt damit im Bereich Gut. Am stärksten schneidet es bei Engineering Quality (90/100) ab, am schwächsten bei Community & Adoption (44/100). Zuletzt heute aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
77
gesamt / 100Software-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.
77
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 66 wird auf der veröffentlichten Indexskala auf 77 kalibriert (Register-Kalibrierung 2026-08-02).
Eigentümerschaft
AutomatorsOrganisation
11 Follower6 öffentliche Reposseit Juli 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 |
|---|---|---|---|---|---|---|
| npm | flowproof | 0.23.0 | 2.520 | 24 | vor 1 Tag | test-automationtestingautomationai-agentssap-guicitrixwindows |
| PyPI | flowproof | 0.23.0 | 1.370 | 37 | vor 1 Tag | — |
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
76
Entwicklungsaktivität
60Mittel
Wie die Bewertung erfolgt
| 36/36 | Push-Aktualität — letzter Push vor 0 Tagen |
| 6.2/36 | Commit-Rhythmus — 9/52 Wochen mit Commits |
| 18/18 | Commit-Volumen — 908 Commits im letzten Jahr |
| 0/10 | OpenSSF Scorecard: Maintained — project was created within the last 90 days. Please review its contents carefully |
Verwendete Eingangsdaten
| commits_last_year | 908 |
| human_commit_share | 1 |
| days_since_last_push | 0 |
| active_weeks_last_year | 9 |
Release-Disziplin
100Außergewöhnlich
Wie die Bewertung erfolgt
| 27/27 | Liefert Releases aus — 11 Releases veröffentlicht |
| 36/36 | Release-Aktualität — letztes Release vor 1 Tagen |
| 27/27 | Release-Rhythmus — ein Release etwa alle 4,4 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — keine Daten |
Verwendete Eingangsdaten
| releases_count | 11 |
| latest_release_tag | v0.23.0 |
| releases_from_tags | nein |
| days_since_latest_release | 1 |
| mean_days_between_releases | 4,4 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
44
Popularität & Verbreitung
10Kritisch
Wie die Bewertung erfolgt
| 9.8/60 | Stars — 5 Stars |
| 0/25 | Forks — 0 Forks |
| 0/15 | Watcher — 0 Watcher |
Verwendete Eingangsdaten
| forks | 0 |
| stars | 5 |
| watchers | 0 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
70Gut
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 22.5/22.5 | Lizenz — anerkannte Lizenz (Apache-2.0) |
| 18/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 0/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 | github.com, shields.io |
| has_pull_request_template | nein |
Wie die Bewertung erfolgt
| 47.9/80 | Downloads pro Monat — 3.890 Downloads/Monat über npm, pypi |
| 0/20 | Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen |
Verwendete Eingangsdaten
| packages | flowproof, flowproof |
| dependents | — |
| ecosystems | npm, pypi |
| total_downloads | — |
| monthly_downloads | 3.890 |
| 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?
60
Maintainer-Resilienz (Bus-Faktor)
28Gefährdet
Wie die Bewertung erfolgt
| 9/54 | Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab |
| 9.1/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 60 % der Commits |
| 4.1/13.5 | Breite der Beitragenden — 3 Beitragende |
| 6/10 | OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6 |
Verwendete Eingangsdaten
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0,595 |
Wie die Bewertung erfolgt
| 36.2/42 | Issue-Lösungsquote — 86 % der Issues geschlossen |
| 28.8/30 | PR-Annahme — 484/504 entschiedene PRs gemergt |
| 0/13 | Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden |
| 1.5/15 | OpenSSF Scorecard: Code-Review — Found 3/18 approved changesets -- score normalized to 1 |
Verwendete Eingangsdaten
| merged_prs | 484 |
| open_issues | 12 |
| closed_issues | 75 |
| prs_merged_7d | 31 |
| prs_decided_7d | 31 |
| prs_merged_30d | 56 |
| prs_decided_30d | 60 |
| issue_closed_ratio | 0,862 |
| closed_unmerged_prs | 20 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Newcomer PR acceptance. Die verbleibenden Gewichte wurden renormalisiert.
Eigentümerschaft & Trägerschaft
52Mittel
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 0/20 | Verifizierte Domain |
| 7.8/25 | Reichweite des Inhabers — 11 Follower von automators-com |
| 14.5/25 | Kontohistorie — 6 öffentliche Repos, Kontoalter ca. 4 Jahre |
Verwendete Eingangsdaten
| followers | 11 |
| owner_type | Organization |
| is_verified | nein |
| owner_login | automators-com |
| public_repos | 6 |
| account_age_days | 1.532 |
Paketpflege
100Außergewöhnlich
Wie die Bewertung erfolgt
| 25/25 | Veröffentlicht & auflösbar — 2 Paket(e) auf npm, pypi |
| 35/35 | Veröffentlichungsaktualität — letzte Veröffentlichung vor 1 Tagen |
| 20/20 | Versionshistorie — 37 veröffentlichte Versionen |
| 20/20 | Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen |
Verwendete Eingangsdaten
| packages | flowproof, flowproof |
| ecosystems | npm, pypi |
| any_deprecated | nein |
| min_days_since_publish | 1 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
90
Engineering-Praktiken
84Exzellent
Wie die Bewertung erfolgt
| 24/24 | CI-Workflows — 11 Workflow(s) |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration — Cargo.toml ([workspace.lints]), crates/flowproof-adapters/Cargo.toml ([lints]), crates/flowproof-agent/Cargo.toml ([lints]), crates/flowproof-cli/Cargo.toml ([lints]), crates/flowproof-driver/Cargo.toml ([lints]), crates/flowproof-python/Cargo.toml ([lints]), crates/flowproof-replay/Cargo.toml ([lints]), crates/flowproof-trace/Cargo.toml ([lints]), sdk/python/pyproject.toml ([tool.ruff]) |
| 0/9.6 | Pre-Commit-Hooks |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 18 out of 18 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
100Außergewöhnlich
Wie die Bewertung erfolgt
| 30/30 | README |
| 25/25 | Dokumentationsverzeichnis |
| 15/15 | Dokumentations-/Homepage-Site — https://automators.ai/flowproof |
| 10/10 | Repository-Beschreibung |
| 10/10 | Topics — 16 Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | automation, automation-framework, test-automation, test-automation-framework, testing, testing-framework, ai-agents, citrix, mcp-server, self-healing, windows-automation, agent-testing, mcp-testing, sap, sap-test-automation, sap-testing |
| has_wiki | ja |
| homepage | https://automators.ai/flowproof |
| docs_site | https://automators.ai/flowproof |
| has_readme | ja |
| has_docs_dir | ja |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
50
Sicherheitslage
38Schwach
Wie die Bewertung erfolgt
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 2.2/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 2.5/2.5 | CI-Tests — 18 out of 18 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 |
| 0.8/7.5 | Code-Review — Found 3/18 approved changesets -- score normalized to 1 |
| 1.5/2.5 | Contributors — project has 2 contributing companies or organizations -- score normalized to 6 |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Lizenz — license file detected |
| 0/7.5 | Maintained — project was created within the last 90 days. Please review its contents carefully |
| 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 |
| 5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — keine Daten |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 10 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 3,8 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Abhängigkeits-Advisories
100Außergewöhnlich
Wie die Bewertung erfolgt
| 35/35 | Direkte Abhängigkeiten ohne bekannte Advisories — keine direkte Abhängigkeit trägt ein bekanntes Advisory |
| 25/25 | Indirekte Abhängigkeiten ohne bekannte Advisories — keine indirekte Abhängigkeit trägt ein bekanntes Advisory |
| 0/40 | Keine offenen Advisories — kein Advisory trägt ein Veröffentlichungsdatum |
Verwendete Eingangsdaten
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 4 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Keine offenen Advisories. Die verbleibenden Gewichte wurden renormalisiert. Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von npm:flowproof@0.23.0 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 4 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.
87
AI-Agentenkontext & Leitlinien
100Außergewöhnlich
Wie die Bewertung erfolgt
| 45/45 | Agentenanweisungen — CLAUDE.md |
| 15/15 | Maschinenlesbare Doku (llms.txt) — llms.txt wird von der Projektwebsite ausgeliefert (https://automators.ai/llms.txt) |
| 40/40 | Lesbare Commit-Historie — 88 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | ja |
| llms_txt_url | https://automators.ai/llms.txt |
| legible_history_share | 0,88 |
| agent_instruction_files | CLAUDE.md |
| agent_instruction_max_bytes | 5.506 |
Wie die Bewertung erfolgt
| 12.6/18 | Bootstrap mit einem Befehl — Cargo.toml, crates/flowproof-adapters/Cargo.toml, crates/flowproof-agent/Cargo.toml (Toolchain-Konvention, kein Task-Runner) |
| 22/22 | Automatisierte Tests |
| 11/11 | Lint-/Format-Konfiguration — Cargo.toml ([workspace.lints]), crates/flowproof-adapters/Cargo.toml ([lints]), crates/flowproof-agent/Cargo.toml ([lints]), crates/flowproof-cli/Cargo.toml ([lints]), crates/flowproof-driver/Cargo.toml ([lints]), crates/flowproof-python/Cargo.toml ([lints]), crates/flowproof-replay/Cargo.toml ([lints]), crates/flowproof-trace/Cargo.toml ([lints]), sdk/python/pyproject.toml ([tool.ruff]) |
| 11/11 | Statische Typprüfung — sdk/python/flowproof/py.typed |
| 10/10 | Reproduzierbare Umgebung — lockfile |
| 2/10 | Belegte Agentenpraxis — 1 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 | nein |
| has_tests | ja |
| lockfiles | Cargo.lock, package-lock.json, uv.lock |
| has_dockerfile | nein |
| typed_language | ja |
| bootstrap_files | — |
| has_devcontainer | nein |
| has_linter_config | ja |
| typecheck_configs | sdk/python/flowproof/py.typed |
| agent_commit_share | 0,01 |
| toolchain_manifests | Cargo.toml, crates/flowproof-adapters/Cargo.toml, crates/flowproof-agent/Cargo.toml, crates/flowproof-cli/Cargo.toml, crates/flowproof-driver/Cargo.toml, crates/flowproof-python/Cargo.toml, crates/flowproof-replay/Cargo.toml, crates/flowproof-trace/Cargo.toml, spike/windows-containment/Cargo.toml |
| dependency_bot_commit_share | 0 |
AI-Code-Lesbarkeit für Modelle
95Außergewöhnlich
Wie die Bewertung erfolgt
| 45/45 | Typprüfbarer Code — Rust (statisch typisiert) |
| 50.4/55 | Handhabbare Dateigrößen — 16/190 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | Rust |
| largest_source_bytes | 296.657 |
| source_files_sampled | 190 |
| oversized_source_files | 16 |
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 |
| 20/20 | MCP-Server |
| 40/40 | Lauffähige Beispiele — examples |
Verwendete Eingangsdaten
| example_dirs | examples |
| has_mcp_signal | ja |
| api_schema_files | — |
| interfaces_expected_of | — |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): API-Schema (OpenAPI/GraphQL/proto). Die verbleibenden Gewichte wurden renormalisiert.
Eckdaten
5GitHub-Sterne
3Mitwirkende
908Commits, letzte 12 Monate
0Tage seit letztem Push
11Releases
1Bus-Faktor
12offene Issues
crates.ioPaket-Ökosysteme
Warnungen zur Datenerhebung
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch crates package 'flowproof-cli' from its registry
- Could not fetch crates package 'flowproof-agent' from its registry
- Could not fetch crates package 'flowproof-trace' from its registry
- Could not fetch crates package 'flowproof-driver' from its registry
- Could not fetch crates package 'flowproof-python' from its registry
- Could not fetch crates package 'flowproof-replay' from its registry
Weitere Details
OpenSSF Scorecard 3.8 / 10
3.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).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 3 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 10 | CI-Tests | 18 out of 18 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 |
| 1 | Code-Review | Found 3/18 approved changesets -- score normalized to 1 |
| 6 | Contributors | project has 2 contributing companies or organizations -- score normalized to 6 |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 0 | Maintained | project was created within the last 90 days. Please review its contents carefully |
| 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 |
| 10 | Security-Policy | security policy file detected |
| k. A. | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 10 existing vulnerabilities detected |
Direkte Abhängigkeiten 61
| Registry | Paket | Versionsvorgabe | Manifest |
|---|---|---|---|
| crates.io | anyhow | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | headless_chrome | 1 | crates/flowproof-adapters/Cargo.toml |
| crates.io | serde | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | serde_json | 1 | crates/flowproof-adapters/Cargo.toml |
| crates.io | image | 0.25.10 | crates/flowproof-adapters/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-adapters/Cargo.toml |
| crates.io | ocrs | 0.12 | crates/flowproof-adapters/Cargo.toml |
| crates.io | rten | 0.24 | crates/flowproof-adapters/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-adapters/Cargo.toml |
| crates.io | chrono | — | crates/flowproof-agent/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-agent/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-agent/Cargo.toml |
| crates.io | pdf-extract | — | crates/flowproof-agent/Cargo.toml |
| crates.io | regex | — | crates/flowproof-agent/Cargo.toml |
| crates.io | serde | — | crates/flowproof-agent/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-agent/Cargo.toml |
| crates.io | serde_yaml | — | crates/flowproof-agent/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-agent/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-agent/Cargo.toml |
| crates.io | uuid | — | crates/flowproof-agent/Cargo.toml |
| crates.io | chrono | — | crates/flowproof-cli/Cargo.toml |
| crates.io | clap | — | crates/flowproof-cli/Cargo.toml |
| crates.io | ctrlc | 3 | crates/flowproof-cli/Cargo.toml |
| crates.io | dirs | 6 | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-adapters | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-agent | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-replay | — | crates/flowproof-cli/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-cli/Cargo.toml |
| crates.io | rpassword | 7 | crates/flowproof-cli/Cargo.toml |
| crates.io | serde | — | crates/flowproof-cli/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-cli/Cargo.toml |
| crates.io | serde_yaml | — | crates/flowproof-cli/Cargo.toml |
| crates.io | sha2 | 0.10 | crates/flowproof-cli/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-cli/Cargo.toml |
| crates.io | image | 0.25.10 | crates/flowproof-driver/Cargo.toml |
| crates.io | serde | — | crates/flowproof-driver/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-driver/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-driver/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-driver/Cargo.toml |
| crates.io | ureq | 3 | crates/flowproof-driver/Cargo.toml |
| crates.io | postgres | 0.19 | crates/flowproof-driver/Cargo.toml |
| crates.io | calamine | 0.28 | crates/flowproof-driver/Cargo.toml |
| crates.io | flowproof-agent | — | crates/flowproof-python/Cargo.toml |
| crates.io | flowproof-cli | — | crates/flowproof-python/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-python/Cargo.toml |
| crates.io | flowproof-replay | — | crates/flowproof-python/Cargo.toml |
| crates.io | pyo3 | 0.29 | crates/flowproof-python/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-python/Cargo.toml |
| crates.io | chrono | — | crates/flowproof-replay/Cargo.toml |
| crates.io | flowproof-driver | — | crates/flowproof-replay/Cargo.toml |
| crates.io | flowproof-trace | — | crates/flowproof-replay/Cargo.toml |
| crates.io | serde | — | crates/flowproof-replay/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-replay/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-replay/Cargo.toml |
| crates.io | serde | — | crates/flowproof-trace/Cargo.toml |
| crates.io | regex | — | crates/flowproof-trace/Cargo.toml |
| crates.io | serde_json | — | crates/flowproof-trace/Cargo.toml |
| crates.io | thiserror | — | crates/flowproof-trace/Cargo.toml |
Alle Abhängigkeiten 938
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 37 direkte und 901 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
| Registry | Paket | Version | Beziehung |
|---|---|---|---|
| crates.io | anyhow | 1.0.103 | direkt |
| crates.io | calamine | — | direkt |
| crates.io | calamine | 0.28.0 | direkt |
| crates.io | chrono | 0.4.45 | direkt |
| crates.io | clap | 4.6.2 | direkt |
| crates.io | ctrlc | — | direkt |
| crates.io | ctrlc | 3.5.2 | direkt |
| crates.io | dirs | — | direkt |
| crates.io | dirs | 6.0.0 | direkt |
| crates.io | headless_chrome | — | direkt |
| crates.io | headless_chrome | 1.0.22 | direkt |
| crates.io | image | — | direkt |
| crates.io | image | 0.25.10 | direkt |
| crates.io | ocrs | — | direkt |
| crates.io | ocrs | 0.12.2 | direkt |
| crates.io | pdf-extract | 0.12.0 | direkt |
| crates.io | postgres | — | direkt |
| crates.io | postgres | 0.19.14 | direkt |
| crates.io | pyo3 | — | direkt |
| crates.io | pyo3 | 0.29.2 | direkt |
| crates.io | regex | 1.13.1 | direkt |
| crates.io | rpassword | — | direkt |
| crates.io | rpassword | 7.5.4 | direkt |
| crates.io | rten | — | direkt |
| crates.io | rten | 0.24.0 | direkt |
| crates.io | serde | 1.0.228 | direkt |
| crates.io | serde_json | — | direkt |
| crates.io | serde_json | 1.0.150 | direkt |
| crates.io | serde_yaml | 0.9.34+deprecated | direkt |
| crates.io | sha2 | — | direkt |
| crates.io | sha2 | 0.10.9 | direkt |
| crates.io | sha2 | 0.11.0 | direkt |
| crates.io | thiserror | 1.0.69 | direkt |
| crates.io | thiserror | 2.0.18 | direkt |
| crates.io | ureq | — | direkt |
| crates.io | ureq | 3.3.0 | direkt |
| crates.io | uuid | 1.24.0 | direkt |
| crates.io | ab_glyph | — | indirekt |
| crates.io | ab_glyph | 0.2.32 | indirekt |
| crates.io | ab_glyph_rasterizer | 0.1.10 | indirekt |
| crates.io | adler2 | 2.0.1 | indirekt |
| crates.io | adobe-cmap-parser | 0.4.1 | indirekt |
| crates.io | aes | 0.8.4 | indirekt |
| crates.io | ahash | 0.8.12 | indirekt |
| crates.io | aho-corasick | 1.1.4 | indirekt |
| crates.io | android_system_properties | 0.1.5 | indirekt |
| crates.io | anstream | 1.0.0 | indirekt |
| crates.io | anstyle | 1.0.14 | 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 | approx | 0.5.1 | indirekt |
| crates.io | arbitrary | 1.4.2 | indirekt |
| crates.io | ascii | 1.1.0 | indirekt |
| crates.io | async-trait | 0.1.91 | indirekt |
| crates.io | atoi_simd | 0.16.1 | indirekt |
| crates.io | auto_generate_cdp | 0.4.6 | indirekt |
| crates.io | autocfg | 1.5.1 | indirekt |
| crates.io | base64 | 0.22.1 | indirekt |
| crates.io | bit-set | 0.8.0 | indirekt |
| crates.io | bit-vec | 0.8.0 | indirekt |
| crates.io | bitflags | 1.3.2 | indirekt |
| crates.io | bitflags | 2.13.1 | indirekt |
| crates.io | block-buffer | 0.10.4 | indirekt |
| crates.io | block-buffer | 0.12.1 | indirekt |
| crates.io | block-padding | 0.3.3 | indirekt |
| crates.io | block2 | 0.6.2 | indirekt |
| crates.io | borrow-or-share | 0.2.4 | indirekt |
| crates.io | bumpalo | 3.20.3 | indirekt |
| crates.io | bytecount | 0.6.9 | indirekt |
| crates.io | bytemuck | 1.25.1 | indirekt |
| crates.io | byteorder | 1.5.0 | indirekt |
| crates.io | byteorder-lite | 0.1.0 | indirekt |
| crates.io | bytes | 1.12.1 | indirekt |
| crates.io | cbc | 0.1.2 | indirekt |
| crates.io | cc | 1.2.67 | indirekt |
| crates.io | cc | 1.4.0 | indirekt |
| crates.io | cesu8 | 1.1.0 | indirekt |
| crates.io | cff-parser | 0.2.0 | indirekt |
| crates.io | cfg-if | 1.0.4 | indirekt |
| crates.io | cfg_aliases | 0.2.2 | indirekt |
| crates.io | chacha20 | 0.10.1 | indirekt |
| crates.io | chunked_transfer | 1.5.0 | indirekt |
| crates.io | cipher | 0.4.4 | indirekt |
| crates.io | clap_builder | 4.6.2 | indirekt |
| crates.io | clap_derive | 4.6.1 | indirekt |
| crates.io | clap_lex | 1.1.0 | indirekt |
| crates.io | cmov | 0.5.4 | indirekt |
| crates.io | codepage | 0.1.2 | indirekt |
| crates.io | color_quant | 1.1.0 | indirekt |
| crates.io | colorchoice | 1.0.5 | indirekt |
| crates.io | combine | 4.6.7 | indirekt |
| crates.io | const-oid | 0.10.2 | indirekt |
| crates.io | convert_case | 0.8.0 | indirekt |
| crates.io | cookie | 0.18.1 | indirekt |
| crates.io | cookie_store | 0.22.1 | indirekt |
| crates.io | core-foundation | 0.10.1 | indirekt |
| crates.io | core-foundation-sys | 0.8.7 | indirekt |
| crates.io | cpufeatures | 0.2.17 | indirekt |
| crates.io | cpufeatures | 0.3.0 | indirekt |
| crates.io | crc32fast | 1.5.0 | indirekt |
| crates.io | crossbeam-deque | 0.8.7 | indirekt |
| crates.io | crossbeam-epoch | 0.9.20 | indirekt |
| crates.io | crossbeam-utils | 0.8.22 | indirekt |
| crates.io | crypto-common | 0.1.7 | indirekt |
| crates.io | crypto-common | 0.2.2 | indirekt |
| crates.io | ctutils | 0.4.2 | indirekt |
| crates.io | darling | 0.20.11 | indirekt |
| crates.io | darling_core | 0.20.11 | indirekt |
| crates.io | darling_macro | 0.20.11 | indirekt |
| crates.io | data-encoding | 2.11.0 | indirekt |
| crates.io | debug_unsafe | 0.1.4 | indirekt |
| crates.io | deranged | 0.5.8 | indirekt |
| crates.io | derive_arbitrary | 1.4.2 | indirekt |
| crates.io | derive_builder | 0.20.2 | indirekt |
| crates.io | derive_builder_core | 0.20.2 | indirekt |
| crates.io | derive_builder_macro | 0.20.2 | indirekt |
| crates.io | digest | 0.10.7 | indirekt |
| crates.io | digest | 0.11.3 | indirekt |
| crates.io | dirs-sys | 0.5.0 | indirekt |
| crates.io | dispatch2 | 0.3.1 | indirekt |
| crates.io | displaydoc | 0.2.6 | indirekt |
| crates.io | document-features | 0.2.12 | indirekt |
| crates.io | ecb | 0.1.2 | indirekt |
| crates.io | either | 1.16.0 | indirekt |
| crates.io | email_address | 0.2.9 | indirekt |
| crates.io | encoding_rs | 0.8.35 | indirekt |
| crates.io | equivalent | 1.0.2 | indirekt |
| crates.io | errno | 0.3.14 | indirekt |
| crates.io | euclid | 0.20.14 | indirekt |
| crates.io | fallible-iterator | 0.2.0 | indirekt |
| crates.io | fancy-regex | 0.16.2 | indirekt |
| crates.io | fast-float2 | 0.2.4 | indirekt |
| crates.io | fastrand | 2.4.1 | indirekt |
| crates.io | fdeflate | 0.3.7 | indirekt |
| crates.io | find-msvc-tools | 0.1.9 | indirekt |
| crates.io | flatbuffers | 24.12.23 | indirekt |
| crates.io | flate2 | 1.1.9 | indirekt |
| crates.io | fluent-uri | 0.3.2 | indirekt |
| crates.io | fnv | 1.0.7 | indirekt |
| crates.io | form_urlencoded | 1.2.2 | indirekt |
| crates.io | fraction | 0.15.4 | indirekt |
| crates.io | futures-channel | 0.3.32 | indirekt |
| crates.io | futures-core | 0.3.32 | indirekt |
| crates.io | futures-core | 0.3.33 | indirekt |
| crates.io | futures-sink | 0.3.33 | indirekt |
| crates.io | futures-task | 0.3.32 | indirekt |
| crates.io | futures-task | 0.3.33 | indirekt |
| crates.io | futures-util | 0.3.32 | indirekt |
| crates.io | futures-util | 0.3.33 | indirekt |
| crates.io | generic-array | 0.14.7 | indirekt |
| crates.io | getrandom | 0.2.17 | indirekt |
| crates.io | getrandom | 0.3.4 | indirekt |
| crates.io | getrandom | 0.4.3 | indirekt |
| crates.io | gif | 0.14.2 | indirekt |
| crates.io | hashbrown | 0.17.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.4.2 | indirekt |
| crates.io | httparse | 1.10.1 | indirekt |
| crates.io | httpdate | 1.0.3 | indirekt |
| crates.io | hybrid-array | 0.4.13 | 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 | ident_case | 1.0.1 | indirekt |
| crates.io | idna | 1.1.0 | indirekt |
| crates.io | idna_adapter | 1.2.2 | indirekt |
| crates.io | imageproc | — | indirekt |
| crates.io | imageproc | 0.25.1 | indirekt |
| crates.io | indexmap | 2.14.0 | indirekt |
| crates.io | inout | 0.1.4 | indirekt |
| crates.io | is_terminal_polyfill | 1.70.2 | indirekt |
| crates.io | itertools | 0.12.1 | indirekt |
| crates.io | itoa | 1.0.18 | indirekt |
| crates.io | jni | 0.21.1 | indirekt |
| crates.io | jni-sys | 0.3.1 | indirekt |
| crates.io | jni-sys | 0.4.1 | indirekt |
| crates.io | jni-sys-macros | 0.4.1 | indirekt |
| crates.io | js-sys | 0.3.103 | indirekt |
| crates.io | jsonschema | — | indirekt |
| crates.io | jsonschema | 0.33.0 | indirekt |
| crates.io | lazy_static | 1.5.0 | indirekt |
| crates.io | libc | — | indirekt |
| crates.io | libc | 0.2.186 | indirekt |
| crates.io | libc | 0.2.189 | indirekt |
| crates.io | libm | 0.2.16 | indirekt |
| crates.io | libredox | 0.1.18 | indirekt |
| crates.io | linux-raw-sys | 0.12.1 | indirekt |
| crates.io | litemap | 0.8.2 | indirekt |
| crates.io | litrs | 1.0.0 | indirekt |
| crates.io | lock_api | 0.4.14 | indirekt |
| crates.io | log | 0.4.33 | indirekt |
| crates.io | lopdf | 0.42.0 | indirekt |
| crates.io | matrixmultiply | 0.3.11 | indirekt |
| crates.io | md-5 | 0.10.6 | indirekt |
| crates.io | md-5 | 0.11.0 | 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 | moxcms | 0.8.1 | indirekt |
| crates.io | nalgebra | 0.32.6 | indirekt |
| crates.io | nix | 0.31.3 | indirekt |
| crates.io | nom | 8.0.0 | indirekt |
| crates.io | num | 0.4.3 | indirekt |
| crates.io | num-bigint | 0.4.8 | indirekt |
| crates.io | num-cmp | 0.1.0 | 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 | num-traits | 0.2.19 | indirekt |
| crates.io | num_cpus | 1.17.0 | indirekt |
| crates.io | objc2 | 0.6.4 | indirekt |
| crates.io | objc2-core-foundation | 0.3.2 | indirekt |
| crates.io | objc2-encode | 4.1.0 | indirekt |
| crates.io | objc2-system-configuration | 0.3.2 | indirekt |
| crates.io | once_cell | 1.21.4 | indirekt |
| crates.io | once_cell_polyfill | 1.70.2 | indirekt |
| crates.io | openssl-probe | 0.2.1 | indirekt |
| crates.io | option-ext | 0.2.0 | indirekt |
| crates.io | outref | 0.5.2 | indirekt |
| crates.io | owned_ttf_parser | 0.25.1 | indirekt |
| crates.io | parking_lot | 0.12.5 | indirekt |
| crates.io | parking_lot_core | 0.9.12 | indirekt |
| crates.io | paste | 1.0.15 | indirekt |
| crates.io | percent-encoding | 2.3.2 | indirekt |
| crates.io | phf | 0.13.1 | indirekt |
| crates.io | phf_shared | 0.13.1 | indirekt |
| crates.io | pin-project-lite | 0.2.17 | indirekt |
| crates.io | png | 0.18.1 | indirekt |
| crates.io | pom | 1.1.0 | indirekt |
| crates.io | portable-atomic | 1.14.0 | indirekt |
| crates.io | postgres-protocol | 0.6.12 | indirekt |
| crates.io | postgres-types | 0.2.14 | indirekt |
| crates.io | postscript | 0.14.1 | indirekt |
| crates.io | potential_utf | 0.1.5 | indirekt |
| crates.io | powerfmt | 0.2.0 | indirekt |
| crates.io | ppv-lite86 | 0.2.21 | indirekt |
| crates.io | proc-macro2 | 1.0.106 | indirekt |
| crates.io | proc-macro2 | 1.0.107 | indirekt |
| crates.io | pxfm | 0.1.30 | indirekt |
| crates.io | pyo3-build-config | 0.29.2 | indirekt |
| crates.io | pyo3-ffi | 0.29.2 | indirekt |
| crates.io | pyo3-macros | 0.29.2 | indirekt |
| crates.io | pyo3-macros-backend | 0.29.2 | indirekt |
| crates.io | quick-xml | 0.37.5 | indirekt |
| crates.io | quote | 1.0.46 | indirekt |
| crates.io | quote | 1.0.47 | indirekt |
| crates.io | r-efi | 5.3.0 | indirekt |
| crates.io | r-efi | 6.0.0 | indirekt |
| crates.io | rand | 0.10.2 | indirekt |
| crates.io | rand | 0.8.7 | indirekt |
| crates.io | rand | 0.9.5 | indirekt |
| crates.io | rand_chacha | 0.3.1 | indirekt |
| crates.io | rand_chacha | 0.9.0 | indirekt |
| crates.io | rand_core | 0.10.1 | indirekt |
| crates.io | rand_core | 0.6.4 | indirekt |
| crates.io | rand_core | 0.9.5 | indirekt |
| crates.io | rand_distr | 0.4.3 | indirekt |
| crates.io | rangemap | 1.7.1 | indirekt |
| crates.io | rawpointer | 0.2.1 | indirekt |
| crates.io | rayon | 1.12.0 | indirekt |
| crates.io | rayon-core | 1.13.0 | indirekt |
| crates.io | redox_syscall | 0.5.18 | indirekt |
| crates.io | redox_users | 0.5.2 | indirekt |
| crates.io | ref-cast | 1.0.25 | indirekt |
| crates.io | ref-cast-impl | 1.0.25 | indirekt |
| crates.io | referencing | 0.33.0 | indirekt |
| crates.io | regex-automata | 0.4.16 | indirekt |
| crates.io | regex-syntax | 0.8.11 | indirekt |
| crates.io | ring | 0.17.14 | indirekt |
| crates.io | rten-base | 0.24.0 | indirekt |
| crates.io | rten-gemm | 0.24.0 | indirekt |
| crates.io | rten-imageproc | 0.24.0 | indirekt |
| crates.io | rten-model-file | 0.24.0 | indirekt |
| crates.io | rten-onnx | 0.24.0 | indirekt |
| crates.io | rten-shape-inference | 0.24.0 | indirekt |
| crates.io | rten-simd | 0.24.0 | indirekt |
| crates.io | rten-tensor | 0.24.0 | indirekt |
| crates.io | rten-vecmath | 0.24.0 | indirekt |
| crates.io | rtoolbox | 0.0.6 | indirekt |
| crates.io | rustc-hash | 2.1.3 | indirekt |
| crates.io | rustc_version | 0.4.1 | indirekt |
| crates.io | rustix | 1.1.4 | indirekt |
| crates.io | rustls | 0.23.42 | indirekt |
| crates.io | rustls-native-certs | 0.8.4 | indirekt |
| crates.io | rustls-pki-types | 1.15.0 | indirekt |
| crates.io | rustls-platform-verifier | 0.6.2 | indirekt |
| crates.io | rustls-platform-verifier-android | 0.1.1 | indirekt |
| crates.io | rustls-webpki | 0.103.13 | indirekt |
| crates.io | rustversion | 1.0.23 | indirekt |
| crates.io | ryu | 1.0.23 | indirekt |
| crates.io | safe_arch | 0.7.4 | 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 | semver | 1.0.28 | indirekt |
| crates.io | serde_core | 1.0.228 | indirekt |
| crates.io | serde_derive | 1.0.228 | indirekt |
| crates.io | sha1 | 0.10.7 | indirekt |
| crates.io | shlex | 2.0.1 | indirekt |
| crates.io | simba | 0.8.1 | indirekt |
| crates.io | simd-adler32 | 0.3.10 | indirekt |
| crates.io | siphasher | 1.0.3 | indirekt |
| crates.io | slab | 0.4.12 | indirekt |
| crates.io | smallvec | 1.15.2 | indirekt |
| crates.io | socket2 | 0.6.5 | indirekt |
| crates.io | socks | 0.3.4 | indirekt |
| crates.io | stable_deref_trait | 1.2.1 | indirekt |
| crates.io | stringprep | 0.1.5 | indirekt |
| crates.io | strsim | 0.11.1 | indirekt |
| crates.io | subtle | 2.6.1 | indirekt |
| crates.io | syn | 2.0.119 | indirekt |
| crates.io | syn | 3.0.0 | indirekt |
| crates.io | synstructure | 0.13.2 | indirekt |
| crates.io | target-lexicon | 0.13.5 | indirekt |
| crates.io | tempfile | 3.27.0 | indirekt |
| crates.io | thiserror-impl | 1.0.69 | indirekt |
| crates.io | thiserror-impl | 2.0.18 | indirekt |
| crates.io | time | 0.3.53 | indirekt |
| crates.io | time-core | 0.1.9 | indirekt |
| crates.io | time-macros | 0.2.31 | indirekt |
| crates.io | tiny_http | — | indirekt |
| crates.io | tiny_http | 0.12.0 | indirekt |
| crates.io | tinystr | 0.8.3 | indirekt |
| crates.io | tinyvec | 1.12.0 | indirekt |
| crates.io | tinyvec_macros | 0.1.1 | indirekt |
| crates.io | tokio | 1.53.0 | indirekt |
| crates.io | tokio-postgres | 0.7.18 | indirekt |
| crates.io | tokio-util | 0.7.18 | indirekt |
| crates.io | ttf-parser | 0.25.1 | indirekt |
| crates.io | tungstenite | 0.29.0 | indirekt |
| crates.io | type1-encoding-parser | 0.1.1 | indirekt |
| crates.io | typeid | 1.0.3 | indirekt |
| crates.io | typenum | 1.20.1 | indirekt |
| crates.io | uiautomation | — | indirekt |
| crates.io | uiautomation | 0.24.4 | indirekt |
| crates.io | uiautomation_derive | 0.7.8 | indirekt |
| crates.io | unicode-bidi | 0.3.18 | indirekt |
| crates.io | unicode-ident | 1.0.24 | indirekt |
| crates.io | unicode-normalization | 0.1.25 | indirekt |
| crates.io | unicode-properties | 0.1.4 | indirekt |
| crates.io | unicode-segmentation | 1.13.3 | indirekt |
| crates.io | unsafe-libyaml | 0.2.11 | indirekt |
| crates.io | untrusted | 0.9.0 | indirekt |
| crates.io | ureq-proto | 0.6.0 | indirekt |
| crates.io | url | 2.5.8 | indirekt |
| crates.io | utf8-zero | 0.8.1 | indirekt |
| crates.io | utf8_iter | 1.0.4 | indirekt |
| crates.io | utf8parse | 0.2.2 | indirekt |
| crates.io | uuid-simd | 0.8.0 | indirekt |
| crates.io | version_check | 0.9.5 | indirekt |
| crates.io | vsimd | 0.8.0 | indirekt |
| crates.io | walkdir | 2.5.0 | indirekt |
| crates.io | wasi | 0.11.1+wasi-snapshot-preview1 | indirekt |
| crates.io | wasi | 0.14.7+wasi-0.2.4 | indirekt |
| crates.io | wasip2 | 1.0.4+wasi-0.2.12 | indirekt |
| crates.io | wasite | 1.0.2 | indirekt |
| crates.io | wasm-bindgen | 0.2.126 | 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 | web-sys | 0.3.103 | indirekt |
| crates.io | webpki-root-certs | 1.0.9 | indirekt |
| crates.io | webpki-roots | 1.0.9 | indirekt |
| crates.io | weezl | 0.1.12 | indirekt |
| crates.io | which | 8.0.5 | indirekt |
| crates.io | whoami | 2.1.2 | indirekt |
| crates.io | wide | 0.7.33 | 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 | — | indirekt |
| crates.io | windows | 0.62.2 | indirekt |
| crates.io | windows-collections | 0.3.2 | indirekt |
| crates.io | windows-core | 0.62.2 | indirekt |
| crates.io | windows-future | 0.3.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-numerics | 0.3.1 | indirekt |
| crates.io | windows-result | 0.4.1 | indirekt |
| crates.io | windows-strings | 0.5.1 | indirekt |
| crates.io | windows-sys | 0.45.0 | indirekt |
| crates.io | windows-sys | 0.52.0 | indirekt |
| crates.io | windows-sys | 0.61.2 | indirekt |
| crates.io | windows-targets | 0.42.2 | indirekt |
| crates.io | windows-targets | 0.52.6 | indirekt |
| crates.io | windows-threading | 0.2.1 | indirekt |
| crates.io | windows_aarch64_gnullvm | 0.42.2 | indirekt |
| crates.io | windows_aarch64_gnullvm | 0.52.6 | indirekt |
| crates.io | windows_aarch64_msvc | 0.42.2 | indirekt |
| crates.io | windows_aarch64_msvc | 0.52.6 | indirekt |
| crates.io | windows_i686_gnu | 0.42.2 | indirekt |
| crates.io | windows_i686_gnu | 0.52.6 | indirekt |
| crates.io | windows_i686_gnullvm | 0.52.6 | indirekt |
| crates.io | windows_i686_msvc | 0.42.2 | indirekt |
| crates.io | windows_i686_msvc | 0.52.6 | indirekt |
| crates.io | windows_x86_64_gnu | 0.42.2 | indirekt |
| crates.io | windows_x86_64_gnu | 0.52.6 | indirekt |
| crates.io | windows_x86_64_gnullvm | 0.42.2 | indirekt |
| crates.io | windows_x86_64_gnullvm | 0.52.6 | indirekt |
| crates.io | windows_x86_64_msvc | 0.42.2 | indirekt |
| crates.io | windows_x86_64_msvc | 0.52.6 | indirekt |
| crates.io | winreg | 0.56.0 | indirekt |
| crates.io | wit-bindgen | 0.57.1 | 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.54 | indirekt |
| crates.io | zerocopy-derive | 0.8.54 | 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 | zip | 4.6.1 | indirekt |
| crates.io | zlib-rs | 0.6.7 | indirekt |
| crates.io | zmij | 1.0.23 | indirekt |
| crates.io | zopfli | 0.8.3 | indirekt |
| npm | @adobe/css-tools | 4.5.0 | indirekt |
| npm | @automators/flowproof-cli-darwin-arm64 | 0.23.0 | indirekt |
| npm | @automators/flowproof-cli-darwin-x64 | 0.23.0 | indirekt |
| npm | @automators/flowproof-cli-linux-x64 | 0.23.0 | indirekt |
| npm | @automators/flowproof-cli-win32-x64 | 0.23.0 | indirekt |
| npm | @babel/code-frame | 7.29.7 | indirekt |
| npm | @babel/helper-string-parser | 7.29.7 | indirekt |
| npm | @babel/helper-validator-identifier | 7.29.7 | indirekt |
| npm | @babel/parser | 7.29.8 | indirekt |
| npm | @babel/types | 7.29.8 | indirekt |
| npm | @isaacs/cliui | 8.0.2 | indirekt |
| npm | @isaacs/fs-minipass | 4.0.1 | indirekt |
| npm | @jridgewell/gen-mapping | 0.3.13 | indirekt |
| npm | @jridgewell/resolve-uri | 3.1.2 | indirekt |
| npm | @jridgewell/source-map | 0.3.11 | indirekt |
| npm | @jridgewell/sourcemap-codec | 1.6.0 | indirekt |
| npm | @jridgewell/trace-mapping | 0.3.31 | indirekt |
| npm | @jsdoc/salty | 0.2.12 | indirekt |
| npm | @nodelib/fs.scandir | 2.1.5 | indirekt |
| npm | @nodelib/fs.stat | 2.0.5 | indirekt |
| npm | @nodelib/fs.walk | 1.2.8 | indirekt |
| npm | @npmcli/agent | 3.0.0 | indirekt |
| npm | @npmcli/config | 9.0.0 | indirekt |
| npm | @npmcli/fs | 4.0.0 | indirekt |
| npm | @npmcli/git | 6.0.3 | indirekt |
| npm | @npmcli/installed-package-contents | 3.0.0 | indirekt |
| npm | @npmcli/map-workspaces | 4.0.2 | indirekt |
| npm | @npmcli/name-from-folder | 3.0.0 | indirekt |
| npm | @npmcli/node-gyp | 4.0.0 | indirekt |
| npm | @npmcli/package-json | 6.2.0 | indirekt |
| npm | @npmcli/promise-spawn | 8.0.3 | indirekt |
| npm | @npmcli/redact | 3.2.2 | indirekt |
| npm | @npmcli/run-script | 9.1.0 | indirekt |
| npm | @pkgjs/parseargs | 0.11.0 | indirekt |
| npm | @pnpm/config.env-replace | 1.1.0 | indirekt |
| npm | @pnpm/network.ca-file | 1.0.2 | indirekt |
| npm | @pnpm/npm-conf | 3.0.3 | indirekt |
| npm | @sigstore/bundle | 3.1.0 | indirekt |
| npm | @sigstore/core | 2.0.0 | indirekt |
| npm | @sigstore/protobuf-specs | 0.4.3 | indirekt |
| npm | @sigstore/sign | 3.1.0 | indirekt |
| npm | @sigstore/tuf | 3.1.1 | indirekt |
| npm | @sigstore/verify | 2.1.1 | indirekt |
| npm | @sindresorhus/merge-streams | 2.3.0 | indirekt |
| npm | @sindresorhus/merge-streams | 4.0.0 | indirekt |
| npm | @tufjs/canonical-json | 2.0.0 | indirekt |
| npm | @tufjs/models | 3.0.1 | indirekt |
| npm | @types/linkify-it | 5.0.0 | indirekt |
| npm | @types/markdown-it | 14.2.0 | indirekt |
| npm | @types/mdurl | 2.0.0 | indirekt |
| npm | @types/normalize-package-data | 2.4.4 | indirekt |
| npm | @ui5/builder | 4.3.1 | indirekt |
| npm | @ui5/cli | 4.0.66 | indirekt |
| npm | @ui5/fs | 4.0.6 | indirekt |
| npm | @ui5/logger | 4.0.2 | indirekt |
| npm | @ui5/project | 4.0.17 | indirekt |
| npm | @ui5/server | 4.0.16 | indirekt |
| npm | abbrev | 3.0.1 | indirekt |
| npm | accepts | 1.3.8 | indirekt |
| npm | acorn | 8.18.0 | indirekt |
| npm | acorn-jsx | 5.3.2 | indirekt |
| npm | agent-base | 7.1.4 | indirekt |
| npm | ajv | 8.20.0 | indirekt |
| npm | ajv-errors | 3.0.0 | indirekt |
| npm | ansi-align | 3.0.1 | indirekt |
| npm | ansi-regex | 5.0.1 | indirekt |
| npm | ansi-regex | 6.3.0 | indirekt |
| npm | ansi-styles | 4.3.0 | indirekt |
| npm | ansi-styles | 6.2.3 | indirekt |
| npm | argparse | 2.0.1 | indirekt |
| npm | array-flatten | 1.1.1 | indirekt |
| npm | async | 2.6.4 | indirekt |
| npm | atomically | 2.1.1 | indirekt |
| npm | balanced-match | 1.0.2 | indirekt |
| npm | balanced-match | 4.0.4 | indirekt |
| npm | bluebird | 3.7.2 | indirekt |
| npm | body-parser | 1.20.6 | indirekt |
| npm | body-parser | 2.3.0 | indirekt |
| npm | boolbase | 1.0.0 | indirekt |
| npm | boxen | 8.0.1 | indirekt |
| npm | brace-expansion | 2.1.4 | indirekt |
| npm | brace-expansion | 5.0.9 | indirekt |
| npm | braces | 3.0.3 | indirekt |
| npm | buffer-from | 1.1.2 | indirekt |
| npm | bundle-name | 4.1.0 | indirekt |
| npm | bytes | 3.1.2 | indirekt |
| npm | cacache | 19.0.1 | indirekt |
| npm | call-bind-apply-helpers | 1.0.2 | indirekt |
| npm | call-bound | 1.0.4 | indirekt |
| npm | camelcase | 8.0.0 | indirekt |
| npm | catharsis | 0.9.0 | indirekt |
| npm | chalk | 5.6.2 | indirekt |
| npm | cheerio | 1.0.0 | indirekt |
| npm | cheerio-select | 2.1.0 | indirekt |
| npm | chownr | 3.0.0 | indirekt |
| npm | ci-info | 4.4.0 | indirekt |
| npm | cli-boxes | 3.0.0 | indirekt |
| npm | cli-progress | 3.12.0 | indirekt |
| npm | cliui | 8.0.1 | indirekt |
| npm | color-convert | 2.0.1 | indirekt |
| npm | color-name | 1.1.4 | indirekt |
| npm | command-exists | 1.2.9 | indirekt |
| npm | commander | 2.20.3 | indirekt |
| npm | compressible | 2.0.18 | indirekt |
| npm | compression | 1.8.1 | indirekt |
| npm | config-chain | 1.1.13 | indirekt |
| npm | configstore | 7.1.0 | indirekt |
| npm | content-disposition | 0.5.4 | indirekt |
| npm | content-type | 1.0.5 | indirekt |
| npm | content-type | 2.1.0 | indirekt |
| npm | cookie | 0.7.2 | indirekt |
| npm | cookie-signature | 1.0.7 | indirekt |
| npm | core-util-is | 1.0.3 | indirekt |
| npm | cors | 2.8.6 | indirekt |
| npm | cross-spawn | 7.0.6 | indirekt |
| npm | css-select | 5.2.2 | indirekt |
| npm | css-what | 6.2.2 | indirekt |
| npm | data-with-position | 0.5.0 | indirekt |
| npm | debug | 2.6.9 | indirekt |
| npm | debug | 4.4.3 | indirekt |
| npm | deep-extend | 0.6.0 | indirekt |
| npm | default-browser | 5.5.1 | indirekt |
| npm | default-browser-id | 5.0.1 | indirekt |
| npm | define-lazy-prop | 3.0.0 | indirekt |
| npm | depd | 2.0.0 | indirekt |
| npm | destroy | 1.2.0 | indirekt |
| npm | detect-node | 2.1.0 | indirekt |
| npm | devcert-sanscache | 0.5.1 | indirekt |
| npm | dom-serializer | 2.0.0 | indirekt |
| npm | domelementtype | 2.3.0 | indirekt |
| npm | domhandler | 5.0.3 | indirekt |
| npm | domutils | 3.2.2 | indirekt |
| npm | dot-prop | 9.0.0 | indirekt |
| npm | dunder-proto | 1.0.1 | indirekt |
| npm | eastasianwidth | 0.2.0 | indirekt |
| npm | ee-first | 1.1.1 | indirekt |
| npm | emoji-regex | 10.6.0 | indirekt |
| npm | emoji-regex | 8.0.0 | indirekt |
| npm | emoji-regex | 9.2.2 | indirekt |
| npm | encodeurl | 2.0.0 | indirekt |
| npm | encoding | 0.1.13 | indirekt |
| npm | encoding-sniffer | 0.2.1 | indirekt |
| npm | entities | 4.5.0 | indirekt |
| npm | entities | 6.0.1 | indirekt |
| npm | env-paths | 2.2.1 | indirekt |
| npm | err-code | 2.0.3 | indirekt |
| npm | es-define-property | 1.0.1 | indirekt |
| npm | es-errors | 1.3.0 | indirekt |
| npm | es-object-atoms | 1.1.2 | indirekt |
| npm | escalade | 3.2.0 | indirekt |
| npm | escape-goat | 4.0.0 | indirekt |
| npm | escape-html | 1.0.3 | indirekt |
| npm | escape-string-regexp | 1.0.5 | indirekt |
| npm | escape-string-regexp | 2.0.0 | indirekt |
| npm | escape-string-regexp | 5.0.0 | indirekt |
| npm | escape-unicode | 0.3.0 | indirekt |
| npm | escope | 4.0.0 | indirekt |
| npm | eslint-visitor-keys | 4.2.1 | indirekt |
| npm | espree | 10.4.0 | indirekt |
| npm | esrecurse | 4.3.0 | indirekt |
| npm | estraverse | 4.3.0 | indirekt |
| npm | estraverse | 5.3.0 | indirekt |
| npm | etag | 1.8.1 | indirekt |
| npm | exponential-backoff | 3.1.3 | indirekt |
| npm | express | 4.22.2 | indirekt |
| npm | fast-deep-equal | 3.1.3 | indirekt |
| npm | fast-glob | 3.3.3 | indirekt |
| npm | fast-uri | 3.1.7 | indirekt |
| npm | fastq | 1.20.3 | indirekt |
| npm | fdir | 6.5.0 | indirekt |
| npm | figures | 6.1.0 | indirekt |
| npm | fill-range | 7.1.1 | indirekt |
| npm | finalhandler | 1.3.2 | indirekt |
| npm | find-up | 4.1.0 | indirekt |
| npm | find-up-simple | 1.0.1 | indirekt |
| npm | foreground-child | 3.3.1 | indirekt |
| npm | forwarded | 0.2.0 | indirekt |
| npm | fresh | 0.5.2 | indirekt |
| npm | fs-minipass | 3.0.3 | indirekt |
| npm | function-bind | 1.1.2 | indirekt |
| npm | get-caller-file | 2.0.5 | indirekt |
| npm | get-east-asian-width | 1.6.0 | indirekt |
| npm | get-intrinsic | 1.3.0 | indirekt |
| npm | get-port | 6.1.2 | indirekt |
| npm | get-proto | 1.0.1 | indirekt |
| npm | glob | 10.5.0 | indirekt |
| npm | glob-parent | 5.1.2 | indirekt |
| npm | global-directory | 4.0.1 | indirekt |
| npm | globby | 14.1.0 | indirekt |
| npm | globby | 16.2.4 | indirekt |
| npm | gopd | 1.2.0 | indirekt |
| npm | graceful-fs | 4.2.10 | indirekt |
| npm | graceful-fs | 4.2.11 | indirekt |
| npm | handle-thing | 2.0.1 | indirekt |
| npm | has-symbols | 1.1.0 | indirekt |
| npm | hasown | 2.0.4 | indirekt |
| npm | hosted-git-info | 7.0.2 | indirekt |
| npm | hosted-git-info | 8.1.0 | indirekt |
| npm | hpack.js | 2.1.6 | indirekt |
| npm | htmlparser2 | 9.1.0 | indirekt |
| npm | http-cache-semantics | 4.2.0 | indirekt |
| npm | http-deceiver | 1.2.7 | indirekt |
| npm | http-errors | 2.0.1 | indirekt |
| npm | http-proxy-agent | 7.0.2 | indirekt |
| npm | https-proxy-agent | 7.0.6 | indirekt |
| npm | iconv-lite | 0.4.24 | indirekt |
| npm | iconv-lite | 0.6.3 | indirekt |
| npm | iconv-lite | 0.7.3 | indirekt |
| npm | ignore | 7.0.8 | indirekt |
| npm | ignore-walk | 7.0.0 | indirekt |
| npm | import-local | 3.2.0 | indirekt |
| npm | imurmurhash | 0.1.4 | indirekt |
| npm | index-to-position | 1.2.0 | indirekt |
| npm | inherits | 2.0.4 | indirekt |
| npm | ini | 1.3.8 | indirekt |
| npm | ini | 4.1.1 | indirekt |
| npm | ini | 5.0.0 | indirekt |
| npm | ip-address | 10.7.0 | indirekt |
| npm | ipaddr.js | 1.9.1 | indirekt |
| npm | is-core-module | 2.16.2 | indirekt |
| npm | is-docker | 3.0.0 | indirekt |
| npm | is-extglob | 2.1.1 | indirekt |
| npm | is-fullwidth-code-point | 3.0.0 | indirekt |
| npm | is-glob | 4.0.3 | indirekt |
| npm | is-in-ci | 1.0.0 | indirekt |
| npm | is-in-ssh | 1.0.0 | indirekt |
| npm | is-inside-container | 1.0.0 | indirekt |
| npm | is-installed-globally | 1.0.0 | indirekt |
| npm | is-npm | 6.1.0 | indirekt |
| npm | is-number | 7.0.0 | indirekt |
| npm | is-number-like | 1.0.8 | indirekt |
| npm | is-path-inside | 4.0.0 | indirekt |
| npm | is-promise | 4.0.0 | indirekt |
| npm | is-unicode-supported | 2.1.0 | indirekt |
| npm | is-wsl | 3.1.1 | indirekt |
| npm | isarray | 1.0.0 | indirekt |
| npm | isexe | 2.0.0 | indirekt |
| npm | isexe | 3.1.5 | indirekt |
| npm | jackspeak | 3.4.3 | indirekt |
| npm | js-tokens | 4.0.0 | indirekt |
| npm | js-yaml | 4.3.2 | indirekt |
| npm | js2xmlparser | 4.0.2 | indirekt |
| npm | jsdoc | 4.0.5 | indirekt |
| npm | json-parse-even-better-errors | 4.0.0 | indirekt |
| npm | json-schema-traverse | 1.0.0 | indirekt |
| npm | jsonparse | 1.3.1 | indirekt |
| npm | klaw | 3.0.0 | indirekt |
| npm | ky | 1.14.3 | indirekt |
| npm | latest-version | 9.0.0 | indirekt |
| npm | less-openui5 | 0.12.0 | indirekt |
| npm | linkify-it | 5.0.2 | indirekt |
| npm | locate-path | 5.0.0 | indirekt |
| npm | lockfile | 1.0.4 | indirekt |
| npm | lodash | 4.18.1 | indirekt |
| npm | lodash.isfinite | 3.3.2 | indirekt |
| npm | lru-cache | 10.4.3 | indirekt |
| npm | make-fetch-happen | 14.0.3 | indirekt |
| npm | markdown-it | 14.3.1 | indirekt |
| npm | markdown-it-anchor | 8.6.7 | indirekt |
| npm | marked | 4.3.0 | indirekt |
| npm | math-intrinsics | 1.1.0 | indirekt |
| npm | mdurl | 2.1.0 | indirekt |
| npm | media-typer | 0.3.0 | indirekt |
| npm | media-typer | 1.1.1 | indirekt |
| npm | merge-descriptors | 1.0.3 | indirekt |
| npm | merge2 | 1.4.1 | indirekt |
| npm | methods | 1.1.2 | indirekt |
| npm | micromatch | 4.0.8 | indirekt |
| npm | mime | 1.6.0 | indirekt |
| npm | mime-db | 1.52.0 | indirekt |
| npm | mime-db | 1.54.0 | indirekt |
| npm | mime-types | 2.1.35 | indirekt |
| npm | mime-types | 3.0.2 | indirekt |
| npm | minimalistic-assert | 1.0.1 | indirekt |
| npm | minimatch | 10.2.6 | indirekt |
| npm | minimatch | 9.0.9 | indirekt |
| npm | minimist | 1.2.8 | indirekt |
| npm | minipass | 3.3.6 | indirekt |
| npm | minipass | 7.1.3 | indirekt |
| npm | minipass-collect | 2.0.1 | indirekt |
| npm | minipass-fetch | 4.0.1 | indirekt |
| npm | minipass-flush | 1.0.7 | indirekt |
| npm | minipass-pipeline | 1.2.4 | indirekt |
| npm | minipass-sized | 1.0.3 | indirekt |
| npm | minizlib | 3.1.0 | indirekt |
| npm | mkdirp | 1.0.4 | indirekt |
| npm | ms | 2.0.0 | indirekt |
| npm | ms | 2.1.3 | indirekt |
| npm | negotiator | 0.6.3 | indirekt |
| npm | negotiator | 0.6.4 | indirekt |
| npm | negotiator | 1.1.0 | indirekt |
| npm | node-gyp | 11.5.0 | indirekt |
| npm | node-stream-zip | 1.16.0 | indirekt |
| npm | nopt | 8.1.0 | indirekt |
| npm | normalize-package-data | 6.0.2 | indirekt |
| npm | npm-bundled | 4.0.0 | indirekt |
| npm | npm-install-checks | 7.1.2 | indirekt |
| npm | npm-normalize-package-bin | 4.0.0 | indirekt |
| npm | npm-package-arg | 12.0.2 | indirekt |
| npm | npm-packlist | 9.0.0 | indirekt |
| npm | npm-pick-manifest | 10.0.0 | indirekt |
| npm | npm-registry-fetch | 18.0.2 | indirekt |
| npm | nth-check | 2.1.1 | indirekt |
| npm | object-assign | 4.1.1 | indirekt |
| npm | object-inspect | 1.13.4 | indirekt |
| npm | obuf | 1.1.2 | indirekt |
| npm | on-finished | 2.4.1 | indirekt |
| npm | on-headers | 1.1.0 | indirekt |
| npm | open | 11.0.2 | indirekt |
| npm | p-limit | 2.3.0 | indirekt |
| npm | p-locate | 4.1.0 | indirekt |
| npm | p-map | 7.0.7 | indirekt |
| npm | p-try | 2.2.0 | indirekt |
| npm | package-json | 10.0.1 | indirekt |
| npm | package-json-from-dist | 1.0.1 | indirekt |
| npm | pacote | 19.0.2 | indirekt |
| npm | parse-json | 8.3.0 | indirekt |
| npm | parse5 | 7.3.0 | indirekt |
| npm | parse5-htmlparser2-tree-adapter | 7.1.0 | indirekt |
| npm | parse5-parser-stream | 7.1.2 | indirekt |
| npm | parseurl | 1.3.3 | indirekt |
| npm | path-exists | 4.0.0 | indirekt |
| npm | path-key | 3.1.1 | indirekt |
| npm | path-parse | 1.0.7 | indirekt |
| npm | path-scurry | 1.11.1 | indirekt |
| npm | path-to-regexp | 0.1.13 | indirekt |
| npm | path-to-regexp | 8.4.2 | indirekt |
| npm | path-type | 6.0.0 | indirekt |
| npm | picocolors | 1.1.1 | indirekt |
| npm | picomatch | 2.3.2 | indirekt |
| npm | picomatch | 4.0.7 | indirekt |
| npm | pkg-dir | 4.2.0 | indirekt |
| npm | portscanner | 2.2.0 | indirekt |
| npm | powershell-utils | 0.1.0 | indirekt |
| npm | powershell-utils | 0.2.1 | indirekt |
| npm | pretty-data | 0.40.0 | indirekt |
| npm | pretty-hrtime | 1.0.3 | indirekt |
| npm | proc-log | 5.0.0 | indirekt |
| npm | process-nextick-args | 2.0.1 | indirekt |
| npm | promise-retry | 2.0.1 | indirekt |
| npm | proto-list | 1.2.4 | indirekt |
| npm | proxy-addr | 2.0.7 | indirekt |
| npm | punycode.js | 2.3.1 | indirekt |
| npm | pupa | 3.3.0 | indirekt |
| npm | qs | 6.15.3 | indirekt |
| npm | qs | 6.16.0 | indirekt |
| npm | queue-microtask | 1.2.3 | indirekt |
| npm | random-int | 3.1.0 | indirekt |
| npm | range-parser | 1.2.1 | indirekt |
| npm | raw-body | 2.5.3 | indirekt |
| npm | raw-body | 3.0.2 | indirekt |
| npm | rc | 1.2.8 | indirekt |
| npm | read-package-up | 11.0.0 | indirekt |
| npm | read-pkg | 9.0.1 | indirekt |
| npm | readable-stream | 2.3.8 | indirekt |
| npm | readable-stream | 3.6.2 | indirekt |
| npm | registry-auth-token | 5.1.1 | indirekt |
| npm | registry-url | 6.0.1 | indirekt |
| npm | replacestream | 4.0.3 | indirekt |
| npm | require-directory | 2.1.1 | indirekt |
| npm | require-from-string | 2.0.2 | indirekt |
| npm | requizzle | 0.2.4 | indirekt |
| npm | resolve | 1.22.12 | indirekt |
| npm | resolve-cwd | 3.0.0 | indirekt |
| npm | resolve-from | 5.0.0 | indirekt |
| npm | retry | 0.12.0 | indirekt |
| npm | reusify | 1.1.0 | indirekt |
| npm | rimraf | 5.0.10 | indirekt |
| npm | router | 2.2.0 | indirekt |
| npm | run-applescript | 7.1.0 | indirekt |
| npm | run-parallel | 1.2.0 | indirekt |
| npm | safe-buffer | 5.1.2 | indirekt |
| npm | safe-buffer | 5.2.1 | indirekt |
| npm | safer-buffer | 2.1.2 | indirekt |
| npm | sax | 1.6.1 | indirekt |
| npm | select-hose | 2.0.0 | indirekt |
| npm | semver | 7.8.5 | indirekt |
| npm | send | 0.19.2 | indirekt |
| npm | serve-static | 1.16.3 | indirekt |
| npm | setprototypeof | 1.2.0 | indirekt |
| npm | shebang-command | 2.0.0 | indirekt |
| npm | shebang-regex | 3.0.0 | indirekt |
| npm | side-channel | 1.1.1 | indirekt |
| npm | side-channel-list | 1.0.1 | indirekt |
| npm | side-channel-map | 1.0.1 | indirekt |
| npm | side-channel-weakmap | 1.0.2 | indirekt |
| npm | signal-exit | 3.0.7 | indirekt |
| npm | signal-exit | 4.1.0 | indirekt |
| npm | sigstore | 3.1.0 | indirekt |
| npm | slash | 5.1.0 | indirekt |
| npm | smart-buffer | 4.2.0 | indirekt |
| npm | socks | 2.8.10 | indirekt |
| npm | socks-proxy-agent | 8.0.5 | indirekt |
| npm | source-map | 0.6.1 | indirekt |
| npm | source-map-support | 0.5.21 | indirekt |
| npm | spdx-correct | 3.2.0 | indirekt |
| npm | spdx-exceptions | 2.5.0 | indirekt |
| npm | spdx-expression-parse | 3.0.1 | indirekt |
| npm | spdx-license-ids | 3.0.23 | indirekt |
| npm | spdy | 4.0.2 | indirekt |
| npm | spdy-transport | 3.0.0 | indirekt |
| npm | ssri | 12.0.0 | indirekt |
| npm | statuses | 2.0.2 | indirekt |
| npm | string-width | 4.2.3 | indirekt |
| npm | string-width | 5.1.2 | indirekt |
| npm | string-width | 7.2.0 | indirekt |
| npm | string_decoder | 1.1.1 | indirekt |
| npm | strip-ansi | 6.0.1 | indirekt |
| npm | strip-ansi | 7.2.0 | indirekt |
| npm | strip-json-comments | 2.0.1 | indirekt |
| npm | strip-json-comments | 3.1.1 | indirekt |
| npm | stubborn-fs | 2.0.0 | indirekt |
| npm | stubborn-utils | 1.0.2 | indirekt |
| npm | supports-preserve-symlinks-flag | 1.0.0 | indirekt |
| npm | tar | 7.5.22 | indirekt |
| npm | terser | 5.51.2 | indirekt |
| npm | tinyglobby | 0.2.17 | indirekt |
| npm | to-regex-range | 5.0.1 | indirekt |
| npm | toidentifier | 1.0.1 | indirekt |
| npm | tuf-js | 3.1.0 | indirekt |
| npm | type-fest | 4.41.0 | indirekt |
| npm | type-is | 1.6.18 | indirekt |
| npm | type-is | 2.1.0 | indirekt |
| npm | uc.micro | 2.1.0 | indirekt |
| npm | underscore | 1.13.8 | indirekt |
| npm | undici | 6.28.1 | indirekt |
| npm | unicorn-magic | 0.1.0 | indirekt |
| npm | unicorn-magic | 0.3.0 | indirekt |
| npm | unicorn-magic | 0.4.0 | indirekt |
| npm | unique-filename | 4.0.0 | indirekt |
| npm | unique-slug | 5.0.0 | indirekt |
| npm | unpipe | 1.0.0 | indirekt |
| npm | update-notifier | 7.3.1 | indirekt |
| npm | util-deprecate | 1.0.2 | indirekt |
| npm | utils-merge | 1.0.1 | indirekt |
| npm | validate-npm-package-license | 3.0.4 | indirekt |
| npm | validate-npm-package-name | 6.0.2 | indirekt |
| npm | vary | 1.1.2 | indirekt |
| npm | walk-up-path | 3.0.1 | indirekt |
| npm | wbuf | 1.7.3 | indirekt |
| npm | whatwg-encoding | 3.1.1 | indirekt |
| npm | whatwg-mimetype | 4.0.0 | indirekt |
| npm | when-exit | 2.1.5 | indirekt |
| npm | which | 2.0.2 | indirekt |
| npm | which | 5.0.0 | indirekt |
| npm | widest-line | 5.0.0 | indirekt |
| npm | workerpool | 10.0.3 | indirekt |
| npm | wrap-ansi | 7.0.0 | indirekt |
| npm | wrap-ansi | 8.1.0 | indirekt |
| npm | wrap-ansi | 9.0.2 | indirekt |
| npm | wsl-utils | 1.0.0 | indirekt |
| npm | xdg-basedir | 5.1.0 | indirekt |
| npm | xml2js | 0.6.2 | indirekt |
| npm | xmlbuilder | 11.0.1 | indirekt |
| npm | xmlcreate | 2.0.4 | indirekt |
| npm | y18n | 5.0.8 | indirekt |
| npm | yallist | 4.0.0 | indirekt |
| npm | yallist | 5.0.0 | indirekt |
| npm | yaml-ast-parser | 0.0.43 | indirekt |
| npm | yargs | 17.7.3 | indirekt |
| npm | yargs-parser | 21.1.1 | indirekt |
| npm | yesno | 0.4.0 | indirekt |
| PyPI | annotated-types | 0.7.0 | indirekt |
| PyPI | anyio | 4.14.2 | indirekt |
| PyPI | attrs | 26.1.0 | indirekt |
| PyPI | backports-asyncio-runner | 1.2.0 | indirekt |
| PyPI | certifi | 2026.6.17 | indirekt |
| PyPI | cffi | 2.1.0 | indirekt |
| PyPI | click | 8.4.2 | indirekt |
| PyPI | colorama | 0.4.6 | indirekt |
| PyPI | cryptography | 50.0.0 | indirekt |
| PyPI | exceptiongroup | 1.3.1 | indirekt |
| PyPI | flowproof | 0.23.0 | indirekt |
| PyPI | h11 | 0.16.0 | indirekt |
| PyPI | httpcore | 1.0.9 | indirekt |
| PyPI | httpx | 0.28.1 | indirekt |
| PyPI | httpx-sse | 0.4.3 | indirekt |
| PyPI | idna | 3.18 | indirekt |
| PyPI | iniconfig | 2.3.0 | indirekt |
| PyPI | jsonschema | 4.26.0 | indirekt |
| PyPI | jsonschema-specifications | 2025.9.1 | indirekt |
| PyPI | mcp | 1.28.1 | indirekt |
| PyPI | packaging | 26.2 | indirekt |
| PyPI | pluggy | 1.6.0 | indirekt |
| PyPI | pycparser | 3.0 | indirekt |
| PyPI | pydantic | 2.13.4 | indirekt |
| PyPI | pydantic-core | 2.46.4 | indirekt |
| PyPI | pydantic-settings | 2.14.2 | indirekt |
| PyPI | pygments | 2.20.0 | indirekt |
| PyPI | pyjwt | 2.13.0 | indirekt |
| PyPI | pytest | 9.1.1 | indirekt |
| PyPI | pytest-asyncio | 1.4.0 | indirekt |
| PyPI | python-dotenv | 1.2.2 | indirekt |
| PyPI | python-multipart | 0.0.32 | indirekt |
| PyPI | pywin32 | 312 | indirekt |
| PyPI | referencing | 0.37.0 | indirekt |
| PyPI | rpds-py | 0.30.0 | indirekt |
| PyPI | rpds-py | 2026.6.3 | indirekt |
| PyPI | ruff | 0.15.22 | indirekt |
| PyPI | sse-starlette | 3.4.5 | indirekt |
| PyPI | starlette | 1.3.1 | indirekt |
| PyPI | tomli | 2.4.1 | indirekt |
| PyPI | typing-extensions | 4.16.0 | indirekt |
| PyPI | typing-inspection | 0.4.2 | indirekt |
| PyPI | uvicorn | 0.51.0 | indirekt |
Abhängigkeits-Advisories 0
Die Installation von npm:flowproof@0.23.0 zieht 4 Pakete nach sich, direkt und transitiv: 0 tragen bekannte Advisories, davon 0 direkte Abhängigkeiten.
Keine bekannten Advisories betreffen die bewerteten Abhängigkeiten.
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 — npm, PyPI.