Program: 84709
Project: 84709
Buggy source:
private static int readTypeList(String desc,int start,ITypeList list){
  int array=0;
  char c;
  while ((c=desc.charAt(start)) == '[') {
    array++;
    start++;
  }
switch (c) {
case 'V':
    list.addType(ArrayType.getArrayType(Types.VOID,array));
  return start + 1;
case 'Z':
list.addType(ArrayType.getArrayType(Types.BOOLEAN,array));
return start + 1;
case 'B':
list.addType(ArrayType.getArrayType(Types.BYTE,array));
return start + 1;
case 'C':
list.addType(ArrayType.getArrayType(Types.CHAR,array));
return start + 1;
case 'S':
list.addType(ArrayType.getArrayType(Types.SHORT,array));
return start + 1;
case 'I':
list.addType(ArrayType.getArrayType(Types.INT,array));
return start + 1;
case 'J':
list.addType(ArrayType.getArrayType(Types.LONG,array));
return start + 1;
case 'F':
list.addType(ArrayType.getArrayType(Types.FLOAT,array));
return start + 1;
case 'D':
list.addType(ArrayType.getArrayType(Types.DOUBLE,array));
return start + 1;
case 'L':
{
int end1=getMatchingSemicolon(desc,start,desc.length());
IType type=readReferenceType(desc,start + 1,end1);
if (array > 0) {
type=ArrayType.getArrayType(type,array);
}
list.addType(type);
return end1 + 1;
}
case 'T':
{
int end1=desc.indexOf(';',start);
IType type=new InternalTypeVarType(desc.substring(start + 1,end1));
if (array > 0) {
type=ArrayType.getArrayType(type,array);
}
list.addType(type);
return end1 + 1;
}
case '*':
list.addType(new WildcardType());
return start + 1;
case '+':
{
int end1=getMatchingSemicolon(desc,start,desc.length());
WildcardType var=new WildcardType();
var.addUpperBound(readType(desc,start + 1,end1));
list.addType(var);
return end1 + 1;
}
case '-':
{
int end1=getMatchingSemicolon(desc,start,desc.length());
WildcardType var=new WildcardType();
var.setLowerBound(readType(desc,start + 1,end1));
list.addType(var);
return end1 + 1;
}
}
return start;
}

Fixed version (ground truth):
private static int readTypeList(String desc,int start,ITypeList list){
  int array=0;
  char c;
  while ((c=desc.charAt(start)) == '[') {
    array++;
    start++;
  }
switch (c) {
case 'V':
    list.addType(ArrayType.getArrayType(Types.VOID,array));
  return start + 1;
case 'Z':
list.addType(ArrayType.getArrayType(Types.BOOLEAN,array));
return start + 1;
case 'B':
list.addType(ArrayType.getArrayType(Types.BYTE,array));
return start + 1;
case 'C':
list.addType(ArrayType.getArrayType(Types.CHAR,array));
return start + 1;
case 'S':
list.addType(ArrayType.getArrayType(Types.SHORT,array));
return start + 1;
case 'I':
list.addType(ArrayType.getArrayType(Types.INT,array));
return start + 1;
case 'J':
list.addType(ArrayType.getArrayType(Types.LONG,array));
return start + 1;
case 'F':
list.addType(ArrayType.getArrayType(Types.FLOAT,array));
return start + 1;
case 'D':
list.addType(ArrayType.getArrayType(Types.DOUBLE,array));
return start + 1;
case 'L':
{
int end1=getMatchingSemicolon(desc,start,desc.length());
IType type=readReferenceType(desc,start + 1,end1);
if (array > 0) {
type=ArrayType.getArrayType(type,array);
}
list.addType(type);
return end1 + 1;
}
case 'T':
{
int end1=desc.indexOf(';',start);
IType type=new InternalTypeVarType(desc.substring(start + 1,end1));
if (array > 0) {
type=ArrayType.getArrayType(type,array);
}
list.addType(type);
return end1 + 1;
}
case '*':
list.addType(new WildcardType());
return start + 1;
case '+':
{
int end1=getMatchingSemicolon(desc,start,desc.length());
WildcardType var=new WildcardType();
var.setUpperBound(readType(desc,start + 1,end1));
list.addType(var);
return end1 + 1;
}
case '-':
{
int end1=getMatchingSemicolon(desc,start,desc.length());
WildcardType var=new WildcardType();
var.setLowerBound(readType(desc,start + 1,end1));
list.addType(var);
return end1 + 1;
}
}
return start;
}