Package com.ibm.wala.ipa.callgraph

Class CallGraphTransitiveClosure

java.lang.Object

com.ibm.wala.ipa.callgraph.CallGraphTransitiveClosure

public class CallGraphTransitiveClosure
extends Object

Utility class for computing an analysis result for call graph nodes and their transitive callees, given the results for individual nodes.

Constructor Summary

Constructors

Constructor	Description
CallGraphTransitiveClosure()

Method Summary

Modifier and Type	Method	Description
static <T> Map<CGNode,Collection<T>>	collectNodeResults(CallGraph cg, Function<CGNode,Collection<T>> nodeResultComputer)	Collect analysis result for each CGNode in a Map.
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 graph

nodeResults - 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)

Collect analysis result for each CGNode in a Map.