Package com.ibm.wala.dataflow.ssa

package com.ibm.wala.dataflow.ssa

Class	Description
SSAInference<T extends IVariable<T>>	This class performs intra-procedural propagation over an SSA form.
SSAInference.OperatorFactory<T extends IVariable<T>>
SSAInference.VariableFactory<T extends IVariable<T>>