model-checker : use bprintf instead of sprintf

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 3cfa351..f7c9b83 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -275,9 +275,8 @@ void get_plt_section(){
   char *lfields[7];
   int i, plt_not_found = 1;
   unsigned long int size, offset;
-  
-  char command[512];
-  sprintf(command, "objdump --section-headers %s", libsimgrid_path); 
+
+  char *command = bprintf( "objdump --section-headers %s", libsimgrid_path);
 
   fp = popen(command, "r");