Add missing library function definitions for rsync issue

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

src/util/library/libraryFunctions.ml

@@ -467,6 +467,21 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("getdelim", unknown [drop "lineptr" [r_deep; w_deep]; drop "n" [r; w]; drop "delimiter" []; drop "stream" [r_deep; w_deep]]);
     ("__getdelim", unknown [drop "lineptr" [r_deep; w_deep]; drop "n" [r; w]; drop "delimiter" []; drop "stream" [r_deep; w_deep]]);
     ("getwdelim", unknown [drop "lineptr" [r_deep; w_deep]; drop "n" [r; w]; drop "delimiter" []; drop "stream" [r_deep; w_deep]]);
+    ("chroot", unknown [drop "path" [r]]);
+    ("execlp", unknown (drop "file" [r] :: drop "arg" [r] :: VarArgs (drop' [r])));
+    ("gai_strerror", unknown [drop "errcode" []]);
+    ("getegid", unknown []);
+    ("getgroups", unknown [drop "size" []; drop "list" [w]]);
+    ("getpass", unknown ~attrs:[ThreadUnsafe] [drop "prompt" [r]]);
+    ("initgroups", unknown [drop "user" [r]; drop "group" []]);
+    ("mknod", unknown [drop "pathname" [r]; drop "mode" []; drop "dev" []]);
+    ("openat", unknown (drop "dirfd" [] :: drop "pathname" [r] :: drop "flags" [] :: VarArgs (drop "mode" [])));
+    ("seteuid", unknown [drop "uid" []]);
+    ("setgid", unknown [drop "gid" []]);
+    ("setgroups", unknown [drop "size" []; drop "list" [r]]);
+    ("setuid", unknown [drop "uid" []]);
+    ("socketpair", unknown [drop "domain" []; drop "type" []; drop "protocol" []; drop "sv" [w]]);
+    ("tcgetpgrp", unknown [drop "fd" []]);
   ]
 [@@coverage off]
 
@@ -721,6 +736,14 @@ let glibc_desc_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("svc_register", unknown [drop "xprt" [r_deep; w_deep]; drop "prognum" []; drop "versnum" []; drop "dispatch" [r; w; c]; drop "protocol" []]);
     ("svc_run", unknown []); (* TODO: make new special kind "NoReturn" for this: the following node will be dead (like Abort), but the program doesn't exit (so it shouldn't be Abort) *)
     (* RPC library end *)
+    ("getgrouplist", unknown [drop "user" [r]; drop "group" []; drop "groups" [w]; drop "ngroups" [r; w]]);
+    ("innetgr", unknown [drop "netgroup" [r]; drop "host" [r]; drop "user" [r]; drop "domain" [r]]);
+    ("lchmod", unknown [drop "path" [r]; drop "mode" []]);
+    ("lseek64", unknown [drop "fd" []; drop "offset" []; drop "whence" []]);
+    ("lutimes", unknown [drop "filename" [r]; drop "times" [r]]);
+    ("mallinfo2", unknown []);
+    ("strlcat", unknown [drop "dst" [r; w]; drop "src" [r]; drop "dstsize" []]);
+    ("strlcpy", unknown [drop "dst" [w]; drop "src" [r]; drop "dstsize" []]);
   ]
 [@@coverage off]
 
@@ -766,6 +789,7 @@ let linux_userspace_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("__fxstat", unknown [drop "ver" []; drop "fildes" []; drop "stat_buf" [w]]);
     ("__ctype_b_loc", unknown []);
     ("_IO_getc", unknown [drop "f" [r_deep; w_deep]]);
+    ("fallocate", unknown [drop "fd" []; drop "mode" []; drop "offset" []; drop "len" []]);
   ]
 [@@coverage off]