Peverify (ferramenta PEVerify)
A ferramenta PEVerify ajuda os desenvolvedores que geram Microsoft intermediate language (MSIL) (como os criadores do compilador, os desenvolvedores do mecanismo de script e assim por diante) para determinar se o seu código MSIL e metadados associados atender tipo requisitos de segurança. Alguns compiladores geram código verificável com segurança de tipo somente se você evitar usar determinadas construções de linguagem. Se, como um desenvolvedor, você está usando como um compilador, convém verificar que não comprometidos a segurança de tipos do seu código. Nessa situação, você pode executar a ferramenta PEVerify em seus arquivos para verificar a MSIL e metadados.
A ferramenta PEVerify é instalada automaticamente com o Visual Studio. Para iniciar a ferramenta, use o Prompt de comando Visual Studio. No prompt de comando, digite o seguinte:
peverify filename [options]
Parâmetros
Argumento |
Descrição |
|---|---|
nome do arquivo |
O arquivo executável portátil (PE) para o qual deseja verificar a MSIL e metadados. |
Opção |
Descrição |
|---|---|
/ Quebrar =maxErrorCount |
Anula verificação após maxErrorCount erros. Este parâmetro não é suportado no.NET Framework versão 2.0 ou posterior. |
/clock |
Mede e relata os seguintes horários de verificação em milissegundos:
O MD Val. ciclo de e Ver de IL. ciclo de vezes incluem o tempo necessário para executar os procedimentos de inicialização e desligamento necessários. O MD Val. puro e Ver de IL pura vezes refletem o tempo necessário para executar a validação ou verificação somente. |
/help |
Exibe sintaxe de comando e opções para a ferramenta. |
/HRESULT |
Exibe os códigos de erro no formato hexadecimal. |
/ Ignorar =hex.code , hex.code |
Ignora os códigos de erro especificado. |
/ Ignorar = @responseFile |
Ignora os códigos de erro listados no arquivo de resposta especificado. |
/IL |
Executa verificações de verificação de segurança de tipo MSIL para métodos implementados no assembly especificado por nome de arquivo. A ferramenta retorna as descrições detalhadas para cada problema encontrado, a menos que você especifique o /quiet opção. |
/MD |
Executa verificações de validação de metadados no assembly especificado por nome de arquivo. Isso conduz a estrutura de metadados total dentro do arquivo e relatórios de todos os problemas de validação encontrados. |
/nologo |
Suprime a exibição de informações de versão e copyright do produto. |
/nosymbols |
No.NET Framework versão 2.0, suprime números de linha para compatibilidade com versões anteriores. |
/quiet |
Especifica o modo silencioso; Suprime a saída de relatórios de problemas de verificação. Ainda, peverify relata se o arquivo é de tipo seguro, mas não relata informações sobre o problema impedindo a verificação de segurança de tipo. |
/transparent |
Verifique se apenas os métodos transparentes. |
/unique |
Ignora os códigos de erro de repetição. |
/verbose |
No.NET Framework versão 2.0, exibe informações adicionais nas mensagens de verificação de MSIL. |
/? |
Exibe sintaxe de comando e opções para a ferramenta. |
Comentários
O common language runtime depende da execução de segurança de tipos de código do aplicativo para ajudar a reforçar os mecanismos de segurança e isolamento. Normalmente, o código que não é tipo verificável seguro não pode ser executado, embora você possa definir a diretiva de segurança para permitir a execução de código confiável, mas não verificável.
Se nem o /md nem /il opções forem especificadas, peverify executa ambos os tipos de verificações. Peverify executa /md verifica primeiro. Se não houver nenhum erro, /il as verificações são feitas. Se você especificar ambos /md e /il, /il as verificações são feitas, mesmo se houver erros nos metadados. Assim, se não houver nenhum erro de metadados, peverify nome de arquivo é equivalente a peverify nome de arquivo /md /il.
Peverify executa verificações de verificação de MSIL abrangentes com base na análise de fluxo de dados além de uma lista de várias centenas de regras em metadados válidos. Para obter informações detalhadas sobre as verificações que peverify executa, consulte o "especificação de validação de metadados" e o "instrução MSIL especificação" na pasta Ferramentas Developers Guide do Windows Software Development Kit (SDK).
Observe que o.NET Framework versão 2.0 ou posterior suporta verificável byref retorna especificada usando as seguintes instruções MSIL: dup, ldsflda, ldflda, ldelema, call and unbox.
Exemplos
O seguinte comando executa verificações de validação de metadados e verificações de verificação de segurança de tipo MSIL para métodos implementados no assembly myAssembly.exe.
peverify myAssembly.exe /md /il
Após a conclusão bem-sucedida da solicitação acima, peverify exibe a seguinte mensagem de erro.
All classes and methods in myAssembly.exe Verified
O seguinte comando executa verificações de validação de metadados e verificações de verificação de segurança de tipo MSIL para métodos implementados no assembly myAssembly.exe. A ferramenta exibe o tempo necessário para executar essas verificações.
peverify myAssembly.exe /md /il /clock
Após a conclusão bem-sucedida da solicitação acima, peverify exibe a seguinte mensagem de erro.
All classes and methods in myAssembly.exe Verified
Timing: Total run 320 msec
MD Val.cycle 40 msec
MD Val.pure 10 msec
IL Ver.cycle 270 msec
IL Ver.pure 230 msec
O seguinte comando executa verificações de validação de metadados e verificações de verificação de segurança de tipo MSIL para métodos implementados no assembly myAssembly.exe. Peverify interrompida, entretanto, quando ele atinge a contagem de erro máximo de 100. A ferramenta também ignora os códigos de erro especificado.
peverify myAssembly.exe /break=100 /ignore=0x12345678,0xABCD1234
O comando a seguir produz o mesmo resultado do exemplo anterior acima, mas Especifica os códigos de erro para ignorar o arquivo de resposta ignoreErrors.rsp.
peverify myAssembly.exe /break=100 /ignore@ignoreErrors.rsp
O arquivo de resposta pode conter uma lista separada por vírgulas dos códigos de erro.
0x12345678, 0xABCD1234
Como alternativa, o arquivo de resposta pode ser formatado com o código de erro de um por linha.
0x12345678
0xABCD1234
Consulte também
Referência
Prompt de comando Visual Studio
Conceitos
Escrevendo verificável com código de tipo seguro