Program: 113852
Project: 113852
Buggy source:
private String getStatusPage() throws SQLException, JSONException {
  long time=System.currentTimeMillis();
  Object[] dbDump=getDBDump();
  Map<String,Map<String,String>> entities=(Map<String,Map<String,String>>)dbDump[0];
  Map<String,Object[]> mappings=(Map<String,Object[]>)dbDump[1];
  StringBuilder dump=new StringBuilder();
  dump.append("String_Node_Str");
  dump.append("String_Node_Str");
  for (  String uuid : mappings.keySet()) {
    Object[] entry=mappings.get(uuid);
    List<Map<String,Object>> mapping=(List<Map<String,Object>>)entry[1];
    dump.append("String_Node_Str");
    dump.append(uuid);
    dump.append("String_Node_Str");
    dump.append("String_Node_Str");
    for (int i=0; i < mapping.size(); i++) {
      dump.append("String_Node_Str");
      Map<String,Object> map=mapping.get(i);
      String endpoint=map.get("String_Node_Str") + "String_Node_Str" + map.get("String_Node_Str")+ "String_Node_Str"+ map.get("String_Node_Str");
      dump.append("String_Node_Str" + endpoint + "String_Node_Str");
      dump.append(endpoint);
      dump.append("String_Node_Str");
      dump.append(map.get("String_Node_Str"));
      dump.append("String_Node_Str");
      dump.append(map.get("String_Node_Str"));
      dump.append("String_Node_Str");
    }
    dump.append("String_Node_Str");
    dump.append("String_Node_Str");
    dump.append(entry[2]);
    dump.append("String_Node_Str");
  }
  dump.append("String_Node_Str");
  dump.append("String_Node_Str");
  dump.append("String_Node_Str");
  for (  String uuid : entities.keySet()) {
    Map<String,String> entry=entities.get(uuid);
    dump.append("String_Node_Str");
    dump.append(uuid);
    dump.append("String_Node_Str");
    List<String> keys=new LinkedList<String>(entry.keySet());
    Collections.sort(keys);
    for (    String key : keys) {
      if (key.equals("String_Node_Str"))       continue;
      dump.append("String_Node_Str");
      dump.append(key);
      dump.append("String_Node_Str");
      dump.append(entry.get(key));
      if (key.equals("String_Node_Str")) {
        dump.append("String_Node_Str");
        dump.append(new Date(Long.parseLong(entry.get(key)) * 1000));
        dump.append("String_Node_Str");
      }
 else       if (key.equals("String_Node_Str") || key.equals("String_Node_Str") || key.endsWith("String_Node_Str")) {
        dump.append("String_Node_Str");
        dump.append(OutputUtils.formatBytes(Long.parseLong(entry.get(key))));
        dump.append("String_Node_Str");
      }
 else       if (key.equals("String_Node_Str")) {
        dump.append("String_Node_Str");
      }
      dump.append("String_Node_Str");
    }
    dump.append("String_Node_Str");
    dump.append(entry.get("String_Node_Str"));
    dump.append("String_Node_Str");
  }
  dump.append("String_Node_Str");
  String tmp=null;
  try {
    tmp=statusPageTemplate.replace(Vars.AVAILPROCS.toString(),Runtime.getRuntime().availableProcessors() + "String_Node_Str");
  }
 catch (  Exception e) {
    tmp=statusPageTemplate;
  }
  tmp=tmp.replace(Vars.FREEMEM.toString(),Runtime.getRuntime().freeMemory() + "String_Node_Str");
  tmp=tmp.replace(Vars.MAXMEM.toString(),Runtime.getRuntime().maxMemory() + "String_Node_Str");
  tmp=tmp.replace(Vars.BPSTATS.toString(),BufferPool.getStatus());
  tmp=tmp.replace(Vars.PORT.toString(),Integer.toString(config.getPort()));
  tmp=tmp.replace(Vars.DEBUG.toString(),Integer.toString(config.getDebugLevel()));
  tmp=tmp.replace(Vars.NUMCON.toString(),Integer.toString(pinkyStage.getNumConnections()));
  tmp=tmp.replace(Vars.PINKYQ.toString(),Integer.toString(pinkyStage.getTotalQLength()));
  tmp=tmp.replace(Vars.NUMREQS.toString(),Integer.toString(_stat_numRequests));
  tmp=tmp.replace(Vars.TIME.toString(),new Date(time).toString() + "String_Node_Str" + time+ "String_Node_Str");
  tmp=tmp.replace(Vars.TABLEDUMP.toString(),dump.toString());
  return tmp;
}

Fixed version (ground truth):
private String getStatusPage() throws SQLException, JSONException {
  assert(statusPageTemplate != null);
  long time=System.currentTimeMillis();
  Object[] dbDump=getDBDump();
  Map<String,Map<String,String>> entities=(Map<String,Map<String,String>>)dbDump[0];
  Map<String,Object[]> mappings=(Map<String,Object[]>)dbDump[1];
  StringBuilder dump=new StringBuilder();
  dump.append("String_Node_Str");
  dump.append("String_Node_Str");
  for (  String uuid : mappings.keySet()) {
    Object[] entry=mappings.get(uuid);
    List<Map<String,Object>> mapping=(List<Map<String,Object>>)entry[1];
    dump.append("String_Node_Str");
    dump.append(uuid);
    dump.append("String_Node_Str");
    dump.append("String_Node_Str");
    for (int i=0; i < mapping.size(); i++) {
      dump.append("String_Node_Str");
      Map<String,Object> map=mapping.get(i);
      String endpoint=map.get("String_Node_Str") + "String_Node_Str" + map.get("String_Node_Str")+ "String_Node_Str"+ map.get("String_Node_Str");
      dump.append("String_Node_Str" + endpoint + "String_Node_Str");
      dump.append(endpoint);
      dump.append("String_Node_Str");
      dump.append(map.get("String_Node_Str"));
      dump.append("String_Node_Str");
      dump.append(map.get("String_Node_Str"));
      dump.append("String_Node_Str");
    }
    dump.append("String_Node_Str");
    dump.append("String_Node_Str");
    dump.append(entry[2]);
    dump.append("String_Node_Str");
  }
  dump.append("String_Node_Str");
  dump.append("String_Node_Str");
  dump.append("String_Node_Str");
  for (  String uuid : entities.keySet()) {
    Map<String,String> entry=entities.get(uuid);
    dump.append("String_Node_Str");
    dump.append(uuid);
    dump.append("String_Node_Str");
    List<String> keys=new LinkedList<String>(entry.keySet());
    Collections.sort(keys);
    for (    String key : keys) {
      if (key.equals("String_Node_Str"))       continue;
      dump.append("String_Node_Str");
      dump.append(key);
      dump.append("String_Node_Str");
      dump.append(entry.get(key));
      if (key.equals("String_Node_Str")) {
        dump.append("String_Node_Str");
        dump.append(new Date(Long.parseLong(entry.get(key)) * 1000));
        dump.append("String_Node_Str");
      }
 else       if (key.equals("String_Node_Str") || key.equals("String_Node_Str") || key.endsWith("String_Node_Str")) {
        dump.append("String_Node_Str");
        dump.append(OutputUtils.formatBytes(Long.parseLong(entry.get(key))));
        dump.append("String_Node_Str");
      }
 else       if (key.equals("String_Node_Str")) {
        dump.append("String_Node_Str");
      }
      dump.append("String_Node_Str");
    }
    dump.append("String_Node_Str");
    dump.append(entry.get("String_Node_Str"));
    dump.append("String_Node_Str");
  }
  dump.append("String_Node_Str");
  String tmp=null;
  try {
    tmp=statusPageTemplate.replace(Vars.AVAILPROCS.toString(),Runtime.getRuntime().availableProcessors() + "String_Node_Str");
  }
 catch (  Exception e) {
    tmp=statusPageTemplate;
  }
  tmp=tmp.replace(Vars.FREEMEM.toString(),Runtime.getRuntime().freeMemory() + "String_Node_Str");
  tmp=tmp.replace(Vars.MAXMEM.toString(),Runtime.getRuntime().maxMemory() + "String_Node_Str");
  tmp=tmp.replace(Vars.BPSTATS.toString(),BufferPool.getStatus());
  tmp=tmp.replace(Vars.PORT.toString(),Integer.toString(config.getPort()));
  tmp=tmp.replace(Vars.DEBUG.toString(),Integer.toString(config.getDebugLevel()));
  tmp=tmp.replace(Vars.NUMCON.toString(),Integer.toString(pinkyStage.getNumConnections()));
  tmp=tmp.replace(Vars.PINKYQ.toString(),Integer.toString(pinkyStage.getTotalQLength()));
  tmp=tmp.replace(Vars.NUMREQS.toString(),Integer.toString(_stat_numRequests));
  tmp=tmp.replace(Vars.TIME.toString(),new Date(time).toString() + "String_Node_Str" + time+ "String_Node_Str");
  tmp=tmp.replace(Vars.TABLEDUMP.toString(),dump.toString());
  return tmp;
}