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> >(); }