From 724878ab1dd50861b7818a1bfed98e8b41d416f3 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Wed, 4 Oct 2023 10:52:14 +0200 Subject: [PATCH] Fix `select` Co-authored-by: Simmo Saan --- 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 5dfb0d3503..4ce755f71e 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -378,7 +378,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("connect", unknown [drop "sockfd" []; drop "sockaddr" [r_deep]; drop "addrlen" []]); ("bind", unknown [drop "sockfd" []; drop "sockaddr" [r_deep]; drop "addrlen" []]); ("listen", unknown [drop "sockfd" []; drop "backlog" []]); - ("select", unknown [drop "nfds" []; drop "readfds" [r]; drop "writefds" [r]; drop "exceptfds" [r]; drop "timeout" [r;w]]); + ("select", unknown [drop "nfds" []; drop "readfds" [r; w]; drop "writefds" [r; w]; drop "exceptfds" [r; w]; drop "timeout" [r; w]]); ("accept", unknown [drop "sockfd" []; drop "addr" [w_deep]; drop "addrlen" [r; w]]); ("close", unknown [drop "fd" []]); ("writev", unknown [drop "fd" []; drop "iov" [r_deep]; drop "iovcnt" []]);