func: static void goodB2G() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  count = atoi ( inputBuffer ); countArray [ 2 ] = count; CWE400_Resource_Exhaustion__fgets_fwrite_66b_goodB2GSink ( countArray ); void CWE400_Resource_Exhaustion__fgets_fwrite_66b_goodB2GSink(int countArray[]) int count = countArray [ 2 ] ; if ( count > 0 && count <= 20 )  for (i = 0; i < (size_t)count; i++) 