Package com.ibm.wala.dataflow.ssa

Interface Summary

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

Class Summary

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