svf-lib 1.0.2705 → 1.0.2707

package/SVF-linux-aarch64/include/AE/Core/AbstractState.h

@@ -147,6 +147,12 @@ public:
         return addr == BlackHoleObjAddr;
     }
 
+    /// Whether addr has no concrete backing memory object.
+    static inline bool isNullOrBlackHoleAddr(u32_t addr)
+    {
+        return isNullMem(addr) || isBlackHoleObjAddr(addr);
+    }
+
 
 protected:
     VarToAbsValMap _varToAbsVal; ///< Map a variable (symbol) to its abstract value
@@ -187,9 +193,8 @@ public:
     inline void store(u32_t addr, const AbstractValue &val)
     {
         assert(isVirtualMemAddress(addr) && "not virtual address?");
-        u32_t objId = getIDFromAddr(addr);
-        if (isNullMem(addr)) return;
-        _addrToAbsVal[objId] = val;
+        if (!isNullOrBlackHoleAddr(addr))
+            _addrToAbsVal[getIDFromAddr(addr)] = val;
     }
 
     /// whether the variable is in varToAddrs table

package/SVF-linux-aarch64/include/AE/Svfexe/AbsExtAPI.h

@@ -94,6 +94,9 @@ public:
     /// Check if an interval length is usable (not bottom, not unbounded).
     static bool isValidLength(const IntervalValue& len);
 
+    /// Return the lower bound of len, capped by the field limit.
+    static u32_t getBoundedMinimumByteCount(const IntervalValue& len);
+
     /// Calculate the length of a null-terminated string in abstract state.
     IntervalValue getStrlen(const ValVar *strValue, const ICFGNode* node);
 

package/SVF-linux-aarch64/include/AE/Svfexe/AbstractInterpretation.h

@@ -282,6 +282,14 @@ private:
 
     void updateStateOnBinary(const BinaryOPStmt *binary);
 
+    IntervalValue evaluatePointerCmp(u32_t predicate,
+                                     const AddressValue& lhs,
+                                     const AddressValue& rhs) const;
+
+    IntervalValue evaluateIntervalCmp(u32_t predicate,
+                                      const IntervalValue& lhs,
+                                      const IntervalValue& rhs) const;
+
     void updateStateOnCmp(const CmpStmt *cmp);
 
     void updateStateOnLoad(const LoadStmt *load);

package/SVF-osx/include/MemoryModel/PointsTo.h

@@ -153,6 +153,11 @@ private:
     /// and reverseNodeMapping
     bool metaSame(const PointsTo &pt) const;
 
+    /// Ends the lifetime of the backing this set currently holds, through the
+    /// type currently stored in `type`. Callers that then placement new a new
+    /// backing must call this first, or whatever the old backing owned is lost.
+    void destroyBacking();
+
 private:
     /// Best node mapping we know of the for the analyses at hand.
     static MappingPtr currentBestNodeMapping;

package/package.json

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