Program: 15266
Project: 15266
Buggy source:
private static String printBanner(){
  String prefix="String_Node_Str";
  String headerHeader="String_Node_Str";
  String headerFormat="String_Node_Str";
  String headerFooter="String_Node_Str";
  String banner="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  banner+="String_Node_Str" + singleton.getVersion() + "String_Node_Str";
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  Bootstrap.Stage stage : Bootstrap.Stage.values()) {
    banner+=prefix + stage.name() + SEP+ stage.describe().replaceAll("String_Node_Str","String_Node_Str" + prefix + stage.name()+ SEP).replaceAll("String_Node_Str","String_Node_Str");
  }
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  Component c : Components.list()) {
    if (c.isAvailableLocally()) {
      for (      Bootstrapper b : c.getBootstrapper().getBootstrappers()) {
        banner+=prefix + String.format("String_Node_Str",c.getName()) + SEP+ b.toString();
      }
    }
  }
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  Component c : Components.list()) {
    if (c.hasLocalService()) {
      ServiceConfiguration localConfig=c.getLocalServiceConfiguration();
      banner+=prefix + c.getName() + SEP+ localConfig.toString();
      banner+=prefix + c.getName() + SEP+ localConfig.lookupBuilder().toString();
      banner+=prefix + c.getName() + SEP+ localConfig.getComponentId().toString();
      banner+=prefix + c.getName() + SEP+ localConfig.lookupStateMachine().getState().toString();
    }
  }
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  NetworkInterface iface : Internets.getNetworkInterfaces()) {
    banner+=prefix + iface.getDisplayName() + SEP+ Lists.transform(iface.getInterfaceAddresses(),Functions.toStringFunction());
    for (    InetAddress addr : Lists.newArrayList(Iterators.forEnumeration(iface.getInetAddresses()))) {
      banner+=prefix + iface.getDisplayName() + SEP+ addr;
    }
  }
  LOG.info(banner);
  return banner;
}

Fixed version (ground truth):
private static String printBanner(){
  String prefix="String_Node_Str";
  String headerHeader="String_Node_Str";
  String headerFormat="String_Node_Str";
  String headerFooter="String_Node_Str";
  String banner="String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str";
  banner+="String_Node_Str" + singleton.getVersion() + "String_Node_Str";
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  Bootstrap.Stage stage : Bootstrap.Stage.values()) {
    banner+=prefix + stage.name() + SEP+ stage.describe().replaceAll("String_Node_Str","String_Node_Str" + prefix + stage.name()+ SEP).replaceAll("String_Node_Str","String_Node_Str");
  }
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  Component c : Components.list()) {
    if (c.isAvailableLocally()) {
      for (      Bootstrapper b : c.getBootstrapper().getBootstrappers()) {
        banner+=prefix + String.format("String_Node_Str",c.getName()) + SEP+ b.toString();
      }
    }
  }
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  Component c : Components.list()) {
    if (c.hasLocalService()) {
      ServiceConfiguration localConfig=c.getLocalServiceConfiguration();
      banner+=prefix + c.getName() + SEP+ localConfig.toString();
      banner+=prefix + c.getName() + SEP+ localConfig.lookupBuilder().toString();
      banner+=prefix + c.getName() + SEP+ localConfig.getComponentId().toString();
      banner+=prefix + c.getName() + SEP+ localConfig.lookupState().toString();
    }
  }
  banner+=headerHeader + String.format(headerFormat,"String_Node_Str") + headerFooter;
  for (  NetworkInterface iface : Internets.getNetworkInterfaces()) {
    banner+=prefix + iface.getDisplayName() + SEP+ Lists.transform(iface.getInterfaceAddresses(),Functions.toStringFunction());
    for (    InetAddress addr : Lists.newArrayList(Iterators.forEnumeration(iface.getInetAddresses()))) {
      banner+=prefix + iface.getDisplayName() + SEP+ addr;
    }
  }
  LOG.info(banner);
  return banner;
}