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

  • Статья

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

Эта программа автоматически устанавливается вместе с Visual Studio. Для запуска этого средства используйте Командную строку разработчика или PowerShell для разработчиков в Visual Studio.

Синтаксис

peverify filename [options]

Параметры

Аргумент Description
filename Переносимый исполняемый файл (PE-файл), который требуется проверить на корректность CIL и метаданных.
Вариант Описание
/break=maxErrorCount Прекращает проверку, если число ошибок в файле достигло значения параметра maxErrorCount.

Этот параметр не поддерживается в .NET Framework 2.0 и более поздних версий.
/clock Измеряет и выводит значения времени следующих проверок (в миллисекундах):

MD Val. cycle
Цикл проверки метаданных

MD Val. pure
Чистое время проверки метаданных

IL Ver. cycle
Цикл проверки языка CIL

IL Ver pure
Чистое время проверки языка CIL

Значения MD Val. cycle и IL Ver. cycle включают время, затраченное на необходимые процедуры запуска и завершения проверки. Значения MD Val. pure и IL Ver pure отражают время, требуемое только для проверки.
/help Отображает синтаксис команд и параметров программы.
/hresult Отображает коды ошибок в шестнадцатеричном формате.
/ignore=hex.code [, hex.code] Игнорирует ошибки с заданными кодами.
/ignore=@responseFile Игнорирует ошибки с кодами, перечисленными в указанном файле ответов.
/il Проверяет безопасность типов CIL для методов, реализованных в сборке, указанной в параметре filename. Если не задан параметр /quiet, средство выводит подробное описание всех обнаруженных проблем.
/md Проверяет метаданные в сборке, указанной в параметре filename. Средство проверяет всю структуру метаданных в файле и выводит описание всех обнаруженных проблем.
/nologo Отключает отображение сведений о версии продукта и авторских правах.
/nosymbols В платформа .NET Framework версии 2.0 номера строк подавляются для обратной совместимости.
/quiet Задает тихий режим. Отключает вывод сообщений об обнаруженных проблемах. Средство Peverify.exe все равно уведомляет, соблюдается ли безопасность типов в файле, однако не сообщает об обнаруженных проблемах.
/transparent Ограничивает проверку только прозрачными методами.
/unique Игнорирует повторяющиеся коды ошибок.
/verbose В платформа .NET Framework версии 2.0 отображаются дополнительные сведения в сообщениях проверки MSIL.
/? Отображает синтаксис команд и параметров программы.

Замечания

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

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

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

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

Примеры

Следующая команда проверяет метаданные и безопасность типов CIL для методов, реализованных в сборке myAssembly.exe.

peverify myAssembly.exe /md /il

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

All classes and methods in myAssembly.exe Verified

Следующая команда проверяет метаданные и безопасность типов CIL для методов, реализованных в сборке 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

Следующая команда проверяет метаданные и безопасность типов CIL для методов, реализованных в сборке 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

См. также