Program: 41607
Project: 41607
Buggy source:
String codeToString(int code){
  if (localLOGV) {
switch (code) {
case LAUNCH_ACTIVITY:
      return "String_Node_Str";
case PAUSE_ACTIVITY:
    return "String_Node_Str";
case PAUSE_ACTIVITY_FINISHING:
  return "String_Node_Str";
case STOP_ACTIVITY_SHOW:
return "String_Node_Str";
case STOP_ACTIVITY_HIDE:
return "String_Node_Str";
case SHOW_WINDOW:
return "String_Node_Str";
case HIDE_WINDOW:
return "String_Node_Str";
case RESUME_ACTIVITY:
return "String_Node_Str";
case SEND_RESULT:
return "String_Node_Str";
case DESTROY_ACTIVITY:
return "String_Node_Str";
case BIND_APPLICATION:
return "String_Node_Str";
case EXIT_APPLICATION:
return "String_Node_Str";
case NEW_INTENT:
return "String_Node_Str";
case RECEIVER:
return "String_Node_Str";
case CREATE_SERVICE:
return "String_Node_Str";
case SERVICE_ARGS:
return "String_Node_Str";
case STOP_SERVICE:
return "String_Node_Str";
case REQUEST_THUMBNAIL:
return "String_Node_Str";
case CONFIGURATION_CHANGED:
return "String_Node_Str";
case CLEAN_UP_CONTEXT:
return "String_Node_Str";
case GC_WHEN_IDLE:
return "String_Node_Str";
case BIND_SERVICE:
return "String_Node_Str";
case UNBIND_SERVICE:
return "String_Node_Str";
case DUMP_SERVICE:
return "String_Node_Str";
case LOW_MEMORY:
return "String_Node_Str";
case ACTIVITY_CONFIGURATION_CHANGED:
return "String_Node_Str";
case RELAUNCH_ACTIVITY:
return "String_Node_Str";
case PROFILER_CONTROL:
return "String_Node_Str";
case CREATE_BACKUP_AGENT:
return "String_Node_Str";
case DESTROY_BACKUP_AGENT:
return "String_Node_Str";
case SUICIDE:
return "String_Node_Str";
case REMOVE_PROVIDER:
return "String_Node_Str";
case ENABLE_JIT:
return "String_Node_Str";
}
}
return "String_Node_Str";
}

Fixed version (ground truth):
String codeToString(int code){
  if (localLOGV) {
switch (code) {
case LAUNCH_ACTIVITY:
      return "String_Node_Str";
case PAUSE_ACTIVITY:
    return "String_Node_Str";
case PAUSE_ACTIVITY_FINISHING:
  return "String_Node_Str";
case STOP_ACTIVITY_SHOW:
return "String_Node_Str";
case STOP_ACTIVITY_HIDE:
return "String_Node_Str";
case SHOW_WINDOW:
return "String_Node_Str";
case HIDE_WINDOW:
return "String_Node_Str";
case RESUME_ACTIVITY:
return "String_Node_Str";
case SEND_RESULT:
return "String_Node_Str";
case DESTROY_ACTIVITY:
return "String_Node_Str";
case BIND_APPLICATION:
return "String_Node_Str";
case EXIT_APPLICATION:
return "String_Node_Str";
case NEW_INTENT:
return "String_Node_Str";
case RECEIVER:
return "String_Node_Str";
case CREATE_SERVICE:
return "String_Node_Str";
case SERVICE_ARGS:
return "String_Node_Str";
case STOP_SERVICE:
return "String_Node_Str";
case REQUEST_THUMBNAIL:
return "String_Node_Str";
case CONFIGURATION_CHANGED:
return "String_Node_Str";
case CLEAN_UP_CONTEXT:
return "String_Node_Str";
case GC_WHEN_IDLE:
return "String_Node_Str";
case BIND_SERVICE:
return "String_Node_Str";
case UNBIND_SERVICE:
return "String_Node_Str";
case DUMP_SERVICE:
return "String_Node_Str";
case LOW_MEMORY:
return "String_Node_Str";
case ACTIVITY_CONFIGURATION_CHANGED:
return "String_Node_Str";
case RELAUNCH_ACTIVITY:
return "String_Node_Str";
case PROFILER_CONTROL:
return "String_Node_Str";
case CREATE_BACKUP_AGENT:
return "String_Node_Str";
case DESTROY_BACKUP_AGENT:
return "String_Node_Str";
case SUICIDE:
return "String_Node_Str";
case REMOVE_PROVIDER:
return "String_Node_Str";
case ENABLE_JIT:
return "String_Node_Str";
case DISPATCH_PACKAGE_BROADCAST:
return "String_Node_Str";
}
}
return "String_Node_Str";
}