dotnet/runtime

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

Open

#37 390 ouverte le 11 mai 2017

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)C# (5 445 forks)batch import
Priority:2area-Tools-ILVerificationhelp wanted

Métriques du dépôt

Stars
 (17 886 stars)
Métriques de merge PR
 (Merge moyen 12j 11h) (661 PRs mergées en 30 j)

Description

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

Guide contributeur

Direction de recherche
La demande consiste à ajouter des avertissements optionnels dans ILVerify pour deux constructions : attraper un type d'exception qui ne dérive pas de System.Exception, et du code inaccessible après une branche inconditionnelle. La mise en œuvre nécessite de modifier la logique de vérification d'ILVerify (probablement dans le moteur de vérification) pour détecter ces motifs et émettre des avertissements. La base de code existante (par exemple, ILVerify.csproj) doit être examinée pour l'infrastructure d'avertissement actuelle. Les deux scénarios spécifiques doivent être implémentés comme des vérifications supplémentaires dans la passe de vérification IL.
Stack technique
csharp
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
C#
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30