Package com.ibm.wala.dataflow.ssa
-
Interface Summary Interface Description SSAInference.OperatorFactory<T extends IVariable> SSAInference.VariableFactory -
Class Summary Class Description SSAInference<T extends IVariable<?>> This class performs intra-procedural propagation over an SSA form.