Program: 93674
Project: 93674
Buggy source:
private static TreeMap<String,String> getPaginationLinks(HttpServerExchange exchange,RequestContext context,long size) throws IllegalQueryParamenterException {
  String requestPath=URLUtilis.getRequestPath(exchange);
  String queryString=exchange.getQueryString();
  int page=context.getPage();
  int pagesize=context.getPagesize();
  int totalPages=0;
  if (size > 0) {
    float _size=size + 0f;
    float _pagesize=pagesize + 0f;
    totalPages=Math.max(1,Math.round(Math.nextUp(_size / _pagesize)));
  }
  TreeMap<String,String> links=new TreeMap<>();
  if (queryString == null || queryString.isEmpty()) {
    links.put("String_Node_Str",requestPath);
    links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
  }
 else {
    String queryString2=removePagingParamsFromQueryString(queryString,exchange.getQueryParameters().get("String_Node_Str"),exchange.getQueryParameters().get("String_Node_Str"));
    links.put("String_Node_Str",requestPath + "String_Node_Str" + queryString2);
    if (queryString2 == null || queryString2.isEmpty()) {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize);
      links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page > 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize));
      }
    }
 else {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize+ "String_Node_Str"+ queryString2);
      if (totalPages <= 0) {
        links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
      }
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page >= 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize)+ "String_Node_Str"+ queryString2);
      }
    }
  }
  return links;
}

Fixed version (ground truth):
private static TreeMap<String,String> getPaginationLinks(HttpServerExchange exchange,RequestContext context,long size) throws IllegalQueryParamenterException {
  String requestPath=URLUtilis.getRequestPath(exchange);
  String queryString=exchange.getQueryString();
  int page=context.getPage();
  int pagesize=context.getPagesize();
  int totalPages=0;
  if (size > 0) {
    float _size=size + 0f;
    float _pagesize=pagesize + 0f;
    totalPages=Math.max(1,Math.round(Math.nextUp(_size / _pagesize)));
  }
  TreeMap<String,String> links=new TreeMap<>();
  if (queryString == null || queryString.isEmpty()) {
    links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
  }
 else {
    String queryString2=removePagingParamsFromQueryString(queryString,exchange.getQueryParameters().get("String_Node_Str"),exchange.getQueryParameters().get("String_Node_Str"));
    if (queryString2 == null || queryString2.isEmpty()) {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize);
      links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page > 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize));
      }
    }
 else {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize+ "String_Node_Str"+ queryString2);
      if (totalPages <= 0) {
        links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
      }
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryString2);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page >= 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize)+ "String_Node_Str"+ queryString2);
      }
    }
  }
  return links;
}