svf-lib 1.0.1629 → 1.0.1630
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
|
|
@@ -242,6 +242,9 @@ public:
|
|
|
242
242
|
/// if this function func defined in extapi.bc but never used in application code (without any corresponding declared functions).
|
|
243
243
|
if (func->getParent()->getName().str() == Options::ExtAPIInput()
|
|
244
244
|
&& func->getName().str() != "svf__main"
|
|
245
|
+
&& func->getName().str() != "malloc"
|
|
246
|
+
&& func->getName().str() != "main"
|
|
247
|
+
&& func->getName().substr(0,4) != "sse_"
|
|
245
248
|
&& FunDefToDeclsMap.find(func) == FunDefToDeclsMap.end()
|
|
246
249
|
&& std::find(ExtFuncsVec.begin(), ExtFuncsVec.end(), func) == ExtFuncsVec.end())
|
|
247
250
|
{
|