Program: 19610
Project: 19610
Buggy source:
public void onSurfaceCreated(GL10 gl,EGLConfig config){
  Log.i(NAME,"String_Node_Str" + android.os.Build.DEVICE);
  Log.i(NAME,"String_Node_Str" + android.os.Build.MODEL);
  Log.i(NAME,"String_Node_Str" + android.os.Build.PRODUCT);
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_VENDOR));
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_RENDERER));
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_VERSION));
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_EXTENSIONS).trim().replace("String_Node_Str","String_Node_Str"));
  int[] params=new int[2];
  gl.glGetIntegerv(GL10.GL_DEPTH_BITS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_STENCIL_BITS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_MAX_LIGHTS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_MAX_TEXTURE_SIZE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_MAX_TEXTURE_UNITS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_ALIASED_LINE_WIDTH_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  gl.glGetIntegerv(GL10.GL_SMOOTH_LINE_WIDTH_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  gl.glGetIntegerv(GL10.GL_ALIASED_POINT_SIZE_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  gl.glGetIntegerv(GL10.GL_SMOOTH_POINT_SIZE_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  if (gl instanceof GL11) {
    Log.i(NAME,"String_Node_Str");
  }
 else {
    Log.i(NAME,"String_Node_Str");
    Log.e(NAME,"String_Node_Str");
    activity.finish();
  }
  List<Sensor> sensors=sm.getSensorList(Sensor.TYPE_ALL);
  for (  Sensor sensor : sensors) {
    Log.i(NAME,"String_Node_Str" + sensor.getName() + "String_Node_Str"+ sensor.getVendor());
  }
  intro_fade=new IntroFade(this,(GL11)gl);
  intro_blink=new IntroBlink(this,(GL11)gl);
  white_fade_in=new WhiteFadeIn(this,(GL11)gl,2 * 1000);
  stars=new StarField(this,(GL11)gl,400);
  logos=new LogoChange(this,(GL11)gl,40,20,8000,2000);
  bobs=new Bobs(this,(GL11)gl);
  bars=new CopperBars(this,(GL11)gl);
  scroller=new Scroller(this,(GL11)gl);
  fade_in_rorschach=new RorschachFade(this,(GL11)gl,2 * 1000,true);
  fade_out_rorschach=new RorschachFade(this,(GL11)gl,6 * 1000,false);
  credits=new Credits(this,(GL11)gl);
  cube=new CamCube(this,(GL11)gl);
}

Fixed version (ground truth):
public void onSurfaceCreated(GL10 gl,EGLConfig config){
  Log.i(NAME,"String_Node_Str" + android.os.Build.DEVICE);
  Log.i(NAME,"String_Node_Str" + android.os.Build.MODEL);
  Log.i(NAME,"String_Node_Str" + android.os.Build.PRODUCT);
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_VENDOR));
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_RENDERER));
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_VERSION));
  Log.i(NAME,"String_Node_Str" + gl.glGetString(GL10.GL_EXTENSIONS).trim().replace("String_Node_Str","String_Node_Str"));
  int[] params=new int[2];
  gl.glGetIntegerv(GL10.GL_DEPTH_BITS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_STENCIL_BITS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_MAX_LIGHTS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_MAX_TEXTURE_SIZE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_MAX_TEXTURE_UNITS,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]));
  gl.glGetIntegerv(GL10.GL_ALIASED_LINE_WIDTH_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  gl.glGetIntegerv(GL10.GL_SMOOTH_LINE_WIDTH_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  gl.glGetIntegerv(GL10.GL_ALIASED_POINT_SIZE_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  gl.glGetIntegerv(GL10.GL_SMOOTH_POINT_SIZE_RANGE,params,0);
  Log.i(NAME,"String_Node_Str" + String.valueOf(params[0]) + "String_Node_Str"+ String.valueOf(params[1]));
  if (gl instanceof GL11) {
    Log.i(NAME,"String_Node_Str");
  }
 else {
    Log.i(NAME,"String_Node_Str");
    Log.e(NAME,"String_Node_Str");
    activity.finish();
    return;
  }
  List<Sensor> sensors=sm.getSensorList(Sensor.TYPE_ALL);
  for (  Sensor sensor : sensors) {
    Log.i(NAME,"String_Node_Str" + sensor.getName() + "String_Node_Str"+ sensor.getVendor());
  }
  intro_fade=new IntroFade(this,(GL11)gl);
  intro_blink=new IntroBlink(this,(GL11)gl);
  white_fade_in=new WhiteFadeIn(this,(GL11)gl,2 * 1000);
  stars=new StarField(this,(GL11)gl,400);
  logos=new LogoChange(this,(GL11)gl,40,20,8000,2000);
  bobs=new Bobs(this,(GL11)gl);
  bars=new CopperBars(this,(GL11)gl);
  scroller=new Scroller(this,(GL11)gl);
  fade_in_rorschach=new RorschachFade(this,(GL11)gl,2 * 1000,true);
  fade_out_rorschach=new RorschachFade(this,(GL11)gl,6 * 1000,false);
  credits=new Credits(this,(GL11)gl);
  cube=new CamCube(this,(GL11)gl);
}