Program: 46645
Project: 46645
Buggy source:
@Override protected void doGet(HttpServletRequest req,HttpServletResponse resp) throws ServletException, IOException {
  if (req.getRequestURI().endsWith("String_Node_Str")) {
    resp.sendRedirect("String_Node_Str");
    return;
  }
  if (req.getRequestURI().endsWith("String_Node_Str")) {
    HttpSession session=req.getSession(false);
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value.toString());
    return;
  }
  HttpSession session=req.getSession();
  if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.putValue("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute(null,"String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    Object value=session.getValue("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.removeAttribute("String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.removeValue("String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str",null);
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.invalidate();
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    session=req.getSession();
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    List<String> names=Collections.list(session.getAttributeNames());
    String nameList=names.toString();
    resp.getWriter().write(nameList.substring(1,nameList.length() - 1).replace("String_Node_Str","String_Node_Str"));
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.invalidate();
    session=req.getSession();
    session.setAttribute("String_Node_Str","String_Node_Str");
    session.setAttribute("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session=req.getSession();
    session.setMaxInactiveInterval(1);
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session=req.getSession();
    resp.getWriter().write(session.isNew() == true ? "String_Node_Str" : "String_Node_Str");
  }
 else   if (req.getRequestURI().contains("String_Node_Str")) {
    Enumeration<String> itParams=req.getParameterNames();
    while (itParams.hasMoreElements()) {
      String param=itParams.nextElement();
      Object value=req.getParameter(param);
      session.setAttribute(param,value);
    }
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().contains("String_Node_Str")) {
    Enumeration<String> itParams=req.getParameterNames();
    while (itParams.hasMoreElements()) {
      String param=itParams.nextElement();
      Object value=req.getParameter(param);
      session.setAttribute(param,value);
    }
    resp.getWriter().write("String_Node_Str");
  }
}

Fixed version (ground truth):
@Override protected void doGet(HttpServletRequest req,HttpServletResponse resp) throws ServletException, IOException {
  if (req.getRequestURI().endsWith("String_Node_Str")) {
    resp.sendRedirect("String_Node_Str");
    return;
  }
  if (req.getRequestURI().endsWith("String_Node_Str")) {
    HttpSession session=req.getSession(false);
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value.toString());
    return;
  }
  HttpSession session=req.getSession();
  if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.putValue("String_Node_Str","String_Node_Str");
    try {
      Thread.sleep(2000);
    }
 catch (    InterruptedException e) {
      e.printStackTrace();
    }
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.putValue("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute(null,"String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    Object value=session.getValue("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.removeAttribute("String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.removeValue("String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str",null);
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.invalidate();
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    session=req.getSession();
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    List<String> names=Collections.list(session.getAttributeNames());
    String nameList=names.toString();
    resp.getWriter().write(nameList.substring(1,nameList.length() - 1).replace("String_Node_Str","String_Node_Str"));
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.setAttribute("String_Node_Str","String_Node_Str");
    Object value=session.getAttribute("String_Node_Str");
    resp.getWriter().write(value == null ? "String_Node_Str" : value.toString());
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session.invalidate();
    session=req.getSession();
    session.setAttribute("String_Node_Str","String_Node_Str");
    session.setAttribute("String_Node_Str","String_Node_Str");
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session=req.getSession();
    session.setMaxInactiveInterval(1);
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().endsWith("String_Node_Str")) {
    session=req.getSession();
    resp.getWriter().write(session.isNew() == true ? "String_Node_Str" : "String_Node_Str");
  }
 else   if (req.getRequestURI().contains("String_Node_Str")) {
    Enumeration<String> itParams=req.getParameterNames();
    while (itParams.hasMoreElements()) {
      String param=itParams.nextElement();
      Object value=req.getParameter(param);
      session.setAttribute(param,value);
    }
    resp.getWriter().write("String_Node_Str");
  }
 else   if (req.getRequestURI().contains("String_Node_Str")) {
    Enumeration<String> itParams=req.getParameterNames();
    while (itParams.hasMoreElements()) {
      String param=itParams.nextElement();
      Object value=req.getParameter(param);
      session.setAttribute(param,value);
    }
    resp.getWriter().write("String_Node_Str");
  }
}