From 96ea9819af21d88e551fe2068927edff3ac0c702 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Sun, 1 Oct 2023 15:28:07 +0200 Subject: [PATCH] `getpgrp` --- src/analyses/libraryFunctions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml index 3e5f7d1887..5e32686f96 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -343,6 +343,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("getppid", unknown []); ("getuid", unknown []); ("geteuid", unknown []); + ("getpgrp", unknown []); ] (** Pthread functions. *) @@ -1087,7 +1088,6 @@ let invalidate_actions = [ "dlclose", readsAll;(*safe*) "stat__extinline", writesAllButFirst 1 readsAll;(*drop 1*) "lstat__extinline", writesAllButFirst 1 readsAll;(*drop 1*) - "getpgrp", readsAll;(*safe*) "umount2", readsAll;(*safe*) "waitpid", readsAll;(*safe*) "statfs", writes [1;3;4];(*keep [1;3;4]*)