func: void CWE400_Resource_Exhaustion__fgets_fwrite_54_bad() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  count = atoi ( inputBuffer ); CWE400_Resource_Exhaustion__fgets_fwrite_54b_badSink ( count ); void CWE400_Resource_Exhaustion__fgets_fwrite_54b_badSink(int count) CWE400_Resource_Exhaustion__fgets_fwrite_54c_badSink ( count ); void CWE400_Resource_Exhaustion__fgets_fwrite_54c_badSink(int count) CWE400_Resource_Exhaustion__fgets_fwrite_54d_badSink ( count ); void CWE400_Resource_Exhaustion__fgets_fwrite_54d_badSink(int count) CWE400_Resource_Exhaustion__fgets_fwrite_54e_badSink ( count ); void CWE400_Resource_Exhaustion__fgets_fwrite_54e_badSink(int count) for (i = 0; i < (size_t)count; i++) 