Program: 116955
Project: 116955
Buggy source:
@SuppressWarnings("String_Node_Str") public Map<String,JSONObject> alert(JSONObject raw_message){
  Map<String,JSONObject> alerts=new HashMap<String,JSONObject>();
  JSONObject content=(JSONObject)raw_message.get("String_Node_Str");
  if (!content.containsKey("String_Node_Str") || !content.containsKey("String_Node_Str")) {
    int alert_type=0;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    String alert_id=UUID.randomUUID().toString();
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  String source_ip=content.get("String_Node_Str").toString();
  String dst_ip=content.get("String_Node_Str").toString();
  if (source_ip == null && dst_ip == null) {
    int alert_type=0;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  if (!ipvalidator.isValidInet4Address(source_ip) && !ipvalidator.isValidInet4Address(dst_ip)) {
    int alert_type=1;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  String designated_host=null;
  if (loaded_whitelist.contains(source_ip))   designated_host=source_ip;
 else   if (loaded_whitelist.contains(dst_ip))   designated_host=dst_ip;
  if (designated_host == null) {
    int alert_type=3;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  if (source_ip.equals(designated_host) && !ipvalidator.isValidInet4Address(dst_ip)) {
    int alert_type=4;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (dst_ip.equals(designated_host) && !ipvalidator.isValidInet4Address(source_ip)) {
    int alert_type=5;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (loaded_blacklist.contains(source_ip)) {
    int alert_type=6;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (loaded_blacklist.contains(dst_ip)) {
    int alert_type=7;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (alerts.isEmpty())   return null;
 else   return alerts;
}

Fixed version (ground truth):
@SuppressWarnings("String_Node_Str") public Map<String,JSONObject> alert(JSONObject raw_message){
  Map<String,JSONObject> alerts=new HashMap<String,JSONObject>();
  JSONObject content=(JSONObject)raw_message.get("String_Node_Str");
  if (!content.containsKey("String_Node_Str") || !content.containsKey("String_Node_Str")) {
    int alert_type=0;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    String alert_id=UUID.randomUUID().toString();
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  String source_ip=content.get("String_Node_Str").toString();
  String dst_ip=content.get("String_Node_Str").toString();
  if (source_ip == null && dst_ip == null) {
    int alert_type=1;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  if (!ipvalidator.isValidInet4Address(source_ip) && !ipvalidator.isValidInet4Address(dst_ip)) {
    int alert_type=2;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  String designated_host=null;
  if (loaded_whitelist.contains(source_ip))   designated_host=source_ip;
 else   if (loaded_whitelist.contains(dst_ip))   designated_host=dst_ip;
  if (designated_host == null) {
    int alert_type=3;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
    return alerts;
  }
  if (source_ip.equals(designated_host) && !ipvalidator.isValidInet4Address(dst_ip)) {
    int alert_type=4;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (dst_ip.equals(designated_host) && !ipvalidator.isValidInet4Address(source_ip)) {
    int alert_type=5;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (loaded_blacklist.contains(source_ip)) {
    int alert_type=6;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (loaded_blacklist.contains(dst_ip)) {
    int alert_type=7;
    JSONObject alert=new JSONObject();
    alert.put("String_Node_Str","String_Node_Str" + alert_type);
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str","String_Node_Str");
    alert.put("String_Node_Str",designated_host);
    alert.put("String_Node_Str",source_ip);
    alert.put("String_Node_Str",dst_ip);
    alert.put("String_Node_Str","String_Node_Str" + source_ip + "String_Node_Str"+ dst_ip);
    String alert_id=generateAlertId(source_ip,dst_ip,alert_type);
    alert.put("String_Node_Str",alert_id);
    alerts.put(alert_id,alert);
  }
  if (alerts.isEmpty())   return null;
 else   return alerts;
}