Program: 113669
Project: 113669
Buggy source:
public static Request createRequest(ONCRPCRequestHeader header) throws Exception {
switch (header.getOperationNumber()) {
case 1:
    return new accessRequest();
case 2:
  return new chmodRequest();
case 3:
return new chownRequest();
case 4:
return new createRequest();
case 5:
return new getattrRequest();
case 6:
return new getxattrRequest();
case 7:
return new linkRequest();
case 8:
return new listxattrRequest();
case 9:
return new mkdirRequest();
case 11:
return new openRequest();
case 12:
return new readdirRequest();
case 13:
return new removexattrRequest();
case 14:
return new renameRequest();
case 15:
return new rmdirRequest();
case 17:
return new setattrRequest();
case 18:
return new setxattrRequest();
case 19:
return new statfsRequest();
case 20:
return new symlinkRequest();
case 21:
return new unlinkRequest();
case 22:
return new utimeRequest();
case 30:
return new ftruncateRequest();
case 51:
return new xtreemfs_checkpointRequest();
case 23:
return new xtreemfs_check_file_existsRequest();
case 52:
return new xtreemfs_dump_databaseRequest();
case 24:
return new xtreemfs_get_suitable_osdsRequest();
case 10:
return new xtreemfs_mkvolRequest();
case 25:
return new xtreemfs_renew_capabilityRequest();
case 26:
return new xtreemfs_replica_addRequest();
case 27:
return new xtreemfs_replica_removeRequest();
case 53:
return new xtreemfs_restore_databaseRequest();
case 28:
return new xtreemfs_restore_fileRequest();
case 16:
return new xtreemfs_rmvolRequest();
case 50:
return new xtreemfs_shutdownRequest();
case 29:
return new xtreemfs_update_file_sizeRequest();
default :
throw new Exception("String_Node_Str" + Integer.toString(header.getOperationNumber()));
}
}

Fixed version (ground truth):
public static Request createRequest(ONCRPCRequestHeader header) throws Exception {
switch (header.getOperationNumber()) {
case 1:
    return new accessRequest();
case 2:
  return new chmodRequest();
case 3:
return new chownRequest();
case 4:
return new createRequest();
case 30:
return new ftruncateRequest();
case 5:
return new getattrRequest();
case 6:
return new getxattrRequest();
case 7:
return new linkRequest();
case 8:
return new listxattrRequest();
case 9:
return new mkdirRequest();
case 11:
return new openRequest();
case 12:
return new readdirRequest();
case 13:
return new removexattrRequest();
case 14:
return new renameRequest();
case 15:
return new rmdirRequest();
case 17:
return new setattrRequest();
case 18:
return new setxattrRequest();
case 19:
return new statfsRequest();
case 20:
return new symlinkRequest();
case 21:
return new unlinkRequest();
case 22:
return new utimeRequest();
case 51:
return new xtreemfs_checkpointRequest();
case 23:
return new xtreemfs_check_file_existsRequest();
case 52:
return new xtreemfs_dump_databaseRequest();
case 24:
return new xtreemfs_get_suitable_osdsRequest();
case 10:
return new xtreemfs_mkvolRequest();
case 25:
return new xtreemfs_renew_capabilityRequest();
case 26:
return new xtreemfs_replica_addRequest();
case 27:
return new xtreemfs_replica_removeRequest();
case 53:
return new xtreemfs_restore_databaseRequest();
case 28:
return new xtreemfs_restore_fileRequest();
case 16:
return new xtreemfs_rmvolRequest();
case 50:
return new xtreemfs_shutdownRequest();
case 29:
return new xtreemfs_update_file_sizeRequest();
default :
throw new Exception("String_Node_Str" + Integer.toString(header.getOperationNumber()));
}
}