2 comentários (2 comentários)0 reação (0 reação)0 responsável (0 responsável)C#5.445 forks (5.445 forks)batch import
Priority:2area-Tools-ILVerificationhelp wanted
Métricas do repositório
- Stars
- 17.886 estrelas (17.886 estrelas)
- Métricas de merge de PR
- Mesclagem média 12d 11h (Mesclagem média 12d 11h)661 fundiu PRs em 30d (661 fundiu PRs em 30d)
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.
Guia do colaborador
- Direção de pesquisa
- A issue solicita a adição de avisos opcionais no ILVerify para dois construtos: capturar um tipo de exceção que não deriva de System.Exception e código inalcançável após um branch incondicional. A implementação requer a modificação da lógica de verificação do ILVerify (provavelmente no mecanismo de verificação) para detectar esses padrões e emitir avisos. A base de código existente (por exemplo, ILVerify.csproj) deve ser examinada para a infraestrutura de avisos atual. Os dois cenários específicos precisam ser implementados como verificações adicionais na passagem de verificação de IL.
- Pilha de tecnologia
- csharp
- Domain
- backend
- Tipo Issue
- Funcionalidade
- Prerequisites
- C#
