func: static void goodB2G() FILE * data ; data = fopen ( "BadSource_fopen.txt" , "w+" ); CWE404_Improper_Resource_Shutdown__fopen_w32_close_54b_goodB2GSink ( data ); void CWE404_Improper_Resource_Shutdown__fopen_w32_close_54b_goodB2GSink(FILE * data) CWE404_Improper_Resource_Shutdown__fopen_w32_close_54c_goodB2GSink ( data ); void CWE404_Improper_Resource_Shutdown__fopen_w32_close_54c_goodB2GSink(FILE * data) CWE404_Improper_Resource_Shutdown__fopen_w32_close_54d_goodB2GSink ( data ); void CWE404_Improper_Resource_Shutdown__fopen_w32_close_54d_goodB2GSink(FILE * data) CWE404_Improper_Resource_Shutdown__fopen_w32_close_54e_goodB2GSink ( data ); void CWE404_Improper_Resource_Shutdown__fopen_w32_close_54e_goodB2GSink(FILE * data) if ( data != NULL )  fclose ( data ); 