svf-lib 1.0.1385 → 1.0.1387

package/SVF-linux/svf/include/AbstractExecution/IntervalExeState.h

@@ -212,6 +212,12 @@ public:
         }
     }
 
+    /// domain widen with other, and return the widened domain
+    IntervalExeState widening(const IntervalExeState &other);
+
+    /// domain narrow with other, and return the narrowed domain
+    IntervalExeState narrowing(const IntervalExeState &other);
+
     /// domain widen with other, important! other widen this.
     void widenWith(const IntervalExeState &other);
 
@@ -252,6 +258,13 @@ public:
                 return true;
             }
         }
+        for (auto it = _locToItvVal.begin(); it != _locToItvVal.end(); ++it)
+        {
+            if (it->second.isBottom())
+            {
+                return true;
+            }
+        }
         return false;
     }
 
@@ -357,13 +370,9 @@ public:
 
     static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)
     {
-        if (lhs.size() != rhs.size()) return lhs.size() < rhs.size();
         for (const auto &item: lhs)
         {
             auto it = rhs.find(item.first);
-            // lhs > rhs if SVFVar not exists in rhs
-            if (it == rhs.end())
-                return false;
             // judge from expr id
             if (!item.second.equals(it->second))
             {

package/SVF-linux/svf/include/AbstractExecution/IntervalValue.h

@@ -377,7 +377,7 @@ public:
         }
         else
         {
-            this->_lb = !lb().leq(other.lb()) ? minus_infinity() : this->lb();
+            this->_lb = !lb().geq(other.lb()) ? minus_infinity() : this->lb();
             this->_ub = !ub().geq(other.ub()) ? plus_infinity() : this->ub();
         }
     }
@@ -395,8 +395,8 @@ public:
         }
         else
         {
-            this->_lb = is_infinite(this->_lb) ? other._lb : this->_lb;
-            this->_ub = is_infinite(this->_ub) ? other._ub : this->_ub;
+            this->_lb = is_infinite(this->lb()) ? other._lb : this->_lb;
+            this->_ub = is_infinite(this->ub()) ? other._ub : this->_ub;
         }
     }
 

package/package.json

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