svf-lib 1.0.2637 → 1.0.2639

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

@@ -177,8 +177,10 @@ public:
     bool hasIntersect(const AddressValue &other) const
     {
         for (const auto& addr : _addrs)
+        {
             if (other._addrs.count(addr))
                 return true;
+        }
         return false;
     }
 

package/SVF-linux-aarch64/include/Util/SparseBitVector.h

@@ -536,7 +536,9 @@ class SparseBitVector
 
         // Make sure our current iterator is valid.
         if (CurrElementIter == End)
+        {
             --CurrElementIter;
+        }
 
         // Search from our current iterator, either backwards or forwards,
         // depending on what element we are looking for.
@@ -755,7 +757,9 @@ public:
         // is nothing more to do.
         if (ElementIter == Elements.end() ||
                 ElementIter->index() != ElementIndex)
+        {
             return false;
+        }
         return ElementIter->test(Idx % ElementSize);
     }
 

package/SVF-linux-aarch64/lib/cmake/SVF/Modules/FindZ3.cmake

@@ -4,30 +4,62 @@
 
 include(GNUInstallDirs)
 
+set(_Z3_HINTS ${Z3_HOME} $ENV{Z3_HOME} ${Z3_DIR} $ENV{Z3_DIR})
+set(_Z3_EXPLICIT_ROOT "")
+foreach(_Z3_HINT IN LISTS _Z3_HINTS)
+  if(_Z3_HINT AND EXISTS "${_Z3_HINT}/include/z3++.h")
+    set(_Z3_EXPLICIT_ROOT "${_Z3_HINT}")
+    break()
+  endif()
+endforeach()
+
 # Try upstream/system CONFIG package first; use it if found (sets required variables):
-find_package(Z3 CONFIG QUIET HINTS ${Z3_HOME} $ENV{Z3_HOME} ${Z3_DIR} $ENV{Z3_DIR})
+if(NOT _Z3_EXPLICIT_ROOT)
+  find_package(Z3 CONFIG QUIET HINTS ${_Z3_HINTS})
+endif()
 if(Z3_FOUND)
   if(NOT Z3_FIND_QUIETLY)
     message(STATUS "Found upstream/system Z3 package (Z3Config.cmake)")
   endif()
 else()
   if(NOT Z3_FIND_QUIETLY)
-    message(STATUS "Failed to find upstream/system Z3 package; reverting to manual search")
+    if(_Z3_EXPLICIT_ROOT)
+      message(STATUS "Using explicit Z3 root: ${_Z3_EXPLICIT_ROOT}")
+    else()
+      message(STATUS "Failed to find upstream/system Z3 package; reverting to manual search")
+    endif()
   endif()
 
   # Fall back to explicit manual header + lib search (prioritise searching $Z3_DIR)
-  find_library(
-    Z3_LIBRARY_DIR
-    NAMES z3 libz3
-    HINTS ${Z3_HOME} $ENV{Z3_HOME} ${Z3_DIR} $ENV{Z3_DIR}
-    PATH_SUFFIXES bin lib ${CMAKE_INSTALL_BINDIR} ${CMAKE_INSTALL_LIBDIR}
-  )
-  find_path(
-    Z3_INCLUDE_DIR
-    NAMES z3++.h
-    HINTS ${Z3_HOME} $ENV{Z3_HOME} ${Z3_DIR} $ENV{Z3_DIR}
-    PATH_SUFFIXES include ${CMAKE_INSTALL_INCLUDEDIR}
-  )
+  if(_Z3_EXPLICIT_ROOT)
+    find_library(
+      Z3_LIBRARY_DIR
+      NAMES z3 libz3
+      HINTS ${_Z3_EXPLICIT_ROOT}
+      PATH_SUFFIXES bin lib ${CMAKE_INSTALL_BINDIR} ${CMAKE_INSTALL_LIBDIR}
+      NO_DEFAULT_PATH
+    )
+    find_path(
+      Z3_INCLUDE_DIR
+      NAMES z3++.h
+      HINTS ${_Z3_EXPLICIT_ROOT}
+      PATH_SUFFIXES include ${CMAKE_INSTALL_INCLUDEDIR}
+      NO_DEFAULT_PATH
+    )
+  else()
+    find_library(
+      Z3_LIBRARY_DIR
+      NAMES z3 libz3
+      HINTS ${_Z3_HINTS}
+      PATH_SUFFIXES bin lib ${CMAKE_INSTALL_BINDIR} ${CMAKE_INSTALL_LIBDIR}
+    )
+    find_path(
+      Z3_INCLUDE_DIR
+      NAMES z3++.h
+      HINTS ${_Z3_HINTS}
+      PATH_SUFFIXES include ${CMAKE_INSTALL_INCLUDEDIR}
+    )
+  endif()
 
   # If the headers were found, find & extract the Z3 version number
   set(_ver_h "${Z3_INCLUDE_DIR}/z3_version.h")

package/SVF-linux-x86_64/include/MemoryModel/PointerAnalysis.h

@@ -201,6 +201,16 @@ public:
     /// Similar to getPts, this also needs to be implemented in child classes.
     virtual const NodeSet& getRevPts(NodeID nodeId) = 0;
 
+    /// Convenience bool wrappers: return true if the two operands may/must/partial alias
+    inline bool mayAlias(const SVFVar* V1, const SVFVar* V2)
+    {
+        return alias(V1, V2)!= AliasResult::NoAlias;
+    }
+    inline bool mayAlias(NodeID node1, NodeID node2)
+    {
+        return alias(node1, node2)!= AliasResult::NoAlias;
+    }
+
     /// Print targets of a function pointer
     void printIndCSTargets(const CallICFGNode* cs, const FunctionSet& targets);
 

package/SVF-linux-x86_64/include/MemoryModel/PointerAnalysisImpl.h

@@ -221,6 +221,12 @@ public:
     /// Interface expose to users of our pointer analysis, given two pts
     virtual AliasResult alias(const PointsTo& pts1, const PointsTo& pts2);
 
+    /// Convenience bool wrappers: return true if the two operands may/must/partial alias
+    inline bool mayAlias(const PointsTo& pts1, const PointsTo& pts2)
+    {
+        return alias(pts1, pts2)!= AliasResult::NoAlias;
+    }
+
     /// dump and debug, print out conditional pts
     //@{
     void dumpCPts() override

package/package.json

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