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