setsid

goblint · Oct 1, 2023 · 62f96fb · 62f96fb
1 parent 9f80b1c
commit 62f96fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -346,6 +346,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("getpgrp", unknown []);
     ("setrlimit", unknown [drop "resource" []; drop "rlim" [r]]);
     ("getrlimit", unknown [drop "resource" []; drop "rlim" [w]]);
+    ("setsid", unknown []);
   ]
 
 (** Pthread functions. *)
@@ -1079,7 +1080,6 @@ let invalidate_actions = [
     "_IO_getc", writesAll;(*unsafe*)
     "pipe", writesAll;(*unsafe*)
     "close", writesAll;(*unsafe*)
-    "setsid", readsAll;(*safe*)
     "strerror_r", writesAll;(*unsafe*)
     "sigemptyset", writesAll;(*unsafe*)
     "sigaddset", writesAll;(*unsafe*)