ControlFlowGraph < Node > computeCFG ( ) { logger . fine ( "Computing Control Flow Graph" ) ; Tracer tracer = newTracer ( "computeCFG" ) ; ControlFlowAnalysis cfa = new ControlFlowAnalysis ( this , true , false ) ; process ( cfa ) ; stopTracer ( tracer , "computeCFG" ) ; return cfa . getCfg ( ) ; }
Control Flow Analysis .