From c439e2e5b20f08336896de7845136854db241a7e Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Sun, 1 Oct 2023 15:46:46 +0200 Subject: [PATCH] `sigprocmask` --- 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 89f31d8ffe..f31cec9be6 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -353,6 +353,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("sigaddset", unknown [drop "set" [w]; drop "signum" []]); ("sigdelset", unknown [drop "set" [w]; drop "signum" []]); ("sigismember", unknown [drop "set" [r]; drop "signum" []]); + ("sigprocmask", unknown [drop "how" []; drop "set" [r]; drop "oldset" [w]]); ] (** Pthread functions. *) @@ -1077,7 +1078,6 @@ let invalidate_actions = [ "__ctype_b_loc", readsAll;(*safe*) "__errno", readsAll;(*safe*) "__errno_location", readsAll;(*safe*) - "sigprocmask", writesAll; (*unsafe*) "uname", writesAll;(*unsafe*) "getopt_long", writesAllButFirst 2 readsAll;(*drop 2*) "__strdup", readsAll;(*safe*)