Package soot.jimple.toolkits.pointer

Class Summary

CastCheckEliminator	A flow analysis that detects redundant cast checks.
CastCheckEliminatorDumper	A body transformer that simply calls the CastCheckEliminator analysis.
CastCheckTag	Implements a tag that can be used to tell a VM whether a cast check can be eliminated or not.
CodeBlockRWSet
DependenceGraph
DependenceTag
DependenceTagAggregator
DumbPointerAnalysis	A very naive pointer analysis that just reports that any points can point to any object.
FieldRWTagger
FullObjectSet
FullRWSet
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.
MemoryEfficientRasUnion
MethodRWSet	Represents the read or write set of a statement.
ParameterAliasTagger	Adds colour tags to indicate potential aliasing between method parameters.
PASideEffectTester
RWSet	Represents the read or write set of a statement.
SideEffectAnalysis	Generates side-effect information from a PointsToAnalysis.
SideEffectTagger
SiteRWSet	Represents the read or write set of a statement.
StmtRWSet	Represents the read or write set of a statement.
StrongLocalMustAliasAnalysis	A special version of the local must-alias analysis that takes redefinitions within loops into account.
Union	A generic interface to some set of runtime objects computed by a pointer analysis.
UnionFactory