KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > soot > jimple > toolkits > pointer > DumbPointerAnalysis


1 /* Soot - a J*va Optimization Framework
2  * Copyright (C) 2003 Ondrej Lhotak
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Lesser General Public
6  * License as published by the Free Software Foundation; either
7  * version 2.1 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12  * Lesser General Public License for more details.
13  *
14  * You should have received a copy of the GNU Lesser General Public
15  * License along with this library; if not, write to the
16  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17  * Boston, MA 02111-1307, USA.
18  */
19
20 package soot.jimple.toolkits.pointer;
21 import soot.*;
22
23 /** A very naive pointer analysis that just reports that any points can point
24  * to any object. */
25 public class DumbPointerAnalysis implements PointsToAnalysis {
26     public DumbPointerAnalysis( Singletons.Global g ) {}
27     public static DumbPointerAnalysis v() { return G.v().soot_jimple_toolkits_pointer_DumbPointerAnalysis(); }
28
29     /** Returns the set of objects pointed to by variable l. */
30     public PointsToSet reachingObjects( Local l ) {
31         Type t = l.getType();
32         if( t instanceof RefType ) return FullObjectSet.v((RefType) t);
33     return FullObjectSet.v();
34     }
35
36     /** Returns the set of objects pointed to by variable l in context c. */
37     public PointsToSet reachingObjects( Context c, Local l ) {
38         return reachingObjects(null, l);
39     }
40
41     /** Returns the set of objects pointed to by static field f. */
42     public PointsToSet reachingObjects( SootField f ) {
43         Type t = f.getType();
44         if( t instanceof RefType ) return FullObjectSet.v((RefType) t);
45     return FullObjectSet.v();
46     }
47
48     /** Returns the set of objects pointed to by instance field f
49      * of the objects in the PointsToSet s. */
50     public PointsToSet reachingObjects( PointsToSet s, SootField f ) {
51         return reachingObjects(f);
52     }
53
54     /** Returns the set of objects pointed to by instance field f
55      * of the objects pointed to by l. */
56     public PointsToSet reachingObjects( Local l, SootField f ) {
57         return reachingObjects(f);
58     }
59
60     /** Returns the set of objects pointed to by instance field f
61      * of the objects pointed to by l in context c. */
62     public PointsToSet reachingObjects( Context c, Local l, SootField f ) {
63         return reachingObjects(f);
64     }
65
66     /** Returns the set of objects pointed to by elements of the arrays
67      * in the PointsToSet s. */
68     public PointsToSet reachingObjectsOfArrayElement( PointsToSet s ) {
69         return FullObjectSet.v();
70     }
71 }
72
73
Popular Tags