| Package | Description |
|---|---|
| com.ibm.wala.cast.js.callgraph.fieldbased | |
| com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph | |
| com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices |
| Modifier and Type | Method and Description |
|---|---|
Set<com.ibm.wala.util.collections.Pair<CallVertex,FuncVertex>> |
WorklistBasedOptimisticCallgraphBuilder.extractCallGraphEdges(FlowGraph flowgraph,
com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) |
Set<com.ibm.wala.util.collections.Pair<CallVertex,FuncVertex>> |
FieldBasedCallGraphBuilder.extractCallGraphEdges(FlowGraph flowgraph,
com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
Extract call edges from the flow graph into high-level representation.
|
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.util.intset.OrdinalSet<FuncVertex> |
FlowGraph.getReachingSet(Vertex dest,
com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
Computes the set of vertices that may reach
dest along paths not containing an
UnknownVertex. |
| Modifier and Type | Method and Description |
|---|---|
FuncVertex |
CallVertex.getCaller() |
FuncVertex |
RetVertex.getFunc() |
FuncVertex |
ParamVertex.getFunc() |
FuncVertex |
ArgVertex.getFunc() |
FuncVertex |
VarVertex.getFunction() |
FuncVertex |
VertexFactory.makeFuncVertex(com.ibm.wala.classLoader.IClass klass) |
| Modifier and Type | Method and Description |
|---|---|
Collection<FuncVertex> |
VertexFactory.getFuncVertices() |
| Modifier and Type | Method and Description |
|---|---|
ArgVertex |
VertexFactory.makeArgVertex(FuncVertex func) |
CallVertex |
VertexFactory.makeCallVertex(FuncVertex func,
JavaScriptInvoke invk) |
ParamVertex |
VertexFactory.makeParamVertex(FuncVertex func,
int index) |
RetVertex |
VertexFactory.makeRetVertex(FuncVertex func) |
VarVertex |
VertexFactory.makeVarVertex(FuncVertex func,
int valueNumber) |
T |
VertexVisitor.visitFuncVertex(FuncVertex funcVertex) |
T |
AbstractVertexVisitor.visitFuncVertex(FuncVertex funcVertex) |
Copyright © 2017. All rights reserved.