svf-lib 1.0.2641 → 1.0.2643

package/SVF-osx/include/AE/Core/AddressValue.h

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

package/SVF-osx/include/Util/SparseBitVector.h

@@ -536,27 +536,29 @@ 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.
-        ElementListIter ElementIter = CurrElementIter;
-        if (CurrElementIter->index() == ElementIndex)
-        {
-            return ElementIter;
+    // Search from our current iterator, either backwards or forwards,
+    // depending on what element we are looking for.
+    ElementListIter ElementIter = CurrElementIter;
+    if (CurrElementIter->index() == ElementIndex)
+    {
+        return ElementIter;
+    }
+    else if (CurrElementIter->index() > ElementIndex)
+    {
+        while (ElementIter != Begin
+                    && ElementIter->index() > ElementIndex)
+                --ElementIter;
         }
-        else if (CurrElementIter->index() > ElementIndex)
+        else
         {
-            while (ElementIter != Begin
-                        && ElementIter->index() > ElementIndex)
-                    --ElementIter;
-            }
-            else
-            {
-                while (ElementIter != End &&
-                        ElementIter->index() < ElementIndex)
-                    ++ElementIter;
-            }
+            while (ElementIter != End &&
+                    ElementIter->index() < ElementIndex)
+                ++ElementIter;
+        }
         CurrElementIter = ElementIter;
         return ElementIter;
     }
@@ -755,9 +757,11 @@ public:
         // is nothing more to do.
         if (ElementIter == Elements.end() ||
                     ElementIter->index() != ElementIndex)
+        {
             return false;
-            return ElementIter->test(Idx % ElementSize);
         }
+    return ElementIter->test(Idx % ElementSize);
+}
 
 void reset(unsigned Idx)
     {

package/SVF-osx/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-osx/lib/extapi.bc

@@ -1,7 +1,7 @@
 ; ModuleID = '/Users/runner/work/SVF/SVF/svf-llvm/lib/extapi.c'
 source_filename = "/Users/runner/work/SVF/SVF/svf-llvm/lib/extapi.c"
 target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-n32:64-S128-Fn32"
-target triple = "arm64-apple-macosx14.0.0"
+target triple = "arm64-apple-macosx15.0.0"
 
 @getenv_global = global [10 x i8] zeroinitializer, align 1
 @ctype_b_loc_global = global [10 x i16] zeroinitializer, align 2
@@ -2429,7 +2429,7 @@ attributes #4 = { noinline nounwind optnone ssp willreturn memory(read) uwtable(
 !llvm.module.flags = !{!0, !1, !2, !3, !4}
 !llvm.ident = !{!5}
 
-!0 = !{i32 2, !"SDK Version", [2 x i32] [i32 14, i32 5]}
+!0 = !{i32 2, !"SDK Version", [2 x i32] [i32 15, i32 5]}
 !1 = !{i32 1, !"wchar_size", i32 4}
 !2 = !{i32 8, !"PIC Level", i32 2}
 !3 = !{i32 7, !"uwtable", i32 1}

package/package.json

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