func: static void goodB2G() HANDLE data ; data = INVALID_HANDLE_VALUE; data = CreateFile ( "BadSource_w32CreateFile.txt" , ( GENERIC_WRITE | GENERIC_READ ) , 0 , NULL , OPEN_ALWAYS , FILE_ATTRIBUTE_NORMAL , NULL ); CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle__w32CreateFile_53b_goodB2GSink ( data ); void CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle__w32CreateFile_53b_goodB2GSink(HANDLE data) CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle__w32CreateFile_53c_goodB2GSink ( data ); void CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle__w32CreateFile_53c_goodB2GSink(HANDLE data) CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle__w32CreateFile_53d_goodB2GSink ( data ); void CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle__w32CreateFile_53d_goodB2GSink(HANDLE data) data = CreateFile ( "GoodSink_w32CreateFile.txt" , ( GENERIC_WRITE | GENERIC_READ ) , 0 , NULL , OPEN_ALWAYS , FILE_ATTRIBUTE_NORMAL , NULL ); if ( data != INVALID_HANDLE_VALUE )  CloseHandle ( data ); 