dotnet/runtime

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

Open

#37.390 aperta il 11 mag 2017

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)C# (5445 fork)batch import
Priority:2area-Tools-ILVerificationhelp wanted

Metriche repository

Star
 (17.886 star)
Metriche merge PR
 (Merge medio 12g 11h) (661 PR mergiate in 30 g)

Descrizione

  • 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.

Guida contributor

Direzione di ricerca
La richiesta prevede l'aggiunta di avvisi opzionali in ILVerify per due costrutti: la cattura di un tipo di eccezione che non deriva da System.Exception e il codice irraggiungibile dopo un branch incondizionato. L'implementazione richiede la modifica della logica di verifica di ILVerify (probabilmente nel motore di verifica) per rilevare questi pattern ed emettere avvisi. Il codice esistente (ad es. ILVerify.csproj) dovrebbe essere esaminato per l'infrastruttura di avviso attuale. I due scenari specifici devono essere implementati come controlli aggiuntivi nella fase di verifica IL.
Tech stack
csharp
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30