func: static void goodB2G() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  count = atoi ( inputBuffer ); CWE400_Resource_Exhaustion__fgets_sleep_64b_goodB2GSink ( & count ); void CWE400_Resource_Exhaustion__fgets_sleep_64b_goodB2GSink(void * countVoidPtr) int * countPtr = ( int * ) countVoidPtr ; int count = ( * countPtr ) ; if ( count > 0 && count <= 2000 )  SLEEP ( count ); 