X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/src/flags.c

diff --git a/src/flags.c b/src/flags.c
index 1931cba..9f97ef1 100644
--- a/src/flags.c
+++ b/src/flags.c
@@ -300,7 +300,7 @@ summarizeErrors ()
 	      hadOne = TRUE;
 	    }
 
-	  sprintf (buf, "%s%7d   %9d", cstring_toCharsSafe (fs), nrep, nsup);
+	  (void) snprintf (buf, 128, "%s%7d   %9d", cstring_toCharsSafe (fs), nrep, nsup);
 
 	  sumrep += nrep;
 	  sumsup += nsup;
@@ -316,7 +316,7 @@ summarizeErrors ()
 
       llmsglit ("                          ========  =========");
 
-      sprintf (buf, "%s%7d   %9d", cstring_toCharsSafe (ts), sumrep, sumsup);
+      (void) snprintf (buf, 128, "%s%7d   %9d", cstring_toCharsSafe (ts), sumrep, sumsup);
       cstring_free (ts);
       llmsgplain (cstring_copy (cstring_fromChars (buf)));
     }