1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/*
2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification
3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *             of Java bytecode.
4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
5b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang * Copyright (c) 2002-2013 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.info;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wangimport proguard.classfile.attribute.*;
25b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wangimport proguard.classfile.attribute.visitor.*;
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.constant.*;
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.constant.visitor.ConstantVisitor;
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.instruction.*;
29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.instruction.visitor.InstructionVisitor;
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.util.SimplifiedVisitor;
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.visitor.*;
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This InstructionVisitor marks the types of class accesses and class member
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * accesses of the methods whose instructions it visits.
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class AccessMethodMarker
40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends      SimplifiedVisitor
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimplements   InstructionVisitor,
42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             ConstantVisitor,
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             ClassVisitor,
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             MemberVisitor
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private Method invokingMethod;
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for InstructionVisitor.
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, Instruction instruction) {}
52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitConstantInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, ConstantInstruction constantInstruction)
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        invokingMethod = method;
57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        clazz.constantPoolEntryAccept(constantInstruction.constantIndex, this);
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for ConstantVisitor.
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyConstant(Clazz clazz, Constant constant) {}
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitStringConstant(Clazz clazz, StringConstant stringConstant)
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Check the referenced class or class member, if any.
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato       stringConstant.referencedClassAccept(this);
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato       stringConstant.referencedMemberAccept(this);
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
75b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    public void visitInvokeDynamicConstant(Clazz clazz, InvokeDynamicConstant invokeDynamicConstant)
76b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    {
77b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        // Check the bootstrap method.
78b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        invokeDynamicConstant.bootstrapMethodHandleAccept(clazz, this);
79b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    }
80b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang
81b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang
82b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    public void visitMethodHandleConstant(Clazz clazz, MethodHandleConstant methodHandleConstant)
83b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    {
84b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        // Check the method reference.
85b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        clazz.constantPoolEntryAccept(methodHandleConstant.u2referenceIndex, this);
86b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    }
87b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang
88b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyRefConstant(Clazz clazz, RefConstant refConstant)
90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Check the referenced class.
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        clazz.constantPoolEntryAccept(refConstant.u2classIndex, this);
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Check the referenced class member itself.
95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        refConstant.referencedClassAccept(this);
96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        refConstant.referencedMemberAccept(this);
97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitClassConstant(Clazz clazz, ClassConstant classConstant)
101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Check the referenced class.
103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato       classConstant.referencedClassAccept(this);
104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for ClassVisitor.
108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyClass(Clazz clazz)
110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        int accessFlags = clazz.getAccessFlags();
112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if ((accessFlags & ClassConstants.INTERNAL_ACC_PUBLIC) == 0)
114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            setAccessesPackageCode(invokingMethod);
116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for MemberVisitor.
121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyMember(Clazz clazz, Member member)
123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        int accessFlags = member.getAccessFlags();
125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if      ((accessFlags & ClassConstants.INTERNAL_ACC_PRIVATE)   != 0)
127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            setAccessesPrivateCode(invokingMethod);
129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        else if ((accessFlags & ClassConstants.INTERNAL_ACC_PROTECTED) != 0)
131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            setAccessesProtectedCode(invokingMethod);
133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        else if ((accessFlags & ClassConstants.INTERNAL_ACC_PUBLIC)    == 0)
135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            setAccessesPackageCode(invokingMethod);
137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Small utility methods.
142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private static void setAccessesPrivateCode(Method method)
144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (info != null)
147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            info.setAccessesPrivateCode();
149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
153b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Returns whether the given method accesses private class members.
155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public static boolean accessesPrivateCode(Method method)
157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return info == null || info.accessesPrivateCode();
160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
163b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private static void setAccessesPackageCode(Method method)
164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
165b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
166b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (info != null)
167b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
168b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            info.setAccessesPackageCode();
169b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
170b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
171b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
172b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
173b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
174b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Returns whether the given method accesses package visible classes or class
175b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * members.
176b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
177b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public static boolean accessesPackageCode(Method method)
178b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
179b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
180b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return info == null || info.accessesPackageCode();
181b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
182b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
183b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
184b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private static void setAccessesProtectedCode(Method method)
185b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
186b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
187b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (info != null)
188b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
189b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            info.setAccessesProtectedCode();
190b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
191b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
192b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
193b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
194b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
195b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Returns whether the given method accesses protected class members.
196b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
197b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public static boolean accessesProtectedCode(Method method)
198b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
199b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
200b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return info == null || info.accessesProtectedCode();
201b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
202b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}
203