func: void uninit_pointer_009() char * buf , buf1 [ 25 ] ; int flag = 1 ; if ( uninit_pointer_009_func_001 ( flag ) > 0 )  int uninit_pointer_009_func_001(int flag) int ret ; if ( flag == 0 )  ret = 0; ret = flag + 1; return ret ; buf = "This is a string"; if ( uninit_pointer_009_func_001 ( flag ) > 0 )  int uninit_pointer_009_func_001(int flag) int ret ; if ( flag == 0 )  ret = 0; ret = flag + 1; return ret ; strcpy ( buf1 , buf ); 