StateSet factAtExit = dataflow.getStartFact(cfg.getExit());
Set<Obligation> leakedObligations = new HashSet<Obligation>();</BUG>
for (Iterator<State> i = factAtExit.stateIterator(); i.hasNext();) {
State state = i.next();
<BUG>for (int id = 0; id < database.getFactory().getMaxObligationTypes(); ++id) {
int rawLeakCount = state.getObligationSet().getCount(id);</BUG>
if (rawLeakCount == 0) {
continue;
}
int leakCount;

StateSet factAtExit = dataflow.getStartFact(cfg.getExit());
for (Iterator<State> i = factAtExit.stateIterator(); i.hasNext();) {
State state = i.next();
for (int id = 0; id < database.getFactory().getMaxObligationTypes(); ++id) {
Obligation obligation = database.getFactory().getObligationById(id);
int rawLeakCount = state.getObligationSet().getCount(id);
if (rawLeakCount == 0) {
continue;
}
int leakCount;
