From 6094b84fce7ea54856b5df4ee531e1e16860428c Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 30 Jul 2012 22:28:16 +0200 Subject: [PATCH] model-checker : use bprintf instead of sprintf --- src/mc/mc_checkpoint.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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"); -- 2.20.1