Android bytecode verification code

Question

Where can I take a look at android bytecode verificator source, ie code which is responsible for throwing java.lang.VerifyError in case of incorrect bytecode? Does verification happens in java or C++ code?

Thanx.

Answer 1

You'll want to take a look at the art/runtime/verifier directory (eg method_verifier.cc ), and also art/runtime/dex_file_verifier.cc . I think those are the main places where dex/bytecode verification happens, although there may be a few other things sprinkled around.

I'm not sure offhand exactly where the VerifyError exception is thrown, but it is thrown based on the verification performed by the above-mentioned code.