dotnet/runtime

[ILVerify] Add optional warnings for constructs that are likely incorrect

Open

#37.390 geöffnet am 11. Mai 2017

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C# (5.445 Forks)batch import
Priority:2area-Tools-ILVerificationhelp wanted

Repository-Metriken

Stars
 (17.886 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 12T 11h) (661 gemergte PRs in 30 T)

Beschreibung

  • Catching exception that does not derive from System.Exception
  • location that immediately follows an unconditional branch, and not a target of an earlier branch instruction, then the state of the evaluation stack at X must be empty.

Contributor Guide

Research-Richtung
Das Issue fordert die Hinzufügung optionaler Warnungen in ILVerify für zwei Konstrukte: das Abfangen eines Ausnahmetyps, der nicht von System.Exception abgeleitet ist, und unerreichbaren Code nach einem unbedingten Sprung. Die Implementierung erfordert eine Änderung der ILVerify Verifizierungslogik (wahrscheinlich in der Verifizierungs Engine), um diese Muster zu erkennen und Warnungen auszugeben. Die bestehende Codebasis (z.B. ILVerify.csproj) sollte auf die aktuelle Warninfrastruktur untersucht werden. Die beiden spezifischen Szenarien müssen als zusätzliche Prüfungen im IL Verifizierungslauf implementiert werden.
Tech Stack
csharp
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C#
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30