Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple |
Public classes for the Jimple intermediate representation.
|
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.ondemand | |
soot.jimple.spark.pag | |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.thread.synchronization | |
soot.shimple |
Public classes for the SSA Shimple intermediate representation.
|
Modifier and Type | Method and Description |
---|---|
PointsToAnalysis |
Scene.getPointsToAnalysis()
Retrieves the active pointer analysis
|
PointsToAnalysis |
Scene.getPointsToAnalysis()
Retrieves the active pointer analysis
|
Modifier and Type | Method and Description |
---|---|
void |
Scene.setPointsToAnalysis(PointsToAnalysis pa)
Sets the active pointer analysis
|
void |
Scene.setPointsToAnalysis(PointsToAnalysis pa)
Sets the active pointer analysis
|
Modifier and Type | Field and Description |
---|---|
protected PointsToAnalysis |
ReachingTypeDumper.pa |
protected PointsToAnalysis |
ReachingTypeDumper.pa |
Constructor and Description |
---|
ReachingTypeDumper(PointsToAnalysis pa,
String output_dir) |
ReachingTypeDumper(PointsToAnalysis pa,
String output_dir) |
Modifier and Type | Class and Description |
---|---|
class |
GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
Modifier and Type | Class and Description |
---|---|
class |
DemandCSPointsTo
Tries to find imprecision in points-to sets from a previously run analysis.
|
Modifier and Type | Class and Description |
---|---|
class |
PAG
Pointer assignment graph.
|
Constructor and Description |
---|
CallGraphBuilder(PointsToAnalysis pa)
This constructor builds a complete call graph using the given
PointsToAnalysis to resolve virtual calls.
|
CallGraphBuilder(PointsToAnalysis pa)
This constructor builds a complete call graph using the given
PointsToAnalysis to resolve virtual calls.
|
Modifier and Type | Class and Description |
---|---|
class |
DumbPointerAnalysis
A very naive pointer analysis that just reports that any points can point
to any object.
|
Constructor and Description |
---|
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg) |
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg) |
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Filter filter) |
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Filter filter) |
Modifier and Type | Method and Description |
---|---|
protected void |
LockAllocator.findLockableReferences(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
PointsToAnalysis pta,
CriticalSectionAwareSideEffectAnalysis tasea,
Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets) |
protected void |
LockAllocator.findLockableReferences(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
PointsToAnalysis pta,
CriticalSectionAwareSideEffectAnalysis tasea,
Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets) |
Constructor and Description |
---|
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
ThreadLocalObjectsAnalysis tlo) |
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
ThreadLocalObjectsAnalysis tlo) |
Modifier and Type | Field and Description |
---|---|
protected PointsToAnalysis |
DefaultShimpleFactory.pta |
protected PointsToAnalysis |
DefaultShimpleFactory.pta |