Class CallGraphTransitiveClosure
java.lang.Object
com.ibm.wala.ipa.callgraph.CallGraphTransitiveClosure
Utility class for computing an analysis result for call graph nodes and their transitive callees,
given the results for individual nodes.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic <T> Map
<CGNode, Collection<T>> collectNodeResults
(CallGraph cg, Function<CGNode, Collection<T>> nodeResultComputer) static <T> Map
<CGNode, OrdinalSet<T>> transitiveClosure
(CallGraph cg, Map<CGNode, Collection<T>> nodeResults) Compute the transitive closure of an analysis result over all callees.
-
Constructor Details
-
CallGraphTransitiveClosure
public CallGraphTransitiveClosure()
-
-
Method Details
-
transitiveClosure
public static <T> Map<CGNode,OrdinalSet<T>> transitiveClosure(CallGraph cg, Map<CGNode, Collection<T>> nodeResults) Compute the transitive closure of an analysis result over all callees.- Parameters:
cg
- the call graphnodeResults
- analysis result for each individual node- Returns:
- a map from each node to the analysis result for the node and its transitive callees
-
collectNodeResults
public static <T> Map<CGNode,Collection<T>> collectNodeResults(CallGraph cg, Function<CGNode, Collection<T>> nodeResultComputer)
-