- for (i = 0; i < crasher_amount; i++) {
- char *name = bprintf("thread %d", i);
- crashers[i] = xbt_os_thread_create(name, &crasher_thread, &id[i], NULL );
- free(name);
+ for (int i = 0; i < crasher_amount; i++) {
+ char name[16];
+ snprintf(name, sizeof name, "thread %d", i);
+ crashers[i] = xbt_os_thread_create(name, &crasher_thread, &id[i]);