Program: 44007
Project: 44007
Buggy source:
void doAppendField(Field field,FieldNode asmField,Document doc,Element parent){
  int mods=field.getModifiers();
  if (!Modifier.isPublic(mods) && !Modifier.isProtected(mods))   return;
  Element e=doc.createElement("String_Node_Str");
  e.setAttribute("String_Node_Str",field.getName());
  e.setAttribute("String_Node_Str",getClassName(field.getType(),true));
  e.setAttribute("String_Node_Str",getGenericTypeName(getGenericType(field)));
  e.setAttribute("String_Node_Str",Modifier.isFinal(mods) ? "String_Node_Str" : "String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isStatic(mods) ? "String_Node_Str" : "String_Node_Str");
  if (Modifier.isAbstract(mods))   e.setAttribute("String_Node_Str","String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isTransient(mods) ? "String_Node_Str" : "String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isPublic(mods) ? "String_Node_Str" : "String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isVolatile(mods) ? "String_Node_Str" : "String_Node_Str");
  setDeprecatedAttr(e,field.getDeclaredAnnotations(),e.getAttribute("String_Node_Str"));
  if (asmField == null)   System.err.println("String_Node_Str" + field);
 else   if (asmField.value != null) {
    String type=e.getAttribute("String_Node_Str");
    boolean isPublic=Modifier.isPublic(mods);
    Locale invariant=Locale.US;
    try {
      if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str") {
        double fvalue=(Float)asmField.value;
        String svalue;
        if (fvalue == Float.MIN_NORMAL)         svalue="String_Node_Str";
 else         svalue=String.format(invariant,"String_Node_Str",asmField.value);
        e.setAttribute("String_Node_Str",svalue);
      }
 else       if (type == "String_Node_Str") {
        double dvalue=(Double)asmField.value;
        String svalue;
        if (dvalue == Double.MAX_VALUE)         svalue="String_Node_Str";
 else         if (dvalue == Double.MIN_VALUE)         svalue="String_Node_Str";
 else         if (dvalue == Double.MIN_NORMAL)         svalue="String_Node_Str";
 else         if (Double.isNaN(dvalue))         svalue="String_Node_Str";
 else         if (dvalue == Double.POSITIVE_INFINITY)         svalue="String_Node_Str";
 else         if (dvalue == Double.NEGATIVE_INFINITY)         svalue="String_Node_Str";
 else         svalue=String.format(invariant,"String_Node_Str",dvalue);
        e.setAttribute("String_Node_Str",svalue);
      }
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",0 == (Integer)asmField.value ? "String_Node_Str" : "String_Node_Str");
 else       if (type == "String_Node_Str") {
        String value=(String)asmField.value;
        if (value != null)         e.setAttribute("String_Node_Str","String_Node_Str" + escapeLiteral(value.replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")) + "String_Node_Str");
      }
 else       if (Modifier.isStatic(mods) && e.getAttribute("String_Node_Str").endsWith("String_Node_Str"))       e.setAttribute("String_Node_Str","String_Node_Str");
    }
 catch (    Error exc) {
      System.err.println("String_Node_Str" + field.getName() + "String_Node_Str"+ getName()+ "String_Node_Str"+ exc.getMessage());
    }
  }
 else   if (!Modifier.isStatic(mods) && e.getAttribute("String_Node_Str").endsWith("String_Node_Str"))   e.setAttribute("String_Node_Str","String_Node_Str");
  e.appendChild(doc.createTextNode("String_Node_Str"));
  parent.appendChild(e);
}

Fixed version (ground truth):
void doAppendField(Field field,FieldNode asmField,Document doc,Element parent){
  int mods=field.getModifiers();
  if (!Modifier.isPublic(mods) && !Modifier.isProtected(mods))   return;
  Element e=doc.createElement("String_Node_Str");
  e.setAttribute("String_Node_Str",field.getName());
  e.setAttribute("String_Node_Str",getClassName(field.getType(),true));
  e.setAttribute("String_Node_Str",getGenericTypeName(getGenericType(field)));
  e.setAttribute("String_Node_Str",Modifier.isFinal(mods) ? "String_Node_Str" : "String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isStatic(mods) ? "String_Node_Str" : "String_Node_Str");
  if (Modifier.isAbstract(mods))   e.setAttribute("String_Node_Str","String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isTransient(mods) ? "String_Node_Str" : "String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isPublic(mods) ? "String_Node_Str" : "String_Node_Str");
  e.setAttribute("String_Node_Str",Modifier.isVolatile(mods) ? "String_Node_Str" : "String_Node_Str");
  setDeprecatedAttr(e,field.getDeclaredAnnotations(),e.getAttribute("String_Node_Str"));
  if (asmField == null)   System.err.println("String_Node_Str" + field);
 else   if (asmField.value != null) {
    String type=e.getAttribute("String_Node_Str");
    boolean isPublic=Modifier.isPublic(mods);
    Locale invariant=Locale.US;
    try {
      if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",String.format("String_Node_Str",asmField.value));
 else       if (type == "String_Node_Str") {
        double fvalue=(Float)asmField.value;
        String svalue;
        if (fvalue == Float.MIN_NORMAL)         svalue="String_Node_Str";
 else         svalue=String.format(invariant,"String_Node_Str",asmField.value);
        e.setAttribute("String_Node_Str",svalue);
      }
 else       if (type == "String_Node_Str") {
        double dvalue=(Double)asmField.value;
        String svalue;
        if (dvalue == Double.MAX_VALUE)         svalue="String_Node_Str";
 else         if (dvalue == Double.MIN_VALUE)         svalue="String_Node_Str";
 else         if (dvalue == Double.MIN_NORMAL)         svalue="String_Node_Str";
 else         if (Double.isNaN(dvalue))         svalue="String_Node_Str";
 else         if (dvalue == Double.POSITIVE_INFINITY)         svalue="String_Node_Str";
 else         if (dvalue == Double.NEGATIVE_INFINITY)         svalue="String_Node_Str";
 else         svalue=String.format(invariant,"String_Node_Str",dvalue);
        e.setAttribute("String_Node_Str",svalue);
      }
 else       if (type == "String_Node_Str")       e.setAttribute("String_Node_Str",0 == (Integer)asmField.value ? "String_Node_Str" : "String_Node_Str");
 else       if (type == "String_Node_Str") {
        String value=(String)asmField.value;
        if (value != null)         e.setAttribute("String_Node_Str","String_Node_Str" + escapeLiteral(value.replace("String_Node_Str","String_Node_Str").replace("String_Node_Str","String_Node_Str")) + "String_Node_Str");
      }
 else       if (Modifier.isStatic(mods) && e.getAttribute("String_Node_Str").endsWith("String_Node_Str"))       e.setAttribute("String_Node_Str","String_Node_Str");
    }
 catch (    Throwable exc) {
      System.err.println("String_Node_Str" + field.getName() + "String_Node_Str"+ getName()+ "String_Node_Str"+ exc.getMessage());
    }
  }
 else   if (!Modifier.isStatic(mods) && e.getAttribute("String_Node_Str").endsWith("String_Node_Str"))   e.setAttribute("String_Node_Str","String_Node_Str");
  e.appendChild(doc.createTextNode("String_Node_Str"));
  parent.appendChild(e);
}