Program: 41713
Project: 41713
Buggy source:
void dump(PrintWriter pw,String prefix){
  long now=SystemClock.uptimeMillis();
  if (info.className != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(info.className);
  }
  if (info.manageSpaceActivityName != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(info.manageSpaceActivityName);
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(info.sourceDir);
  pw.print("String_Node_Str");
  pw.print(info.publicSourceDir);
  pw.print("String_Node_Str");
  pw.println(info.dataDir);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.println(pkgList);
  if (instrumentationClass != null || instrumentationProfileFile != null || instrumentationArguments != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(instrumentationClass);
    pw.print("String_Node_Str");
    pw.println(instrumentationProfileFile);
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(instrumentationArguments);
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(instrumentationInfo);
    if (instrumentationInfo != null) {
      instrumentationInfo.dump(new PrintWriterPrinter(pw),prefix + "String_Node_Str");
    }
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(thread);
  pw.print("String_Node_Str");
  pw.println(curReceiver);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(pid);
  pw.print("String_Node_Str");
  pw.print(starting);
  pw.print("String_Node_Str");
  pw.println(lastPss);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(lastActivityTime);
  pw.print("String_Node_Str");
  pw.println(lruWeight);
  pw.print("String_Node_Str");
  pw.print(hidden);
  pw.print("String_Node_Str");
  pw.println(empty);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(maxAdj);
  pw.print("String_Node_Str");
  pw.print(hiddenAdj);
  pw.print("String_Node_Str");
  pw.print(curRawAdj);
  pw.print("String_Node_Str");
  pw.print(setRawAdj);
  pw.print("String_Node_Str");
  pw.print(curAdj);
  pw.print("String_Node_Str");
  pw.println(setAdj);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(curSchedGroup);
  pw.print("String_Node_Str");
  pw.println(setSchedGroup);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(setIsForeground);
  pw.print("String_Node_Str");
  pw.print(foregroundServices);
  pw.print("String_Node_Str");
  pw.println(forcingToForeground);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(persistent);
  pw.print("String_Node_Str");
  pw.print(removed);
  pw.print("String_Node_Str");
  pw.println(persistentActivities);
  if (debugging || crashing || crashDialog != null || notResponding || anrDialog != null || bad) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(debugging);
    pw.print("String_Node_Str");
    pw.print(crashing);
    pw.print("String_Node_Str");
    pw.print(crashDialog);
    pw.print("String_Node_Str");
    pw.print(notResponding);
    pw.print("String_Node_Str");
    pw.print(anrDialog);
    pw.print("String_Node_Str");
    pw.print(bad);
    if (errorReportReceiver != null) {
      pw.print("String_Node_Str");
      pw.print(errorReportReceiver.flattenToShortString());
    }
    pw.println();
  }
  if (activities.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(activities);
  }
  if (services.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(services);
  }
  if (executingServices.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(executingServices);
  }
  if (connections.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(connections);
  }
  if (pubProviders.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(pubProviders);
  }
  if (conProviders.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(conProviders);
  }
  if (receivers.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(receivers);
  }
}

Fixed version (ground truth):
void dump(PrintWriter pw,String prefix){
  long now=SystemClock.uptimeMillis();
  if (info.className != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(info.className);
  }
  if (info.manageSpaceActivityName != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(info.manageSpaceActivityName);
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(info.sourceDir);
  pw.print("String_Node_Str");
  pw.print(info.publicSourceDir);
  pw.print("String_Node_Str");
  pw.println(info.dataDir);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.println(pkgList);
  if (instrumentationClass != null || instrumentationProfileFile != null || instrumentationArguments != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(instrumentationClass);
    pw.print("String_Node_Str");
    pw.println(instrumentationProfileFile);
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(instrumentationArguments);
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(instrumentationInfo);
    if (instrumentationInfo != null) {
      instrumentationInfo.dump(new PrintWriterPrinter(pw),prefix + "String_Node_Str");
    }
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(thread);
  pw.print("String_Node_Str");
  pw.println(curReceiver);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(pid);
  pw.print("String_Node_Str");
  pw.print(starting);
  pw.print("String_Node_Str");
  pw.println(lastPss);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(lastActivityTime);
  pw.print("String_Node_Str");
  pw.println(lruWeight);
  pw.print("String_Node_Str");
  pw.print(hidden);
  pw.print("String_Node_Str");
  pw.println(empty);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(maxAdj);
  pw.print("String_Node_Str");
  pw.print(hiddenAdj);
  pw.print("String_Node_Str");
  pw.print(curRawAdj);
  pw.print("String_Node_Str");
  pw.print(setRawAdj);
  pw.print("String_Node_Str");
  pw.print(curAdj);
  pw.print("String_Node_Str");
  pw.println(setAdj);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(curSchedGroup);
  pw.print("String_Node_Str");
  pw.println(setSchedGroup);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(setIsForeground);
  pw.print("String_Node_Str");
  pw.print(foregroundServices);
  pw.print("String_Node_Str");
  pw.println(forcingToForeground);
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.print(persistent);
  pw.print("String_Node_Str");
  pw.print(removed);
  pw.print("String_Node_Str");
  pw.println(persistentActivities);
  if (killedBackground) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(killedBackground);
  }
  if (debugging || crashing || crashDialog != null || notResponding || anrDialog != null || bad) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(debugging);
    pw.print("String_Node_Str");
    pw.print(crashing);
    pw.print("String_Node_Str");
    pw.print(crashDialog);
    pw.print("String_Node_Str");
    pw.print(notResponding);
    pw.print("String_Node_Str");
    pw.print(anrDialog);
    pw.print("String_Node_Str");
    pw.print(bad);
    if (errorReportReceiver != null) {
      pw.print("String_Node_Str");
      pw.print(errorReportReceiver.flattenToShortString());
    }
    pw.println();
  }
  if (activities.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(activities);
  }
  if (services.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(services);
  }
  if (executingServices.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(executingServices);
  }
  if (connections.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(connections);
  }
  if (pubProviders.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(pubProviders);
  }
  if (conProviders.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(conProviders);
  }
  if (receivers.size() > 0) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(receivers);
  }
}