func: static void goodG2B2() int data ; data = - 1; data = CWE680_Integer_Overflow_to_Buffer_Overflow__malloc_rand_22_goodG2B2Source ( data ); int CWE680_Integer_Overflow_to_Buffer_Overflow__malloc_rand_22_goodG2B2Source(int data) if ( CWE680_Integer_Overflow_to_Buffer_Overflow__malloc_rand_22_goodG2B2Global )  data = 20; return data ; size_t i ; int * intPointer ; intPointer = ( int * ) malloc ( data * sizeof ( int ) ); for (i = 0; i < (size_t)data; i++) intPointer [ i ] = 0; free ( intPointer ); 