Program: 45706
Project: 45706
Buggy source:
private String generateQualifiers(){
  StringBuilder ret=new StringBuilder();
  if (mcc != 0) {
    ret.append("String_Node_Str").append(String.format("String_Node_Str",mcc));
    if (mnc != 0) {
      ret.append("String_Node_Str").append(mnc);
    }
  }
  if (language[0] != '\00') {
    ret.append('-').append(language);
    if (country[0] != '\00') {
      ret.append("String_Node_Str").append(country);
    }
  }
  if (smallestScreenWidthDp != 0) {
    ret.append("String_Node_Str").append(smallestScreenWidthDp).append("String_Node_Str");
  }
  if (screenWidthDp != 0) {
    ret.append("String_Node_Str").append(screenWidthDp).append("String_Node_Str");
  }
  if (screenHeightDp != 0) {
    ret.append("String_Node_Str").append(screenHeightDp).append("String_Node_Str");
  }
switch (screenLayout & MASK_SCREENSIZE) {
case SCREENSIZE_SMALL:
    ret.append("String_Node_Str");
  break;
case SCREENSIZE_NORMAL:
ret.append("String_Node_Str");
break;
case SCREENSIZE_LARGE:
ret.append("String_Node_Str");
break;
case SCREENSIZE_XLARGE:
ret.append("String_Node_Str");
break;
}
switch (screenLayout & MASK_SCREENLONG) {
case SCREENLONG_YES:
ret.append("String_Node_Str");
break;
case SCREENLONG_NO:
ret.append("String_Node_Str");
break;
}
switch (orientation) {
case ORIENTATION_PORT:
ret.append("String_Node_Str");
break;
case ORIENTATION_LAND:
ret.append("String_Node_Str");
break;
case ORIENTATION_SQUARE:
ret.append("String_Node_Str");
break;
}
switch (uiMode & MASK_UI_MODE_TYPE) {
case UI_MODE_TYPE_CAR:
ret.append("String_Node_Str");
break;
case UI_MODE_TYPE_DESK:
ret.append("String_Node_Str");
break;
}
switch (uiMode & MASK_UI_MODE_NIGHT) {
case UI_MODE_NIGHT_YES:
ret.append("String_Node_Str");
break;
case UI_MODE_NIGHT_NO:
ret.append("String_Node_Str");
break;
}
switch (density) {
case DENSITY_DEFAULT:
break;
case DENSITY_LOW:
ret.append("String_Node_Str");
break;
case DENSITY_TV:
ret.append("String_Node_Str");
break;
case DENSITY_HIGH:
ret.append("String_Node_Str");
break;
case DENSITY_XHIGH:
ret.append("String_Node_Str");
break;
case DENSITY_NONE:
ret.append("String_Node_Str");
break;
default :
ret.append('-').append(density).append("String_Node_Str");
}
switch (touchscreen) {
case TOUCHSCREEN_NOTOUCH:
ret.append("String_Node_Str");
break;
case TOUCHSCREEN_STYLUS:
ret.append("String_Node_Str");
break;
case TOUCHSCREEN_FINGER:
ret.append("String_Node_Str");
break;
}
switch (inputFlags & MASK_KEYSHIDDEN) {
case KEYSHIDDEN_NO:
ret.append("String_Node_Str");
break;
case KEYSHIDDEN_YES:
ret.append("String_Node_Str");
break;
case KEYSHIDDEN_SOFT:
ret.append("String_Node_Str");
break;
}
switch (keyboard) {
case KEYBOARD_NOKEYS:
ret.append("String_Node_Str");
break;
case KEYBOARD_QWERTY:
ret.append("String_Node_Str");
break;
case KEYBOARD_12KEY:
ret.append("String_Node_Str");
break;
}
switch (inputFlags & MASK_NAVHIDDEN) {
case NAVHIDDEN_NO:
ret.append("String_Node_Str");
break;
case NAVHIDDEN_YES:
ret.append("String_Node_Str");
break;
}
switch (navigation) {
case NAVIGATION_NONAV:
ret.append("String_Node_Str");
break;
case NAVIGATION_DPAD:
ret.append("String_Node_Str");
break;
case NAVIGATION_TRACKBALL:
ret.append("String_Node_Str");
break;
case NAVIGATION_WHEEL:
ret.append("String_Node_Str");
break;
}
if (screenWidth != 0 && screenHeight != 0) {
if (screenWidth > screenHeight) {
ret.append(String.format("String_Node_Str",screenWidth,screenHeight));
}
 else {
ret.append(String.format("String_Node_Str",screenHeight,screenWidth));
}
}
if (sdkVersion > getNaturalSdkVersionRequirement()) {
ret.append("String_Node_Str").append(sdkVersion);
}
if (isInvalid) {
ret.append("String_Node_Str" + sErrCounter++);
}
return ret.toString();
}

Fixed version (ground truth):
private String generateQualifiers(){
  StringBuilder ret=new StringBuilder();
  if (mcc != 0) {
    ret.append("String_Node_Str").append(String.format("String_Node_Str",mcc));
    if (mnc != 0) {
      ret.append("String_Node_Str").append(mnc);
    }
  }
  if (language[0] != '\00') {
    ret.append('-').append(language);
    if (country[0] != '\00') {
      ret.append("String_Node_Str").append(country);
    }
  }
  if (smallestScreenWidthDp != 0) {
    ret.append("String_Node_Str").append(smallestScreenWidthDp).append("String_Node_Str");
  }
  if (screenWidthDp != 0) {
    ret.append("String_Node_Str").append(screenWidthDp).append("String_Node_Str");
  }
  if (screenHeightDp != 0) {
    ret.append("String_Node_Str").append(screenHeightDp).append("String_Node_Str");
  }
switch (screenLayout & MASK_SCREENSIZE) {
case SCREENSIZE_SMALL:
    ret.append("String_Node_Str");
  break;
case SCREENSIZE_NORMAL:
ret.append("String_Node_Str");
break;
case SCREENSIZE_LARGE:
ret.append("String_Node_Str");
break;
case SCREENSIZE_XLARGE:
ret.append("String_Node_Str");
break;
}
switch (screenLayout & MASK_SCREENLONG) {
case SCREENLONG_YES:
ret.append("String_Node_Str");
break;
case SCREENLONG_NO:
ret.append("String_Node_Str");
break;
}
switch (orientation) {
case ORIENTATION_PORT:
ret.append("String_Node_Str");
break;
case ORIENTATION_LAND:
ret.append("String_Node_Str");
break;
case ORIENTATION_SQUARE:
ret.append("String_Node_Str");
break;
}
switch (uiMode & MASK_UI_MODE_TYPE) {
case UI_MODE_TYPE_CAR:
ret.append("String_Node_Str");
break;
case UI_MODE_TYPE_DESK:
ret.append("String_Node_Str");
break;
case UI_MODE_TYPE_TELEVISION:
ret.append("String_Node_Str");
break;
}
switch (uiMode & MASK_UI_MODE_NIGHT) {
case UI_MODE_NIGHT_YES:
ret.append("String_Node_Str");
break;
case UI_MODE_NIGHT_NO:
ret.append("String_Node_Str");
break;
}
switch (density) {
case DENSITY_DEFAULT:
break;
case DENSITY_LOW:
ret.append("String_Node_Str");
break;
case DENSITY_MEDIUM:
ret.append("String_Node_Str");
break;
case DENSITY_HIGH:
ret.append("String_Node_Str");
break;
case DENSITY_XHIGH:
ret.append("String_Node_Str");
break;
case DENSITY_NONE:
ret.append("String_Node_Str");
break;
default :
ret.append('-').append(density).append("String_Node_Str");
}
switch (touchscreen) {
case TOUCHSCREEN_NOTOUCH:
ret.append("String_Node_Str");
break;
case TOUCHSCREEN_STYLUS:
ret.append("String_Node_Str");
break;
case TOUCHSCREEN_FINGER:
ret.append("String_Node_Str");
break;
}
switch (inputFlags & MASK_KEYSHIDDEN) {
case KEYSHIDDEN_NO:
ret.append("String_Node_Str");
break;
case KEYSHIDDEN_YES:
ret.append("String_Node_Str");
break;
case KEYSHIDDEN_SOFT:
ret.append("String_Node_Str");
break;
}
switch (keyboard) {
case KEYBOARD_NOKEYS:
ret.append("String_Node_Str");
break;
case KEYBOARD_QWERTY:
ret.append("String_Node_Str");
break;
case KEYBOARD_12KEY:
ret.append("String_Node_Str");
break;
}
switch (inputFlags & MASK_NAVHIDDEN) {
case NAVHIDDEN_NO:
ret.append("String_Node_Str");
break;
case NAVHIDDEN_YES:
ret.append("String_Node_Str");
break;
}
switch (navigation) {
case NAVIGATION_NONAV:
ret.append("String_Node_Str");
break;
case NAVIGATION_DPAD:
ret.append("String_Node_Str");
break;
case NAVIGATION_TRACKBALL:
ret.append("String_Node_Str");
break;
case NAVIGATION_WHEEL:
ret.append("String_Node_Str");
break;
}
if (screenWidth != 0 && screenHeight != 0) {
if (screenWidth > screenHeight) {
ret.append(String.format("String_Node_Str",screenWidth,screenHeight));
}
 else {
ret.append(String.format("String_Node_Str",screenHeight,screenWidth));
}
}
if (sdkVersion > getNaturalSdkVersionRequirement()) {
ret.append("String_Node_Str").append(sdkVersion);
}
if (isInvalid) {
ret.append("String_Node_Str" + sErrCounter++);
}
return ret.toString();
}