svf-lib 1.0.1656 → 1.0.1658

package/SVF-linux/svf/include/MemoryModel/SVFLoop.h

@@ -78,17 +78,17 @@ public:
 
     inline bool isBackICFGEdge(const ICFGEdge *edge) const
     {
-        return backICFGEdges.find(edge) != entryICFGEdges.end();
+        return backICFGEdges.find(edge) != backICFGEdges.end();
     }
 
     inline bool isInICFGEdge(const ICFGEdge *edge) const
     {
-        return inICFGEdges.find(edge) != entryICFGEdges.end();
+        return inICFGEdges.find(edge) != inICFGEdges.end();
     }
 
     inline bool isOutICFGEdge(const ICFGEdge *edge) const
     {
-        return outICFGEdges.find(edge) != entryICFGEdges.end();
+        return outICFGEdges.find(edge) != outICFGEdges.end();
     }
 
     inline void addEntryICFGEdge(const ICFGEdge *edge)

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

@@ -239,24 +239,8 @@ public:
     /// Remove unused function in extapi.bc module
     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"
                 && FunDefToDeclsMap.find(func) == FunDefToDeclsMap.end()
                 && std::find(ExtFuncsVec.begin(), ExtFuncsVec.end(), func) == ExtFuncsVec.end())
         {

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

@@ -376,6 +376,10 @@ bool isIntrinsicFun(const Function* func);
 std::vector<const Function *> getCalledFunctions(const Function *F);
 std::vector<std::string> getFunAnnotations(const Function* fun);
 void removeFunAnnotations(std::vector<Function*>& removedFuncList);
+bool isUnusedGlobalVariable(const GlobalVariable& global);
+void removeUnusedGlobalVariables(Module* module);
+/// Delete unused functions, annotations and global variables in extapi.bc
+void removeUnusedFuncsAndAnnotationsAndGlobalVariables(std::vector<Function*> removedFuncList);
 
 inline u32_t SVFType2ByteSize(const SVFType* type)
 {
@@ -394,15 +398,6 @@ inline u32_t SVFType2ByteSize(const SVFType* type)
     return llvm_elem_size;
 }
 
-inline void removeUnusedFuncsAndAnnotations(std::vector<Function*> removedFuncList)
-{
-    /// Remove unused function annotations in extapi.bc
-    LLVMUtil::removeFunAnnotations(removedFuncList);
-    /// Remove unused function in extapi.bc
-    for (Function* func : removedFuncList)
-        func->eraseFromParent();
-}
-
 /// Get the corresponding Function based on its name
 inline const SVFFunction* getFunction(const std::string& name)
 {

package/package.json

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