Program: 113670
Project: 113670
Buggy source:
public static Response createResponse(ONCRPCResponseHeader header) throws Exception {
switch (header.getXID()) {
case 1:
    return new accessResponse();
case 2:
  return new chmodResponse();
case 3:
return new chownResponse();
case 4:
return new createResponse();
case 5:
return new getattrResponse();
case 6:
return new getxattrResponse();
case 7:
return new linkResponse();
case 8:
return new listxattrResponse();
case 9:
return new mkdirResponse();
case 11:
return new openResponse();
case 12:
return new readdirResponse();
case 13:
return new removexattrResponse();
case 14:
return new renameResponse();
case 15:
return new rmdirResponse();
case 17:
return new setattrResponse();
case 18:
return new setxattrResponse();
case 19:
return new statfsResponse();
case 20:
return new symlinkResponse();
case 21:
return new unlinkResponse();
case 22:
return new utimeResponse();
case 30:
return new ftruncateResponse();
case 51:
return new xtreemfs_checkpointResponse();
case 23:
return new xtreemfs_check_file_existsResponse();
case 52:
return new xtreemfs_dump_databaseResponse();
case 24:
return new xtreemfs_get_suitable_osdsResponse();
case 10:
return new xtreemfs_mkvolResponse();
case 25:
return new xtreemfs_renew_capabilityResponse();
case 26:
return new xtreemfs_replica_addResponse();
case 27:
return new xtreemfs_replica_removeResponse();
case 53:
return new xtreemfs_restore_databaseResponse();
case 28:
return new xtreemfs_restore_fileResponse();
case 16:
return new xtreemfs_rmvolResponse();
case 50:
return new xtreemfs_shutdownResponse();
case 29:
return new xtreemfs_update_file_sizeResponse();
default :
throw new Exception("String_Node_Str" + Integer.toString(header.getXID()));
}
}

Fixed version (ground truth):
public static Response createResponse(ONCRPCResponseHeader header) throws Exception {
switch (header.getXID()) {
case 1:
    return new accessResponse();
case 2:
  return new chmodResponse();
case 3:
return new chownResponse();
case 4:
return new createResponse();
case 30:
return new ftruncateResponse();
case 5:
return new getattrResponse();
case 6:
return new getxattrResponse();
case 7:
return new linkResponse();
case 8:
return new listxattrResponse();
case 9:
return new mkdirResponse();
case 11:
return new openResponse();
case 12:
return new readdirResponse();
case 13:
return new removexattrResponse();
case 14:
return new renameResponse();
case 15:
return new rmdirResponse();
case 17:
return new setattrResponse();
case 18:
return new setxattrResponse();
case 19:
return new statfsResponse();
case 20:
return new symlinkResponse();
case 21:
return new unlinkResponse();
case 22:
return new utimeResponse();
case 51:
return new xtreemfs_checkpointResponse();
case 23:
return new xtreemfs_check_file_existsResponse();
case 52:
return new xtreemfs_dump_databaseResponse();
case 24:
return new xtreemfs_get_suitable_osdsResponse();
case 10:
return new xtreemfs_mkvolResponse();
case 25:
return new xtreemfs_renew_capabilityResponse();
case 26:
return new xtreemfs_replica_addResponse();
case 27:
return new xtreemfs_replica_removeResponse();
case 53:
return new xtreemfs_restore_databaseResponse();
case 28:
return new xtreemfs_restore_fileResponse();
case 16:
return new xtreemfs_rmvolResponse();
case 50:
return new xtreemfs_shutdownResponse();
case 29:
return new xtreemfs_update_file_sizeResponse();
default :
throw new Exception("String_Node_Str" + Integer.toString(header.getXID()));
}
}