Compartilhar via


Ferramenta de PEVerify (peverify.exe)

A ferramenta de PEVerify ajuda sistema autônomo desenvolvedores que gerar Microsoft intermediário linguagem (MSIL) (sistema autônomo sistema autônomo criadores de compilador, sistema autônomo desenvolvedores do mecanismo de script e assim por diante) para determinar se seu código MSIL e metadados associados atendem digite requisitos de segurança. Alguns compiladores geram verificável fortemente tipado construções de código somente se você evitar o uso de determinado linguagem. Se, sistema autônomo desenvolvedor, você estiver usando um compilador tal, convém verificar que você não tiver comprometidos a segurança de tipos do seu código. Nessa situação, você pode executar a ferramenta de PEVerify em seus arquivos para verificar o MSIL e metadados.

peverify filename [options]

Parâmetros

Argumento

Descrição

nome do arquivo

O arquivo executável portátil (PE) para o qual você deseja verificar o MSIL e metadados.

Opção

Descrição

/ Quebrar =maxErrorCount

Anula a verificação após maxErrorCount erros.

Não há suporte para esse parâmetro no .NET estrutura versão 2.0 ou posterior.

/clock

Mede e relata os horários de verificação seguintes em milissegundos:

MD Val. ciclo

Ciclo de validação de metadados

MD Val. puro

Validação de metadados pura

Ciclo de versão de IL.

Ciclo de verificação do Microsoft intermediate linguagem (MSIL)

Versão de IL pura

Verificação de MSIL pura

The MD Val. ciclo and Ciclo de versão de IL. vezes incluem o time necessário para executar os procedimentos necessários de inicialização e desligado. The MD Val. puro and Versão de IL pura horários refletem o time necessário para executar a validação ou verificação somente.

/help

Exibe sintaxe de comando e opções para a ferramenta.

/HRESULT

Exibe 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 tipos MSIL para métodos implementados no conjunto de módulos (assembly) especificado por nome de arquivo. A ferramenta retorna 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 reporta todos os problemas de validação encontrados.

/nologo

Suprime a exibição de informações de versão e direitos autorais sobre produtos.

/nosymbols

No .NET estrutura versão 2.0, suprime os números de linha para compatibilidade com versões anteriores.

/quiet

Especifica o modo silencioso; suprime a saída dos relatórios de problema de verificação. Peverify.exe ainda relata se o arquivo é do tipo seguro, mas não relata informações sobre o problema impedindo a verificação de segurança de tipos.

/unique

Ignora os códigos de erro de repetição.

/verbose

No .NET estrutura versão 2.0, exibe informações adicionais nas mensagens de verificação da MSIL.

/?

Exibe sintaxe de comando e opções para a ferramenta.

Comentários

O common linguagem tempo de execução depende da execução de segurança de tipos de código do aplicativo para ajudar a impor mecanismos de segurança e isolamento. Normalmente, o código que não seja tipo verificável seguro não pode ser executado, embora você possa conjunto diretiva de segurança para permitir a execução de código confiável, mas não verificado.

Se nem o /MD nor /IL opções forem especificadas, peverify.exe realiza os dois tipos de verificações. Peverify.exe executa /MD verifica primeiro. Se não houver nenhum erro, de /IL verificações são feitas. Se você especificar os dois /MD and /IL, /IL verificações são feitas, mesmo se houver erros nos metadados. Thus, if there are no metadata errors, peverify filename is equivalent to peverify filename /md /il.

Peverify.exe executa verificações de verificação MSIL abrangentes com base na análise de fluxo de dados, além de uma lista de várias centenas regras de metadados válido. Para obter informações detalhadas sobre as verificações peverify.exe executa, consulte especificação"validação de metadados" e "MSIL instrução conjunto especificação da" na pasta Ferramentas Developers guia naWindows Software Development Kit (SDK).

Observe que o .NET estrutura versão 2.0 ou posterior oferece suporte verificável byref Retorna especificado usando as seguintes instruções MSIL: dup, ldsflda, ldflda, ldelema, call e unbox.

Exemplos

O seguinte comando executa verificações de validação de metadados e verificações de verificação de segurança de tipos MSIL para métodos implementados no assembly myAssembly.exe.

peverify myAssembly.exe /md /il

Após a conclusão com êxito de solicitação acima, peverify.exe exibirá a mensagem a seguir.

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 tipos MSIL para métodos implementados no assembly myAssembly.exe. A ferramenta exibe o time necessário para executar essas verificações.

peverify myAssembly.exe /md /il /clock

Após a conclusão com êxito de solicitação acima, peverify.exe exibirá a mensagem a seguir.

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 tipos MSIL para métodos implementados no assembly myAssembly.exe. No entanto, pára peverify.exe quando ela 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 sistema autônomo códigos de erro para ignorar no 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 um erro por linha.

0x12345678
0xABCD1234

Consulte também

Conceitos

Escrever Verifiably código de segurança de tipo

Segurança Tipo e segurança

Referência

Ferramentas.NET Framework

Prompt de comando SDK