dotnet/runtime

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

Open

#37.390 aberto em 11 de mai. de 2017

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)C# (5.445 forks)batch import
Priority:2area-Tools-ILVerificationhelp wanted

Métricas do repositório

Stars
 (17.886 stars)
Métricas de merge de PR
 (Mesclagem média 12d 11h) (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
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C#
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30