public final class CallGraphBuilder
extends java.lang.Object
Constructor and Description |
---|
CallGraphBuilder()
This constructor builds the incomplete hack call graph for the Dava
ThrowFinder.
|
CallGraphBuilder(PointsToAnalysis pa)
This constructor builds a complete call graph using the given
PointsToAnalysis to resolve virtual calls.
|
Modifier and Type | Method and Description |
---|---|
void |
build() |
CallGraph |
getCallGraph() |
static ContextManager |
makeContextManager(CallGraph cg) |
ReachableMethods |
reachables() |
public CallGraphBuilder(PointsToAnalysis pa)
public CallGraphBuilder()
public CallGraph getCallGraph()
public ReachableMethods reachables()
public static ContextManager makeContextManager(CallGraph cg)
public void build()