- char *name = (char*)xbt_malloc((strlen(src_name)+strlen(dst_name)+6)*sizeof(char));
- sprintf(name, "%s->%s", src_name, dst_name);
+ int namesize=(strlen(src_name)+strlen(dst_name)+6);
+ char *name = (char*)xbt_malloc(namesize*sizeof(char*));
+ snprintf(name,namesize, "%s->%s", src_name, dst_name);