com.ibm.wala.ipa.callgraph

Class CallGraphTransitiveClosure

java.lang.Object

com.ibm.wala.ipa.callgraph.CallGraphTransitiveClosure

public class CallGraphTransitiveClosure
extends java.lang.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 and Description
CallGraphTransitiveClosure()

Method Summary

Modifier and Type	Method and Description
static <T> java.util.Map<CGNode,java.util.Collection<T>>	collectNodeResults(CallGraph cg, java.util.function.Function<CGNode,java.util.Collection<T>> nodeResultComputer) Collect analysis result for each CGNode in a Map.
static <T> java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<T>>	transitiveClosure(CallGraph cg, java.util.Map<CGNode,java.util.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 Detail

CallGraphTransitiveClosure

public CallGraphTransitiveClosure()

Method Detail

transitiveClosure

public static <T> java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<T>> transitiveClosure(CallGraph cg,
                                                                                                 java.util.Map<CGNode,java.util.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> java.util.Map<CGNode,java.util.Collection<T>> collectNodeResults(CallGraph cg,
                                                                                   java.util.function.Function<CGNode,java.util.Collection<T>> nodeResultComputer)

Collect analysis result for each CGNode in a Map.