func: void CWE404_Improper_Resource_Shutdown__open_fclose_64_bad() int data ; data = - 1; data = OPEN ( "BadSource_open.txt" , O_RDWR | O_CREAT , S_IREAD | S_IWRITE ); CWE404_Improper_Resource_Shutdown__open_fclose_64b_badSink ( & data ); void CWE404_Improper_Resource_Shutdown__open_fclose_64b_badSink(void * dataVoidPtr) int * dataPtr = ( int * ) dataVoidPtr ; int data = ( * dataPtr ) ; if ( data != - 1 )  fclose ( ( FILE * ) data ); 