svf-lib 1.0.1016 → 1.0.1019

package/SVF-linux/include/Graphs/SVFGEdge.h

@@ -45,7 +45,6 @@ class IndirectSVFGEdge : public VFGEdge
 public:
     typedef Set<const MRVer*> MRVerSet;
 private:
-    MRVerSet mrs;
     NodeBS cpts;
 public:
     /// Constructor
@@ -62,17 +61,6 @@ public:
     {
         return cpts;
     }
-
-    inline MRVerSet& getMRVer()
-    {
-        return mrs;
-    }
-    inline bool addMrVer(const MRVer* mr)
-    {
-        // collect memory regions' pts to edge;
-        cpts |= mr->getMR()->getPointsTo();
-        return mrs.insert(mr).second;
-    }
     //@}
 
     /// Methods for support type inquiry through isa, cast, and dyn_cast:

package/SVF-linux/include/MTA/MHP.h

@@ -10,6 +10,7 @@
 
 #include "MTA/TCT.h"
 #include "Util/SVFUtil.h"
+#include "SVF-FE/LLVMUtil.h"
 namespace SVF
 {
 

package/SVF-linux/include/MemoryModel/SVFVariables.h

@@ -32,7 +32,6 @@
 
 #include "Graphs/GenericGraph.h"
 #include "MemoryModel/SymbolTableInfo.h"
-#include "SVF-FE/LLVMUtil.h"
 #include "MemoryModel/SVFStatements.h"
 
 namespace SVF
@@ -120,13 +119,7 @@ public:
     }
     /// Whether it is constant data, i.e., "0", "1.001", "str"
     /// or llvm's metadata, i.e., metadata !4087
-    inline bool isConstantData() const
-    {
-        if (hasValue())
-            return SVFUtil::isConstantData(value);
-        else
-            return false;
-    }
+    bool isConstantData() const;
 
     /// Whether this is an isoloated node on the SVFIR graph
     bool isIsolatedNode() const;

package/SVF-linux/include/MemoryModel/SymbolTableInfo.h

@@ -32,7 +32,6 @@
 
 
 #include "Util/SVFUtil.h"
-#include "SVF-FE/LLVMUtil.h"
 #include "MemoryModel/LocationSet.h"
 #include "Util/SVFModule.h"
 namespace SVF
@@ -226,28 +225,9 @@ public:
 
     /// Get different kinds of syms
     //@{
-    SymID getValSym(const Value *val)
-    {
-
-        if(isNullPtrSym(val))
-            return nullPtrSymID();
-        else if (SVFUtil::isBlackholeSym(val))
-            return blkPtrSymID();
-        else
-        {
-            ValueToIDMapTy::const_iterator iter =  valSymMap.find(val);
-            assert(iter!=valSymMap.end() &&"value sym not found");
-            return iter->second;
-        }
-    }
+    SymID getValSym(const Value *val);
 
-    inline bool hasValSym(const Value* val)
-    {
-        if (isNullPtrSym(val) || SVFUtil::isBlackholeSym(val))
-            return true;
-        else
-            return (valSymMap.find(val) != valSymMap.end());
-    }
+    bool hasValSym(const Value* val);
 
     inline SymID getObjSym(const Value *val) const
     {

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

@@ -54,6 +54,7 @@ typedef llvm::ConstantAggregateZero ConstantAggregateZero;
 typedef llvm::ConstantDataSequential ConstantDataSequential;
 typedef llvm::ConstantExpr ConstantExpr;
 typedef llvm::ConstantDataArray ConstantDataArray;
+typedef llvm::ConstantData ConstantData;
 
 // LLVM Instructions
 typedef llvm::AllocaInst AllocaInst;

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

@@ -91,7 +91,6 @@ typedef llvm::DataLayout DataLayout;
 
 /// LLVM Aliases and constants
 typedef llvm::Argument Argument;
-typedef llvm::ConstantData ConstantData;
 typedef llvm::Constant Constant;
 typedef llvm::ConstantInt ConstantInt;
 typedef llvm::ConstantPointerNull ConstantPointerNull;

package/SVF-osx/include/MTA/MHP.h

@@ -10,6 +10,7 @@
 
 #include "MTA/TCT.h"
 #include "Util/SVFUtil.h"
+#include "SVF-FE/LLVMUtil.h"
 namespace SVF
 {
 

package/SVF-osx/include/MemoryModel/SVFVariables.h

@@ -32,7 +32,6 @@
 
 #include "Graphs/GenericGraph.h"
 #include "MemoryModel/SymbolTableInfo.h"
-#include "SVF-FE/LLVMUtil.h"
 #include "MemoryModel/SVFStatements.h"
 
 namespace SVF
@@ -120,13 +119,7 @@ public:
     }
     /// Whether it is constant data, i.e., "0", "1.001", "str"
     /// or llvm's metadata, i.e., metadata !4087
-    inline bool isConstantData() const
-    {
-        if (hasValue())
-            return SVFUtil::isConstantData(value);
-        else
-            return false;
-    }
+    bool isConstantData() const;
 
     /// Whether this is an isoloated node on the SVFIR graph
     bool isIsolatedNode() const;

package/SVF-osx/include/MemoryModel/SymbolTableInfo.h

@@ -32,7 +32,6 @@
 
 
 #include "Util/SVFUtil.h"
-#include "SVF-FE/LLVMUtil.h"
 #include "MemoryModel/LocationSet.h"
 #include "Util/SVFModule.h"
 namespace SVF
@@ -226,28 +225,9 @@ public:
 
     /// Get different kinds of syms
     //@{
-    SymID getValSym(const Value *val)
-    {
-
-        if(isNullPtrSym(val))
-            return nullPtrSymID();
-        else if (SVFUtil::isBlackholeSym(val))
-            return blkPtrSymID();
-        else
-        {
-            ValueToIDMapTy::const_iterator iter =  valSymMap.find(val);
-            assert(iter!=valSymMap.end() &&"value sym not found");
-            return iter->second;
-        }
-    }
+    SymID getValSym(const Value *val);
 
-    inline bool hasValSym(const Value* val)
-    {
-        if (isNullPtrSym(val) || SVFUtil::isBlackholeSym(val))
-            return true;
-        else
-            return (valSymMap.find(val) != valSymMap.end());
-    }
+    bool hasValSym(const Value* val);
 
     inline SymID getObjSym(const Value *val) const
     {

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

@@ -54,6 +54,7 @@ typedef llvm::ConstantAggregateZero ConstantAggregateZero;
 typedef llvm::ConstantDataSequential ConstantDataSequential;
 typedef llvm::ConstantExpr ConstantExpr;
 typedef llvm::ConstantDataArray ConstantDataArray;
+typedef llvm::ConstantData ConstantData;
 
 // LLVM Instructions
 typedef llvm::AllocaInst AllocaInst;

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

@@ -91,7 +91,6 @@ typedef llvm::DataLayout DataLayout;
 
 /// LLVM Aliases and constants
 typedef llvm::Argument Argument;
-typedef llvm::ConstantData ConstantData;
 typedef llvm::Constant Constant;
 typedef llvm::ConstantInt ConstantInt;
 typedef llvm::ConstantPointerNull ConstantPointerNull;

package/package.json

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