| Package | Description |
|---|---|
| soot |
Base Soot classes, shared by different intermediate representations.
|
| soot.jimple.spark.solver | |
| soot.jimple.toolkits.callgraph |
| Modifier and Type | Class and Description |
|---|---|
class |
MethodContext
Represents a pair of a method and a context.
|
class |
SootMethod
Soot representation of a Java method.
|
| Modifier and Type | Method and Description |
|---|---|
static MethodOrMethodContext |
MethodContext.v(SootMethod method,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
List<MethodOrMethodContext> |
MethodToContexts.get(SootMethod m) |
| Modifier and Type | Method and Description |
|---|---|
void |
MethodToContexts.add(MethodOrMethodContext momc) |
| Modifier and Type | Method and Description |
|---|---|
void |
MethodToContexts.add(Iterator<MethodOrMethodContext> it) |
| Constructor and Description |
|---|
MethodToContexts(Iterator<MethodOrMethodContext> it) |
| Modifier and Type | Field and Description |
|---|---|
protected QueueReader<MethodOrMethodContext> |
OnFlyCallGraph.reachablesReader |
| Modifier and Type | Field and Description |
|---|---|
protected QueueReader<MethodOrMethodContext> |
ReachableMethods.allReachables |
protected ChunkedQueue<MethodOrMethodContext> |
ReachableMethods.reachables |
protected Set<MethodOrMethodContext> |
ReachableMethods.set |
protected Map<MethodOrMethodContext,Edge> |
CallGraph.srcMethodToEdge |
protected Map<MethodOrMethodContext,Edge> |
CallGraph.tgtToEdge |
protected QueueReader<MethodOrMethodContext> |
ReachableMethods.unprocessedMethods |
protected QueueReader<MethodOrMethodContext> |
OnFlyCallGraphBuilder.worklist |
| Modifier and Type | Method and Description |
|---|---|
MethodOrMethodContext |
Edge.getSrc() |
MethodOrMethodContext |
Edge.getTgt() |
MethodOrMethodContext |
Targets.next() |
MethodOrMethodContext |
Sources.next() |
| Modifier and Type | Method and Description |
|---|---|
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(Iterator<? extends MethodOrMethodContext> methods) |
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(MethodOrMethodContext momc) |
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(Unit u) |
QueueReader<MethodOrMethodContext> |
ReachableMethods.listener()
Returns a QueueReader object containing all methods found reachable so far, and which will be informed of any new
methods that are later found to be reachable.
|
QueueReader<MethodOrMethodContext> |
ReachableMethods.newListener()
Returns a QueueReader object which will contain ONLY NEW methods which will be found to be reachable, but not those that
have already been found to be reachable.
|
Iterator<MethodOrMethodContext> |
CallGraph.sourceMethods()
Returns an iterator over all methods that are the sources of at least one edge.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
ReachableMethods.addMethod(MethodOrMethodContext m) |
void |
ObjSensContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ContextInsensitiveContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
OneCFAContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
boolean |
ReachableMethods.contains(MethodOrMethodContext m)
Returns true iff method is reachable.
|
Iterator<Edge> |
CallGraph.edgesInto(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their target method.
|
Iterator |
SlowCallGraph.edgesInto(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their target method.
|
Iterator<Edge> |
CallGraph.edgesOutOf(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their source method.
|
Iterator |
SlowCallGraph.edgesOutOf(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their source method.
|
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(MethodOrMethodContext momc) |
protected boolean |
CallGraphBuilder.process(MethodOrMethodContext momc)
Processes one item.
|
protected void |
CallGraphBuilder.processArrays(MethodOrMethodContext momc) |
protected void |
CallGraphBuilder.processBases(MethodOrMethodContext momc) |
protected void |
OnFlyCallGraphBuilder.processNewMethodContext(MethodOrMethodContext momc) |
protected void |
CallGraphBuilder.processReceivers(MethodOrMethodContext momc) |
protected void |
CallGraphBuilder.processStringConstants(MethodOrMethodContext momc) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
ReachableMethods.addMethods(Iterator<? extends MethodOrMethodContext> methods) |
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(Iterator<? extends MethodOrMethodContext> methods) |
| Constructor and Description |
|---|
Edge(MethodOrMethodContext src,
Stmt srcUnit,
MethodOrMethodContext tgt) |
Edge(MethodOrMethodContext src,
Unit srcUnit,
MethodOrMethodContext tgt,
Kind kind) |
| Constructor and Description |
|---|
ReachableMethods(CallGraph graph,
Collection<? extends MethodOrMethodContext> entryPoints) |
ReachableMethods(CallGraph graph,
Iterator<? extends MethodOrMethodContext> entryPoints) |
ReachableMethods(CallGraph graph,
Iterator<? extends MethodOrMethodContext> entryPoints,
Filter filter) |
Copyright © 2020 Soot OSS. All rights reserved.