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
soot.shimple	Public classes for the SSA Shimple intermediate representation.

Classes in soot.jimple.toolkits.pointer used by soot

Class and 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 and 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 and 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 and Description
RWSet Represents the read or write set of a statement.

Classes in soot.jimple.toolkits.pointer used by soot.shimple

Class and Description
SideEffectAnalysis Generates side-effect information from a PointsToAnalysis.