Program: 39471
Project: 39471
Buggy source:
public String executeRequest(String clientId,String request) throws Exception {
  ConcurrentHashMap<String,String> clientState=clientStateMap.get(clientId);
  StringBuffer rsb=new StringBuffer();
  String cmd=request.substring(0,request.indexOf("String_Node_Str")).trim().toLowerCase();
  String[] args=request.substring(request.indexOf("String_Node_Str")).trim().split("String_Node_Str");
  if (cmd.equals(CMD_USE)) {
    if (null == dbs.get(args[0])) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      if (null != clientState.get(ST_DB))       clientState.remove(ST_DB);
      clientState.put(ST_DB,args[0]);
      rsb.append(R_OK);
    }
  }
 else   if (cmd.equals(CMD_CREATE)) {
    if (null != dbs.get(args[0])) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      dbs.put(args[0],new Graph());
      rsb.append(R_OK);
    }
  }
 else   if (cmd.equals(CMD_DROP)) {
    if (null == dbs.get(args[0])) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      dbs.remove(args[0]);
      rsb.append(R_OK);
    }
  }
 else {
    if (null == clientState.get(ST_DB)) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      String cldb=clientState.get(ST_DB);
      Graph gr=dbs.get(cldb);
      if (cmd.equals(CMD_EXISTS)) {
        String key=args[0];
        log.info("String_Node_Str" + key);
        rsb.append("String_Node_Str" + gr.exists(key));
      }
 else       if (cmd.equals(CMD_CVERT)) {
        String key=args[0];
        String json=request.substring(request.indexOf("String_Node_Str" + key) + (key.length() + 1)).trim();
        log.info("String_Node_Str" + key + "String_Node_Str"+ json);
        JSONObject jo=null;
        try {
          jo=new JSONObject(json);
          gr.addVertex(key,jo);
          rsb.append(R_OK);
          rsb.append("String_Node_Str");
          rsb.append(key);
        }
 catch (        org.json.JSONException jsonEx) {
          jsonEx.printStackTrace();
          log.info("String_Node_Str");
          log.info(json);
          log.info("String_Node_Str");
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
        }
catch (        Exception ex) {
          ex.printStackTrace();
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
          rsb.append(ex.toString());
        }
      }
 else       if (cmd.equals(CMD_CEDGE)) {
        String key=args[0];
        String vFromKey=args[1];
        String vToKey=args[2];
        String rel=args[3];
        String json=request.substring(request.indexOf("String_Node_Str" + rel) + (rel.length() + 1)).trim();
        log.info("String_Node_Str" + key + "String_Node_Str"+ vFromKey+ "String_Node_Str"+ vToKey+ "String_Node_Str"+ rel+ "String_Node_Str");
        JSONObject jo=null;
        try {
          jo=new JSONObject(json);
          jo.put("String_Node_Str",vFromKey);
          jo.put("String_Node_Str",vToKey);
          jo.put("String_Node_Str",1.0);
          jo.put("String_Node_Str",rel);
          gr.addEdge(key,jo,vFromKey,vToKey,rel);
          rsb.append(R_OK);
          rsb.append("String_Node_Str");
          rsb.append(key);
        }
 catch (        org.json.JSONException jsonEx) {
          jsonEx.printStackTrace();
          log.info("String_Node_Str");
          log.info(json);
          log.info("String_Node_Str");
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
        }
catch (        Exception ex) {
          ex.printStackTrace();
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
          rsb.append(ex.toString());
        }
      }
 else       if (cmd.equals(CMD_DEL)) {
        String key=args[0];
        log.info("String_Node_Str" + key);
        rsb.append(R_NOT_IMPL);
      }
 else       if (cmd.equals(CMD_GET)) {
        String key=args[0];
        log.info("String_Node_Str" + key);
        JSONObject jo=gr.get(key);
        if (jo == null) {
          rsb.append(R_NOT_FOUND);
        }
 else {
          rsb.append(prepareResult(jo));
          rsb.append("String_Node_Str");
          rsb.append(R_DONE);
        }
      }
 else       if (cmd.equals(CMD_Q)) {
        String q=request.substring(request.indexOf("String_Node_Str")).trim();
        log.info("String_Node_Str" + q);
        List<JSONObject> results=gr.query(q);
        for (        JSONObject jo : results) {
          rsb.append(prepareResult(jo));
          rsb.append("String_Node_Str");
        }
        rsb.append(R_DONE);
      }
 else       if (cmd.equals(CMD_SPATH)) {
        String vFromKey=args[0];
        String vToKey=args[1];
        log.info("String_Node_Str" + vFromKey + "String_Node_Str"+ vToKey);
        List<JSONObject> results=gr.getShortestPath(vFromKey,vToKey);
        for (        JSONObject jo : results) {
          rsb.append(prepareResult(jo));
          rsb.append("String_Node_Str");
        }
        rsb.append(R_DONE);
      }
 else       if (cmd.equals(CMD_SET)) {
        String key=args[0];
        String attr=args[1];
        String val=args[2];
        log.info("String_Node_Str" + key + "String_Node_Str"+ attr+ "String_Node_Str"+ val);
        JSONObject obj=gr.get(key);
        if (null == obj) {
          rsb.append(R_NOT_FOUND);
        }
 else {
          String _type=obj.getString("String_Node_Str");
          if (_type.equals("String_Node_Str")) {
            JSONVertex jv=gr.getVertex(key);
            jv.put(attr,val);
            gr.indexObject(key,_type,jv);
            rsb.append(R_DONE);
          }
 else           if (_type.equals("String_Node_Str")) {
            JSONEdge je=gr.getEdge(key);
            je.put(attr,val);
            gr.indexObject(key,_type,je.asJSONObject());
            rsb.append(R_DONE);
          }
 else {
            rsb.append(R_ERR);
            rsb.append("String_Node_Str");
          }
        }
      }
 else       if (cmd.equals(CMD_SPY)) {
        String key=args[0];
        JSONObject obj=gr.get(key);
        if (null == obj) {
          rsb.append(R_NOT_FOUND);
        }
 else {
          String _type=obj.getString("String_Node_Str");
          if (_type.startsWith("String_Node_Str")) {
            JSONEdge je=gr.getEdge(key);
            if (null == je) {
              rsb.append(R_NOT_FOUND);
            }
 else {
              rsb.append(je.asJSONObject().toString(4) + "String_Node_Str");
              rsb.append(R_DONE);
            }
          }
 else           if (_type.startsWith("String_Node_Str")) {
            JSONVertex jv=gr.getVertex(key);
            if (null == jv) {
              rsb.append(R_NOT_FOUND);
            }
 else {
              rsb.append(jv.toString(4) + "String_Node_Str");
              rsb.append(R_DONE);
            }
          }
 else {
            rsb.append(R_ERR);
            rsb.append("String_Node_Str");
          }
        }
      }
    }
  }
  if (rsb.toString().equals("String_Node_Str")) {
    log.info("String_Node_Str" + cmd);
    rsb.append(R_UNK);
    rsb.append("String_Node_Str");
    rsb.append(cmd);
  }
  rsb.append("String_Node_Str");
  log.info("String_Node_Str" + rsb.toString());
  return rsb.toString();
}

Fixed version (ground truth):
public String executeRequest(String clientId,String request) throws Exception {
  ConcurrentHashMap<String,String> clientState=clientStateMap.get(clientId);
  StringBuffer rsb=new StringBuffer();
  String cmd=request.substring(0,request.indexOf("String_Node_Str")).trim().toLowerCase();
  String[] args=request.substring(request.indexOf("String_Node_Str")).trim().split("String_Node_Str");
  if (cmd.equals(CMD_USE)) {
    if (null == dbs.get(args[0])) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      if (null != clientState.get(ST_DB))       clientState.remove(ST_DB);
      clientState.put(ST_DB,args[0]);
      rsb.append(R_OK);
    }
  }
 else   if (cmd.equals(CMD_CREATE)) {
    if (null != dbs.get(args[0])) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      dbs.put(args[0],new Graph());
      rsb.append(R_OK);
    }
  }
 else   if (cmd.equals(CMD_DROP)) {
    if (null == dbs.get(args[0])) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      dbs.remove(args[0]);
      rsb.append(R_OK);
    }
  }
 else {
    if (null == clientState.get(ST_DB)) {
      rsb.append(R_ERR);
      rsb.append("String_Node_Str");
    }
 else {
      String cldb=clientState.get(ST_DB);
      Graph gr=dbs.get(cldb);
      if (cmd.equals(CMD_EXISTS)) {
        String key=args[0];
        log.info("String_Node_Str" + key);
        rsb.append("String_Node_Str" + gr.exists(key));
      }
 else       if (cmd.equals(CMD_CVERT)) {
        String key=args[0];
        String json=request.substring(request.indexOf("String_Node_Str" + key) + (key.length() + 1)).trim();
        log.info("String_Node_Str" + key + "String_Node_Str"+ json);
        JSONObject jo=null;
        try {
          jo=new JSONObject(json);
          gr.addVertex(key,jo);
          rsb.append(R_OK);
          rsb.append("String_Node_Str");
          rsb.append(key);
        }
 catch (        org.json.JSONException jsonEx) {
          jsonEx.printStackTrace();
          log.info("String_Node_Str");
          log.info(json);
          log.info("String_Node_Str");
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
        }
catch (        Exception ex) {
          ex.printStackTrace();
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
          rsb.append(ex.toString());
        }
      }
 else       if (cmd.equals(CMD_CEDGE)) {
        String key=args[0];
        String vFromKey=args[1];
        String vToKey=args[2];
        String rel=args[3];
        String json=request.substring(request.indexOf("String_Node_Str" + rel) + (rel.length() + 1)).trim();
        log.info("String_Node_Str" + key + "String_Node_Str"+ vFromKey+ "String_Node_Str"+ vToKey+ "String_Node_Str"+ rel+ "String_Node_Str");
        JSONObject jo=null;
        try {
          jo=new JSONObject(json);
          jo.put("String_Node_Str",vFromKey);
          jo.put("String_Node_Str",vToKey);
          jo.put("String_Node_Str",1.0);
          jo.put("String_Node_Str",rel);
          gr.addEdge(key,jo,vFromKey,vToKey,rel);
          rsb.append(R_OK);
          rsb.append("String_Node_Str");
          rsb.append(key);
        }
 catch (        org.json.JSONException jsonEx) {
          jsonEx.printStackTrace();
          log.info("String_Node_Str");
          log.info(json);
          log.info("String_Node_Str");
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
        }
catch (        Exception ex) {
          ex.printStackTrace();
          rsb.append(R_ERR);
          rsb.append("String_Node_Str");
          rsb.append(ex.toString());
        }
      }
 else       if (cmd.equals(CMD_DEL)) {
        String key=args[0];
        log.info("String_Node_Str" + key);
        rsb.append(R_NOT_IMPL);
      }
 else       if (cmd.equals(CMD_GET)) {
        String key=args[0];
        log.info("String_Node_Str" + key);
        JSONObject jo=gr.get(key);
        if (jo == null) {
          rsb.append(R_NOT_FOUND);
        }
 else {
          rsb.append(prepareResult(jo));
          rsb.append("String_Node_Str");
          rsb.append(R_DONE);
        }
      }
 else       if (cmd.equals(CMD_Q)) {
        String q=request.substring(request.indexOf("String_Node_Str")).trim();
        log.info("String_Node_Str" + q);
        List<JSONObject> results=gr.query(q);
        for (        JSONObject jo : results) {
          rsb.append(prepareResult(jo));
          rsb.append("String_Node_Str");
        }
        rsb.append(R_DONE);
      }
 else       if (cmd.equals(CMD_SPATH)) {
        String vFromKey=args[0];
        String vToKey=args[1];
        log.info("String_Node_Str" + vFromKey + "String_Node_Str"+ vToKey);
        List<JSONObject> results=gr.getShortestPath(vFromKey,vToKey);
        for (        JSONObject jo : results) {
          rsb.append(prepareResult(jo));
          rsb.append("String_Node_Str");
        }
        rsb.append(R_DONE);
      }
 else       if (cmd.equals(CMD_SET)) {
        String key=args[0];
        String attr=args[1];
        String val=args[2];
        log.info("String_Node_Str" + key + "String_Node_Str"+ attr+ "String_Node_Str"+ val);
        JSONObject obj=gr.get(key);
        if (null == obj) {
          rsb.append(R_NOT_FOUND);
        }
 else {
          String _type=obj.getString("String_Node_Str");
          if (_type.equals("String_Node_Str")) {
            JSONVertex jv=gr.getVertex(key);
            jv.put(attr,val);
            gr.indexObject(key,_type,jv.getJSONObject("String_Node_Str"));
            rsb.append(R_DONE);
          }
 else           if (_type.equals("String_Node_Str")) {
            JSONEdge je=gr.getEdge(key);
            je.put(attr,val);
            gr.indexObject(key,_type,je.asJSONObject().getJSONObject("String_Node_Str"));
            rsb.append(R_DONE);
          }
 else {
            rsb.append(R_ERR);
            rsb.append("String_Node_Str");
          }
        }
      }
 else       if (cmd.equals(CMD_SPY)) {
        String key=args[0];
        JSONObject obj=gr.get(key);
        if (null == obj) {
          rsb.append(R_NOT_FOUND);
        }
 else {
          String _type=obj.getString("String_Node_Str");
          if (_type.startsWith("String_Node_Str")) {
            JSONEdge je=gr.getEdge(key);
            if (null == je) {
              rsb.append(R_NOT_FOUND);
            }
 else {
              rsb.append(je.asJSONObject().toString(4) + "String_Node_Str");
              rsb.append(R_DONE);
            }
          }
 else           if (_type.startsWith("String_Node_Str")) {
            JSONVertex jv=gr.getVertex(key);
            if (null == jv) {
              rsb.append(R_NOT_FOUND);
            }
 else {
              rsb.append(jv.toString(4) + "String_Node_Str");
              rsb.append(R_DONE);
            }
          }
 else {
            rsb.append(R_ERR);
            rsb.append("String_Node_Str");
          }
        }
      }
    }
  }
  if (rsb.toString().equals("String_Node_Str")) {
    log.info("String_Node_Str" + cmd);
    rsb.append(R_UNK);
    rsb.append("String_Node_Str");
    rsb.append(cmd);
  }
  rsb.append("String_Node_Str");
  log.info("String_Node_Str" + rsb.toString());
  return rsb.toString();
}