Merge pull request #1163 from adriaanjacobs/master

Support non-throwing C++ `new` functions in ExtAPI
SVF-tools · Aug 13, 2023 · 8d4c268 · 8d4c268
2 parents d43e92e + bb59c79
commit 8d4c268
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/svf/include/Util/ExtAPI.json b/svf/include/Util/ExtAPI.json
@@ -3435,6 +3435,16 @@
 			"dst": "Ret"
 		}
     },
+    "_ZnwmRKSt9nothrow_t":  {
+        "return":  "i8*",
+        "arguments":  "(i64, const std::nothrow_t&)",
+        "type": "EFT_ALLOC",
+        "overwrite_app_function": 1,
+        "AddrStmt": {
+			"src": "Obj",
+			"dst": "Ret"
+		}
+    },
     "_Znam":    {
         "return":  "i8*",
         "arguments":  "(i64)",
@@ -3445,6 +3455,16 @@
 			"dst": "Ret"
 		}
     },
+    "_ZnamRKSt9nothrow_t": {
+        "return":  "i8*",
+        "arguments":  "(i64, const std::nothrow_t&)",
+        "type": "EFT_ALLOC",
+        "overwrite_app_function": 1,
+        "AddrStmt": {
+			"src": "Obj",
+			"dst": "Ret"
+		}
+    },
     "_Znaj":    {
         "return":  "i8*",
         "arguments":  "(i32)",