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