Package | Description |
---|---|
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.
|
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 |
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.
|
Class and Description |
---|
RWSet
Represents the read or write set of a statement.
|
Class and Description |
---|
SideEffectAnalysis
Generates side-effect information from a PointsToAnalysis.
|