1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/* 2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification 3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * of Java bytecode. 4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 52270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom * Copyright (c) 2002-2014 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 Onorato 28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/** 292270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom * This InvocationUnit loads parameter values and return values that were 30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * previously stored with the methods that are invoked. 31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @see StoringInvocationUnit 33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune 34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class LoadingInvocationUnit 36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends BasicInvocationUnit 37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{ 38b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang private final boolean loadFieldValues; 39b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang private final boolean loadMethodParameterValues; 40b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang private final boolean loadMethodReturnValues; 41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Creates a new LoadingInvocationUnit with the given value factory. 45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public LoadingInvocationUnit(ValueFactory valueFactory) 47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 482270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom this(valueFactory, true, true, true); 49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato /** 53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Creates a new LoadingInvocationUnit with the given value factory, for 54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * loading the specified values. 55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */ 56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato public LoadingInvocationUnit(ValueFactory valueFactory, 57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato boolean loadFieldValues, 58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato boolean loadMethodParameterValues, 59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato boolean loadMethodReturnValues) 60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato super(valueFactory); 62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.loadFieldValues = loadFieldValues; 64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.loadMethodParameterValues = loadMethodParameterValues; 65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato this.loadMethodReturnValues = loadMethodReturnValues; 66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Implementations for BasicInvocationUnit. 70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected Value getFieldClassValue(Clazz clazz, 72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato RefConstant refConstant, 73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato String type) 74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (loadFieldValues) 76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Do we know this field? 78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Member referencedMember = refConstant.referencedMember; 79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (referencedMember != null) 80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Retrieve the stored field class value. 82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato ReferenceValue value = StoringInvocationUnit.getFieldClassValue((Field)referencedMember); 832270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (value != null) 84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return value; 86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return super.getFieldClassValue(clazz, refConstant, type); 91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected Value getFieldValue(Clazz clazz, 95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato RefConstant refConstant, 96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato String type) 97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (loadFieldValues) 99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Do we know this field? 101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Member referencedMember = refConstant.referencedMember; 102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (referencedMember != null) 103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Retrieve the stored field value. 105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Value value = StoringInvocationUnit.getFieldValue((Field)referencedMember); 1062270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (value != null) 107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return value; 109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return super.getFieldValue(clazz, refConstant, type); 114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected Value getMethodParameterValue(Clazz clazz, 118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Method method, 119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato int parameterIndex, 120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato String type, 121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Clazz referencedClass) 122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (loadMethodParameterValues) 124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Retrieve the stored method parameter value. 126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Value value = StoringInvocationUnit.getMethodParameterValue(method, parameterIndex); 1272270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (value != null) 128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return value; 130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return super.getMethodParameterValue(clazz, 134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato method, 135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato parameterIndex, 136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato type, 137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato referencedClass); 138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato protected Value getMethodReturnValue(Clazz clazz, 142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato RefConstant refConstant, 143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato String type) 144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (loadMethodReturnValues) 146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Do we know this method? 148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Member referencedMember = refConstant.referencedMember; 149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato if (referencedMember != null) 150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato // Retrieve the stored method return value. 152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato Value value = StoringInvocationUnit.getMethodReturnValue((Method)referencedMember); 1532270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom if (value != null) 154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato { 155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return value; 156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato 160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato return super.getMethodReturnValue(clazz, 161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato refConstant, 162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato type); 163b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato } 164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato} 165