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.
DependenceGraph  
DependenceTag  
DependenceTagAggregator  
DumbPointerAnalysis A very naive pointer analysis that just reports that any points can point to any object.
FieldRWTagger  
FullObjectSet  
FullRWSet  
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.
Union A generic interface to some set of runtime objects computed by a pointer analysis.
UnionFactory