Program: 58364
Project: 58364
Buggy source:
@Override public boolean encode(){
  String zip="String_Node_Str";
  String zip_adder;
  String tracker="String_Node_Str";
  int i, j;
  int length=content.length();
  BigInteger accum;
  BigInteger x_reg;
  BigInteger mask;
  int usps_crc;
  int[] codeword=new int[10];
  int[] characters=new int[10];
  boolean[] bar_map=new boolean[130];
  char c;
  if (!content.matches("String_Node_Str")) {
    error_msg="String_Node_Str";
    return false;
  }
  if (length > 32) {
    error_msg="String_Node_Str";
    return false;
  }
  j=0;
  for (i=0; i < length; i++) {
    if (content.charAt(i) == '-') {
      j=1;
    }
 else {
      if (j == 0) {
        tracker+=content.charAt(i);
      }
 else {
        zip+=content.charAt(i);
      }
    }
  }
  if (tracker.length() != 20) {
    error_msg="String_Node_Str";
    return false;
  }
  if (zip.length() > 11) {
    error_msg="String_Node_Str";
    return false;
  }
  if (zip.length() > 0) {
    x_reg=new BigInteger(zip);
  }
 else {
    x_reg=new BigInteger("String_Node_Str");
  }
  if (zip.length() > 9) {
    zip_adder="String_Node_Str";
  }
 else {
    if (zip.length() > 5) {
      zip_adder="String_Node_Str";
    }
 else {
      if (zip.length() > 0) {
        zip_adder="String_Node_Str";
      }
 else {
        zip_adder="String_Node_Str";
      }
    }
  }
  accum=new BigInteger(zip_adder);
  accum=accum.add(x_reg);
  accum=accum.multiply(BigInteger.valueOf(10));
  accum=accum.add(BigInteger.valueOf(Character.getNumericValue(tracker.charAt(0))));
  accum=accum.multiply(BigInteger.valueOf(5));
  accum=accum.add(BigInteger.valueOf(Character.getNumericValue(tracker.charAt(1))));
  for (i=2; i < tracker.length(); i++) {
    accum=accum.multiply(BigInteger.valueOf(10));
    accum=accum.add(BigInteger.valueOf(Character.getNumericValue(tracker.charAt(i))));
  }
  for (i=0; i < 13; i++) {
    mask=accum.shiftRight(96 - (8 * i));
    mask=mask.and(new BigInteger("String_Node_Str"));
    byte_array[i]=mask.intValue();
  }
  usps_crc=USPS_MSB_Math_CRC11GenerateFrameCheckSequence();
  x_reg=accum.mod(BigInteger.valueOf(636));
  codeword[9]=x_reg.intValue();
  accum=accum.subtract(x_reg);
  accum=accum.divide(BigInteger.valueOf(636));
  for (i=8; i >= 0; i--) {
    x_reg=accum.mod(BigInteger.valueOf(1365));
    codeword[i]=x_reg.intValue();
    accum=accum.subtract(x_reg);
    accum=accum.divide(BigInteger.valueOf(1365));
  }
  for (i=0; i < 9; i++) {
    if (codeword[i] == 1365) {
      codeword[i]=0;
    }
  }
  codeword[9]=codeword[9] * 2;
  if (usps_crc >= 1024) {
    codeword[0]+=659;
  }
  encodeInfo+="String_Node_Str";
  for (i=0; i < 10; i++) {
    encodeInfo+=Integer.toString(codeword[i]) + "String_Node_Str";
  }
  encodeInfo+="String_Node_Str";
  for (i=0; i < 10; i++) {
    if (codeword[i] < 1287) {
      characters[i]=AppxD_I[codeword[i]];
    }
 else {
      characters[i]=AppxD_II[codeword[i] - 1287];
    }
  }
  for (i=0; i < 10; i++) {
    if ((usps_crc & (1 << i)) != 0) {
      characters[i]=0x1FFF - characters[i];
    }
  }
  for (i=0; i < 10; i++) {
    for (j=0; j < 13; j++) {
      if ((characters[i] & (1 << j)) == 0) {
        bar_map[AppxD_IV[(13 * i) + j] - 1]=false;
      }
 else {
        bar_map[AppxD_IV[(13 * i) + j] - 1]=true;
      }
    }
  }
  readable="String_Node_Str";
  pattern=new String[1];
  row_count=1;
  row_height=new int[1];
  row_height[0]=-1;
  pattern[0]="String_Node_Str";
  for (i=0; i < 65; i++) {
    c='T';
    if (bar_map[i]) {
      c='D';
    }
    if (bar_map[i + 65]) {
      c='A';
    }
    if (bar_map[i] && bar_map[i + 65]) {
      c='F';
    }
    pattern[0]+=c;
  }
  encodeInfo+="String_Node_Str" + pattern[0] + "String_Node_Str";
  plotSymbol();
  return true;
}

Fixed version (ground truth):
@Override public boolean encode(){
  String zip="String_Node_Str";
  String zip_adder;
  String tracker="String_Node_Str";
  int i, j;
  int length=content.length();
  BigInteger accum;
  BigInteger x_reg;
  BigInteger mask;
  int usps_crc;
  int[] codeword=new int[10];
  int[] characters=new int[10];
  boolean[] bar_map=new boolean[130];
  char c;
  if (!content.matches("String_Node_Str")) {
    error_msg="String_Node_Str";
    return false;
  }
  if (length > 32) {
    error_msg="String_Node_Str";
    return false;
  }
  j=0;
  for (i=0; i < length; i++) {
    if (content.charAt(i) == '-') {
      j=1;
    }
 else {
      if (j == 0) {
        tracker+=content.charAt(i);
      }
 else {
        zip+=content.charAt(i);
      }
    }
  }
  if (tracker.length() != 20) {
    error_msg="String_Node_Str";
    return false;
  }
  if (zip.length() > 11) {
    error_msg="String_Node_Str";
    return false;
  }
  if (zip.length() > 0) {
    x_reg=new BigInteger(zip);
  }
 else {
    x_reg=new BigInteger("String_Node_Str");
  }
  if (zip.length() > 9) {
    zip_adder="String_Node_Str";
  }
 else {
    if (zip.length() > 5) {
      zip_adder="String_Node_Str";
    }
 else {
      if (zip.length() > 0) {
        zip_adder="String_Node_Str";
      }
 else {
        zip_adder="String_Node_Str";
      }
    }
  }
  accum=new BigInteger(zip_adder);
  accum=accum.add(x_reg);
  accum=accum.multiply(BigInteger.valueOf(10));
  accum=accum.add(BigInteger.valueOf(Character.getNumericValue(tracker.charAt(0))));
  accum=accum.multiply(BigInteger.valueOf(5));
  accum=accum.add(BigInteger.valueOf(Character.getNumericValue(tracker.charAt(1))));
  for (i=2; i < tracker.length(); i++) {
    accum=accum.multiply(BigInteger.valueOf(10));
    accum=accum.add(BigInteger.valueOf(Character.getNumericValue(tracker.charAt(i))));
  }
  for (i=0; i < 13; i++) {
    mask=accum.shiftRight(96 - (8 * i));
    mask=mask.and(new BigInteger("String_Node_Str"));
    byte_array[i]=mask.intValue();
  }
  usps_crc=USPS_MSB_Math_CRC11GenerateFrameCheckSequence();
  x_reg=accum.mod(BigInteger.valueOf(636));
  codeword[9]=x_reg.intValue();
  accum=accum.subtract(x_reg);
  accum=accum.divide(BigInteger.valueOf(636));
  for (i=8; i >= 0; i--) {
    x_reg=accum.mod(BigInteger.valueOf(1365));
    codeword[i]=x_reg.intValue();
    accum=accum.subtract(x_reg);
    accum=accum.divide(BigInteger.valueOf(1365));
  }
  for (i=0; i < 9; i++) {
    if (codeword[i] == 1365) {
      codeword[i]=0;
    }
  }
  codeword[9]=codeword[9] * 2;
  if (usps_crc >= 1024) {
    codeword[0]+=659;
  }
  encodeInfo+="String_Node_Str";
  for (i=0; i < 10; i++) {
    encodeInfo+=Integer.toString(codeword[i]) + "String_Node_Str";
  }
  encodeInfo+="String_Node_Str";
  for (i=0; i < 10; i++) {
    if (codeword[i] < 1287) {
      characters[i]=AppxD_I[codeword[i]];
    }
 else {
      characters[i]=AppxD_II[codeword[i] - 1287];
    }
  }
  for (i=0; i < 10; i++) {
    if ((usps_crc & (1 << i)) != 0) {
      characters[i]=0x1FFF - characters[i];
    }
  }
  for (i=0; i < 10; i++) {
    for (j=0; j < 13; j++) {
      if ((characters[i] & (1 << j)) == 0) {
        bar_map[AppxD_IV[(13 * i) + j] - 1]=false;
      }
 else {
        bar_map[AppxD_IV[(13 * i) + j] - 1]=true;
      }
    }
  }
  readable=content;
  pattern=new String[1];
  row_count=1;
  row_height=new int[1];
  row_height[0]=-1;
  pattern[0]="String_Node_Str";
  for (i=0; i < 65; i++) {
    c='T';
    if (bar_map[i]) {
      c='D';
    }
    if (bar_map[i + 65]) {
      c='A';
    }
    if (bar_map[i] && bar_map[i + 65]) {
      c='F';
    }
    pattern[0]+=c;
  }
  encodeInfo+="String_Node_Str" + pattern[0] + "String_Node_Str";
  plotSymbol();
  return true;
}