Öffentliches RegisterAußergewöhnlich
Software-GesundheitsberichtSchema 0.31.0 · Metriken 2.10.0 · 2026-08-13 00:17 UTC
dafny-lang / dafny
Dafny is a verification-aware programming language
dafny-lang/dafny erreicht einen Gesundheitsindex von 95 von 100 und liegt damit im Bereich Außergewöhnlich. Am stärksten schneidet es bei Engineering Quality (99/100) ab, am schwächsten bei Security (69/100). Zuletzt vor 3 Tagen aktualisiert. 5 Mitwirkende tragen den Großteil der jüngsten Arbeit.
95
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.
95
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 82 wird auf der veröffentlichten Indexskala auf 95 kalibriert (Register-Kalibrierung 2026-08-02).
Eigentümerschaft
DafnyOrganisation
94 Follower22 öffentliche Reposseit Juni 2019
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
70
Entwicklungsaktivität
81Exzellent
Wie die Bewertung erfolgt
| 36/36 | Push-Aktualität — letzter Push vor 3 Tagen |
| 18.7/36 | Commit-Rhythmus — 27/52 Wochen mit Commits |
| 16.5/18 | Commit-Volumen — 68 Commits im letzten Jahr |
| 10/10 | OpenSSF Scorecard: Maintained — 11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10 |
Verwendete Eingangsdaten
| commits_last_year | 68 |
| human_commit_share | 0,77 |
| days_since_last_push | 3 |
| active_weeks_last_year | 27 |
Release-Disziplin
54Mittel
Wie die Bewertung erfolgt
| 27/27 | Liefert Releases aus — 52 Releases veröffentlicht |
| 0/36 | Release-Aktualität — letztes Release vor 1.497 Tagen |
| 27/27 | Release-Rhythmus — ein Release etwa alle -68,6 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Verwendete Eingangsdaten
| releases_count | 52 |
| latest_release_tag | nightly |
| releases_from_tags | nein |
| days_since_latest_release | 1.497 |
| mean_days_between_releases | -68,6 |
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
88
Popularität & Verbreitung
89Exzellent
Wie die Bewertung erfolgt
| 57.5/60 | Stars — 3.496 Stars |
| 20.9/25 | Forks — 322 Forks |
| 10.4/15 | Watcher — 74 Watcher |
Verwendete Eingangsdaten
| forks | 322 |
| stars | 3.496 |
| watchers | 74 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
86Exzellent
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 16.9/22.5 | Lizenz — Lizenzdatei vorhanden, keine anerkannte Lizenz |
| 18/18 | CONTRIBUTING-Leitfaden |
| 13.5/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 6.3/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | ja |
| readme_badges | 1 |
| has_contributing | ja |
| has_issue_template | nein |
| has_code_of_conduct | ja |
| readme_badge_services | github.com |
| has_pull_request_template | ja |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
83
Maintainer-Resilienz (Bus-Faktor)
88Exzellent
Wie die Bewertung erfolgt
| 45.9/54 | Bus-Faktor — 5 Beitragende decken die Hälfte aller Commits ab |
| 18.1/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 19 % 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 | 5 |
| contributors_sampled | 99 |
| top_contributor_share | 0,194 |
Wie die Bewertung erfolgt
| 25.5/42 | Issue-Lösungsquote — 61 % der Issues geschlossen |
| 26.8/30 | PR-Annahme — 2.852/3.197 entschiedene PRs gemergt |
| 0/13 | Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden |
| 15/15 | OpenSSF Scorecard: Code-Review — all changesets reviewed |
Verwendete Eingangsdaten
| merged_prs | 2.852 |
| open_issues | 1.175 |
| closed_issues | 1.812 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 1 |
| prs_decided_30d | 2 |
| issue_closed_ratio | 0,607 |
| closed_unmerged_prs | 345 |
| 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
83Exzellent
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 0/20 | Verifizierte Domain — Verifizierungsstatus der Domain für diese Organisation nicht ausgelesen |
| 14.2/25 | Reichweite des Inhabers — 94 Follower von dafny-lang |
| 21.9/25 | Kontohistorie — 22 öffentliche Repos, Kontoalter ca. 7 Jahre |
Verwendete Eingangsdaten
| followers | 94 |
| owner_type | Organization |
| is_verified | — |
| owner_login | dafny-lang |
| public_repos | 22 |
| account_age_days | 2.601 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Verifizierte Domain. Die verbleibenden Gewichte wurden renormalisiert.
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
99
Engineering-Praktiken
98Außergewöhnlich
Wie die Bewertung erfolgt
| 24/24 | CI-Workflows — 18 Workflow(s) |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration |
| 9.6/9.6 | Pre-Commit-Hooks |
| 6.4/6.4 | .editorconfig |
| 18/20 | OpenSSF Scorecard: CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9 |
Verwendete Eingangsdaten
| has_ci | ja |
| has_tests | ja |
| has_editorconfig | ja |
| has_linter_config | ja |
| has_precommit_config | ja |
Dokumentation
100Außergewöhnlich
Wie die Bewertung erfolgt
| 30/30 | README |
| 25/25 | Dokumentationsverzeichnis |
| 15/15 | Dokumentations-/Homepage-Site — https://dafny.org |
| 10/10 | Repository-Beschreibung |
| 10/10 | Topics — 2 Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | programming-language, verification |
| has_wiki | ja |
| homepage | https://dafny.org |
| docs_site | https://dafny.org |
| 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?
69
Sicherheitslage
61Mittel
Wie die Bewertung erfolgt
| 5.2/7.5 | Binary-Artifacts — binaries present in source code |
| 0/7.5 | Branch-Protection — keine Daten |
| 2.2/2.5 | CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 2.5/2.5 | Contributors — project has 34 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.2/2.5 | Lizenz — license file detected |
| 7.5/7.5 | Maintained — 11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10 |
| 0/5 | Packaging — keine Daten |
| 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 |
| 4.5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 6,1 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Branch-Protection, Packaging. 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 |
| 0/25 | Indirekte Abhängigkeiten ohne bekannte Advisories — transitive Menge in diesem Bereich nicht von Entwicklungs- und Test-Abhängigkeiten trennbar |
| 0/40 | Keine offenen Advisories — kein Advisory trägt ein Veröffentlichungsdatum |
Verwendete Eingangsdaten
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 116 |
| unassessed_packages | 1 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Indirekte Abhängigkeiten ohne bekannte Advisories, Keine offenen Advisories. Die verbleibenden Gewichte wurden renormalisiert. 116 aufgelöste Abhängigkeiten wurden mit OSV abgeglichen. 1 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.
74
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 — 76 von 77 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| llms_txt_url | — |
| legible_history_share | 0,987 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
AI-Verify-Loop (Build / Test / Typprüfung)
80Exzellent
Wie die Bewertung erfolgt
| 18/18 | Bootstrap mit einem Befehl — Makefile, Source/AutoExtern.Test/Tutorial/ClientApp/Makefile, Source/DafnyCore/Makefile, Source/DafnyCore/Prelude/Makefile, Source/DafnyRuntime/DafnyRuntimeDafny/Makefile, Source/DafnyRuntime/DafnyRuntimeGo-gomod/Makefile, Source/DafnyRuntime/DafnyRuntimeGo/Makefile, Source/DafnyRuntime/DafnyRuntimeJava/Makefile, Source/DafnyRuntime/DafnyRuntimeJs/Makefile, Source/DafnyRuntime/DafnyRuntimePython/Makefile, Source/DafnyRuntime/DafnyRuntimeRust/Makefile, Source/DafnyRuntime/Makefile, Source/DafnyStandardLibraries/Makefile, Source/DafnyStandardLibraries/src/Std/TargetSpecific/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/Makefile, docs/DafnyRef/Makefile |
| 22/22 | Automatisierte Tests |
| 11/11 | Lint-/Format-Konfiguration |
| 11/11 | Statische Typprüfung — C# (statisch typisiert) |
| 10/10 | Reproduzierbare Umgebung — lockfile |
| 0/10 | Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100 |
| 8/8 | Automatisierte Wartung — 23 der letzten 100 Commits sind automatisierte Abhängigkeits-Updates |
| 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, Gemfile.lock, go.sum |
| has_dockerfile | nein |
| typed_language | ja |
| bootstrap_files | Makefile, Source/AutoExtern.Test/Tutorial/ClientApp/Makefile, Source/DafnyCore/Makefile, Source/DafnyCore/Prelude/Makefile, Source/DafnyRuntime/DafnyRuntimeDafny/Makefile, Source/DafnyRuntime/DafnyRuntimeGo-gomod/Makefile, Source/DafnyRuntime/DafnyRuntimeGo/Makefile, Source/DafnyRuntime/DafnyRuntimeJava/Makefile, Source/DafnyRuntime/DafnyRuntimeJs/Makefile, Source/DafnyRuntime/DafnyRuntimePython/Makefile, Source/DafnyRuntime/DafnyRuntimeRust/Makefile, Source/DafnyRuntime/Makefile, Source/DafnyStandardLibraries/Makefile, Source/DafnyStandardLibraries/src/Std/TargetSpecific/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/Makefile, docs/DafnyRef/Makefile |
| has_devcontainer | nein |
| has_linter_config | ja |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | Source/AutoExtern.Test/AutoExtern.Test.csproj, Source/AutoExtern.Test/Minimal/Library.csproj, Source/AutoExtern.Test/Tutorial/ClientApp/ClientApp.csproj, Source/AutoExtern.Test/Tutorial/Library/Library.csproj, Source/AutoExtern/AutoExtern.csproj, Source/Dafny/Dafny.csproj, Source/DafnyBenchmarkingPlugin/DafnyBenchmarkingPlugin.csproj, Source/DafnyCore.Test/DafnyCore.Test.csproj, Source/DafnyCore/DafnyCore.csproj, Source/DafnyDriver.Test/DafnyDriver.Test.csproj, Source/DafnyDriver/DafnyDriver.csproj, Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj, Source/DafnyLanguageServer/DafnyLanguageServer.csproj, Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj, Source/DafnyPipeline/DafnyPipeline.csproj, Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj, Source/DafnyRuntime.Tests/DafnyRuntimeRustTest/Cargo.toml, Source/DafnyRuntime/DafnyRuntime.csproj, Source/DafnyRuntime/DafnyRuntimeGo-gomod/go.mod, Source/DafnyRuntime/DafnyRuntimeJava/build.gradle, Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml, Source/DafnyServer/DafnyServer.csproj, Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj, Source/DafnyTestGeneration/DafnyTestGeneration.csproj, Source/IntegrationTests/IntegrationTests.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/DafnyTests/RunAllTests/RunAllTests.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/DafnyTests/TestAttribute/TestAttribute.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/benchmarks/sequence-race/java/build.gradle.kts, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/manualcompile/ManualCompile.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/arc/tokiouser-rust/Cargo.toml, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/translate-additional/project_depending_on_dafny/Cargo.toml, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/separate-compilation/Inputs/producer/TimesTwo.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/separate-compilation/consumer/Consumer.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/csharp/SimpleCompiler.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/DafnyModule1/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/publishedruntime/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/singlemodule/dafnysource/go.mod, Source/Scripts/Scripts.csproj, Source/TestDafny/TestDafny.csproj, Source/XUnitExtensions/XUnitExtensions.csproj |
| dependency_bot_commit_share | 0,23 |
AI-Code-Lesbarkeit für Modelle
98Außergewöhnlich
Wie die Bewertung erfolgt
| 45/45 | Typprüfbarer Code — C# (statisch typisiert) |
| 53.4/55 | Handhabbare Dateigrößen — 34/1.146 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | C# |
| largest_source_bytes | 444.150 |
| source_files_sampled | 1.146 |
| oversized_source_files | 34 |
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 — examples |
Verwendete Eingangsdaten
| example_dirs | 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
3.496GitHub-Sterne
99Mitwirkende
68Commits, letzte 12 Monate
3Tage seit letztem Push
52Releases
5Bus-Faktor
1.175offene Issues
RubyGemsPaket-Ökosysteme
Warnungen zur Datenerhebung
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Weitere Details
Stern- und Fork-Verlauf 0 ★ / 322 ⇿
0Sterne
322Forks
51Releases
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 3Minor 27Patch 13
Jeder Punkt umfasst 10 Tage.
OpenSSF Scorecard 6.1 / 10
6.1Gesamtwert
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).
| 7 | 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 |
| 9 | CI-Tests | 28 out of 30 merged PRs checked by a CI test -- score normalized to 9 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 10 | Code-Review | all changesets reviewed |
| 10 | Contributors | project has 34 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 9 | License | license file detected |
| 10 | Maintained | 11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10 |
| k. A. | Packaging | packaging workflow not 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 |
| 9 | Security-Policy | security policy file detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Direkte Abhängigkeiten 103
| Registry | Paket | Versionsvorgabe | Manifest |
|---|---|---|---|
| NuGet | Microsoft.NET.Test.Sdk | 16.11.0 | Source/AutoExtern.Test/AutoExtern.Test.csproj |
| NuGet | xunit | 2.4.2 | Source/AutoExtern.Test/AutoExtern.Test.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/AutoExtern.Test/AutoExtern.Test.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/AutoExtern.Test/AutoExtern.Test.csproj |
| NuGet | Microsoft.Build | 17.0.0 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.Build.Framework | 17.14.28 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.Build.Locator | 1.4.1 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.Build.Tasks.Core | 17.14.28 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.Build.Utilities.Core | 17.14.28 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.CodeAnalysis | 4.0.1 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.CodeAnalysis.CSharp | 4.0.1 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.CodeAnalysis.CSharp.Workspaces | 4.0.1 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.CodeAnalysis.Workspaces.MSBuild | 4.0.1 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | System.CommandLine | 2.0.0-beta4.22272.1 | Source/AutoExtern/AutoExtern.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 17.1.0 | Source/DafnyCore.Test/DafnyCore.Test.csproj |
| NuGet | xunit | 2.4.1 | Source/DafnyCore.Test/DafnyCore.Test.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/DafnyCore.Test/DafnyCore.Test.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/DafnyCore.Test/DafnyCore.Test.csproj |
| NuGet | JetBrains.Annotations | 2021.1.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | Microsoft.Extensions.FileSystemGlobbing | 5.0.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | Microsoft.Extensions.Logging.Abstractions | 5.0.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | NJsonSchema | 11.1.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | NJsonSchema.Annotations | 11.1.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | OmniSharp.Extensions.LanguageServer | 0.19.5 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | RangeTree | 3.0.1 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | Serilog | 2.12.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | System.CommandLine | 2.0.0-beta4.22272.1 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | System.Runtime.Numerics | 4.3.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | System.Collections.Immutable | 1.7.1 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | Boogie.ExecutionEngine | 3.5.5 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | Tomlyn | 0.17.0 | Source/DafnyCore/DafnyCore.csproj |
| NuGet | Microsoft.CodeAnalysis.CSharp | 3.7.0 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 17.1.0 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | OmniSharp.Extensions.JsonRpc | 0.19.5 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | OmniSharp.Extensions.LanguageProtocol | 0.19.5 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | xunit | 2.4.2 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | Xunit.AssertMessages | 2.4.0 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | xunit.extensibility.core | 2.4.2 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/DafnyDriver.Test/DafnyDriver.Test.csproj |
| NuGet | Microsoft.TestPlatform.Extensions.TrxLogger | 17.9.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | Microsoft.TestPlatform.TestHost | 17.9.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | Newtonsoft.Json | 13.0.3 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Security.Principal.Windows | 4.6.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Collections | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Diagnostics.Debug | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.IO.FileSystem.Primitives | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Runtime.Handles | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Runtime.InteropServices | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Text.Encoding.Extensions | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | System.Threading | 4.3.0 | Source/DafnyDriver/DafnyDriver.csproj |
| NuGet | DiffPlex | 1.7.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Microsoft.CodeAnalysis.CSharp | 3.7.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Microsoft.Extensions.Logging.Console | 5.0.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 17.1.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Moq | 4.16.1 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Serilog.Sinks.InMemory | 0.11.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | xunit | 2.4.2 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | xunit.extensibility.core | 2.4.2 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Xunit.AssertMessages | 2.4.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | OmniSharp.Extensions.LanguageProtocol.Testing | 0.19.5 | Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj |
| NuGet | Microsoft.Extensions.Configuration.CommandLine | 5.0.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Microsoft.Extensions.Configuration.Json | 5.0.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Microsoft.Extensions.Logging | 5.0.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Newtonsoft.Json | 13.0.3 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | RangeTree | 3.0.1 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Serilog | 2.12.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Serilog.Extensions.Logging | 3.0.1 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Serilog.Settings.Configuration | 3.1.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Serilog.Sinks.Debug | 2.0.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Serilog.Sinks.File | 5.0.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | System.Runtime.Handles | 4.3.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | System.Collections | 4.3.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | System.Diagnostics.Debug | 4.3.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | System.IO.FileSystem.Primitives | 4.3.0 | Source/DafnyLanguageServer/DafnyLanguageServer.csproj |
| NuGet | Microsoft.CodeAnalysis.CSharp | 3.7.0 | Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj |
| NuGet | DiffPlex | 1.7.0 | Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 17.1.0 | Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj |
| NuGet | xunit | 2.4.2 | Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 16.11.0 | Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj |
| NuGet | xunit | 2.4.2 | Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj |
| NuGet | System.Runtime.Numerics | 4.3.0 | Source/DafnyRuntime/DafnyRuntime.csproj |
| NuGet | System.Collections.Immutable | 1.7.0 | Source/DafnyRuntime/DafnyRuntime.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 17.1.0 | Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj |
| NuGet | xunit | 2.4.2 | Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj |
| NuGet | xunit.extensibility.core | 2.4.2 | Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj |
| NuGet | Microsoft.NET.Test.Sdk | 16.11.0 | Source/IntegrationTests/IntegrationTests.csproj |
| NuGet | xunit | 2.4.2 | Source/IntegrationTests/IntegrationTests.csproj |
| NuGet | xunit.runner.visualstudio | 2.5.1 | Source/IntegrationTests/IntegrationTests.csproj |
| NuGet | coverlet.collector | 3.2.0 | Source/IntegrationTests/IntegrationTests.csproj |
| NuGet | System.CommandLine | 2.0.0-beta4.22272.1 | Source/Scripts/Scripts.csproj |
| NuGet | Microsoft.CodeAnalysis | 4.12.0 | Source/Scripts/Scripts.csproj |
| NuGet | CommandLineParser | 2.9.1 | Source/TestDafny/TestDafny.csproj |
| NuGet | xunit | 2.4.2 | Source/TestDafny/TestDafny.csproj |
| NuGet | xunit.runner.visualstudio | 2.4.3 | Source/TestDafny/TestDafny.csproj |
Alle Abhängigkeiten 117
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 63 direkte und 54 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
| Registry | Paket | Version | Beziehung |
|---|---|---|---|
| NuGet | Boogie.ExecutionEngine | 3.5.5 | direkt |
| NuGet | CommandLineParser | 2.8.0 | direkt |
| NuGet | CommandLineParser | 2.9.1 | direkt |
| NuGet | coverlet.collector | 3.2.0 | direkt |
| NuGet | DiffPlex | 1.7.0 | direkt |
| NuGet | JetBrains.Annotations | 2021.1.0 | direkt |
| NuGet | Microsoft.Build | 17.0.0 | direkt |
| NuGet | Microsoft.Build.Framework | 17.14.28 | direkt |
| NuGet | Microsoft.Build.Locator | 1.4.1 | direkt |
| NuGet | Microsoft.Build.Tasks.Core | 17.14.28 | direkt |
| NuGet | Microsoft.Build.Utilities.Core | 17.14.28 | direkt |
| NuGet | Microsoft.CodeAnalysis | 4.0.1 | direkt |
| NuGet | Microsoft.CodeAnalysis | 4.12.0 | direkt |
| NuGet | Microsoft.CodeAnalysis.CSharp | 3.7.0 | direkt |
| NuGet | Microsoft.CodeAnalysis.CSharp | 4.0.1 | direkt |
| NuGet | Microsoft.CodeAnalysis.CSharp.Workspaces | 4.0.1 | direkt |
| NuGet | Microsoft.CodeAnalysis.Workspaces.MSBuild | 4.0.1 | direkt |
| NuGet | Microsoft.Extensions.Configuration.CommandLine | 5.0.0 | direkt |
| NuGet | Microsoft.Extensions.Configuration.Json | 5.0.0 | direkt |
| NuGet | Microsoft.Extensions.FileSystemGlobbing | 5.0.0 | direkt |
| NuGet | Microsoft.Extensions.Logging | 5.0.0 | direkt |
| NuGet | Microsoft.Extensions.Logging.Abstractions | 5.0.0 | direkt |
| NuGet | Microsoft.Extensions.Logging.Console | 5.0.0 | direkt |
| NuGet | Microsoft.NET.Test.Sdk | 16.10.0 | direkt |
| NuGet | Microsoft.NET.Test.Sdk | 16.11.0 | direkt |
| NuGet | Microsoft.NET.Test.Sdk | 16.9.4 | direkt |
| NuGet | Microsoft.NET.Test.Sdk | 17.1.0 | direkt |
| NuGet | Microsoft.TestPlatform.Extensions.TrxLogger | 17.9.0 | direkt |
| NuGet | Microsoft.TestPlatform.TestHost | 17.9.0 | direkt |
| NuGet | Moq | 4.16.1 | direkt |
| NuGet | Newtonsoft.Json | 13.0.3 | direkt |
| NuGet | NJsonSchema | 11.1.0 | direkt |
| NuGet | NJsonSchema.Annotations | 11.1.0 | direkt |
| NuGet | OmniSharp.Extensions.JsonRpc | 0.19.5 | direkt |
| NuGet | OmniSharp.Extensions.LanguageProtocol | 0.19.5 | direkt |
| NuGet | OmniSharp.Extensions.LanguageProtocol.Testing | 0.19.5 | direkt |
| NuGet | OmniSharp.Extensions.LanguageServer | 0.19.5 | direkt |
| NuGet | RangeTree | 3.0.1 | direkt |
| NuGet | Serilog | 2.12.0 | direkt |
| NuGet | Serilog.Extensions.Logging | 3.0.1 | direkt |
| NuGet | Serilog.Settings.Configuration | 3.1.0 | direkt |
| NuGet | Serilog.Sinks.Debug | 2.0.0 | direkt |
| NuGet | Serilog.Sinks.File | 5.0.0 | direkt |
| NuGet | Serilog.Sinks.InMemory | 0.11.0 | direkt |
| NuGet | System.Collections | 4.3.0 | direkt |
| NuGet | System.Collections.Immutable | 1.7.0 | direkt |
| NuGet | System.Collections.Immutable | 1.7.1 | direkt |
| NuGet | System.CommandLine | 2.0.0-beta4.22272.1 | direkt |
| NuGet | System.Diagnostics.Debug | 4.3.0 | direkt |
| NuGet | System.IO.FileSystem.Primitives | 4.3.0 | direkt |
| NuGet | System.Runtime.Handles | 4.3.0 | direkt |
| NuGet | System.Runtime.InteropServices | 4.3.0 | direkt |
| NuGet | System.Runtime.Numerics | 4.3.0 | direkt |
| NuGet | System.Security.Principal.Windows | 4.6.0 | direkt |
| NuGet | System.Text.Encoding.Extensions | 4.3.0 | direkt |
| NuGet | System.Threading | 4.3.0 | direkt |
| NuGet | tomlyn | 0.17.0 | direkt |
| NuGet | xunit | 2.4.1 | direkt |
| NuGet | xunit | 2.4.2 | direkt |
| NuGet | Xunit.AssertMessages | 2.4.0 | direkt |
| NuGet | xunit.extensibility.core | 2.4.2 | direkt |
| NuGet | xunit.runner.visualstudio | 2.4.3 | direkt |
| NuGet | xunit.runner.visualstudio | 2.5.1 | direkt |
| crates.io | autocfg | 1.1.0 | indirekt |
| crates.io | autocfg | 1.3.0 | indirekt |
| crates.io | either | 1.13.0 | indirekt |
| crates.io | either | 1.9.0 | indirekt |
| crates.io | itertools | 0.14.0 | indirekt |
| crates.io | num | 0.4.3 | indirekt |
| crates.io | num-bigint | 0.4.6 | indirekt |
| crates.io | num-complex | 0.4.6 | indirekt |
| crates.io | num-integer | 0.1.46 | indirekt |
| crates.io | num-iter | 0.1.45 | indirekt |
| crates.io | num-rational | 0.4.2 | indirekt |
| crates.io | num-traits | 0.2.19 | indirekt |
| crates.io | once_cell | 1.21.3 | indirekt |
| Go | github.com/dafny-lang/dafnyruntimego/v4 | 4.0.0-20231204230030-1d44519b5706 | indirekt |
| Go | github.com/dafny-lang/dafnyruntimego/v4 | 4.8.0 | indirekt |
| Go | gomodule1 | 0.0.0 | indirekt |
| NuGet | Antlr4.CodeGenerator | 4.6.6 | indirekt |
| NuGet | Antlr4.Runtime | 4.6.6 | indirekt |
| NuGet | System.Runtime | 4.3.1 | indirekt |
| NuGet | Xunit.SkippableFact | 1.4.8 | indirekt |
| PyPI | dafnyruntimepython | — | indirekt |
| RubyGems | addressable | 2.9.0 | indirekt |
| RubyGems | colorator | 1.1.0 | indirekt |
| RubyGems | concurrent-ruby | 1.3.7 | 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 | 3.25.5 | indirekt |
| RubyGems | http_parser.rb | 0.8.0 | indirekt |
| RubyGems | i18n | 1.14.1 | indirekt |
| RubyGems | jekyll | 4.3.3 | indirekt |
| RubyGems | jekyll-feed | 0.17.0 | indirekt |
| RubyGems | jekyll-numbered-headings | 0.1.1 | indirekt |
| RubyGems | jekyll-sass-converter | 3.0.0 | indirekt |
| RubyGems | jekyll-seo-tag | 2.8.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.8.0 | indirekt |
| RubyGems | mercenary | 0.4.0 | indirekt |
| RubyGems | minima | 2.5.1 | indirekt |
| RubyGems | pathutil | 0.16.2 | indirekt |
| RubyGems | public_suffix | 7.0.5 | indirekt |
| RubyGems | rb-fsevent | 0.11.2 | indirekt |
| RubyGems | rb-inotify | 0.10.1 | indirekt |
| RubyGems | rexml | 3.4.2 | indirekt |
| RubyGems | rouge | 4.2.0 | indirekt |
| RubyGems | safe_yaml | 1.0.5 | indirekt |
| RubyGems | sass-embedded | 1.69.7 | indirekt |
| RubyGems | terminal-table | 3.0.2 | indirekt |
| RubyGems | unicode-display_width | 2.5.0 | indirekt |
| RubyGems | webrick | 1.8.2 | indirekt |
Abhängigkeits-Advisories 0
Dieses Repository veröffentlicht kein vom Index auflösbares Paket, daher wurde sein eigener Abhängigkeitsgraph bewertet – 116 Pakete, darunter auch Entwicklungs- und Test-Pins, die nie ausgeliefert werden: 0 tragen bekannte Advisories, davon 0 direkte. 1 konnten nicht bewertet werden – keine aufgelöste Version, ein nicht unterstütztes Ökosystem, oder außerhalb der ausgewiesenen Paketliste.
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.31.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken.