func: static void goodB2G() int count ; CWE400_Resource_Exhaustion__rand_fwrite_67_structType myStruct ; count = - 1; count = RAND32 ( ); myStruct . structFirst = count; CWE400_Resource_Exhaustion__rand_fwrite_67b_goodB2GSink ( myStruct ); void CWE400_Resource_Exhaustion__rand_fwrite_67b_goodB2GSink(CWE400_Resource_Exhaustion__rand_fwrite_67_structType myStruct) int count = myStruct . structFirst ; const char * filename = "output_good.txt" ; if ( count > 0 && count <= 20 )  pFile = fopen ( filename , "w+" ); if ( pFile == NULL )  if ( strlen ( SENTENCE ) != fwrite ( SENTENCE , sizeof ( char ) , strlen ( SENTENCE ) , pFile ) )  if ( pFile )  fclose ( pFile ); 