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