Uses of Package
soot.jimple.toolkits.pointer

Packages that use soot.jimple.toolkits.pointer

soot	Base Soot classes, shared by different intermediate representations.
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

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.pointer

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

RWSet
Represents the read or write set of a statement.

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

SideEffectAnalysis
Generates side-effect information from a PointsToAnalysis.