svf-lib 1.0.1513 → 1.0.1515
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/Util/ExtAPI.h +8 -3
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/Util/ExtAPI.h +8 -3
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -31,8 +31,8 @@
|
|
|
31
31
|
#define __ExtAPI_H
|
|
32
32
|
|
|
33
33
|
#include "SVFIR/SVFValue.h"
|
|
34
|
-
#include
|
|
35
|
-
#include
|
|
34
|
+
#include <Util/cJSON.h>
|
|
35
|
+
#include <Util/config.h>
|
|
36
36
|
#include <string>
|
|
37
37
|
#include <map>
|
|
38
38
|
|
|
@@ -261,7 +261,9 @@ public:
|
|
|
261
261
|
static void destory();
|
|
262
262
|
|
|
263
263
|
// Add an entry with the specified fields to the ExtAPI, which will be reflected immediately by further ExtAPI queries
|
|
264
|
-
void add_entry(const char* funName,
|
|
264
|
+
void add_entry(const char* funName, const char* returnType,
|
|
265
|
+
std::vector<const char*> argTypes, extType type,
|
|
266
|
+
bool overwrite_app_function);
|
|
265
267
|
|
|
266
268
|
// Get numeric index of the argument in external function
|
|
267
269
|
u32_t getArgPos(const std::string& s);
|
|
@@ -299,6 +301,9 @@ public:
|
|
|
299
301
|
// 0: Apply user-defined functions
|
|
300
302
|
// 1: Apply function specification in ExtAPI.json
|
|
301
303
|
u32_t isOverwrittenAppFunction(const SVF::SVFFunction *callee);
|
|
304
|
+
u32_t isOverwrittenAppFunction(const std::string& funcName);
|
|
305
|
+
// set priority of the function
|
|
306
|
+
void setOverWrittenAppFunction(const std::string& funcName, u32_t overwrite_app_function);
|
|
302
307
|
|
|
303
308
|
// Does (F) have a static var X (unavailable to us) that its return points to?
|
|
304
309
|
bool has_static(const SVFFunction *F);
|
|
Binary file
|
|
Binary file
|
|
@@ -31,8 +31,8 @@
|
|
|
31
31
|
#define __ExtAPI_H
|
|
32
32
|
|
|
33
33
|
#include "SVFIR/SVFValue.h"
|
|
34
|
-
#include
|
|
35
|
-
#include
|
|
34
|
+
#include <Util/cJSON.h>
|
|
35
|
+
#include <Util/config.h>
|
|
36
36
|
#include <string>
|
|
37
37
|
#include <map>
|
|
38
38
|
|
|
@@ -261,7 +261,9 @@ public:
|
|
|
261
261
|
static void destory();
|
|
262
262
|
|
|
263
263
|
// Add an entry with the specified fields to the ExtAPI, which will be reflected immediately by further ExtAPI queries
|
|
264
|
-
void add_entry(const char* funName,
|
|
264
|
+
void add_entry(const char* funName, const char* returnType,
|
|
265
|
+
std::vector<const char*> argTypes, extType type,
|
|
266
|
+
bool overwrite_app_function);
|
|
265
267
|
|
|
266
268
|
// Get numeric index of the argument in external function
|
|
267
269
|
u32_t getArgPos(const std::string& s);
|
|
@@ -299,6 +301,9 @@ public:
|
|
|
299
301
|
// 0: Apply user-defined functions
|
|
300
302
|
// 1: Apply function specification in ExtAPI.json
|
|
301
303
|
u32_t isOverwrittenAppFunction(const SVF::SVFFunction *callee);
|
|
304
|
+
u32_t isOverwrittenAppFunction(const std::string& funcName);
|
|
305
|
+
// set priority of the function
|
|
306
|
+
void setOverWrittenAppFunction(const std::string& funcName, u32_t overwrite_app_function);
|
|
302
307
|
|
|
303
308
|
// Does (F) have a static var X (unavailable to us) that its return points to?
|
|
304
309
|
bool has_static(const SVFFunction *F);
|