| 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 | Field and Description |
|---|---|
protected CallGraph |
Scene.activeCallGraph |
| Modifier and Type | Method and Description |
|---|---|
CallGraph |
Scene.getCallGraph() |
CallGraph |
Scene.internalMakeCallGraph()
SOOT USERS: DO NOT CALL THIS METHOD!
|
| Modifier and Type | Method and Description |
|---|---|
void |
Scene.setCallGraph(CallGraph cg) |
| Modifier and Type | Field and Description |
|---|---|
protected CallGraph |
OnFlyCallGraph.callGraph |
| Modifier and Type | Method and Description |
|---|---|
CallGraph |
OnFlyCallGraph.callGraph() |
| Modifier and Type | Field and Description |
|---|---|
protected CallGraph |
AbstractInterproceduralAnalysis.cg |
| Constructor and Description |
|---|
AbstractInterproceduralAnalysis(CallGraph cg,
SootMethodFilter filter,
Iterator<SootMethod> 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<SootMethod> 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 | Field and Description |
|---|---|
protected CallGraph |
ReachableMethods.cg |
| Modifier and Type | Method and Description |
|---|---|
CallGraph |
ObjSensContextManager.callGraph() |
CallGraph |
ContextManager.callGraph() |
CallGraph |
ContextInsensitiveContextManager.callGraph() |
CallGraph |
OneCFAContextManager.callGraph() |
CallGraph |
CallGraphBuilder.getCallGraph() |
| Modifier and Type | Method and Description |
|---|---|
static ContextManager |
CallGraphBuilder.makeContextManager(CallGraph cg) |
| Constructor and Description |
|---|
ContextInsensitiveContextManager(CallGraph cg) |
ObjSensContextManager(CallGraph cg) |
OneCFAContextManager(CallGraph cg) |
ReachableMethods(CallGraph graph,
Collection<? extends MethodOrMethodContext> entryPoints) |
ReachableMethods(CallGraph graph,
Iterator<? extends MethodOrMethodContext> entryPoints) |
ReachableMethods(CallGraph graph,
Iterator<? extends MethodOrMethodContext> entryPoints,
Filter filter) |
TopologicalOrderer(CallGraph cg) |
TransitiveTargets(CallGraph cg) |
TransitiveTargets(CallGraph cg,
Filter filter) |
| Modifier and Type | Field and Description |
|---|---|
protected CallGraph |
JimpleBasedInterproceduralCFG.cg |
| Constructor and Description |
|---|
SideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg) |
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) |
| Constructor and Description |
|---|
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 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) |
StartJoinFinder(CallGraph callGraph,
PAG pag) |
| Constructor and Description |
|---|
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag) |
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
| Constructor and Description |
|---|
PegCallGraph(CallGraph cg) |
| Constructor and Description |
|---|
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 |
Copyright © 2020 Soot OSS. All rights reserved.