Androidバイトコード確認コード

Question

ここで、Androidバイトコード検証ソース、つまり不正なバイトコードの場合にjava.lang.VerifyErrorをスローするコードを見てみましょうか？ JavaやC++コードで検証が行われますか？

Thanx。

Answer 1

art/runtime/verifierディレクトリ（例：method_verifier.cc）とart/runtime/dex_file_verifier.ccを参照してください。私はこれらがデックス/バイトコードの検証が行われる主要な場所だと思うが、他にもいくつかのことが振り回されるかもしれない。

私はVerifyError例外がスローされた場所を正確にはわかりませんが、上記のコードで実行された検証に基づいてスローされます。