func: void CWE400_Resource_Exhaustion__rand_fwrite_66_bad() int count ; int countArray [ 5 ] ; count = - 1; count = RAND32 ( ); countArray [ 2 ] = count; CWE400_Resource_Exhaustion__rand_fwrite_66b_badSink ( countArray ); void CWE400_Resource_Exhaustion__rand_fwrite_66b_badSink(int countArray[]) int count = countArray [ 2 ] ; const char * filename = "output_bad.txt" ; pFile = fopen ( filename , "w+" ); for (i = 0; i < (size_t)count; i++) if ( strlen ( SENTENCE ) != fwrite ( SENTENCE , sizeof ( char ) , strlen ( SENTENCE ) , pFile ) )  