svf-lib 1.0.1204 → 1.0.1207

package/SVF-linux/include/DDA/DDAPass.h

@@ -43,9 +43,6 @@ public:
     /// We start from here
     virtual void runOnModule(SVFModule* module);
 
-    /// We start from here
-    virtual bool runOnModule(Module& module);
-
     /// Select a client
     virtual void selectClient(SVFModule* module);
 

package/SVF-linux/include/SVF-FE/BasicTypes.h

@@ -38,6 +38,7 @@ typedef llvm::UnifyFunctionExitNodesLegacyPass UnifyFunctionExitNodes;
 typedef llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes;
 #endif
 
+typedef llvm::Module Module;
 
 typedef llvm::SMDiagnostic SMDiagnostic;
 

package/SVF-linux/include/SVF-FE/CHGBuilder.h

@@ -28,6 +28,7 @@
  */
 
 #include "Graphs/CHG.h"
+#include "SVF-FE/BasicTypes.h"
 
 namespace SVF
 {

package/SVF-linux/include/SVF-FE/DCHG.h

@@ -386,7 +386,7 @@ private:
     void handleDISubroutineType(const DISubroutineType *subroutineType);
 
     /// Finds all defined virtual functions and attaches them to nodes.
-    void buildVTables(const Module &module);
+    void buildVTables(const SVFModule &module);
 
     /// Returns a set of all children of type (CHA). Also gradually builds chaMap.
     const NodeBS &cha(const DIType *type, bool firstField);

package/SVF-linux/include/SVF-FE/LLVMModule.h

@@ -116,6 +116,23 @@ public:
         return svfModule->getSVFFunction(fun);
     }
 
+    /// Get the corresponding Function based on its name
+    inline const SVFFunction *getSVFFunction(std::string name)
+    {
+        Function *fun = nullptr;
+
+        for (u32_t i = 0; i < llvmModuleSet->getModuleNum(); ++i)
+        {
+            Module *mod = llvmModuleSet->getModule(i);
+            fun = mod->getFunction(name);
+            if (fun)
+            {
+                return llvmModuleSet->getSVFFunction(fun);
+            }
+        }
+        return nullptr;
+    }
+
     /// Fun decl --> def
     bool hasDefinition(const Function *fun) const
     {

package/SVF-linux/include/Util/BasicTypes.h

@@ -74,7 +74,6 @@ typedef llvm::Instruction Instruction;
 typedef llvm::CallBase CallBase;
 typedef llvm::GlobalValue GlobalValue;
 typedef llvm::GlobalVariable GlobalVariable;
-typedef llvm::Module Module;
 typedef llvm::User User;
 typedef llvm::Loop Loop;
 typedef llvm::LoopInfo LoopInfo;

package/SVF-linux/include/Util/ExtAPI.h

@@ -216,7 +216,7 @@ public:
             return operandStr;
         }
 
-        std::vector<NodeID> getOperands()
+        std::vector<NodeID> &getOperands()
         {
             return operands;
         }
@@ -247,7 +247,7 @@ public:
     // return value = -3 is an object node
     // return value = -4 is an offset
     // return value = -5 is an illegal operand format
-    int getNodeIDType(std::string s);
+    s32_t getNodeIDType(std::string s);
 
     // Get the corresponding name in ext_t, e.g. "EXT_ADDR" in {"addr", EXT_ADDR},
     std::string get_opName(const std::string& s);

package/SVF-linux/include/Util/ExtAPI.json

@@ -3868,7 +3868,7 @@
     "stpcpy":   {
         "type": "EFT_L_A0__A1_A0",
         "overwrite_app_function": 0,
-        "memcpy_like":  ["0", "1", "2"],
+        "memcpy_like":  ["0", "1"],
         "CopyStmt": {
 			"src": "Arg0",
 			"dst": "Ret"
@@ -3877,7 +3877,7 @@
     "strcat":   {
         "type": "EFT_L_A0__A1_A0",
         "overwrite_app_function": 0,
-        "memcpy_like":  ["0", "1", "2"],
+        "memcpy_like":  ["0", "1"],
         "CopyStmt": {
 			"src": "Arg0",
 			"dst": "Ret"
@@ -3886,7 +3886,7 @@
     "strcpy":   {
         "type": "EFT_L_A0__A1_A0",
         "overwrite_app_function": 0,
-        "memcpy_like":  ["0", "1", "2"],
+        "memcpy_like":  ["0", "1"],
         "CopyStmt": {
 			"src": "Arg0",
 			"dst": "Ret"

package/SVF-linux/include/Util/SVFUtil.h

@@ -224,19 +224,7 @@ inline CallSite getLLVMCallSite(const Instruction* inst)
 /// Get the corresponding Function based on its name
 inline const SVFFunction* getFunction(std::string name)
 {
-    Function* fun = nullptr;
-    LLVMModuleSet* llvmModuleset = LLVMModuleSet::getLLVMModuleSet();
-
-    for (u32_t i = 0; i < llvmModuleset->getModuleNum(); ++i)
-    {
-        Module *mod = llvmModuleset->getModule(i);
-        fun = mod->getFunction(name);
-        if(fun)
-        {
-            return llvmModuleset->getSVFFunction(fun);
-        }
-    }
-    return nullptr;
+    return LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(name);
 }
 
 /// Split into two substrings around the first occurrence of a separator string.

package/SVF-linux/include/WPA/WPAPass.h

@@ -99,9 +99,6 @@ public:
     /// Run pointer analysis on SVFModule
     virtual void runOnModule(SVFModule* svfModule);
 
-    /// Run pointer analysis on LLVM module
-    virtual bool runOnModule(Module& module);
-
     /// PTA name
     virtual inline std::string getPassName() const
     {

package/SVF-osx/include/DDA/DDAPass.h

@@ -43,9 +43,6 @@ public:
     /// We start from here
     virtual void runOnModule(SVFModule* module);
 
-    /// We start from here
-    virtual bool runOnModule(Module& module);
-
     /// Select a client
     virtual void selectClient(SVFModule* module);
 

package/SVF-osx/include/SVF-FE/BasicTypes.h

@@ -38,6 +38,7 @@ typedef llvm::UnifyFunctionExitNodesLegacyPass UnifyFunctionExitNodes;
 typedef llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes;
 #endif
 
+typedef llvm::Module Module;
 
 typedef llvm::SMDiagnostic SMDiagnostic;
 

package/SVF-osx/include/SVF-FE/CHGBuilder.h

@@ -28,6 +28,7 @@
  */
 
 #include "Graphs/CHG.h"
+#include "SVF-FE/BasicTypes.h"
 
 namespace SVF
 {

package/SVF-osx/include/SVF-FE/DCHG.h

@@ -386,7 +386,7 @@ private:
     void handleDISubroutineType(const DISubroutineType *subroutineType);
 
     /// Finds all defined virtual functions and attaches them to nodes.
-    void buildVTables(const Module &module);
+    void buildVTables(const SVFModule &module);
 
     /// Returns a set of all children of type (CHA). Also gradually builds chaMap.
     const NodeBS &cha(const DIType *type, bool firstField);

package/SVF-osx/include/SVF-FE/LLVMModule.h

@@ -116,6 +116,23 @@ public:
         return svfModule->getSVFFunction(fun);
     }
 
+    /// Get the corresponding Function based on its name
+    inline const SVFFunction *getSVFFunction(std::string name)
+    {
+        Function *fun = nullptr;
+
+        for (u32_t i = 0; i < llvmModuleSet->getModuleNum(); ++i)
+        {
+            Module *mod = llvmModuleSet->getModule(i);
+            fun = mod->getFunction(name);
+            if (fun)
+            {
+                return llvmModuleSet->getSVFFunction(fun);
+            }
+        }
+        return nullptr;
+    }
+
     /// Fun decl --> def
     bool hasDefinition(const Function *fun) const
     {

package/SVF-osx/include/Util/BasicTypes.h

@@ -74,7 +74,6 @@ typedef llvm::Instruction Instruction;
 typedef llvm::CallBase CallBase;
 typedef llvm::GlobalValue GlobalValue;
 typedef llvm::GlobalVariable GlobalVariable;
-typedef llvm::Module Module;
 typedef llvm::User User;
 typedef llvm::Loop Loop;
 typedef llvm::LoopInfo LoopInfo;

package/SVF-osx/include/Util/SVFUtil.h

@@ -224,19 +224,7 @@ inline CallSite getLLVMCallSite(const Instruction* inst)
 /// Get the corresponding Function based on its name
 inline const SVFFunction* getFunction(std::string name)
 {
-    Function* fun = nullptr;
-    LLVMModuleSet* llvmModuleset = LLVMModuleSet::getLLVMModuleSet();
-
-    for (u32_t i = 0; i < llvmModuleset->getModuleNum(); ++i)
-    {
-        Module *mod = llvmModuleset->getModule(i);
-        fun = mod->getFunction(name);
-        if(fun)
-        {
-            return llvmModuleset->getSVFFunction(fun);
-        }
-    }
-    return nullptr;
+    return LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(name);
 }
 
 /// Split into two substrings around the first occurrence of a separator string.

package/SVF-osx/include/WPA/WPAPass.h

@@ -99,9 +99,6 @@ public:
     /// Run pointer analysis on SVFModule
     virtual void runOnModule(SVFModule* svfModule);
 
-    /// Run pointer analysis on LLVM module
-    virtual bool runOnModule(Module& module);
-
     /// PTA name
     virtual inline std::string getPassName() const
     {

package/package.json

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