Correct strcat; add strncat.

goblint · May 5, 2022 · 7e5ab0a · 7e5ab0a
1 parent 59f7343
commit 7e5ab0a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -271,6 +271,7 @@ let invalidate_actions = [
     "strlen", readsAll;(*safe*)
     "strncmp", readsAll;(*safe*)
     "strncpy", writes [1];(*keep [1]*)
+    "strncat", writes [1];(*keep [1]*)
     "strstr", readsAll;(*safe*)
     "strdup", readsAll;(*safe*)
     "toupper", readsAll;(*safe*)
@@ -341,7 +342,7 @@ let invalidate_actions = [
     "strcpy", writes [1];(*keep [1]*)
     "__builtin___strcpy", writes [1];(*keep [1]*)
     "__builtin___strcpy_chk", writes [1];(*keep [1]*)
-    "strcat", writes [2];(*keep [2]*)
+    "strcat", writes [1];(*keep [1]*)
     "getpgrp", readsAll;(*safe*)
     "umount2", readsAll;(*safe*)
     "memchr", readsAll;(*safe*)