Может ли PEVerify сказать мне серьезность каждой ошибки?

Question

Я изменяю сборку, используя Mono.Cecil, и я хочу проверить ее на достоверность (будет ли результат вообще запущен). Я пытаюсь использовать PEVerify, но у меня проблема.

Он был разработан для обеспечения проверки кода, поэтому он просто говорит, что ошибка означает, что IL является полностью недействительным и не будет выполняться, или это вопрос проверки, который будет полностью игнорироваться. Вот несколько примеров:

1. Использование указателей и им подобных.
2. Не устанавливать .locals init, когда метод имеет местных жителей.
3. Вызов .ctor из неконструктора.

Вопросы, которые делают IL не работать, включают:

1. член не доступен с места он используется в
2. член не существует..

Есть ли способ заставить его дать мне указание на серьезность проблемы? Если нет, есть ли другой инструмент, который может это сделать?

Answer 1

@ HansPassant уже пытался объяснить это, но просто чтобы мы все понимали друг друга, вот что происходит.

PEVerify проверяет вашу сборку на конструкции, которые не в порядке. Тем не менее, PEVerify не является компилятором JIT. Сам компилятор JIT не проверяет сборку IL - он просто захватывает метод, который он собирается вызывать, изменяет его на форму SSA, оптимизирует, компилирует, а затем вызывает итоговую двоичную сборку.

Теперь компилятор будет развиваться со временем. Оптимизации меняются и добавляются, а роль компилятора не обязательно проверять на наличие ошибки (если она находит ее как побочный продукт, она, вероятно, сообщит об этом, но не гарантирует). Помните, что JIT-компилятор неустанно оптимизирован только для одной вещи, а именно для создания довольно хорошего ассемблерного байтового кода (потому что это язык JIT, время, необходимое для компиляции, действительно важно). Итак, два разных инструмента.

В основном это приводит к следующему:

• Компилятор компилировать и выполнять то, что оно было дано.
• PEVerify сообщит вам, задан ли результат метода/сборки.

Если вы игнорируете ошибку PEVerify, это в основном означает, что результат будет неопределенного поведения - что может быть что угодно от рабочего исполняемого на жесткие аварии. Нет такой вещи, как «предупреждение».