Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.spark.solver | |
soot.jimple.toolkits.annotation.purity | |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.ide.icfg | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
soot.jimple.toolkits.thread.mhp.pegcallgraph | |
soot.jimple.toolkits.thread.synchronization | |
soot.shimple |
Public classes for the SSA Shimple intermediate representation.
|
Modifier and Type | Method and Description |
---|---|
CallGraph |
Scene.getCallGraph() |
CallGraph |
Scene.getCallGraph() |
Modifier and Type | Method and Description |
---|---|
void |
Scene.setCallGraph(CallGraph cg) |
void |
Scene.setCallGraph(CallGraph cg) |
Modifier and Type | Method and Description |
---|---|
CallGraph |
OnFlyCallGraph.callGraph() |
CallGraph |
OnFlyCallGraph.callGraph() |
Modifier and Type | Field and Description |
---|---|
protected CallGraph |
AbstractInterproceduralAnalysis.cg |
protected CallGraph |
AbstractInterproceduralAnalysis.cg |
Constructor and Description |
---|
AbstractInterproceduralAnalysis(CallGraph cg,
SootMethodFilter filter,
Iterator heads,
boolean verbose)
The constructor performs some preprocessing, but you have to call
doAnalysis to preform the real stuff.
|
AbstractInterproceduralAnalysis(CallGraph cg,
SootMethodFilter filter,
Iterator heads,
boolean verbose)
The constructor performs some preprocessing, but you have to call
doAnalysis to preform the real stuff.
|
DirectedCallGraph(CallGraph cg,
SootMethodFilter filter,
Iterator heads,
boolean verbose)
The constructor does all the work here.
|
DirectedCallGraph(CallGraph cg,
SootMethodFilter filter,
Iterator heads,
boolean verbose)
The constructor does all the work here.
|
Modifier and Type | Class and Description |
---|---|
class |
SlowCallGraph
Represents the edges in a call graph.
|
Modifier and Type | Method and Description |
---|---|
CallGraph |
ContextInsensitiveContextManager.callGraph() |
CallGraph |
ContextManager.callGraph() |
CallGraph |
ObjSensContextManager.callGraph() |
CallGraph |
OneCFAContextManager.callGraph() |
CallGraph |
ObjSensContextManager.callGraph() |
CallGraph |
ContextManager.callGraph() |
CallGraph |
OneCFAContextManager.callGraph() |
CallGraph |
ContextInsensitiveContextManager.callGraph() |
CallGraph |
CallGraphBuilder.getCallGraph() |
CallGraph |
CallGraphBuilder.getCallGraph() |
Modifier and Type | Method and Description |
---|---|
static ContextManager |
CallGraphBuilder.makeContextManager(CallGraph cg) |
static ContextManager |
CallGraphBuilder.makeContextManager(CallGraph cg) |
Modifier and Type | Field and Description |
---|---|
protected CallGraph |
JimpleBasedInterproceduralCFG.cg |
protected CallGraph |
JimpleBasedInterproceduralCFG.cg |
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 |
---|---|
List<SootMethod> |
TargetMethodsFinder.find(Unit unit,
CallGraph cg,
boolean canBeNullList,
boolean canBeNative) |
List<SootMethod> |
TargetMethodsFinder.find(Unit unit,
CallGraph cg,
boolean canBeNullList,
boolean canBeNative) |
Constructor and Description |
---|
MethodExtentBuilder(Body unitBody,
PegCallGraph pcg,
CallGraph cg) |
MethodExtentBuilder(Body unitBody,
PegCallGraph pcg,
CallGraph cg) |
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set<Object> methodsNeedingInlining,
Set<AllocNode> allocNodes,
List inlineSites,
Map synchObj,
Set<AllocNode> multiRunAllocNodes,
Map allocNodeToObj,
Body unitBody,
SootMethod sm,
boolean addExceptionEdges,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set<Object> methodsNeedingInlining,
Set<AllocNode> allocNodes,
List inlineSites,
Map synchObj,
Set<AllocNode> multiRunAllocNodes,
Map allocNodeToObj,
Body unitBody,
SootMethod sm,
boolean addExceptionEdges,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List<List> inlineSites,
Map<SootMethod,String> synchObj,
Set multiRunAllocNodes,
Map<AllocNode,String> allocNodeToObj,
Body unitBody,
String threadName,
SootMethod sm,
boolean addExceEdge,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List<List> inlineSites,
Map<SootMethod,String> synchObj,
Set multiRunAllocNodes,
Map<AllocNode,String> allocNodeToObj,
Body unitBody,
String threadName,
SootMethod sm,
boolean addExceEdge,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
StartJoinAnalysis(UnitGraph g,
SootMethod sm,
CallGraph callGraph,
PAG pag) |
StartJoinAnalysis(UnitGraph g,
SootMethod sm,
CallGraph callGraph,
PAG pag) |
StartJoinFinder(CallGraph callGraph,
PAG pag) |
StartJoinFinder(CallGraph callGraph,
PAG pag) |
Constructor and Description |
---|
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag) |
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag) |
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
Constructor and Description |
---|
PegCallGraph(CallGraph cg) |
PegCallGraph(CallGraph cg) |
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 CallGraph |
DefaultShimpleFactory.cg |
protected CallGraph |
DefaultShimpleFactory.cg |