Program: 93462
Project: 93462
Buggy source:
/** 
 * @param exchange
 * @param context
 * @param size
 * @return
 * @throws IllegalQueryParamenterException
 */
public static TreeMap<String,String> getPaginationLinks(HttpServerExchange exchange,RequestContext context,long size) throws IllegalQueryParamenterException {
  String requestPath=URLUtils.removeTrailingSlashes(exchange.getRequestPath());
  String queryString=URLUtils.decodeQueryString(exchange.getQueryString());
  int page=context.getPage();
  int pagesize=context.getPagesize();
  long totalPages=0;
  if (size >= 0) {
    float _size=size + 0f;
    float _pagesize=pagesize + 0f;
    totalPages=Math.max(1,Math.round(Math.ceil(_size / _pagesize)));
  }
  TreeMap<String,String> links=new TreeMap<>();
  if (queryString == null || queryString.isEmpty()) {
    if (totalPages > 0 && page < totalPages) {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
    }
  }
 else {
    String queryStringNoPagingProps=URLUtils.decodeQueryString(URLUtils.getQueryStringRemovingParams(exchange,"String_Node_Str","String_Node_Str"));
    if (queryStringNoPagingProps == null || queryStringNoPagingProps.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"+ queryStringNoPagingProps);
        }
 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"+ queryStringNoPagingProps);
      if (totalPages <= 0) {
        links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
      }
      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"+ queryStringNoPagingProps);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
      }
      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"+ queryStringNoPagingProps);
      }
    }
  }
  return links;
}

Fixed version (ground truth):
/** 
 * @param exchange
 * @param context
 * @param size
 * @return
 * @throws IllegalQueryParamenterException
 */
public static TreeMap<String,String> getPaginationLinks(HttpServerExchange exchange,RequestContext context,long size) throws IllegalQueryParamenterException {
  String requestPath=URLUtils.removeTrailingSlashes(exchange.getRequestPath());
  String queryString=URLUtils.decodeQueryString(exchange.getQueryString());
  int page=context.getPage();
  int pagesize=context.getPagesize();
  long totalPages=0;
  if (size >= 0) {
    float _size=size + 0f;
    float _pagesize=pagesize + 0f;
    totalPages=Math.max(1,Math.round(Math.ceil(_size / _pagesize)));
  }
  TreeMap<String,String> links=new TreeMap<>();
  if (queryString == null || queryString.isEmpty()) {
    if (totalPages > 0 && page < totalPages) {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
    }
  }
 else {
    String queryStringNoPagingProps=URLUtils.decodeQueryString(URLUtils.getQueryStringRemovingParams(exchange,"String_Node_Str","String_Node_Str"));
    if (queryStringNoPagingProps == null || queryStringNoPagingProps.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"+ queryStringNoPagingProps);
        }
 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"+ queryStringNoPagingProps);
      if (totalPages <= 0) {
        links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
      }
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + (totalPages == 1 ? "String_Node_Str" : "String_Node_Str")+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + (totalPages == 1 ? "String_Node_Str" : "String_Node_Str")+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
      }
      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"+ queryStringNoPagingProps);
      }
    }
  }
  return links;
}