svf-lib 1.0.1989 → 1.0.1991

package/SVF-linux/Release-build/include/AE/Core/AbstractValue.h

@@ -125,6 +125,21 @@ public:
         }
         return *this;
     }
+
+    AbstractValue& operator=(const IntervalValue& other)
+    {
+        type = IntervalType;
+        interval = other;
+        return *this;
+    }
+
+    AbstractValue& operator=(const AddressValue& other)
+    {
+        type = AddressType;
+        addr = other;
+        return *this;
+    }
+
     AbstractValue operator==(const AbstractValue& other) const
     {
         assert(isInterval() && other.isInterval());

package/SVF-linux/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -364,10 +364,10 @@ private:
 
 protected:
     // helper functions in handleCycle
-    bool widenFixpointPass(const ICFGNode* cycle_head,
-                           AbstractState& pre_es);
-    bool narrowFixpointPass(const ICFGNode* cycle_head,
-                            AbstractState& pre_es);
+    bool isFixPointAfterWidening(const ICFGNode* cycle_head,
+                                 AbstractState& pre_as);
+    bool isFixPointAfterNarrowing(const SVF::ICFGNode* cycle_head,
+                                  SVF::AbstractState& pre_as);
 
     AbstractState& getAbsState(const ICFGNode* node)
     {

package/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h

@@ -84,7 +84,7 @@ public:
     AbstractValue getByteOffset(const AbstractState& es, const GepStmt *gep);
 
     /// Return the offset expression of a GepStmt
-    AbstractValue getItvOfFlattenedElemIndex(const AbstractState& es, const GepStmt *gep);
+    AbstractValue getElementIndex(const AbstractState& es, const GepStmt *gep);
 
 
     static z3::context &getContext()

package/SVF-osx/Release-build/include/AE/Core/AbstractValue.h

@@ -125,6 +125,21 @@ public:
         }
         return *this;
     }
+
+    AbstractValue& operator=(const IntervalValue& other)
+    {
+        type = IntervalType;
+        interval = other;
+        return *this;
+    }
+
+    AbstractValue& operator=(const AddressValue& other)
+    {
+        type = AddressType;
+        addr = other;
+        return *this;
+    }
+
     AbstractValue operator==(const AbstractValue& other) const
     {
         assert(isInterval() && other.isInterval());

package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -364,10 +364,10 @@ private:
 
 protected:
     // helper functions in handleCycle
-    bool widenFixpointPass(const ICFGNode* cycle_head,
-                           AbstractState& pre_es);
-    bool narrowFixpointPass(const ICFGNode* cycle_head,
-                            AbstractState& pre_es);
+    bool isFixPointAfterWidening(const ICFGNode* cycle_head,
+                                 AbstractState& pre_as);
+    bool isFixPointAfterNarrowing(const SVF::ICFGNode* cycle_head,
+                                  SVF::AbstractState& pre_as);
 
     AbstractState& getAbsState(const ICFGNode* node)
     {

package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h

@@ -84,7 +84,7 @@ public:
     AbstractValue getByteOffset(const AbstractState& es, const GepStmt *gep);
 
     /// Return the offset expression of a GepStmt
-    AbstractValue getItvOfFlattenedElemIndex(const AbstractState& es, const GepStmt *gep);
+    AbstractValue getElementIndex(const AbstractState& es, const GepStmt *gep);
 
 
     static z3::context &getContext()

package/package.json

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