Program: 116900
Project: 116900
Buggy source:
@RequestMapping(value="String_Node_Str",method=RequestMethod.POST) public @ResponseBody String addPath(Model model,String profileIdentifier,@RequestParam(value="String_Node_Str") String pathName,@RequestParam(value="String_Node_Str") String path,@RequestParam(value="String_Node_Str",required=false) String bodyFilter,@RequestParam(value="String_Node_Str",required=false) String contentType,@RequestParam(value="String_Node_Str",required=false) Integer requestType,@RequestParam(value="String_Node_Str",required=false) Integer[] groups,@RequestParam(value="String_Node_Str",defaultValue="String_Node_Str") Boolean global,HttpServletResponse response) throws Exception {
  int profileId=ControllerUtils.convertProfileIdentifier(profileIdentifier);
  if (pathName.equals("String_Node_Str")) {
    response.setStatus(HttpServletResponse.SC_BAD_REQUEST);
    return "String_Node_Str";
  }
  if (pathName.contains("String_Node_Str")) {
    response.setStatus(HttpServletResponse.SC_BAD_REQUEST);
    return "String_Node_Str";
  }
  int pathId=pathOverrideService.addPathnameToProfile(profileId,pathName,path);
  if (groups != null) {
    for (int j=0; j < groups.length; j++)     pathOverrideService.AddGroupByNumber(profileId,pathId,groups[j]);
  }
  pathOverrideService.setContentType(pathId,contentType);
  pathOverrideService.setRequestType(pathId,requestType);
  pathOverrideService.setGlobal(pathId,global);
  if (bodyFilter != null) {
    pathOverrideService.setBodyFilter(pathId,bodyFilter);
  }
  ObjectMapper objectMapper=new ObjectMapper();
  ObjectWriter writer=objectMapper.writer();
  return writer.writeValueAsString(pathOverrideService.getPath(pathId));
}

Fixed version (ground truth):
@RequestMapping(value="String_Node_Str",method=RequestMethod.POST) public @ResponseBody String addPath(Model model,String profileIdentifier,@RequestParam(value="String_Node_Str") String pathName,@RequestParam(value="String_Node_Str") String path,@RequestParam(value="String_Node_Str",required=false) String bodyFilter,@RequestParam(value="String_Node_Str",required=false) String contentType,@RequestParam(value="String_Node_Str",required=false) Integer requestType,@RequestParam(value="String_Node_Str",required=false) Integer[] groups,@RequestParam(value="String_Node_Str",defaultValue="String_Node_Str") Boolean global,HttpServletResponse response) throws Exception {
  int profileId=ControllerUtils.convertProfileIdentifier(profileIdentifier);
  if (pathName.equals("String_Node_Str")) {
    response.setStatus(HttpServletResponse.SC_BAD_REQUEST);
    return "String_Node_Str";
  }
  if (pathName.contains("String_Node_Str")) {
    response.setStatus(HttpServletResponse.SC_BAD_REQUEST);
    return "String_Node_Str";
  }
  try {
    Pattern pattern=Pattern.compile(path);
  }
 catch (  PatternSyntaxException pse) {
    response.setStatus(HttpServletResponse.SC_BAD_REQUEST);
    return "String_Node_Str";
  }
  int pathId=pathOverrideService.addPathnameToProfile(profileId,pathName,path);
  if (groups != null) {
    for (int j=0; j < groups.length; j++)     pathOverrideService.AddGroupByNumber(profileId,pathId,groups[j]);
  }
  pathOverrideService.setContentType(pathId,contentType);
  pathOverrideService.setRequestType(pathId,requestType);
  pathOverrideService.setGlobal(pathId,global);
  if (bodyFilter != null) {
    pathOverrideService.setBodyFilter(pathId,bodyFilter);
  }
  ObjectMapper objectMapper=new ObjectMapper();
  ObjectWriter writer=objectMapper.writer();
  return writer.writeValueAsString(pathOverrideService.getPath(pathId));
}