Uses of Package
soot.jimple.toolkits.pointer
-
Packages that use soot.jimple.toolkits.pointer Package Description soot Base Soot classes, shared by different intermediate representations.soot.jimple.toolkits.ide.icfg soot.jimple.toolkits.pointer soot.jimple.toolkits.thread.synchronization -
Classes in soot.jimple.toolkits.pointer used by soot Class Description CastCheckEliminatorDumper A body transformer that simply calls the CastCheckEliminator analysis.DependenceTagAggregator DumbPointerAnalysis A very naive pointer analysis that just reports that any points can point to any object.FieldRWTagger FullObjectSet ParameterAliasTagger Adds colour tags to indicate potential aliasing between method parameters.SideEffectAnalysis Generates side-effect information from a PointsToAnalysis.SideEffectTagger UnionFactory -
Classes in soot.jimple.toolkits.pointer used by soot.jimple.toolkits.ide.icfg Class Description LocalMustNotAliasAnalysis LocalNotMayAliasAnalysis attempts to determine if two local variables (at two potentially different program points) definitely point to different objects. -
Classes in soot.jimple.toolkits.pointer used by soot.jimple.toolkits.pointer Class Description CastCheckEliminatorDumper A body transformer that simply calls the CastCheckEliminator analysis.CodeBlockRWSet DependenceTagAggregator DumbPointerAnalysis A very naive pointer analysis that just reports that any points can point to any object.FieldRWTagger FullObjectSet InstanceKey An instance key is a static representative of a runtime object.LocalMustAliasAnalysis LocalMustAliasAnalysis attempts to determine if two local variables (at two potentially different program points) must point to the same object.LocalMustNotAliasAnalysis LocalNotMayAliasAnalysis attempts to determine if two local variables (at two potentially different program points) definitely point to different objects.MethodRWSet Represents the read or write set of a statement.ParameterAliasTagger Adds colour tags to indicate potential aliasing between method parameters.RWSet Represents the read or write set of a statement.SideEffectTagger Union A generic interface to some set of runtime objects computed by a pointer analysis. -
Classes in soot.jimple.toolkits.pointer used by soot.jimple.toolkits.thread.synchronization Class Description RWSet Represents the read or write set of a statement.