| Package | Description |
|---|---|
| soot |
Base Soot classes, shared by different intermediate representations.
|
| soot.jimple.toolkits.pointer |
| Class and Description |
|---|
| CastCheckEliminatorDumper
A body transformer that simply calls the CastCheckEliminator analysis.
|
| 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.
|
| DumbPointerAnalysis
A very naive pointer analysis that just reports that any points can point
to any object.
|
| FieldRWTagger |
| FullObjectSet |
| LocalMustAliasAnalysis
LocalMustAliasAnalysis attempts to determine if two local
variables (at two potentially different program points) must point
to the same object.
|
| 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.
|
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.