public WebAnalysis(ControlFlowGraph cfg)
{
this.cfg = cfg;
}
public BackwardCopyPropagationAnalysis(ControlFlowGraph cfg)
: base(cfg)
{
}
public TypeInferenceAnalysis(ControlFlowGraph cfg)
{
this.cfg = cfg;
}
public ReachingDefinitionsAnalysis(ControlFlowGraph cfg)
: base(cfg)
{
}
public StaticSingleAssignmentAnalysis(MethodBody method, ControlFlowGraph cfg)
{
this.method = method;
this.cfg = cfg;
this.phi_instructions = new Dictionary <CFGNode, IDictionary <IVariable, PhiInstruction> >();
}