2 commentaires (2 commentaires)0 réaction (0 réaction)0 personne assignée (0 personne assignée)C#5 445 forks (5 445 forks)batch import
Priority:2area-Tools-ILVerificationhelp wanted
Métriques du dépôt
- Stars
- 17 886 étoiles (17 886 étoiles)
- Métriques de merge PR
- Merge moyen 12j 11h (Merge moyen 12j 11h)661 PRs mergées en 30 j (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é
- Prérequis
- C#
