svf-lib 1.0.1666 → 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.
- package/SVF-linux/Release-build/include/Util/config.h +1 -1
- 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 +1 -1
- package/SVF-linux/svf/include/Util/Options.h +0 -1
- package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMModule.h +1 -1
- package/SVF-osx/Release-build/include/Util/config.h +1 -0
- 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 +7 -1
- package/SVF-osx/svf/include/Util/Options.h +1 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -248,7 +248,6 @@ public:
|
|
|
248
248
|
static const Option<bool> VtableInSVFIR;
|
|
249
249
|
|
|
250
250
|
// WPAPass.cpp
|
|
251
|
-
static const Option<std::string> ExtAPIInput;
|
|
252
251
|
static const Option<bool> AnderSVFG;
|
|
253
252
|
static const Option<bool> SABERFULLSVFG;
|
|
254
253
|
static const Option<bool> PrintAliases;
|
|
@@ -240,7 +240,7 @@ public:
|
|
|
240
240
|
bool isCalledExtFunction(Function* func)
|
|
241
241
|
{
|
|
242
242
|
/// if this function func defined in extapi.bc but never used in application code (without any corresponding declared functions).
|
|
243
|
-
if (func->getParent()->getName().str() ==
|
|
243
|
+
if (func->getParent()->getName().str() == ExtAPI::getExtAPI()->getExtBcPath()
|
|
244
244
|
&& FunDefToDeclsMap.find(func) == FunDefToDeclsMap.end()
|
|
245
245
|
&& std::find(ExtFuncsVec.begin(), ExtFuncsVec.end(), func) == ExtFuncsVec.end())
|
|
246
246
|
{
|
|
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;
|