public void Analyze(Method method) { ControlFlowGraph cfg = this.ptwe.GetCFG(method); cg.AddMethod(method); if (cfg != null) { if (amf != null) { iVisitor = new MyCGGenerator(cg, method, amf); } else { iVisitor = new MyCGGenerator(cg, method, this.ptwe); } Run(cfg, new MyState()); } }