Port all remaining library functions

src/config/options.schema.json

@@ -1344,7 +1344,8 @@
               "zstd",
               "pcre",
               "zlib",
-              "liblzma"
+              "liblzma",
+              "legacy"
             ]
           },
           "default": [
@@ -1355,7 +1356,8 @@
             "glibc",
             "linux-userspace",
             "goblint",
-            "ncurses"
+            "ncurses",
+            "legacy"
           ]
         }
       },

src/util/library/libraryDsl.ml

@@ -102,3 +102,5 @@ let f = Access.{ kind = Free; deep = false; }
 let f_deep = Access.{ kind = Free; deep = true; }
 let s = Access.{ kind = Spawn; deep = false; }
 let s_deep = Access.{ kind = Spawn; deep = true; }
+let c = Access.{ kind = Spawn; deep = false; } (* TODO: Sound, but very imprecise hack for calls to function pointers given as arguments. *)
+let c_deep = Access.{ kind = Spawn; deep = true; }

src/util/library/libraryDsl.mli

@@ -71,3 +71,9 @@ val s: LibraryDesc.Access.t
 (** Deep {!AccessKind.Spawn} access.
     Rarely needed. *)
 val s_deep: LibraryDesc.Access.t
+
+(** Shallow {!AccessKind.Spawn} access, substituting function pointer calls for now (TODO). *)
+val c: LibraryDesc.Access.t
+
+(** Deep {!AccessKind.Spawn} access, substituting deep function pointer calls for now (TODO)  *)
+val c_deep: LibraryDesc.Access.t