|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||