From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 30 Jul 2012 20:28:16 +0000 (+0200)
Subject: model-checker : use bprintf instead of sprintf
X-Git-Tag: v3_8~250^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6094b84fce7ea54856b5df4ee531e1e16860428c

model-checker : use bprintf instead of sprintf
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 3cfa351e16..f7c9b83a39 100644
--- 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");