diff --git a/svf/include/Util/ExtAPI.json b/svf/include/Util/ExtAPI.json index 0702606eb..952f360dd 100644 --- 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)",