Package com.ibm.wala.dataflow.ssa

Interface Summary

Interface	Description
SSAInference.OperatorFactory<T extends com.ibm.wala.fixpoint.IVariable<T>>
SSAInference.VariableFactory<T extends com.ibm.wala.fixpoint.IVariable<T>>

Class Summary

Class	Description
SSAInference<T extends com.ibm.wala.fixpoint.IVariable<T>>	This class performs intra-procedural propagation over an SSA form.