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

package com.ibm.wala.examples.analysis.dataflow

Classes

Class	Description
ContextInsensitiveReachingDefs	Computes interprocedural reaching definitions for static fields in a context-insensitive manner.
ContextSensitiveReachingDefs	Computes interprocedural reaching definitions for static fields in a context-sensitive manner via tabulation.
IntraprocReachingDefs	Compute intraprocedural reaching defs of global variables, i.e., the defs are SSAPutInstructions on static state.
StaticInitializer