svf-lib 1.0.1990 → 1.0.1992

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/WPA/Andersen.h

@@ -111,6 +111,18 @@ public:
         return consCG;
     }
 
+    /// SCC methods
+    //@{
+    inline NodeID sccRepNode(NodeID id) const override
+    {
+        return consCG->sccRepNode(id);
+    }
+    inline NodeBS& sccSubNodes(NodeID repId)
+    {
+        return consCG->sccSubNodes(repId);
+    }
+    //@}
+
     /// dump statistics
     inline void printStat()
     {
@@ -203,18 +215,6 @@ public:
     }
     //@}
 
-    /// SCC methods
-    //@{
-    inline NodeID sccRepNode(NodeID id) const
-    {
-        return consCG->sccRepNode(id);
-    }
-    inline NodeBS& sccSubNodes(NodeID repId)
-    {
-        return consCG->sccSubNodes(repId);
-    }
-    //@}
-
     /// Operation of points-to set
     virtual inline const PointsTo& getPts(NodeID id)
     {

package/package.json

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