OSDN Git Service

(root) / android-x86 / art.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9f64d7) | patch
ART: Make verifier check invocation args of unresolved methods
authorAndreas Gampe <agampe@google.com>
Mon, 16 Jun 2014 21:06:52 +0000 (14:06 -0700)
committerAndreas Gampe <agampe@google.com>
Tue, 17 Jun 2014 00:27:05 +0000 (00:27 +0000)
commit95c0bf8fb5847cff263639f889d04c7c3c26eedd
tree08e6eb7b36f4f612fbdb4809cfe21d9cfd41a6d8tree | snapshot
parenta9f64d7b6857532bb871a7bf1d3c9c9a44ed5917commit | diff
ART: Make verifier check invocation args of unresolved methods

In the case of unresolvable methods it is not enough to bail out
with a soft verifier failure, as the compiler relies on the
invocation being well-formed. Check all arguments against the
proto id in such a case.

Also make sure to complete parsing arguments in the case the
method was resolved.

Refactored code to unite these two cases.

Bug: 15616104
Change-Id: I5ec58cbfbf6b09eaaf07ddf15edae7c6a8b62b17
runtime/verifier/method_verifier.cc diff | blob | history
runtime/verifier/method_verifier.h diff | blob | history
art
About OSDN
Find Software
Develop Software
Help