func: static void goodB2G2() FILE * data ; data = fopen ( "BadSource_fopen.txt" , "w+" ); goodB2G2Sink ( data ); static void goodB2G2Sink(FILE * data) if ( data != NULL )  fclose ( data ); data = fopen ( "GoodSink_fopen.txt" , "w+" ); if ( data != NULL )  fclose ( data ); 