Class ContextSensitiveReachingDefs
java.lang.Object
com.ibm.wala.examples.analysis.dataflow.ContextSensitiveReachingDefs
Computes interprocedural reaching definitions for static fields in a context-sensitive manner via
tabulation
.-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionanalyze()
perform the tabulation analysis and return theTabulationResult
-
Constructor Details
-
ContextSensitiveReachingDefs
-
-
Method Details
-
analyze
public TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode, analyze()Pair<CGNode, Integer>> perform the tabulation analysis and return theTabulationResult
-
getSupergraph
-
getDomain
-