Program: 34735
Project: 34735
Buggy source:
@Override public SwaggerParseResult readContents(String swaggerAsString,OpenAPI startingModel,List<AuthorizationValue> auth,ParseOptions options){
  SwaggerParseResult result=new SwaggerParseResult();
  if (swaggerAsString != null && !"String_Node_Str".equals(swaggerAsString.trim())) {
    ObjectMapper mapper=getRightMapper(swaggerAsString);
    if (auth == null) {
      auth=new ArrayList<>();
    }
    if (options != null) {
      if (options.isResolve()) {
        try {
          OpenAPIDeserializer deserializer=new OpenAPIDeserializer();
          JsonNode rootNode=mapper.readTree(swaggerAsString.getBytes());
          result=deserializer.deserialize(rootNode,startingModel);
          OpenAPIResolver resolver=new OpenAPIResolver(result.getOpenAPI(),auth,null);
          result.setOpenAPI(resolver.resolve());
        }
 catch (        Exception e) {
          result.setMessages(Arrays.asList(e.getMessage()));
        }
      }
 else {
        try {
          JsonNode rootNode=mapper.readTree(swaggerAsString.getBytes());
          result=new OpenAPIDeserializer().deserialize(rootNode,null);
        }
 catch (        Exception e) {
          result.setMessages(Arrays.asList(e.getMessage()));
        }
      }
      if (options.isResolveFully()) {
        result.setOpenAPI(new OpenAPIResolver(result.getOpenAPI(),auth,null).resolve());
        new ResolverFully(options.isResolveCombinators()).resolveFully(result.getOpenAPI());
      }
      if (options.isFlatten()) {
        new InlineModelResolver().flatten(result.getOpenAPI());
      }
    }
 else {
      try {
        JsonNode rootNode=mapper.readTree(swaggerAsString.getBytes());
        result=new OpenAPIDeserializer().deserialize(rootNode,null);
      }
 catch (      Exception e) {
        result.setMessages(Arrays.asList(e.getMessage()));
      }
    }
  }
 else {
    result.setMessages(Arrays.asList("String_Node_Str"));
  }
  return result;
}

Fixed version (ground truth):
@Override public SwaggerParseResult readContents(String swaggerAsString,OpenAPI startingModel,List<AuthorizationValue> auth,ParseOptions options){
  SwaggerParseResult result=new SwaggerParseResult();
  if (swaggerAsString != null && !"String_Node_Str".equals(swaggerAsString.trim())) {
    ObjectMapper mapper=getRightMapper(swaggerAsString);
    if (auth == null) {
      auth=new ArrayList<>();
    }
    if (options != null) {
      if (options.isResolve()) {
        try {
          OpenAPIDeserializer deserializer=new OpenAPIDeserializer();
          JsonNode rootNode=mapper.readTree(swaggerAsString.getBytes());
          result=deserializer.deserialize(rootNode,startingModel);
          OpenAPIResolver resolver=new OpenAPIResolver(result.getOpenAPI(),auth,null);
          result.setOpenAPI(resolver.resolve());
        }
 catch (        Exception e) {
          result.setMessages(Arrays.asList(e.getMessage()));
        }
      }
 else {
        try {
          JsonNode rootNode=mapper.readTree(swaggerAsString.getBytes());
          result=new OpenAPIDeserializer().deserialize(rootNode,startingModel);
        }
 catch (        Exception e) {
          result.setMessages(Arrays.asList(e.getMessage()));
        }
      }
      if (options.isResolveFully()) {
        result.setOpenAPI(new OpenAPIResolver(result.getOpenAPI(),auth,null).resolve());
        new ResolverFully(options.isResolveCombinators()).resolveFully(result.getOpenAPI());
      }
      if (options.isFlatten()) {
        new InlineModelResolver().flatten(result.getOpenAPI());
      }
    }
 else {
      try {
        JsonNode rootNode=mapper.readTree(swaggerAsString.getBytes());
        result=new OpenAPIDeserializer().deserialize(rootNode,startingModel);
      }
 catch (      Exception e) {
        result.setMessages(Arrays.asList(e.getMessage()));
      }
    }
  }
 else {
    result.setMessages(Arrays.asList("String_Node_Str"));
  }
  return result;
}