Class FlowGraph
java.lang.Object
com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.FlowGraph
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Adds an edge from vertexfrom
to vertexto
, adding the vertices to the graph if they are not in there yet.getPointerAnalysis
(CallGraph cg, IAnalysisCacheView cache, MonitorUtil.IProgressMonitor monitor) getReachingSet
(Vertex dest, MonitorUtil.IProgressMonitor monitor) Computes the set of vertices that may reachdest
along paths not containing anUnknownVertex
.iterator()
toJSON()
Converts flow graph to a JSON representation.Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Constructor Details
-
FlowGraph
public FlowGraph()
-
-
Method Details
-
getVertexFactory
-
addEdge
-
getReachingSet
public OrdinalSet<FuncVertex> getReachingSet(Vertex dest, MonitorUtil.IProgressMonitor monitor) throws CancelException Computes the set of vertices that may reachdest
along paths not containing anUnknownVertex
.- Throws:
CancelException
-
getSucc
-
iterator
-
getPointerAnalysis
public PointerAnalysis<ObjectVertex> getPointerAnalysis(CallGraph cg, IAnalysisCacheView cache, MonitorUtil.IProgressMonitor monitor) throws CancelException - Throws:
CancelException
-
toJSON
Converts flow graph to a JSON representation. Keys of the JSON object are vertices, with each vertex mapped to its successors. Vertices are serialized using theirVertex.toSourceLevelString(IAnalysisCacheView)
method to include information about source-level variables whenever possible.
-