Program: 194813
Project: 194813
Buggy source:
public static String makeProcStateString(int curProcState){
  String procState;
switch (curProcState) {
case -1:
    procState="String_Node_Str";
  break;
case ActivityManager.PROCESS_STATE_PERSISTENT:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_PERSISTENT_UI:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_TOP:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_FOREGROUND_SERVICE:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_TOP_SLEEPING:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_IMPORTANT_FOREGROUND:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_IMPORTANT_BACKGROUND:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_BACKUP:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_HEAVY_WEIGHT:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_SERVICE:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_RECEIVER:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_HOME:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_LAST_ACTIVITY:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_CACHED_ACTIVITY:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_CACHED_ACTIVITY_CLIENT:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_CACHED_EMPTY:
procState="String_Node_Str";
break;
default :
procState="String_Node_Str";
break;
}
return procState;
}

Fixed version (ground truth):
public static String makeProcStateString(int curProcState){
  String procState;
switch (curProcState) {
case -1:
    procState="String_Node_Str";
  break;
case ActivityManager.PROCESS_STATE_PERSISTENT:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_PERSISTENT_UI:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_TOP:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_BOUND_FOREGROUND_SERVICE:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_FOREGROUND_SERVICE:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_TOP_SLEEPING:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_IMPORTANT_FOREGROUND:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_IMPORTANT_BACKGROUND:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_BACKUP:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_HEAVY_WEIGHT:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_SERVICE:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_RECEIVER:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_HOME:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_LAST_ACTIVITY:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_CACHED_ACTIVITY:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_CACHED_ACTIVITY_CLIENT:
procState="String_Node_Str";
break;
case ActivityManager.PROCESS_STATE_CACHED_EMPTY:
procState="String_Node_Str";
break;
default :
procState="String_Node_Str";
break;
}
return procState;
}