/* * Copyright 2015, Google Inc. * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are * met: * * * Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * * Redistributions in binary form must reproduce the above * copyright notice, this list of conditions and the following disclaimer * in the documentation and/or other materials provided with the * distribution. * * Neither the name of Google Inc. nor the names of its * contributors may be used to endorse or promote products derived from * this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ package org.jf.smalidea.dexlib; import com.google.common.collect.Lists; import com.intellij.testFramework.fixtures.LightCodeInsightFixtureTestCase; import org.jf.dexlib2.AccessFlags; import org.jf.dexlib2.Opcode; import org.jf.dexlib2.iface.ExceptionHandler; import org.jf.dexlib2.iface.MethodImplementation; import org.jf.dexlib2.iface.MethodParameter; import org.jf.dexlib2.iface.TryBlock; import org.jf.dexlib2.iface.instruction.Instruction; import org.jf.dexlib2.iface.instruction.SwitchElement; import org.jf.dexlib2.iface.instruction.formats.*; import org.jf.dexlib2.iface.reference.FieldReference; import org.jf.dexlib2.iface.reference.StringReference; import org.jf.dexlib2.util.ReferenceUtil; import org.jf.smalidea.psi.impl.SmaliClass; import org.jf.smalidea.psi.impl.SmaliFile; import org.jf.smalidea.psi.impl.SmaliMethod; import org.junit.Assert; import java.util.List; public class SmalideaMethodTest extends LightCodeInsightFixtureTestCase { public void testSmalideaMethod() { String text = ".class public Lmy/pkg/blah; .super Ljava/lang/Object;\n" + ".method public someMethodName(I)I\n" + " .registers 4\n" + " .param p1, \"edge\" # I\n" + " goto :here #0: 10t\n" + " :here\n" + " return-void #1: 21c\n" + " const/4 v0, 1234 #2: 11n\n" + " monitor-enter v1, #3: 11x\n" + " move v1, v0 #4: 12x\n" + " goto/16 :here #5: 20t\n" + " sget v0, La/b/c;->blah:I #6: 21c\n" + " const/high16 v0, 0x12340000 #7: 21ih\n" + " const-wide/high16 v0, 0x1234000000000000L #8: 21lh\n" + " const-wide/16 v0, 1234 #9: 21s\n" + " if-eqz v0, :here #10: 21t\n" + " add-int/lit8 v0, v1, 123 #11: 22b\n" + " iget v1, v2, Labc;->blort:Z #12: 22c\n" + " add-int/lit16 v0, v1, 1234 #13: 22s\n" + " if-eq v0, v1, :here #14: 22t\n" + " move/from16 v0, v1 #15: 22x\n" + " cmpl-float v0, v1, v2 #16: 23x\n" + " goto/32 :here #17: 30t\n" + " const-string/jumbo v0, \"abcd\" #18: 31c\n" + " const v0, 1234 #19: 31i\n" + " move/16 v0, v1 #20: 32x\n" + " invoke-virtual {v0, v1, v2, v3, v4}, Lblah;->blort(IIII)I #21: 35c\n" + " invoke-virtual/range {v0..v4}, Lblah;->blort(IIII)I #22: 3rc\n" + " const-wide v0, 0x1234567890L #23: 51i\n" + ".end method"; SmaliFile file = (SmaliFile)myFixture.addFileToProject("my/pkg/blah.smali", text); SmaliClass smaliClass = file.getPsiClass(); SmaliMethod smaliMethod = smaliClass.getMethods()[0]; SmalideaMethod method = new SmalideaMethod(smaliMethod); Assert.assertEquals("Lmy/pkg/blah;", method.getDefiningClass()); Assert.assertEquals("someMethodName", method.getName()); Assert.assertEquals("I", method.getReturnType()); List<? extends CharSequence> parameterTypes = method.getParameterTypes(); Assert.assertEquals(1, parameterTypes.size()); Assert.assertEquals("I", parameterTypes.get(0)); List<? extends MethodParameter> parameters = method.getParameters(); Assert.assertEquals(1, parameters.size()); Assert.assertEquals("I", parameters.get(0).getType()); Assert.assertEquals("edge", parameters.get(0).getName()); Assert.assertEquals(AccessFlags.PUBLIC.getValue(), method.getAccessFlags()); MethodImplementation impl = method.getImplementation(); Assert.assertNotNull(impl); Assert.assertEquals(4, impl.getRegisterCount()); List<? extends Instruction> instructions = Lists.newArrayList(impl.getInstructions()); { Instruction10t instruction = (Instruction10t)instructions.get(0); Assert.assertEquals(Opcode.GOTO, instruction.getOpcode()); Assert.assertEquals(1, instruction.getCodeOffset()); } { Instruction10x instruction = (Instruction10x)instructions.get(1); Assert.assertEquals(Opcode.RETURN_VOID, instruction.getOpcode()); } { Instruction11n instruction = (Instruction11n)instructions.get(2); Assert.assertEquals(Opcode.CONST_4, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1234, instruction.getNarrowLiteral()); } { Instruction11x instruction = (Instruction11x)instructions.get(3); Assert.assertEquals(Opcode.MONITOR_ENTER, instruction.getOpcode()); Assert.assertEquals(1, instruction.getRegisterA()); } { Instruction12x instruction = (Instruction12x)instructions.get(4); Assert.assertEquals(Opcode.MOVE, instruction.getOpcode()); Assert.assertEquals(1, instruction.getRegisterA()); Assert.assertEquals(0, instruction.getRegisterB()); } { Instruction20t instruction = (Instruction20t)instructions.get(5); Assert.assertEquals(Opcode.GOTO_16, instruction.getOpcode()); Assert.assertEquals(-4, instruction.getCodeOffset()); } { Instruction21c instruction = (Instruction21c)instructions.get(6); Assert.assertEquals(Opcode.SGET, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals("La/b/c;->blah:I", ReferenceUtil.getFieldDescriptor( (FieldReference)instruction.getReference())); } { Instruction21ih instruction = (Instruction21ih)instructions.get(7); Assert.assertEquals(Opcode.CONST_HIGH16, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(0x1234, instruction.getHatLiteral()); Assert.assertEquals(0x12340000, instruction.getNarrowLiteral()); Assert.assertEquals(0x12340000, instruction.getWideLiteral()); } { Instruction21lh instruction = (Instruction21lh)instructions.get(8); Assert.assertEquals(Opcode.CONST_WIDE_HIGH16, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(0x1234, instruction.getHatLiteral()); Assert.assertEquals(0x1234000000000000L, instruction.getWideLiteral()); } { Instruction21s instruction = (Instruction21s)instructions.get(9); Assert.assertEquals(Opcode.CONST_WIDE_16, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1234, instruction.getWideLiteral()); } { Instruction21t instruction = (Instruction21t)instructions.get(10); Assert.assertEquals(Opcode.IF_EQZ, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(-14, instruction.getCodeOffset()); } { Instruction22b instruction = (Instruction22b)instructions.get(11); Assert.assertEquals(Opcode.ADD_INT_LIT8, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1, instruction.getRegisterB()); Assert.assertEquals(123, instruction.getNarrowLiteral()); } { Instruction22c instruction = (Instruction22c)instructions.get(12); Assert.assertEquals(Opcode.IGET, instruction.getOpcode()); Assert.assertEquals(1, instruction.getRegisterA()); Assert.assertEquals(2, instruction.getRegisterB()); Assert.assertEquals("Labc;->blort:Z", ReferenceUtil.getFieldDescriptor( (FieldReference)instruction.getReference())); } { Instruction22s instruction = (Instruction22s)instructions.get(13); Assert.assertEquals(Opcode.ADD_INT_LIT16, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1, instruction.getRegisterB()); Assert.assertEquals(1234, instruction.getNarrowLiteral()); } { Instruction22t instruction = (Instruction22t)instructions.get(14); Assert.assertEquals(Opcode.IF_EQ, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1, instruction.getRegisterB()); Assert.assertEquals(-22, instruction.getCodeOffset()); } { Instruction22x instruction = (Instruction22x)instructions.get(15); Assert.assertEquals(Opcode.MOVE_FROM16, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1, instruction.getRegisterB()); } { Instruction23x instruction = (Instruction23x)instructions.get(16); Assert.assertEquals(Opcode.CMPL_FLOAT, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1, instruction.getRegisterB()); Assert.assertEquals(2, instruction.getRegisterC()); } { Instruction30t instruction = (Instruction30t)instructions.get(17); Assert.assertEquals(Opcode.GOTO_32, instruction.getOpcode()); Assert.assertEquals(-28, instruction.getCodeOffset()); } { Instruction31c instruction = (Instruction31c)instructions.get(18); Assert.assertEquals(Opcode.CONST_STRING_JUMBO, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals("abcd", ((StringReference)instruction.getReference()).getString()); } { Instruction31i instruction = (Instruction31i)instructions.get(19); Assert.assertEquals(Opcode.CONST, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1234, instruction.getNarrowLiteral()); } { Instruction32x instruction = (Instruction32x)instructions.get(20); Assert.assertEquals(Opcode.MOVE_16, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(1, instruction.getRegisterB()); } { Instruction35c instruction = (Instruction35c)instructions.get(21); Assert.assertEquals(Opcode.INVOKE_VIRTUAL, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterC()); Assert.assertEquals(1, instruction.getRegisterD()); Assert.assertEquals(2, instruction.getRegisterE()); Assert.assertEquals(3, instruction.getRegisterF()); Assert.assertEquals(4, instruction.getRegisterG()); Assert.assertEquals("Lblah;->blort(IIII)I", ReferenceUtil.getReferenceString(instruction.getReference())); } { Instruction3rc instruction = (Instruction3rc)instructions.get(22); Assert.assertEquals(Opcode.INVOKE_VIRTUAL_RANGE, instruction.getOpcode()); Assert.assertEquals(0, instruction.getStartRegister()); Assert.assertEquals(5, instruction.getRegisterCount()); Assert.assertEquals("Lblah;->blort(IIII)I", ReferenceUtil.getReferenceString(instruction.getReference())); } { Instruction51l instruction = (Instruction51l)instructions.get(23); Assert.assertEquals(Opcode.CONST_WIDE, instruction.getOpcode()); Assert.assertEquals(0, instruction.getRegisterA()); Assert.assertEquals(0x1234567890L, instruction.getWideLiteral()); } } public void testCatchBlocks() { String text = ".class public Lmy/pkg/blah; .super Ljava/lang/Object;\n" + ".method public onCreateEngine()Landroid/service/wallpaper/WallpaperService$Engine;\n" + " .registers 5\n" + "\n" + " .prologue\n" + " .line 88\n" + " new-instance v0, Lorg/jf/Penroser/PenroserLiveWallpaper$PenroserGLEngine;\n" + "\n" + " invoke-direct {v0, p0}, Lorg/jf/Penroser/PenroserLiveWallpaper$PenroserGLEngine;-><init>(Lorg/jf/Penroser/PenroserLiveWallpaper;)V\n" + "\n" + " .line 89\n" + " .local v0, \"engine\":Lorg/jf/Penroser/PenroserLiveWallpaper$PenroserGLEngine;\n" + " sget-object v1, Lorg/jf/Penroser/PenroserLiveWallpaper;->engines:Ljava/util/LinkedList;\n" + "\n" + " monitor-enter v1\n" + "\n" + " .line 90\n" + " :try_start_8\n" + " sget-object v2, Lorg/jf/Penroser/PenroserLiveWallpaper;->engines:Ljava/util/LinkedList;\n" + "\n" + " new-instance v3, Ljava/lang/ref/WeakReference;\n" + "\n" + " invoke-direct {v3, v0}, Ljava/lang/ref/WeakReference;-><init>(Ljava/lang/Object;)V\n" + "\n" + " invoke-virtual {v2, v3}, Ljava/util/LinkedList;->addLast(Ljava/lang/Object;)V\n" + "\n" + " .line 91\n" + " monitor-exit v1\n" + "\n" + " .line 92\n" + " return-object v0\n" + "\n" + " .line 91\n" + " :catchall_14\n" + " move-exception v2\n" + "\n" + " monitor-exit v1\n" + " :try_end_16\n" + " .catch Ljava/lang/RuntimeException; {:try_start_8 .. :try_end_16} :newcatch\n" + " .catchall {:try_start_8 .. :try_end_16} :catchall_14\n" + "\n" + " throw v2\n" + "\n" + " :newcatch\n" + " move-exception v2\n" + " throw v2\n" + ".end method"; SmaliFile file = (SmaliFile)myFixture.addFileToProject("my/pkg/blah.smali", text); SmaliClass smaliClass = file.getPsiClass(); SmaliMethod smaliMethod = smaliClass.getMethods()[0]; SmalideaMethod method = new SmalideaMethod(smaliMethod); MethodImplementation impl = method.getImplementation(); Assert.assertNotNull(impl); List<? extends TryBlock<? extends ExceptionHandler>> tryBlocks = impl.getTryBlocks(); Assert.assertEquals(2, tryBlocks.size()); TryBlock<? extends ExceptionHandler> tryBlock = tryBlocks.get(0); Assert.assertEquals(8, tryBlock.getStartCodeAddress()); Assert.assertEquals(14, tryBlock.getCodeUnitCount()); Assert.assertEquals(1, tryBlock.getExceptionHandlers().size()); Assert.assertEquals("Ljava/lang/RuntimeException;", tryBlock.getExceptionHandlers().get(0).getExceptionType()); Assert.assertEquals(23, tryBlock.getExceptionHandlers().get(0).getHandlerCodeAddress()); tryBlock = tryBlocks.get(1); Assert.assertEquals(8, tryBlock.getStartCodeAddress()); Assert.assertEquals(14, tryBlock.getCodeUnitCount()); Assert.assertEquals(1, tryBlock.getExceptionHandlers().size()); Assert.assertEquals(null, tryBlock.getExceptionHandlers().get(0).getExceptionType()); Assert.assertEquals(20, tryBlock.getExceptionHandlers().get(0).getHandlerCodeAddress()); } private static void checkSwitchElement(SwitchElement element, int key, int offset) { Assert.assertEquals(key, element.getKey()); Assert.assertEquals(offset, element.getOffset()); } public void testPackedSwitch() { String text = ".class public LFormat31t;\n" + ".super Ljava/lang/Object;\n" + ".source \"Format31t.smali\"" + "\n" + ".method public test_packed-switch()V\n" + " .registers 1\n" + " .annotation runtime Lorg/junit/Test;\n" + " .end annotation\n" + "\n" + " const v0, 12\n" + "\n" + ":switch\n" + " packed-switch v0, :PackedSwitch\n" + "\n" + ":Label10\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":Label11\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":Label12\n" + " return-void\n" + "\n" + ":Label13\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":PackedSwitch\n" + " .packed-switch 10\n" + " :Label10\n" + " :Label11\n" + " :Label12\n" + " :Label13\n" + " .end packed-switch\n" + ".end method"; SmaliFile file = (SmaliFile)myFixture.addFileToProject("my/pkg/blah.smali", text); SmaliClass smaliClass = file.getPsiClass(); SmaliMethod smaliMethod = smaliClass.getMethods()[0]; SmalideaMethod method = new SmalideaMethod(smaliMethod); MethodImplementation impl = method.getImplementation(); Assert.assertNotNull(impl); List<Instruction> instructions = Lists.newArrayList(impl.getInstructions()); PackedSwitchPayload packedSwitchPayload = (PackedSwitchPayload)instructions.get(9); List<? extends SwitchElement> switchElements = packedSwitchPayload.getSwitchElements(); Assert.assertEquals(4, switchElements.size()); checkSwitchElement(switchElements.get(0), 10, 6); checkSwitchElement(switchElements.get(1), 11, 14); checkSwitchElement(switchElements.get(2), 12, 22); checkSwitchElement(switchElements.get(3), 13, 24); } public void testSparseSwitch() { String text = ".class public LFormat31t;\n" + ".super Ljava/lang/Object;\n" + ".source \"Format31t.smali\"" + "\n" + ".method public test_sparse-switch()V\n" + " .registers 1\n" + " .annotation runtime Lorg/junit/Test;\n" + " .end annotation\n" + "\n" + " const v0, 13\n" + "\n" + ":switch\n" + " sparse-switch v0, :SparseSwitch\n" + "\n" + ":Label10\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":Label20\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":Label15\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":Label13\n" + " return-void\n" + "\n" + ":Label99\n" + " invoke-static {}, Lorg/junit/Assert;->fail()V\n" + " return-void\n" + "\n" + ":SparseSwitch\n" + " .sparse-switch\n" + " 10 -> :Label10\n" + " 13 -> :Label13\n" + " 15 -> :Label15\n" + " 20 -> :Label20\n" + " 99 -> :Label99\n" + " .end sparse-switch\n" + ".end method"; SmaliFile file = (SmaliFile)myFixture.addFileToProject("my/pkg/blah.smali", text); SmaliClass smaliClass = file.getPsiClass(); SmaliMethod smaliMethod = smaliClass.getMethods()[0]; SmalideaMethod method = new SmalideaMethod(smaliMethod); MethodImplementation impl = method.getImplementation(); Assert.assertNotNull(impl); List<Instruction> instructions = Lists.newArrayList(impl.getInstructions()); SparseSwitchPayload sparseSwitchPayload = (SparseSwitchPayload)instructions.get(11); List<? extends SwitchElement> switchElements = sparseSwitchPayload.getSwitchElements(); Assert.assertEquals(5, switchElements.size()); checkSwitchElement(switchElements.get(0), 10, 6); checkSwitchElement(switchElements.get(1), 13, 30); checkSwitchElement(switchElements.get(2), 15, 22); checkSwitchElement(switchElements.get(3), 20, 14); checkSwitchElement(switchElements.get(4), 99, 32); } public void testArrayData() { String text = ".class public LFormat31t;\n" + ".super Ljava/lang/Object;\n" + ".source \"Format31t.smali\"" + "\n" + ".method public test_fill-array-data()V\n" + " .registers 3\n" + " .annotation runtime Lorg/junit/Test;\n" + " .end annotation\n" + "\n" + " const v0, 6\n" + " new-array v0, v0, [I\n" + " fill-array-data v0, :ArrayData\n" + "\n" + " const v1, 0\n" + " aget v2, v0, v1\n" + " const v1, 1\n" + " invoke-static {v1, v2}, LAssert;->assertEquals(II)V\n" + "\n" + " const v1, 1\n" + " aget v2, v0, v1\n" + " const v1, 2\n" + " invoke-static {v1, v2}, LAssert;->assertEquals(II)V\n" + "\n" + " const v1, 2\n" + " aget v2, v0, v1\n" + " const v1, 3\n" + " invoke-static {v1, v2}, LAssert;->assertEquals(II)V\n" + "\n" + " const v1, 3\n" + " aget v2, v0, v1\n" + " const v1, 4\n" + " invoke-static {v1, v2}, LAssert;->assertEquals(II)V\n" + "\n" + " const v1, 4\n" + " aget v2, v0, v1\n" + " const v1, 5\n" + " invoke-static {v1, v2}, LAssert;->assertEquals(II)V\n" + "\n" + " const v1, 5\n" + " aget v2, v0, v1\n" + " const v1, 6\n" + " invoke-static {v1, v2}, LAssert;->assertEquals(II)V\n" + "\n" + " return-void\n" + "\n" + ":ArrayData\n" + " .array-data 4\n" + " 1 2 128 -256 65536 0x7fffffff\n" + " .end array-data\n" + ".end method"; SmaliFile file = (SmaliFile)myFixture.addFileToProject("my/pkg/blah.smali", text); SmaliClass smaliClass = file.getPsiClass(); SmaliMethod smaliMethod = smaliClass.getMethods()[0]; SmalideaMethod method = new SmalideaMethod(smaliMethod); MethodImplementation impl = method.getImplementation(); Assert.assertNotNull(impl); List<Instruction> instructions = Lists.newArrayList(impl.getInstructions()); ArrayPayload arrayPayload = (ArrayPayload)instructions.get(28); Assert.assertEquals(4, arrayPayload.getElementWidth()); List<Number> elements = arrayPayload.getArrayElements(); Assert.assertEquals(6, elements.size()); Assert.assertEquals(1L, elements.get(0).longValue()); Assert.assertEquals(2L, elements.get(1).longValue()); Assert.assertEquals(128L, elements.get(2)); Assert.assertEquals(-256L, elements.get(3)); Assert.assertEquals(65536L, elements.get(4)); Assert.assertEquals(0x7fffffffL, elements.get(5)); } }