1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/* 2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification 3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * of Java bytecode. 4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 5b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Copyright (c) 2002-2009 Eric Lafortune (eric@graphics.cornell.edu) 6b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 7b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is free software; you can redistribute it and/or modify it 8b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * under the terms of the GNU General Public License as published by the Free 9b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Software Foundation; either version 2 of the License, or (at your option) 10b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * any later version. 11b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 12b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is distributed in the hope that it will be useful, but WITHOUT 13b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 14b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 15b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * more details. 16b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 17b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * You should have received a copy of the GNU General Public License along 18b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * with this program; if not, write to the Free Software Foundation, Inc., 19b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 20b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 21b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopackage proguard.optimize.evaluation; 22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*; 24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.constant.RefConstant; 25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.evaluation.BasicInvocationUnit; 26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.evaluation.value.*; 27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.optimize.info.*; 28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/** 30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This InvocationUbit stores parameter values and return values with the 31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * methods that are invoked. 32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @see LoadingInvocationUnit 34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune 35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class StoringInvocationUnit 37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends BasicInvocationUnit 38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{ 39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private boolean storeFieldValues; 40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private boolean storeMethodParameterValues; 41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private boolean storeMethodReturnValues; 42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Creates a new StoringInvocationUnit with the given value factory. 46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public StoringInvocationUnit(ValueFactory valueFactory) 48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this(valueFactory, true, true, true); 50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Creates a new StoringInvocationUnit with the given value factory, for 55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * storing the specified values. 56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public StoringInvocationUnit(ValueFactory valueFactory, 58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato boolean storeFieldValues, 59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato boolean storeMethodParameterValues, 60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato boolean storeMethodReturnValues) 61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato super(valueFactory); 63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.storeFieldValues = storeFieldValues; 65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.storeMethodParameterValues = storeMethodParameterValues; 66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.storeMethodReturnValues = storeMethodReturnValues; 67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Implementations for BasicInvocationUnit. 71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected void setFieldClassValue(Clazz clazz, 73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato RefConstant refConstant, 74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato ReferenceValue value) 75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (storeFieldValues) 77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Member referencedMember = refConstant.referencedMember; 79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (referencedMember != null) 80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato generalizeFieldClassValue((Field)referencedMember, value); 82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected void setFieldValue(Clazz clazz, 88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato RefConstant refConstant, 89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Value value) 90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (storeFieldValues) 92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Member referencedMember = refConstant.referencedMember; 94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (referencedMember != null) 95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato generalizeFieldValue((Field)referencedMember, value); 97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected void setMethodParameterValue(Clazz clazz, 103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato RefConstant refConstant, 104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int parameterIndex, 105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Value value) 106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (storeMethodParameterValues) 108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Member referencedMember = refConstant.referencedMember; 110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (referencedMember != null) 111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato generalizeMethodParameterValue((Method)referencedMember, 113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato parameterIndex, 114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato value); 115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected void setMethodReturnValue(Clazz clazz, 121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Method method, 122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Value value) 123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (storeMethodReturnValues) 125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato generalizeMethodReturnValue(method, value); 127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Small utility methods. 132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private static void generalizeFieldClassValue(Field field, ReferenceValue value) 134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato FieldOptimizationInfo info = FieldOptimizationInfo.getFieldOptimizationInfo(field); 136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (info != null) 137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.generalizeReferencedClass(value); 139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public static ReferenceValue getFieldClassValue(Field field) 144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato FieldOptimizationInfo info = FieldOptimizationInfo.getFieldOptimizationInfo(field); 146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return info != null ? 147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.getReferencedClass() : 148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato null; 149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private static void generalizeFieldValue(Field field, Value value) 153b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato FieldOptimizationInfo info = FieldOptimizationInfo.getFieldOptimizationInfo(field); 155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (info != null) 156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.generalizeValue(value); 158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public static Value getFieldValue(Field field) 163b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato FieldOptimizationInfo info = FieldOptimizationInfo.getFieldOptimizationInfo(field); 165b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return info != null ? 166b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.getValue() : 167b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato null; 168b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 169b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 170b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 171b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private static void generalizeMethodParameterValue(Method method, int parameterIndex, Value value) 172b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 173b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method); 174b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (info != null) 175b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 176b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.generalizeParameter(parameterIndex, value); 177b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 178b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 179b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 180b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 181b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public static Value getMethodParameterValue(Method method, int parameterIndex) 182b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 183b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method); 184b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return info != null ? 185b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.getParameter(parameterIndex) : 186b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato null; 187b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 188b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 189b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 190b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato private static void generalizeMethodReturnValue(Method method, Value value) 191b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 192b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method); 193b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (info != null) 194b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 195b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.generalizeReturnValue(value); 196b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 197b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 198b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 199b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 200b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public static Value getMethodReturnValue(Method method) 201b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 202b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method); 203b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return info != null ? 204b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato info.getReturnValue() : 205b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato null; 206b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 207b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato} 208