private void processReachables() { reachableMethods.update(); while (reachablesReader.hasNext()) { MethodOrMethodContext m = (MethodOrMethodContext) reachablesReader.next(); MethodPAG mpag = MethodPAG.v(pag, m.method()); mpag.build(); mpag.addToPAG(m.context()); } }
private void processCallEdges() { Stmt s = null; while (callEdges.hasNext()) { Edge e = (Edge) callEdges.next(); MethodPAG amp = MethodPAG.v(pag, e.tgt()); amp.build(); amp.addToPAG(e.tgtCtxt()); pag.addCallTarget(e); } }