Fix buffer overflow

src/core/disk_ops/disk_stdio.c

@@ -55,10 +55,9 @@ starpu_stdio_alloc (void *base, size_t size)
 	int id = -1;
 
 	/* create template for mkstemp */
-	char * baseCpy = malloc(strlen(base)+8);
-	STARPU_ASSERT(baseCpy != NULL);
-
 	char * tmp = "STARPU_XXXXXX";
+	char * baseCpy = malloc(strlen(base)+1+strlen(tmp)+1);
+	STARPU_ASSERT(baseCpy != NULL);
 
 	strcpy(baseCpy, (char *) base);
 	strcat(baseCpy,"/");