svf-lib 1.0.1665 → 1.0.1667
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 -1
- 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 +1 -1
- package/SVF-osx/svf/include/Util/Options.h +0 -1
- package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMModule.h +1 -1
- 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
|
|
@@ -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
|
{
|