svf-lib 1.0.1449 → 1.0.1451

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

@@ -36,15 +36,19 @@
 
 #include "SVFIR/SVFValue.h"
 
+
 namespace SVF
 {
 
+class SVFVar;
+
+
 /*
- * Location set represents a set of locations in a memory block with following offsets:
- *     { offset + \sum_{i=0}^N (stride_i * j_i) | 0 \leq j_i < M_i }
- * where N is the size of number-stride pair vector, M_i (stride_i) is i-th number (stride)
- * in the number-stride pair vector.
- */
+* Location set represents a set of locations in a memory block with following offsets:
+*     { offset + \sum_{i=0}^N (stride_i * j_i) | 0 \leq j_i < M_i }
+* where N is the size of number-stride pair vector, M_i (stride_i) is i-th number (stride)
+* in the number-stride pair vector.
+*/
 class LocationSet
 {
     friend class SymbolTableInfo;
@@ -54,7 +58,7 @@ public:
         NonOverlap, Overlap, Subset, Superset, Same
     };
 
-    typedef std::vector<std::pair<const SVFValue*, const SVFType*> > OffsetValueVec;
+    typedef std::vector<const SVFVar*> OffsetVarVec;
 
     /// Constructor
     LocationSet(s32_t o = 0) : fldIdx(o)
@@ -62,7 +66,7 @@ public:
 
     /// Copy Constructor
     LocationSet(const LocationSet& ls)
-        : fldIdx(ls.fldIdx), offsetValues(ls.getOffsetValueVec())
+        : fldIdx(ls.fldIdx), offsetVars(ls.getOffsetVarVec())
     {
     }
 
@@ -75,13 +79,13 @@ public:
     inline const LocationSet& operator= (const LocationSet& rhs)
     {
         fldIdx = rhs.fldIdx;
-        offsetValues = rhs.getOffsetValueVec();
+        offsetVars = rhs.getOffsetVarVec();
         return *this;
     }
     inline bool operator==(const LocationSet& rhs) const
     {
         return this->fldIdx == rhs.fldIdx
-               && this->offsetValues == rhs.offsetValues;
+               && this->offsetVars == rhs.offsetVars;
     }
     //@}
 
@@ -95,19 +99,20 @@ public:
     {
         fldIdx = idx;
     }
-    inline const OffsetValueVec& getOffsetValueVec() const
+    inline const OffsetVarVec& getOffsetVarVec() const
     {
-        return offsetValues;
+        return offsetVars;
     }
     //@}
 
-    /// Return accumulated constant offset given OffsetValueVec
+    /// Return accumulated constant offset given OffsetVarVec
     s32_t accumulateConstantOffset() const;
 
     /// Return element number of a type.
     u32_t getElementNum(const SVFType* type) const;
 
-    bool addOffsetValue(const SVFValue* offsetValue, const SVFType* type);
+
+    bool addOffsetVar(const SVFVar* var);
 
     /// Return TRUE if this is a constant location set.
     bool isConstantOffset() const;
@@ -130,7 +135,7 @@ private:
     NodeBS computeAllLocations() const;
 
     s32_t fldIdx;	///< Accumulated Constant Offsets
-    OffsetValueVec offsetValues;	///< a vector of actual offset in the form of Values
+    OffsetVarVec offsetVars;	///< a vector of actual offset in the form of SVF Vars
 };
 
 } // End namespace SVF
@@ -140,8 +145,8 @@ template <> struct std::hash<SVF::LocationSet>
     size_t operator()(const SVF::LocationSet &ls) const
     {
         SVF::Hash<std::pair<SVF::NodeID, SVF::NodeID>> h;
-        std::hash<SVF::LocationSet::OffsetValueVec> v;
-        return h(std::make_pair(ls.accumulateConstantFieldIdx(), v(ls.getOffsetValueVec())));
+        std::hash<SVF::LocationSet::OffsetVarVec> v;
+        return h(std::make_pair(ls.accumulateConstantFieldIdx(), v(ls.getOffsetVarVec())));
     }
 };
 

package/SVF-linux/svf/include/SVFIR/SVFStatements.h

@@ -444,9 +444,9 @@ public:
     {
         return ls;
     }
-    inline const LocationSet::OffsetValueVec& getOffsetValueVec() const
+    inline const LocationSet::OffsetVarVec getOffsetVarVec() const
     {
-        return getLocationSet().getOffsetValueVec();
+        return getLocationSet().getOffsetVarVec();
     }
     /// Return TRUE if this is a constant location set.
     inline bool isConstantOffset() const

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

@@ -41,7 +41,7 @@ namespace SVF
 
 class SymbolTableBuilder
 {
-
+    friend class SVFIRBuilder;
 private:
     SymbolTableInfo* symInfo;
 

package/SVF-osx/svf/include/MemoryModel/LocationSet.h

@@ -58,7 +58,8 @@ public:
         NonOverlap, Overlap, Subset, Superset, Same
     };
 
-    typedef std::vector<const SVFVar*> OffsetVarVec;
+    typedef std::pair<const SVFVar*, const SVFType*> VarAndGepTypePair;
+    typedef std::vector<VarAndGepTypePair> OffsetVarAndGepTypePairs;
 
     /// Constructor
     LocationSet(s32_t o = 0) : fldIdx(o)
@@ -66,7 +67,7 @@ public:
 
     /// Copy Constructor
     LocationSet(const LocationSet& ls)
-        : fldIdx(ls.fldIdx), offsetVars(ls.getOffsetVarVec())
+        : fldIdx(ls.fldIdx), offsetVarAndGepTypePairs(ls.getOffsetVarAndGepTypePairVec())
     {
     }
 
@@ -79,13 +80,13 @@ public:
     inline const LocationSet& operator= (const LocationSet& rhs)
     {
         fldIdx = rhs.fldIdx;
-        offsetVars = rhs.getOffsetVarVec();
+        offsetVarAndGepTypePairs = rhs.getOffsetVarAndGepTypePairVec();
         return *this;
     }
     inline bool operator==(const LocationSet& rhs) const
     {
         return this->fldIdx == rhs.fldIdx
-               && this->offsetVars == rhs.offsetVars;
+               && this->offsetVarAndGepTypePairs == rhs.offsetVarAndGepTypePairs;
     }
     //@}
 
@@ -99,9 +100,9 @@ public:
     {
         fldIdx = idx;
     }
-    inline const OffsetVarVec& getOffsetVarVec() const
+    inline const OffsetVarAndGepTypePairs& getOffsetVarAndGepTypePairVec() const
     {
-        return offsetVars;
+        return offsetVarAndGepTypePairs;
     }
     //@}
 
@@ -112,7 +113,7 @@ public:
     u32_t getElementNum(const SVFType* type) const;
 
 
-    bool addOffsetVar(const SVFVar* var);
+    bool addOffsetVarAndGepTypePair(const SVFVar* var, const SVFType* gepIterType);
 
     /// Return TRUE if this is a constant location set.
     bool isConstantOffset() const;
@@ -135,7 +136,7 @@ private:
     NodeBS computeAllLocations() const;
 
     s32_t fldIdx;	///< Accumulated Constant Offsets
-    OffsetVarVec offsetVars;	///< a vector of actual offset in the form of SVF Vars
+    OffsetVarAndGepTypePairs offsetVarAndGepTypePairs;	///< a vector of actual offset in the form of <SVF Var, iterator type>s
 };
 
 } // End namespace SVF
@@ -145,8 +146,8 @@ template <> struct std::hash<SVF::LocationSet>
     size_t operator()(const SVF::LocationSet &ls) const
     {
         SVF::Hash<std::pair<SVF::NodeID, SVF::NodeID>> h;
-        std::hash<SVF::LocationSet::OffsetVarVec> v;
-        return h(std::make_pair(ls.accumulateConstantFieldIdx(), v(ls.getOffsetVarVec())));
+        std::hash<SVF::LocationSet::OffsetVarAndGepTypePairs> v;
+        return h(std::make_pair(ls.accumulateConstantFieldIdx(), v(ls.getOffsetVarAndGepTypePairVec())));
     }
 };
 

package/SVF-osx/svf/include/SVFIR/SVFStatements.h

@@ -444,9 +444,9 @@ public:
     {
         return ls;
     }
-    inline const LocationSet::OffsetVarVec getOffsetVarVec() const
+    inline const LocationSet::OffsetVarAndGepTypePairs getOffsetVarAndGepTypePairVec() const
     {
-        return getLocationSet().getOffsetVarVec();
+        return getLocationSet().getOffsetVarAndGepTypePairVec();
     }
     /// Return TRUE if this is a constant location set.
     inline bool isConstantOffset() const

package/package.json

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