com.ibm.wala.examples.analysis.dataflow

Class IntraprocReachingDefs

java.lang.Object

com.ibm.wala.examples.analysis.dataflow.IntraprocReachingDefs

public class IntraprocReachingDefs
extends java.lang.Object

Compute intraprocedural reaching defs of global variables, i.e., the defs are SSAPutInstructions on static state.

Constructor Summary

Constructors

Constructor and Description
IntraprocReachingDefs(ExplodedControlFlowGraph ecfg, IClassHierarchy cha)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.dataflow.graph.BitVectorSolver<IExplodedBasicBlock>	analyze() run the analysis

Methods inherited from class java.lang.Object

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

Constructor Detail

IntraprocReachingDefs

public IntraprocReachingDefs(ExplodedControlFlowGraph ecfg,
                             IClassHierarchy cha)

Method Detail

analyze

public com.ibm.wala.dataflow.graph.BitVectorSolver<IExplodedBasicBlock> analyze()

run the analysis

Returns:

the solver used for the analysis, which contains the analysis result