// Procedure analysis and thus this callgraph only works with --procedures 2
// A broken callgraph does not affect the safety checks, though, as all
// procedures are checked without any interprocedural abstraction anyway
for (Pair<Location,Location> callSite : procedureAnalysis.getCallSites()) {
ProcedureState procedureState = (ProcedureState)Lattices.joinAll(reached.where(callSite.getLeft()));
for (Location procedure : procedureState.getProcedureEntries()) {
callGraph.put(procedure, callSite.getRight());
}
}
logger.info("Found " + procedures.size() + " function entry points from procedure analysis.");