Package com.ibm.wala.dataflow.ssa
package com.ibm.wala.dataflow.ssa
-
ClassDescriptionSSAInference<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>>