Program: 8821
Project: 8821
Buggy source:
public Params(Resources res){
  TRANSLATION_PER_SEC=res.getDimension(R.dimen.translation_per_sec);
  OBSTACLE_SPACING=res.getDimensionPixelSize(R.dimen.obstacle_spacing);
  OBSTACLE_PERIOD=(int)(OBSTACLE_SPACING / TRANSLATION_PER_SEC);
  BOOST_DV=res.getDimensionPixelSize(R.dimen.boost_dv);
  PLAYER_HIT_SIZE=res.getDimensionPixelSize(R.dimen.player_hit_size);
  PLAYER_SIZE=res.getDimensionPixelSize(R.dimen.player_size);
  OBSTACLE_WIDTH=res.getDimensionPixelSize(R.dimen.obstacle_width);
  OBSTACLE_STEM_WIDTH=res.getDimensionPixelSize(R.dimen.obstacle_stem_width);
  OBSTACLE_GAP=res.getDimensionPixelSize(R.dimen.obstacle_gap);
  OBSTACLE_MIN=res.getDimensionPixelSize(R.dimen.obstacle_height_min);
  BUILDING_HEIGHT_MIN=res.getDimensionPixelSize(R.dimen.building_height_min);
  BUILDING_WIDTH_MIN=res.getDimensionPixelSize(R.dimen.building_width_min);
  BUILDING_WIDTH_MAX=res.getDimensionPixelSize(R.dimen.building_width_max);
  CLOUD_SIZE_MIN=res.getDimensionPixelSize(R.dimen.cloud_size_min);
  CLOUD_SIZE_MAX=res.getDimensionPixelSize(R.dimen.cloud_size_max);
  STAR_SIZE_MIN=res.getDimensionPixelSize(R.dimen.star_size_min);
  STAR_SIZE_MAX=res.getDimensionPixelSize(R.dimen.star_size_max);
  G=res.getDimensionPixelSize(R.dimen.G);
  MAX_V=res.getDimensionPixelSize(R.dimen.max_v);
  SCENERY_Z=res.getDimensionPixelSize(R.dimen.scenery_z);
  OBSTACLE_Z=res.getDimensionPixelSize(R.dimen.obstacle_z);
  PLAYER_Z=res.getDimensionPixelSize(R.dimen.player_z);
  PLAYER_Z_BOOST=res.getDimensionPixelSize(R.dimen.player_z_boost);
  HUD_Z=res.getDimensionPixelSize(R.dimen.hud_z);
}

Fixed version (ground truth):
public Params(Resources res){
  TRANSLATION_PER_SEC=res.getDimension(R.dimen.translation_per_sec);
  OBSTACLE_SPACING=res.getDimensionPixelSize(R.dimen.obstacle_spacing);
  OBSTACLE_PERIOD=(int)(OBSTACLE_SPACING / TRANSLATION_PER_SEC);
  BOOST_DV=res.getDimensionPixelSize(R.dimen.boost_dv);
  PLAYER_HIT_SIZE=res.getDimensionPixelSize(R.dimen.player_hit_size);
  PLAYER_SIZE=res.getDimensionPixelSize(R.dimen.player_size);
  OBSTACLE_WIDTH=res.getDimensionPixelSize(R.dimen.obstacle_width);
  OBSTACLE_STEM_WIDTH=res.getDimensionPixelSize(R.dimen.obstacle_stem_width);
  OBSTACLE_GAP=res.getDimensionPixelSize(R.dimen.obstacle_gap);
  OBSTACLE_MIN=res.getDimensionPixelSize(R.dimen.obstacle_height_min);
  BUILDING_HEIGHT_MIN=res.getDimensionPixelSize(R.dimen.building_height_min);
  BUILDING_WIDTH_MIN=res.getDimensionPixelSize(R.dimen.building_width_min);
  BUILDING_WIDTH_MAX=res.getDimensionPixelSize(R.dimen.building_width_max);
  CLOUD_SIZE_MIN=res.getDimensionPixelSize(R.dimen.cloud_size_min);
  CLOUD_SIZE_MAX=res.getDimensionPixelSize(R.dimen.cloud_size_max);
  STAR_SIZE_MIN=res.getDimensionPixelSize(R.dimen.star_size_min);
  STAR_SIZE_MAX=res.getDimensionPixelSize(R.dimen.star_size_max);
  G=res.getDimensionPixelSize(R.dimen.G);
  MAX_V=res.getDimensionPixelSize(R.dimen.max_v);
  SCENERY_Z=res.getDimensionPixelSize(R.dimen.scenery_z);
  OBSTACLE_Z=res.getDimensionPixelSize(R.dimen.obstacle_z);
  PLAYER_Z=res.getDimensionPixelSize(R.dimen.player_z);
  PLAYER_Z_BOOST=res.getDimensionPixelSize(R.dimen.player_z_boost);
  HUD_Z=res.getDimensionPixelSize(R.dimen.hud_z);
  if (OBSTACLE_MIN <= OBSTACLE_WIDTH / 2) {
    Mlog.e(TAG,"String_Node_Str");
    OBSTACLE_MIN=OBSTACLE_WIDTH / 2 + 1;
  }
}