public void buildIG(ControlFlowGraph cfg) {
    BasicBlock curBB = null;
    Set<SSA> live = new HashSet<SSA>();

    curBB = cfg.getFirstBlock();
    this.buildIGRecursive(curBB, live);

    for (BasicBlock bb : cfg.getFirstBlockOfFuncs()) {
      curBB = bb;
      this.buildIGRecursive(curBB, live);
    }
  }