OSDN Git Service

ART: Reject PackedSwitch with overflowing keys
authorDavid Brazdil <dbrazdil@google.com>
Fri, 25 Sep 2015 15:57:53 +0000 (16:57 +0100)
committerDavid Brazdil <dbrazdil@google.com>
Fri, 25 Sep 2015 16:42:46 +0000 (17:42 +0100)
commit5469d3444614be1d29302aef75210119df453721
treef42efaec322f96b1ee703667ec10fa7fe95d8a6e
parenta00bd9395be31bd69a0558b78a48e4279a6ce693
ART: Reject PackedSwitch with overflowing keys

As stated in "Dalvik bytecode" sections on switch payload format,
switch case keys must be stored in ascending order. Verifier enforced
this for sparse-switch but not for packed-switch.

Bug: 24399945
Change-Id: I0802d38e2bfae93c0dffe8ebfce2e9693a63ec02
runtime/verifier/method_verifier.cc
test/800-smali/expected.txt
test/800-smali/smali/PackedSwitch.smali
test/800-smali/smali/b_24399945.smali [new file with mode: 0644]
test/800-smali/src/Main.java