svf-lib 1.0.1667 → 1.0.1668
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.
|
Binary file
|
|
Binary file
|
|
@@ -38,7 +38,7 @@
|
|
|
38
38
|
|
|
39
39
|
/// For a more detailed explanation of how External APIs are handled in SVF, please refer to the SVF Wiki: https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c
|
|
40
40
|
|
|
41
|
-
#define
|
|
41
|
+
#define DEFUALT_EXTAPI_BC_PATH "/svf-llvm/extapi.bc" // Default path to extapi.bc through the SVF build method(e.g. source ./build.sh)
|
|
42
42
|
|
|
43
43
|
namespace SVF
|
|
44
44
|
{
|
|
@@ -49,6 +49,9 @@ private:
|
|
|
49
49
|
|
|
50
50
|
static ExtAPI *extOp;
|
|
51
51
|
|
|
52
|
+
// extapi.bc file path
|
|
53
|
+
static std::string extBcPath;
|
|
54
|
+
|
|
52
55
|
ExtAPI() = default;
|
|
53
56
|
|
|
54
57
|
public:
|
|
@@ -57,6 +60,9 @@ public:
|
|
|
57
60
|
|
|
58
61
|
static void destory();
|
|
59
62
|
|
|
63
|
+
// Set extapi.bc file path
|
|
64
|
+
static void setExtBcPath(const std::string& path);
|
|
65
|
+
|
|
60
66
|
// Get extapi.bc file path
|
|
61
67
|
std::string getExtBcPath();
|
|
62
68
|
|
|
@@ -248,6 +248,7 @@ public:
|
|
|
248
248
|
static const Option<bool> VtableInSVFIR;
|
|
249
249
|
|
|
250
250
|
// WPAPass.cpp
|
|
251
|
+
static const Option<std::string> ExtAPIPath;
|
|
251
252
|
static const Option<bool> AnderSVFG;
|
|
252
253
|
static const Option<bool> SABERFULLSVFG;
|
|
253
254
|
static const Option<bool> PrintAliases;
|