func: void CWE415_Double_Free__malloc_free_int64_t_53_bad() int64_t * data ; data = ( int64_t * ) malloc ( 100 * sizeof ( int64_t ) ); free ( data ); CWE415_Double_Free__malloc_free_int64_t_53b_badSink ( data ); void CWE415_Double_Free__malloc_free_int64_t_53b_badSink(int64_t * data) CWE415_Double_Free__malloc_free_int64_t_53c_badSink ( data ); void CWE415_Double_Free__malloc_free_int64_t_53c_badSink(int64_t * data) CWE415_Double_Free__malloc_free_int64_t_53d_badSink ( data ); void CWE415_Double_Free__malloc_free_int64_t_53d_badSink(int64_t * data) free ( data ); 