svf-lib 1.0.2708 → 1.0.2710

package/SVF-linux-aarch64/include/WPA/Andersen.h

@@ -43,6 +43,8 @@
 #include "Util/GeneralType.h"
 #include "Util/Options.h"
 
+#include <optional>
+
 namespace SVF
 {
 
@@ -357,9 +359,9 @@ protected:
     /// SCC detection
     virtual NodeStack& SCCDetect();
 
-    /// Collect may-alias candidates. Attempts to do so from reverse points-to sets (cheaper),
-    /// and if not possible, falls back to trying every node (costlier).
-    NodeBS getMayAliasCandidates(NodeID node);
+    /// Answer a may-alias query from the reverse points-to sets. Returns nullopt
+    /// when those sets cannot answer it, leaving the caller to try every node.
+    std::optional<NodeBS> collectMayAliasesFromIndex(const PointsTo& expandedPts);
 
     /// Also check getMayAliases on the pointers that the alias tests use
     virtual void validateSuccessTests(std::string fun);

package/SVF-osx/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-osx/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-osx/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/package.json

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