Replace sprintf with snprintf to quiet some deprecation warnings

HOL-Theorem-Prover · May 11, 2023 · 63a4c9c · 63a4c9c
1 parent 81d4db3
commit 63a4c9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/HolSat/sat_solvers/minisat/Global.h b/src/HolSat/sat_solvers/minisat/Global.h
@@ -119,7 +119,7 @@ static inline int memReadStat(int field)
 {
     char    name[256];
     pid_t pid = getpid();
-    sprintf(name, "/proc/%d/statm", pid);
+    snprintf(name, 200, "/proc/%d/statm", pid);
     FILE*   in = fopen(name, "rb");
     if (in == NULL) return 0;
     int     value;