svf-lib 1.0.1630 → 1.0.1632

package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMModule.h

@@ -237,14 +237,26 @@ public:
     SVFOtherValue* getSVFOtherValue(const Value* ov);
 
     /// Remove unused function in extapi.bc module
-    bool isUsedExtFunction(Function* func)
+    bool isCalledExtFunction(Function* func)
     {
+        /// check if a llvm Function is called.
+        auto isCalledFunction = [](llvm::Function* F)
+        {
+            for (auto& use : F->uses())
+            {
+                llvm::User* user = use.getUser();
+
+                if (llvm::isa<llvm::CallBase>(user))
+                {
+                    return true;
+                }
+            }
+            return false;
+        };
         /// if this function func defined in extapi.bc but never used in application code (without any corresponding declared functions).
         if (func->getParent()->getName().str() == Options::ExtAPIInput()
+                && !isCalledFunction(func)
                 && func->getName().str() != "svf__main"
-                && func->getName().str() != "malloc"
-                && func->getName().str() != "main"
-                && func->getName().substr(0,4) != "sse_"
                 && FunDefToDeclsMap.find(func) == FunDefToDeclsMap.end()
                 && std::find(ExtFuncsVec.begin(), ExtFuncsVec.end(), func) == ExtFuncsVec.end())
         {

package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMModule.h

@@ -237,14 +237,26 @@ public:
     SVFOtherValue* getSVFOtherValue(const Value* ov);
 
     /// Remove unused function in extapi.bc module
-    bool isUsedExtFunction(Function* func)
+    bool isCalledExtFunction(Function* func)
     {
+        /// check if a llvm Function is called.
+        auto isCalledFunction = [](llvm::Function* F)
+        {
+            for (auto& use : F->uses())
+            {
+                llvm::User* user = use.getUser();
+
+                if (llvm::isa<llvm::CallBase>(user))
+                {
+                    return true;
+                }
+            }
+            return false;
+        };
         /// if this function func defined in extapi.bc but never used in application code (without any corresponding declared functions).
         if (func->getParent()->getName().str() == Options::ExtAPIInput()
+                && !isCalledFunction(func)
                 && func->getName().str() != "svf__main"
-                && func->getName().str() != "malloc"
-                && func->getName().str() != "main"
-                && func->getName().substr(0,4) != "sse_"
                 && FunDefToDeclsMap.find(func) == FunDefToDeclsMap.end()
                 && std::find(ExtFuncsVec.begin(), ExtFuncsVec.end(), func) == ExtFuncsVec.end())
         {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1630",
+  "version": "1.0.1632",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {