Peverify.exe (средство PEVerify)

Инструмент PEVerify помогает разработчикам, создающим код на промежуточном языке Microsoft (MSIL) — авторам компиляторов, обработчиков скриптов и т. д. — определить, насколько их код на языке MSIL и связанные с ним метаданные отвечают требованиям строгой типизации. Некоторые компиляторы создают проверяемый типобезопасный код только в том случае, если разработчик не применяет определенные конструкции языка. При работе с таким компилятором разработчику иногда требуется проверить, нет ли в написанном им коде отступлений от принципа строгой типизации. В этом случае для проверки MSIL и метаданных в файлах можно использовать инструмент PEVerify.

Это средство устанавливается автоматически с Visual Studio и пакетом SDK Windows. Чтобы запустить инструмент, мы рекомендуем использовать командную строку Visual Studio или командную строку пакета Windows SDK (командную оболочку). Эти служебные программы позволяют легко работать с инструментом, не переходя к папке установки. Дополнительные сведения см. в разделе Командная строка Visual Studio и пакета Windows SDK.

• Если на компьютере установлена среда Visual Studio: на панели задач последовательно щелкните Start, All Programs, Visual Studio, Visual Studio Tools и Visual Studio Command Prompt.

  – или –

  Если на компьютере установлен пакет Windows SDK: на панели задач щелкните Start, выберите All Programs и откройте папку с пакетом Windows SDK, затем щелкните Command Prompt (или CMD Shell).

• В командной строке введите следующее:

peverify filename [options]

Параметры

Заметки

В среде CLR реализация механизмов безопасности и изоляции основана на типобезопасности выполнения кода приложений. Обычно код, для которого невозможно подтвердить типобезопасность, не выполняется, хотя можно настроить политику безопасности таким образом, чтобы допускалось исполнение доверенного, но не подтвержденного кода.

Если параметры /md и /il не заданы Peverify.exe выполняет проверку как MSIL, так и метаданных. Сначала Peverify.exe проверяет метаданные (параметр**/md**). Если ошибок нет, выполняется проверка MSIL (параметр /il). Если указаны оба параметра /md и /il, проверка по параметру /il производится даже при наличии ошибок в метаданных. Поэтому при отсутствии ошибок в метаданных команда peverify имя_файла эквивалентна команде peverify имя_файла /md /il.

Средство Peverify.exe осуществляет полную проверку MSIL на основе анализа потоков данных и проверяет правильность метаданных на основе списка из нескольких сотен правил. Дополнительные сведения о проверках, производимых Peverify.exe, см. в разделах, посвященных спецификации проверки метаданных и спецификации набора инструкций MSIL в папке "Tools Developers Guide" в Пакет средств разработки программного обеспечения (SDK) для Windows.

Обратите внимание, что в платформе .NET Framework версии 2.0 или более поздней предоставляется поддержка возвращаемых значений byref, заданных с использованием следующих инструкций MSIL: dup, ldsflda, ldflda, ldelema, call и unbox.

Примеры

Приведенная ниже команда производит проверку метаданных и строгой типизации MSIL для методов, реализованных в сборке myAssembly.exe.

peverify myAssembly.exe /md /il

После полного завершения обработки этого запроса Peverify.exe выводит на экран следующее сообщение.

All classes and methods in myAssembly.exe Verified

Приведенная ниже команда производит проверку метаданных и строгой типизации MSIL для методов, реализованных в сборке myAssembly.exe. Средство выводит на экран данные о затраченном на проверку времени.

peverify myAssembly.exe /md /il /clock

После полного завершения обработки этого запроса Peverify.exe выводит на экран следующее сообщение.

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

Приведенная ниже команда производит проверку метаданных и строгой типизации MSIL для методов, реализованных в сборке myAssembly.exe. Однако Peverify.exe останавливается при достижении максимального числа ошибок, равного 100. Средство также игнорирует ошибки с заданными кодами.

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

Приведенная ниже команда позволяет получить такой же результат, как и команда из предыдущего примера, но коды ошибок, которые следует пропустить, берутся из файла ответов ignoreErrors.rsp.

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

Файл ответов содержит список кодов ошибок, разделенных запятыми.

0x12345678, 0xABCD1234

Файл ответов может также содержать по одной ошибке на строку.

0x12345678
0xABCD1234

См. также

Ссылки

Командная строка Visual Studio и пакета Windows SDK

Основные понятия

Написание проверяемого строго типизированного кода

Строгая типизация и безопасность

Другие ресурсы

Инструменты .NET Framework

Журнал изменений