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