func: static void goodB2G() int count ; count = - 1; count = CWE400_Resource_Exhaustion__fscanf_fwrite_61b_goodB2GSource ( count ); int CWE400_Resource_Exhaustion__fscanf_fwrite_61b_goodB2GSource(int count) return count ; const char * filename = "output_good.txt" ; if ( count > 0 && count <= 20 )  pFile = fopen ( filename , "w+" ); if ( pFile )  fclose ( pFile ); 