Код подтверждения байткода Android

Question

Где я могу посмотреть источник проверки подлинности byteecode android, то есть код, который отвечает за метарование java.lang.VerifyError в случае неправильного байт-кода? Проверяется ли проверка кода Java или C++?

Thanx.

Answer 1

Вы хотите ознакомиться с каталогом art/runtime/verifier (например, method_verifier.cc), а также art/runtime/dex_file_verifier.cc. Я думаю, что это основные места, где происходит проверка dex/байт-кода, хотя вокруг может быть несколько других вещей.

Я точно не знаю, где именно вызывается исключение VerifyError, но оно создается на основе проверки, выполняемой вышеупомянутым кодом.