Program: 187983
Project: 187983
Buggy source:
/** 
 * This is the main entry point of the program
 * @param args  Startup arguments, start the program with </code>--help</code> for details
 * @throws IOException  On I/O exception
 */
public static void main(final String... args) throws IOException {
  if (args.length == 0) {
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println();
    return;
  }
  boolean useP=false;
  int ai=0;
  int ps=1;
  for (; ; ai++)   if (args[ai].equals("String_Node_Str"))   ps=2;
 else   if (args[ai].equals("String_Node_Str"))   useP=true;
 else   break;
  if (args[ai].equals("String_Node_Str"))   ai++;
  String file=args[ai++];
  final PrintStream out=System.out;
  final BufferedImage img=ImageIO.read(new File(file));
  int w=img.getWidth() / ps;
  int h=img.getHeight() / ps;
  int maxx=0;
  int minx=w;
  int[][] pony=new int[h + 1][w];
  final int[] emptyset=new int[w];
  for (int x=0; x < w; x++)   emptyset[x]=-1;
  for (int y=0; y < h; y++) {
    boolean empty=true;
    for (int x=0; x < w; x++) {
      final int argb=img.getRGB(x * ps,y * ps);
      int a=(argb >> 24) & 0xFF;
      int r=(argb >> 16) & 0xFF;
      int g=(argb >> 8) & 0xFF;
      int b=argb & 0xFF;
      if ((0 < a) && (a < 255)) {
        r=r * a / 255 + 255 - a;
        g=g * a / 255 + 255 - a;
        b=b * a / 255 + 255 - a;
      }
      if (a != 0) {
        pony[y][x]=useP ? ((r << 16) | (g << 8) | b) : (new Colour((byte)r,(byte)g,(byte)b)).index;
        empty=false;
        if (maxx < x)         maxx=x;
        if (minx > x)         minx=x;
      }
 else       pony[y][x]=-1;
    }
    if (empty)     pony[y]=null;
  }
  int yoff=0;
  while (pony[yoff] == null)   yoff++;
  for (int y=yoff; y < h; y++)   pony[y - yoff]=pony[y];
  h-=yoff;
  while (pony[h - 1] == null)   h--;
  for (int y=0; y < h; y++)   if (pony[y] == null)   pony[y]=emptyset;
  pony[h]=emptyset;
  int fore=-1;
  int back=-1;
  minx=(minx-=1) < 0 ? 0 : minx;
  int bw=0;
  String offl=new String();
  for (int x=minx; x <= maxx; x++) {
    if (pony[0][x] >= 0)     break;
    if (x - minx > 3) {
      offl+=' ';
      bw++;
    }
  }
  if (useP)   System.out.println("String_Node_Str");
  System.out.println("String_Node_Str" + (bw + 3) + "String_Node_Str");
  System.out.println(offl + "String_Node_Str");
  System.out.println(offl + "String_Node_Str");
  System.out.println(offl + "String_Node_Str");
  for (int y=0; y < h; y+=2) {
    for (int x=minx; x <= maxx; x++) {
      final int upper=pony[y][x];
      final int lower=pony[y + 1][x];
      if ((upper < 0) && (lower < 0)) {
        if (fore >= 0)         System.out.print("String_Node_Str");
        if (back >= 0)         System.out.print("String_Node_Str");
        fore=back=-1;
        System.out.print(' ');
      }
 else       if (upper < 0) {
        if (back >= 0)         System.out.print("String_Node_Str");
        back=-1;
        if (fore != lower)         if (useP)         System.out.print(getOSIPCode(fore=lower,false));
 else         System.out.print("String_Node_Str" + (fore=lower) + "String_Node_Str");
        System.out.print('▄');
      }
 else       if (lower < 0) {
        if (back >= 0)         System.out.print("String_Node_Str");
        back=-1;
        if (fore != upper)         if (useP)         System.out.print(getOSIPCode(fore=upper,false));
 else         System.out.print("String_Node_Str" + (fore=upper) + "String_Node_Str");
        System.out.print('▀');
      }
 else       if ((back == lower) || (fore == upper)) {
        if (fore != upper)         if (useP)         System.out.print(getOSIPCode(fore=upper,false));
 else         System.out.print("String_Node_Str" + (fore=upper) + "String_Node_Str");
        if (back != lower)         if (useP)         System.out.print(getOSIPCode(back=lower,true));
 else         System.out.print("String_Node_Str" + (back=lower) + "String_Node_Str");
        System.out.print('▀');
      }
 else {
        if (back != upper)         if (useP)         System.out.print(getOSIPCode(back=upper,true));
 else         System.out.print("String_Node_Str" + (back=upper) + "String_Node_Str");
        if (fore != lower)         if (useP)         System.out.print(getOSIPCode(fore=lower,false));
 else         System.out.print("String_Node_Str" + (fore=lower) + "String_Node_Str");
        System.out.print('▄');
      }
    }
    fore=back=-1;
    if (useP) {
      System.out.print("String_Node_Str");
      System.out.print("String_Node_Str");
    }
    System.out.println("String_Node_Str");
  }
}

Fixed version (ground truth):
/** 
 * This is the main entry point of the program
 * @param args  Startup arguments, start the program with </code>--help</code> for details
 * @throws IOException  On I/O exception
 */
public static void main(final String... args) throws IOException {
  if (args.length == 0) {
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str");
    System.out.println();
    System.out.println();
    return;
  }
  boolean useP=false;
  boolean useC=false;
  int ai=0;
  int ps=1;
  double cw=1;
  String file=null;
  for (; ai < args.length; ai++)   if (args[ai].equals("String_Node_Str"))   ps=2;
 else   if (args[ai].equals("String_Node_Str"))   useP=true;
 else   if (args[ai].equals("String_Node_Str")) {
    useC=true;
    cw=Double.valueOf(args[++ai]);
  }
 else   if (args[ai].equals("String_Node_Str")) {
    ai++;
    break;
  }
 else   file=args[ai];
  if (useC && useP) {
    System.err.print("String_Node_Str");
    System.err.println("String_Node_Str");
    System.exit(-1);
  }
  if (file == null)   file=args[ai++];
  final PrintStream out=System.out;
  final BufferedImage img=ImageIO.read(new File(file));
  int w=img.getWidth() / ps;
  int h=img.getHeight() / ps;
  int maxx=0;
  int minx=w;
  int[][] pony=new int[h + 1][w];
  final int[] emptyset=new int[w];
  for (int x=0; x < w; x++)   emptyset[x]=-1;
  for (int y=0; y < h; y++) {
    boolean empty=true;
    for (int x=0; x < w; x++) {
      final int argb=img.getRGB(x * ps,y * ps);
      int a=(argb >> 24) & 0xFF;
      int r=(argb >> 16) & 0xFF;
      int g=(argb >> 8) & 0xFF;
      int b=argb & 0xFF;
      if ((0 < a) && (a < 255)) {
        r=r * a / 255 + 255 - a;
        g=g * a / 255 + 255 - a;
        b=b * a / 255 + 255 - a;
      }
      if (a != 0) {
        if (useP)         pony[y][x]=((r << 16) | (g << 8) | b);
 else         if (useC)         pony[y][x]=(new Colour(r,g,b,cw)).index;
 else         pony[y][x]=(new Colour(r,g,b)).index;
        empty=false;
        if (maxx < x)         maxx=x;
        if (minx > x)         minx=x;
      }
 else       pony[y][x]=-1;
    }
    if (empty)     pony[y]=null;
  }
  int yoff=0;
  while (pony[yoff] == null)   yoff++;
  for (int y=yoff; y < h; y++)   pony[y - yoff]=pony[y];
  h-=yoff;
  while (pony[h - 1] == null)   h--;
  for (int y=0; y < h; y++)   if (pony[y] == null)   pony[y]=emptyset;
  pony[h]=emptyset;
  int fore=-1;
  int back=-1;
  minx=(minx-=1) < 0 ? 0 : minx;
  int bw=0;
  String offl=new String();
  for (int x=minx; x <= maxx; x++) {
    if (pony[0][x] >= 0)     break;
    if (x - minx > 3) {
      offl+=' ';
      bw++;
    }
  }
  if (useP)   System.out.println("String_Node_Str");
  System.out.println("String_Node_Str" + (bw + 3) + "String_Node_Str");
  System.out.println(offl + "String_Node_Str");
  System.out.println(offl + "String_Node_Str");
  System.out.println(offl + "String_Node_Str");
  for (int y=0; y < h; y+=2) {
    for (int x=minx; x <= maxx; x++) {
      final int upper=pony[y][x];
      final int lower=pony[y + 1][x];
      if ((upper < 0) && (lower < 0)) {
        if (fore >= 0)         System.out.print("String_Node_Str");
        if (back >= 0)         System.out.print("String_Node_Str");
        fore=back=-1;
        System.out.print(' ');
      }
 else       if (upper < 0) {
        if (back >= 0)         System.out.print("String_Node_Str");
        back=-1;
        if (fore != lower)         if (useP)         System.out.print(getOSIPCode(fore=lower,false));
 else         System.out.print("String_Node_Str" + (fore=lower) + "String_Node_Str");
        System.out.print('▄');
      }
 else       if (lower < 0) {
        if (back >= 0)         System.out.print("String_Node_Str");
        back=-1;
        if (fore != upper)         if (useP)         System.out.print(getOSIPCode(fore=upper,false));
 else         System.out.print("String_Node_Str" + (fore=upper) + "String_Node_Str");
        System.out.print('▀');
      }
 else       if ((back == lower) || (fore == upper)) {
        if (fore != upper)         if (useP)         System.out.print(getOSIPCode(fore=upper,false));
 else         System.out.print("String_Node_Str" + (fore=upper) + "String_Node_Str");
        if (back != lower)         if (useP)         System.out.print(getOSIPCode(back=lower,true));
 else         System.out.print("String_Node_Str" + (back=lower) + "String_Node_Str");
        System.out.print('▀');
      }
 else {
        if (back != upper)         if (useP)         System.out.print(getOSIPCode(back=upper,true));
 else         System.out.print("String_Node_Str" + (back=upper) + "String_Node_Str");
        if (fore != lower)         if (useP)         System.out.print(getOSIPCode(fore=lower,false));
 else         System.out.print("String_Node_Str" + (fore=lower) + "String_Node_Str");
        System.out.print('▄');
      }
    }
    fore=back=-1;
    if (useP) {
      System.out.print("String_Node_Str");
      System.out.print("String_Node_Str");
    }
    System.out.println("String_Node_Str");
  }
}