139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver/* 239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * Copyright 2013, Google Inc. 339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * All rights reserved. 439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * 539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * Redistribution and use in source and binary forms, with or without 639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * modification, are permitted provided that the following conditions are 739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * met: 839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * 939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * * Redistributions of source code must retain the above copyright 1039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * notice, this list of conditions and the following disclaimer. 1139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * * Redistributions in binary form must reproduce the above 1239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * copyright notice, this list of conditions and the following disclaimer 1339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * in the documentation and/or other materials provided with the 1439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * distribution. 1539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * * Neither the name of Google Inc. nor the names of its 1639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * contributors may be used to endorse or promote products derived from 1739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * this software without specific prior written permission. 1839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * 1939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 2039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 2139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 2239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 2339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 2439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 2539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 2939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 3039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver */ 3139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 3239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverpackage org.jf.dexlib2.analysis; 3339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 3439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverimport com.google.common.base.Strings; 359531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruverimport org.jf.dexlib2.iface.reference.FieldReference; 369531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruverimport org.jf.dexlib2.iface.reference.MethodReference; 37b2ce899471be1c136aa13d502e885585fa59d460Izzat Bahadirovimport org.jf.dexlib2.immutable.reference.ImmutableFieldReference; 3839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverimport org.jf.dexlib2.util.TypeUtils; 3939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverimport org.jf.util.ExceptionWithContext; 4039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 4139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverimport javax.annotation.Nonnull; 4239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverimport javax.annotation.Nullable; 4339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 4439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruverpublic class ArrayProto implements TypeProto { 4539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver protected final ClassPath classPath; 4639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver protected final int dimensions; 4739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver protected final String elementType; 4839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 4939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver public ArrayProto(@Nonnull ClassPath classPath, @Nonnull String type) { 5039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver this.classPath = classPath; 5139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver int i=0; 5239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver while (type.charAt(i) == '[') { 5339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver i++; 5439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (i == type.length()) { 5539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver throw new ExceptionWithContext("Invalid array type: %s", type); 5639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 5739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 5839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 599531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver if (i == 0) { 609531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver throw new ExceptionWithContext("Invalid array type: %s", type); 619531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver } 629531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver 6339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver dimensions = i; 6439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver elementType = type.substring(i); 6539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 6639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 6739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Override public String toString() { return getType(); } 6839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Nonnull @Override public ClassPath getClassPath() { return classPath; } 6939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Nonnull @Override public String getType() { return makeArrayType(elementType, dimensions); } 709531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver public int getDimensions() { return dimensions; } 7139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Override public boolean isInterface() { return false; } 7239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 739531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver /** 749531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver * @return The base element type of this array. E.g. This would return Ljava/lang/String; for [[Ljava/lang/String; 759531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver */ 769531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver @Nonnull public String getElementType() { return elementType; } 779531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver 789531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver /** 799531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver * @return The immediate element type of this array. E.g. This would return [Ljava/lang/String; for 809531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver * [[Ljava/lang/String; 819531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver */ 829531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver @Nonnull public String getImmediateElementType() { 839531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver if (dimensions > 1) { 849531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver return makeArrayType(elementType, dimensions-1); 859531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver } 869531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver return elementType; 879531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver } 889531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver 8939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Override public boolean implementsInterface(@Nonnull String iface) { 9039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return iface.equals("Ljava/lang/Cloneable;") || iface.equals("Ljava/io/Serializable;"); 9139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 9239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 9339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Nullable @Override 9439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver public String getSuperclass() { 9539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return "Ljava/lang/Object;"; 9639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 9739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 9839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Nonnull @Override 9939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver public TypeProto getCommonSuperclass(@Nonnull TypeProto other) { 10039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (other instanceof ArrayProto) { 10139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (TypeUtils.isPrimitiveType(getElementType()) || 10239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver TypeUtils.isPrimitiveType(((ArrayProto)other).getElementType())) { 10339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (dimensions == ((ArrayProto)other).dimensions && 10439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver getElementType().equals(((ArrayProto)other).getElementType())) { 10539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return this; 10639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 10739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return classPath.getClass("Ljava/lang/Object;"); 10839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 10939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 11039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (dimensions == ((ArrayProto)other).dimensions) { 11139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver TypeProto thisClass = classPath.getClass(elementType); 11239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver TypeProto otherClass = classPath.getClass(((ArrayProto)other).elementType); 11339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver TypeProto mergedClass = thisClass.getCommonSuperclass(otherClass); 11439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (thisClass == mergedClass) { 11539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return this; 11639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 11739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (otherClass == mergedClass) { 11839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return other; 11939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 12039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return classPath.getClass(makeArrayType(mergedClass.getType(), dimensions)); 12139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 12239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 12339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver int dimensions = Math.min(this.dimensions, ((ArrayProto)other).dimensions); 12439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return classPath.getClass(makeArrayType("Ljava/lang/Object;", dimensions)); 12539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 12639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 12739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (other instanceof ClassProto) { 12839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver try { 12939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (other.isInterface()) { 13039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver if (implementsInterface(other.getType())) { 13139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return other; 13239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 13339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 13439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } catch (UnresolvedClassException ex) { 13539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver // ignore 13639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 13739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return classPath.getClass("Ljava/lang/Object;"); 13839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 13939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 14039e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver // otherwise, defer to the other class' getCommonSuperclass 14139e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return other.getCommonSuperclass(this); 14239e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 14339e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 14439e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver private static final String BRACKETS = Strings.repeat("[", 256); 14539e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver 14639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver @Nonnull 14739e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver private static String makeArrayType(@Nonnull String elementType, int dimensions) { 14839e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver return BRACKETS.substring(0, dimensions) + elementType; 14939e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver } 1509531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver 1519531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver 1529531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver @Override 1539531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver @Nullable 1549531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver public FieldReference getFieldByOffset(int fieldOffset) { 155b2ce899471be1c136aa13d502e885585fa59d460Izzat Bahadirov if (fieldOffset==8) { 156b2ce899471be1c136aa13d502e885585fa59d460Izzat Bahadirov return new ImmutableFieldReference(getType(), "length", "int"); 157b2ce899471be1c136aa13d502e885585fa59d460Izzat Bahadirov } 158b2ce899471be1c136aa13d502e885585fa59d460Izzat Bahadirov return null; 1599531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver } 1609531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver 1619531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver @Override 1629531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver @Nullable 1639531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver public MethodReference getMethodByVtableIndex(int vtableIndex) { 164b2ce899471be1c136aa13d502e885585fa59d460Izzat Bahadirov return classPath.getClass("Ljava/lang/Object;").getMethodByVtableIndex(vtableIndex); 1659531284b1b6a29371ae8d8e6cfe3e1f1bfe23296Ben Gruver } 16639e4d4487e20041700f036a58a4dd7fb50e954bfBen Gruver} 167