Exportar (0) Imprimir
Expandir todo
Este artículo se tradujo de forma manual. Mueva el puntero sobre las frases del artículo para ver el texto original. Más información.
Traducción
Original

Peverify.exe (Herramienta PEVerify)

La herramienta PEVerify ayuda a los desarrolladores que generan lenguaje intermedio de Microsoft (MSIL) (como autores de compiladores, desarrolladores de motores de scripts, etc.) a determinar si el código MSIL y los metadatos asociados satisfacen los requisitos de seguridad de tipos. Algunos compiladores solo generan código con seguridad de tipos comprobable si se evita el uso de determinadas construcciones de lenguaje. Si, como desarrollador, está utilizando un compilador con estas características, puede que desee comprobar que no ha puesto en peligro la seguridad de tipos del código. Para ello, ejecute la herramienta PEVerify en los archivos con el fin de comprobar el lenguaje MSIL y los metadatos.

Esta herramienta se instala automáticamente con Visual Studio. Para ejecutar la herramienta, utilice el Símbolo del sistema para desarrolladores (o el Símbolo del sistema de Visual Studio en Windows 7). Para obtener más información, vea Símbolo del sistema de Visual Studio.

En el símbolo del sistema, escriba lo siguiente:

peverify filename [options]

Argumento

Descripción

nombreArchivo

Archivo portable ejecutable (PE) para el que se comprueban el lenguaje MSIL y los metadatos.

Opción

Descripción

/break= recMáxErrores

Anula la comprobación si se generan tantos errores como indica recMáxErrores.

Este parámetro no es compatible con .NET Framework versión 2.0 o posterior.

/clock

Mide los siguientes tiempos de comprobación en milisegundos y los notifica:

MD Val. cycle

Ciclo de validación de metadatos

MD Val. pure

Validación pura de metadatos

IL Ver. cycle

Ciclo de comprobación del Lenguaje intermedio de Microsoft (MSIL)

IL Ver pure

Comprobación pura de MSIL

Los valores de MD Val. cycle e IL Ver. cycle incluyen el tiempo requerido para realizar los procedimientos necesarios de inicio y de cierre. Los valores de MD Val. pure e IL Ver pure reflejan el tiempo requerido únicamente para realizar la validación o comprobación.

/help

Muestra las opciones y la sintaxis de los comandos para la herramienta.

/hresult

Muestra los códigos de error en formato hexadecimal.

/ignore= hex.code [, hex.code]

Omite los códigos de error especificados.

/ignore=@ archivoRespuesta

Omite los códigos de error enumerados en el archivo de respuesta especificado.

/il

Realiza comprobaciones de la seguridad de tipos de MSIL en los métodos implementados en el ensamblado especificado por el argumento nombreArchivo. La herramienta devuelve descripciones detalladas de cada uno de los problemas encontrados, salvo que se especifique la opción /quiet.

/md

Realiza comprobaciones de validación de metadatos en el ensamblado especificado por el argumento nombreArchivo. Para ello recorre la estructura completa de metadatos en el archivo y genera un informe de todos los problemas de validación encontrados.

/nologo

Suprime la presentación de la versión del producto y de la información de copyright.

/nosymbols

En .NET Framework versión 2.0, se suprimen los números de línea para la compatibilidad con versiones anteriores.

/quiet

Especifica el modo silencioso; suprime la salida de los informes relativos a problemas de comprobación. No obstante, Peverify.exe notifica si el archivo tiene seguridad de tipos, aunque no proporciona información sobre los problemas que impiden comprobar la seguridad de tipos.

/transparent

Comprueba solo los métodos transparentes.

/unique

Omite la repetición de códigos de error.

/verbose

En .NET Framework versión 2.0, se muestra información adicional en los mensajes de comprobación de MSIL.

/?

Muestra las opciones y la sintaxis de los comandos para la herramienta.

Common Language Runtime se basa en la ejecución con seguridad de tipos del código de la aplicación para ayudar a imponer mecanismos de aislamiento y seguridad. Normalmente, el código en el que no se puede comprobar la seguridad de tipos no se puede ejecutar, aunque puede establecer una directiva de seguridad para permitir la ejecución de código de confianza pero que no se puede comprobar.

Si no se especifica ninguna de las opciones /md y /il, Peverify.exe realiza ambos tipos de comprobaciones. Primero realiza comprobaciones de tipo /md. Si no hay errores, realiza comprobaciones de tipo /il. Si especifica ambas opciones, /md y /il, se realizarán comprobaciones de tipo /il aunque existan errores en los metadatos. Así, si no hay ningún error de metadatos, peverify nombreArchivo es equivalente a peverify nombreArchivo /md /il.

Peverify.exe realiza comprobaciones exhaustivas de MSIL basándose en el análisis del flujo de datos y en una lista que contiene centenares de reglas sobre metadatos válidos. Para obtener información detallada sobre las comprobaciones que realiza Peverify.exe, vea las secciones sobre especificaciones para la validación de metadatos y para el conjunto de instrucciones de MSIL en la carpeta Tools Developers Guide de Kit de desarrollo de software de Windows (SDK).

Tenga en cuenta que .NET Framework versión 2.0 o posterior admite devoluciones de los datos byref que se puedan comprobar especificadas mediante las siguientes instrucciones de MSIL: dup, ldsflda, ldflda, ldelema, call y unbox.

El comando siguiente realiza comprobaciones de validación de metadatos y comprobaciones de seguridad de tipos de MSIL en los métodos implementados en el ensamblado myAssembly.exe.

peverify myAssembly.exe /md /il

Después de ejecutar la solicitud anterior correctamente, Peverify.exe muestra el mensaje siguiente.

All classes and methods in myAssembly.exe Verified

El comando siguiente realiza comprobaciones de validación de metadatos y comprobaciones de seguridad de tipos de MSIL en los métodos implementados en el ensamblado myAssembly.exe. La herramienta muestra el tiempo necesario para ejecutar estas comprobaciones.

peverify myAssembly.exe /md /il /clock

Después de ejecutar la solicitud anterior correctamente, Peverify.exe muestra el mensaje siguiente.

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

El comando siguiente realiza comprobaciones de validación de metadatos y comprobaciones de seguridad de tipos de MSIL en los métodos implementados en el ensamblado myAssembly.exe. No obstante, Peverify.exe se detiene cuando llega al número máximo de errores (100). La herramienta también omite los códigos de error especificados.

peverify myAssembly.exe /break=100 /ignore=0x12345678,0xABCD1234

El comando siguiente genera el mismo resultado que el ejemplo anterior, pero especifica los códigos de error que se omiten en el archivo de respuesta ignoreErrors.rsp.

peverify myAssembly.exe /break=100 /ignore@ignoreErrors.rsp

El archivo de respuesta puede contener una lista de códigos de error separados por comas.

0x12345678, 0xABCD1234

El archivo de respuesta también puede tener un formato que incluya un código de error por línea.

0x12345678
0xABCD1234

Adiciones de comunidad

AGREGAR
Mostrar:
© 2015 Microsoft