Package com.ibm.wala.examples.analysis.dataflow

Class IntraprocReachingDefs

java.lang.Object

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

public class IntraprocReachingDefs
extends Object

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

Author:

manu

Constructor Summary

Constructors

Constructor	Description
IntraprocReachingDefs(ExplodedControlFlowGraph ecfg, IClassHierarchy cha)

Method Summary

Modifier and Type	Method	Description
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 Details

IntraprocReachingDefs

public IntraprocReachingDefs(ExplodedControlFlowGraph ecfg,
 IClassHierarchy cha)

Method Details

analyze

public BitVectorSolver<IExplodedBasicBlock> analyze()

run the analysis

Returns:

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