svf-lib 1.0.1453 → 1.0.1455

package/SVF-linux/svf/include/Graphs/ConsGEdge.h

@@ -306,7 +306,7 @@ public:
     /// Get location set of the gep edge
     inline s32_t getConstantFieldIdx() const
     {
-        return ls.accumulateConstantFieldIdx();
+        return ls.getConstantFieldIdx();
     }
 
 };

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

@@ -92,7 +92,7 @@ public:
 
     /// Get methods
     //@{
-    inline s32_t accumulateConstantFieldIdx() const
+    inline s32_t getConstantFieldIdx() const
     {
         return fldIdx;
     }
@@ -107,7 +107,7 @@ public:
     //@}
 
     /// Return accumulated constant offset given OffsetVarVec
-    s32_t accumulateConstantOffset() const;
+    s32_t computeConstantOffset() const;
 
     /// Return element number of a type.
     u32_t getElementNum(const SVFType* type) const;
@@ -147,7 +147,7 @@ template <> struct std::hash<SVF::LocationSet>
     {
         SVF::Hash<std::pair<SVF::NodeID, SVF::NodeID>> h;
         std::hash<SVF::LocationSet::OffsetVarAndGepTypePairs> v;
-        return h(std::make_pair(ls.accumulateConstantFieldIdx(), v(ls.getOffsetVarAndGepTypePairVec())));
+        return h(std::make_pair(ls.getConstantFieldIdx(), v(ls.getOffsetVarAndGepTypePairVec())));
     }
 };
 

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

@@ -456,13 +456,13 @@ public:
     /// Return accumulated constant offset (when accessing array or struct) if this offset is a constant.
     inline s32_t accumulateConstantOffset() const
     {
-        return getLocationSet().accumulateConstantOffset();
+        return getLocationSet().computeConstantOffset();
     }
     /// Field index of the gep statement if it access the field of a struct
     inline s32_t getConstantFieldIdx() const
     {
         assert(isVariantFieldGep()==false && "Can't retrieve the LocationSet if using a variable field index (pointer arithmetic) for struct field access ");
-        return getLocationSet().accumulateConstantFieldIdx();
+        return getLocationSet().getConstantFieldIdx();
     }
     /// Gep statement with a variant field index (pointer arithmetic) for struct field access
     inline bool isVariantFieldGep() const

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

@@ -399,7 +399,7 @@ public:
     /// offset of the base value variable
     inline s32_t getConstantFieldIdx() const
     {
-        return ls.accumulateConstantFieldIdx();
+        return ls.getConstantFieldIdx();
     }
 
     /// Return name of a LLVM value
@@ -466,7 +466,7 @@ public:
     /// offset of the mem object
     inline s32_t getConstantFieldIdx() const
     {
-        return ls.accumulateConstantFieldIdx();
+        return ls.getConstantFieldIdx();
     }
 
     /// Set the base object from which this GEP node came from.
@@ -484,15 +484,15 @@ public:
     /// Return the type of this gep object
     inline virtual const SVFType* getType() const
     {
-        return SymbolTableInfo::SymbolInfo()->getFlatternedElemType(mem->getType(), ls.accumulateConstantFieldIdx());
+        return SymbolTableInfo::SymbolInfo()->getFlatternedElemType(mem->getType(), ls.getConstantFieldIdx());
     }
 
     /// Return name of a LLVM value
     inline const std::string getValueName() const
     {
         if (value)
-            return value->getName() + "_" + std::to_string(ls.accumulateConstantFieldIdx());
-        return "offset_" + std::to_string(ls.accumulateConstantFieldIdx());
+            return value->getName() + "_" + std::to_string(ls.getConstantFieldIdx());
+        return "offset_" + std::to_string(ls.getConstantFieldIdx());
     }
 
     virtual const std::string toString() const;

package/package.json

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