Program: 197819
Project: 197819
Buggy source:
void dump(PrintWriter pw,String prefix,boolean full){
  if (full) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(info.applicationInfo.packageName);
    pw.print("String_Node_Str");
    pw.println(info.processName);
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.println(proc);
  if (launchingApp != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(launchingApp);
  }
  if (full) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(uid);
    pw.print("String_Node_Str");
    pw.println(provider);
  }
  if (singleton) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(singleton);
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.println(info.authority);
  if (full) {
    if (info.isSyncable || info.multiprocess || info.initOrder != 0) {
      pw.print(prefix);
      pw.print("String_Node_Str");
      pw.print(info.isSyncable);
      pw.print("String_Node_Str");
      pw.print(info.multiprocess);
      pw.print("String_Node_Str");
      pw.println(info.initOrder);
    }
  }
  if (full) {
    if (hasExternalProcessHandles()) {
      pw.print(prefix);
      pw.print("String_Node_Str");
      pw.println(externalProcessTokenToHandle.size());
    }
  }
 else {
    if (connections.size() > 0 || externalProcessNoHandleCount > 0) {
      pw.print(prefix);
      pw.print(connections.size());
      pw.print("String_Node_Str");
      pw.print(externalProcessNoHandleCount);
      pw.println("String_Node_Str");
    }
  }
  if (connections.size() > 0) {
    if (full) {
      pw.print(prefix);
      pw.println("String_Node_Str");
    }
    for (int i=0; i < connections.size(); i++) {
      ContentProviderConnection conn=connections.get(i);
      pw.print(prefix);
      pw.print("String_Node_Str");
      pw.println(conn.toClientString());
      if (conn.provider != this) {
        pw.print(prefix);
        pw.print("String_Node_Str");
        pw.println(conn.provider);
      }
    }
  }
}

Fixed version (ground truth):
void dump(PrintWriter pw,String prefix,boolean full){
  if (full) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(info.applicationInfo.packageName);
    pw.print("String_Node_Str");
    pw.println(info.processName);
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.println(proc);
  if (launchingApp != null) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(launchingApp);
  }
  if (full) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.print(uid);
    pw.print("String_Node_Str");
    pw.println(provider);
  }
  if (singleton) {
    pw.print(prefix);
    pw.print("String_Node_Str");
    pw.println(singleton);
  }
  pw.print(prefix);
  pw.print("String_Node_Str");
  pw.println(info.authority);
  if (full) {
    if (info.isSyncable || info.multiprocess || info.initOrder != 0) {
      pw.print(prefix);
      pw.print("String_Node_Str");
      pw.print(info.isSyncable);
      pw.print("String_Node_Str");
      pw.print(info.multiprocess);
      pw.print("String_Node_Str");
      pw.println(info.initOrder);
    }
  }
  if (full) {
    if (hasExternalProcessHandles()) {
      pw.print(prefix);
      pw.print("String_Node_Str");
      if (externalProcessTokenToHandle != null) {
        pw.print("String_Node_Str");
        pw.print(externalProcessTokenToHandle.size());
      }
      if (externalProcessNoHandleCount > 0) {
        pw.print("String_Node_Str");
        pw.print(externalProcessNoHandleCount);
      }
      pw.println();
    }
  }
 else {
    if (connections.size() > 0 || externalProcessNoHandleCount > 0) {
      pw.print(prefix);
      pw.print(connections.size());
      pw.print("String_Node_Str");
      pw.print(externalProcessNoHandleCount);
      pw.println("String_Node_Str");
    }
  }
  if (connections.size() > 0) {
    if (full) {
      pw.print(prefix);
      pw.println("String_Node_Str");
    }
    for (int i=0; i < connections.size(); i++) {
      ContentProviderConnection conn=connections.get(i);
      pw.print(prefix);
      pw.print("String_Node_Str");
      pw.println(conn.toClientString());
      if (conn.provider != this) {
        pw.print(prefix);
        pw.print("String_Node_Str");
        pw.println(conn.provider);
      }
    }
  }
}