From e11c982aac5925edc348389305ce1a48efb73aa0 Mon Sep 17 00:00:00 2001
From: karoliineh <karoliine.holter@ut.ee>
Date: Mon, 14 Aug 2023 13:53:11 +0300
Subject: [PATCH] Make sem.unknown_function.call option

---
 src/analyses/libraryFunctions.ml | 3 ++-
 src/util/options.schema.json     | 7 +++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
index 6495341c7a..7c31d69fb8 100644
--- a/src/analyses/libraryFunctions.ml
+++ b/src/analyses/libraryFunctions.ml
@@ -1165,7 +1165,8 @@ let unknown_desc ~f name = (* TODO: remove name argument, unknown function shoul
     | Read when GobConfig.get_bool "sem.unknown_function.read.args" -> args
     | Read -> []
     | Free -> []
-    | Call -> [] (* TODO: option *)
+    | Call when get_bool "sem.unknown_function.call.args" -> args
+    | Call -> []
     | Spawn when get_bool "sem.unknown_function.spawn" -> args
     | Spawn -> []
   in
diff --git a/src/util/options.schema.json b/src/util/options.schema.json
index efa1dfabb8..0e89ede0b5 100644
--- a/src/util/options.schema.json
+++ b/src/util/options.schema.json
@@ -1317,6 +1317,13 @@
               "type": "boolean",
               "default": true
             },
+            "call": {
+              "title": "sem.unknown_function.call",
+              "description":
+                "Unknown function call calls reachable functions",
+              "type": "boolean",
+              "default": true
+            },
             "invalidate": {
               "title": "sem.unknown_function.invalidate",
               "type": "object",