svf-lib 1.0.2320 → 1.0.2321

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

@@ -0,0 +1,93 @@
+#
+#  FindZ3.cmake - Locate Z3 either via a packaged config or by header+lib
+#
+
+include(GNUInstallDirs)
+
+# 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(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")
+  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 the headers were found, find & extract the Z3 version number
+  set(_ver_h "${Z3_INCLUDE_DIR}/z3_version.h")
+  if(EXISTS "${_ver_h}")
+    file(READ "${_ver_h}" _z3_ver_h)
+    message(STATUS "Extracted Z3 version information from ${_ver_h}")
+
+    # Match each component explicitly
+    string(REGEX MATCH "#define Z3_MAJOR_VERSION[ \t]+([0-9]+)" _major "${_z3_ver_h}")
+    set(Z3_VERSION_MAJOR "${CMAKE_MATCH_1}")
+
+    string(REGEX MATCH "#define Z3_MINOR_VERSION[ \t]+([0-9]+)" _minor "${_z3_ver_h}")
+    set(Z3_VERSION_MINOR "${CMAKE_MATCH_1}")
+
+    string(REGEX MATCH "#define Z3_BUILD_NUMBER[ \t]+([0-9]+)" _patch "${_z3_ver_h}")
+    set(Z3_VERSION_PATCH "${CMAKE_MATCH_1}")
+
+    string(REGEX MATCH "#define Z3_REVISION_NUMBER[ \t]+([0-9]+)" _tweak "${_z3_ver_h}")
+    set(Z3_VERSION_TWEAK "${CMAKE_MATCH_1}")
+
+    # Fallback if any of the components are unset
+    foreach(_part MAJOR MINOR PATCH TWEAK)
+      if(NOT Z3_VERSION_${_part})
+        set(Z3_VERSION_${_part} 0)
+      endif()
+    endforeach()
+
+    set(Z3_VERSION_STRING "${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}.${Z3_VERSION_TWEAK}")
+    message(STATUS "Parsed Z3 version: ${Z3_VERSION_STRING}")
+  else()
+    message(WARNING "Z3 version header not found: ${_ver_h}")
+    set(Z3_VERSION_MAJOR 0)
+    set(Z3_VERSION_MINOR 0)
+    set(Z3_VERSION_PATCH 0)
+    set(Z3_VERSION_TWEAK 0)
+    set(Z3_VERSION_STRING "0.0.0.0")
+  endif()
+
+  # Validate that both the public headers & the library files were found
+  include(FindPackageHandleStandardArgs)
+  find_package_handle_standard_args(
+    Z3
+    REQUIRED_VARS Z3_INCLUDE_DIR Z3_LIBRARY_DIR
+    VERSION_VAR Z3_VERSION_STRING
+  )
+
+  # Create an imported target if all required variables were found
+  if(Z3_FOUND)
+    add_library(z3::libz3 UNKNOWN IMPORTED)
+    set_target_properties(z3::libz3 PROPERTIES IMPORTED_LOCATION "${Z3_LIBRARY_DIR}")
+    set_target_properties(z3::libz3 PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${Z3_INCLUDE_DIR}")
+    message(STATUS "Manually found Z3 (libs: ${Z3_LIBRARY_DIR}; public headers: ${Z3_INCLUDE_DIR})")
+
+    # Expose other equivalents for variables exported by the regular Z3 CMake package
+    set(Z3_CXX_INCLUDE_DIRS ${Z3_INCLUDE_DIR})
+    set(Z3_C_INCLUDE_DIRS ${Z3_INCLUDE_DIR})
+    set(Z3_LIBRARIES z3::libz3)
+  elseif(Z3_FIND_REQUIRED)
+    message(FATAL_ERROR "Failed to find Z3 library files/public headers!")
+  elseif(NOT Z3_FIND_QUIETLY)
+    message(WARNING "Failed to manually find Z3 libraries/headers")
+  endif()
+endif()

package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFConfig.cmake

@@ -0,0 +1,106 @@
+# Initialise the package config helper (sets the install prefix in a relocatable way)
+
+####### Expanded from @PACKAGE_INIT@ by configure_package_config_file() #######
+####### Any changes to this file will be overwritten by the next CMake run ####
+####### The input file was SVFConfig.cmake.in                            ########
+
+get_filename_component(PACKAGE_PREFIX_DIR "${CMAKE_CURRENT_LIST_DIR}/../../../" ABSOLUTE)
+
+macro(set_and_check _var _file)
+  set(${_var} "${_file}")
+  if(NOT EXISTS "${_file}")
+    message(FATAL_ERROR "File or directory ${_file} referenced by variable ${_var} does not exist !")
+  endif()
+endmacro()
+
+macro(check_required_components _NAME)
+  foreach(comp ${${_NAME}_FIND_COMPONENTS})
+    if(NOT ${_NAME}_${comp}_FOUND)
+      if(${_NAME}_FIND_REQUIRED_${comp})
+        set(${_NAME}_FOUND FALSE)
+      endif()
+    endif()
+  endforeach()
+endmacro()
+
+####################################################################################
+
+# Ensure the CMake files in this package's directory can be found
+list(PREPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}" "${CMAKE_CURRENT_LIST_DIR}/Modules")
+
+# Ensure SVF's targets & settings are available publicly
+include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")
+
+# Set basic variables from this SVF build
+set(SVF_VERSION 3.1)
+set(SVF_BUILD_TYPE Release)
+set(SVF_SHARED_LIBS ON)
+set(SVF_C_STANDARD 11)
+set(SVF_CXX_STANDARD 17)
+set(SVF_C_EXTENSIONS ON)
+set(SVF_CXX_EXTENSIONS ON)
+set(SVF_C_STANDARD_REQUIRED ON)
+set(SVF_CXX_STANDARD_REQUIRED ON)
+
+# Expose SVF's build opts
+set(SVF_USE_PIC ON)
+set(SVF_USE_LTO OFF)
+set(SVF_USE_LLD OFF)
+set(SVF_COVERAGE OFF)
+set(SVF_DEBUG_INFO OFF)
+set(SVF_WARN_AS_ERROR ON)
+set(SVF_EXPORT_DYNAMIC OFF)
+set(SVF_ENABLE_ASSERTIONS true)
+set(SVF_ENABLE_EXCEPTIONS ON)
+set(SVF_ENABLE_RTTI ON)
+set(SVF_ENABLE_EH ON)
+
+# Set the basic SVF paths based on the installed location (relocatable)
+set_and_check(SVF_INSTALL_ROOT "${PACKAGE_PREFIX_DIR}")
+set_and_check(SVF_INSTALL_PREFIX "${PACKAGE_PREFIX_DIR}")
+set_and_check(SVF_INSTALL_BINDIR "${PACKAGE_PREFIX_DIR}/bin")
+set_and_check(SVF_INSTALL_LIBDIR "${PACKAGE_PREFIX_DIR}/lib")
+set_and_check(SVF_INSTALL_EXTAPIDIR "${PACKAGE_PREFIX_DIR}/include/SVF")
+set_and_check(SVF_INSTALL_INCLUDEDIR "${PACKAGE_PREFIX_DIR}/include/SVF")
+set_and_check(SVF_INSTALL_PKGCONFDIR "${PACKAGE_PREFIX_DIR}/lib/pkgconfig")
+set_and_check(SVF_INSTALL_CMAKECONFIGDIR "${PACKAGE_PREFIX_DIR}/lib/cmake/SVF")
+
+# For legacy support, also allow the "*_DIR" suffix for the above paths
+set(SVF_INSTALL_BIN_DIR "${SVF_INSTALL_BINDIR}")
+set(SVF_INSTALL_LIB_DIR "${SVF_INSTALL_LIBDIR}")
+set(SVF_INSTALL_EXTAPI_DIR "${SVF_INSTALL_EXTAPIDIR}")
+set(SVF_INSTALL_INCLUDE_DIR "${SVF_INSTALL_INCLUDEDIR}")
+set(SVF_INSTALL_PKGCONF_DIR "${SVF_INSTALL_PKGCONFDIR}")
+set(SVF_INSTALL_CMAKECONFIG_DIR "${SVF_INSTALL_CMAKECONFIGDIR}")
+
+# Expose the installed location of the extapi.bc file (plus some legacy aliases)
+set_and_check(SVF_INSTALL_EXTAPI_BC "${PACKAGE_PREFIX_DIR}/include/SVF/extapi.bc")
+set(SVF_INSTALL_EXTAPI_FILE "${SVF_INSTALL_EXTAPI_BC}")
+
+# Shouldn't be used, but also expose source tree location
+set(SVF_SOURCE_DIR "/home/runner/work/SVF/SVF")
+set(SVF_BUILD_DIR "/home/runner/work/SVF/SVF/Release-build")
+
+# Similarly expose the location of extapi.bc in the build tree
+set(SVF_BUILD_EXTAPI_BC "/home/runner/work/SVF/SVF/Release-build/lib/extapi.bc")
+set(SVF_EXTAPI_BC_NAME "extapi.bc")
+
+# Add the absolute paths of the extapi.bc bitcode file to the imported target's compiler definitions interface
+target_compile_definitions(SVF::SvfFlags INTERFACE SVF_INSTALL_EXTAPI_BC="${SVF_INSTALL_EXTAPI_BC}")
+
+# Make `find_dependency()` available
+include(CMakeFindDependencyMacro)
+
+# Find Z3 (required)
+find_dependency(Z3 REQUIRED)
+
+# Find upstream LLVM (required)
+find_dependency(LLVM CONFIG REQUIRED)
+
+# Make the include/link directories & definitions available globally for users of SVF
+separate_arguments(_LLVM_DEFINITIONS NATIVE_COMMAND ${LLVM_DEFINITIONS})
+include_directories(SYSTEM ${LLVM_INCLUDE_DIRS})
+link_directories(${LLVM_LIBRARY_DIRS})
+add_definitions(${_LLVM_DEFINITIONS})
+
+check_required_components("SVF")

package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFConfigVersion.cmake

@@ -0,0 +1,43 @@
+# This is a basic version file for the Config-mode of find_package().
+# It is used by write_basic_package_version_file() as input file for configure_file()
+# to create a version-file which can be installed along a config.cmake file.
+#
+# The created file sets PACKAGE_VERSION_EXACT if the current version string and
+# the requested version string are exactly the same and it sets
+# PACKAGE_VERSION_COMPATIBLE if the current version is >= requested version.
+# The variable CVF_VERSION must be set before calling configure_file().
+
+set(PACKAGE_VERSION "3.1")
+
+if (PACKAGE_FIND_VERSION_RANGE)
+  # Package version must be in the requested version range
+  if ((PACKAGE_FIND_VERSION_RANGE_MIN STREQUAL "INCLUDE" AND PACKAGE_VERSION VERSION_LESS PACKAGE_FIND_VERSION_MIN)
+      OR ((PACKAGE_FIND_VERSION_RANGE_MAX STREQUAL "INCLUDE" AND PACKAGE_VERSION VERSION_GREATER PACKAGE_FIND_VERSION_MAX)
+        OR (PACKAGE_FIND_VERSION_RANGE_MAX STREQUAL "EXCLUDE" AND PACKAGE_VERSION VERSION_GREATER_EQUAL PACKAGE_FIND_VERSION_MAX)))
+    set(PACKAGE_VERSION_COMPATIBLE FALSE)
+  else()
+    set(PACKAGE_VERSION_COMPATIBLE TRUE)
+  endif()
+else()
+  if(PACKAGE_VERSION VERSION_LESS PACKAGE_FIND_VERSION)
+    set(PACKAGE_VERSION_COMPATIBLE FALSE)
+  else()
+    set(PACKAGE_VERSION_COMPATIBLE TRUE)
+    if(PACKAGE_FIND_VERSION STREQUAL PACKAGE_VERSION)
+      set(PACKAGE_VERSION_EXACT TRUE)
+    endif()
+  endif()
+endif()
+
+
+# if the installed or the using project don't have CMAKE_SIZEOF_VOID_P set, ignore it:
+if("${CMAKE_SIZEOF_VOID_P}" STREQUAL "" OR "8" STREQUAL "")
+  return()
+endif()
+
+# check that the installed version has the same 32/64bit-ness as the one which is currently searching:
+if(NOT CMAKE_SIZEOF_VOID_P STREQUAL "8")
+  math(EXPR installedBits "8 * 8")
+  set(PACKAGE_VERSION "${PACKAGE_VERSION} (${installedBits}bit)")
+  set(PACKAGE_VERSION_UNSUITABLE TRUE)
+endif()

package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFTargets-release.cmake

@@ -0,0 +1,101 @@
+#----------------------------------------------------------------
+# Generated CMake target import file for configuration "Release".
+#----------------------------------------------------------------
+
+# Commands may need to know the format version.
+set(CMAKE_IMPORT_FILE_VERSION 1)
+
+# Import target "SVF::SvfCore" for configuration "Release"
+set_property(TARGET SVF::SvfCore APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::SvfCore PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.1"
+  IMPORTED_SONAME_RELEASE "libSvfCore.so.3"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::SvfCore )
+list(APPEND _cmake_import_check_files_for_SVF::SvfCore "${_IMPORT_PREFIX}/lib/libSvfCore.so.3.1" )
+
+# Import target "SVF::SvfLLVM" for configuration "Release"
+set_property(TARGET SVF::SvfLLVM APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::SvfLLVM PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.1"
+  IMPORTED_SONAME_RELEASE "libSvfLLVM.so.3"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::SvfLLVM )
+list(APPEND _cmake_import_check_files_for_SVF::SvfLLVM "${_IMPORT_PREFIX}/lib/libSvfLLVM.so.3.1" )
+
+# Import target "SVF::ae" for configuration "Release"
+set_property(TARGET SVF::ae APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::ae PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/ae"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::ae )
+list(APPEND _cmake_import_check_files_for_SVF::ae "${_IMPORT_PREFIX}/bin/ae" )
+
+# Import target "SVF::cfl" for configuration "Release"
+set_property(TARGET SVF::cfl APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::cfl PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/cfl"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::cfl )
+list(APPEND _cmake_import_check_files_for_SVF::cfl "${_IMPORT_PREFIX}/bin/cfl" )
+
+# Import target "SVF::dvf" for configuration "Release"
+set_property(TARGET SVF::dvf APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::dvf PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/dvf"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::dvf )
+list(APPEND _cmake_import_check_files_for_SVF::dvf "${_IMPORT_PREFIX}/bin/dvf" )
+
+# Import target "SVF::llvm2svf" for configuration "Release"
+set_property(TARGET SVF::llvm2svf APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::llvm2svf PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/llvm2svf"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::llvm2svf )
+list(APPEND _cmake_import_check_files_for_SVF::llvm2svf "${_IMPORT_PREFIX}/bin/llvm2svf" )
+
+# Import target "SVF::mta" for configuration "Release"
+set_property(TARGET SVF::mta APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::mta PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/mta"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::mta )
+list(APPEND _cmake_import_check_files_for_SVF::mta "${_IMPORT_PREFIX}/bin/mta" )
+
+# Import target "SVF::saber" for configuration "Release"
+set_property(TARGET SVF::saber APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::saber PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/saber"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::saber )
+list(APPEND _cmake_import_check_files_for_SVF::saber "${_IMPORT_PREFIX}/bin/saber" )
+
+# Import target "SVF::svf-ex" for configuration "Release"
+set_property(TARGET SVF::svf-ex APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::svf-ex PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/svf-ex"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::svf-ex )
+list(APPEND _cmake_import_check_files_for_SVF::svf-ex "${_IMPORT_PREFIX}/bin/svf-ex" )
+
+# Import target "SVF::wpa" for configuration "Release"
+set_property(TARGET SVF::wpa APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(SVF::wpa PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/bin/wpa"
+  )
+
+list(APPEND _cmake_import_check_targets SVF::wpa )
+list(APPEND _cmake_import_check_files_for_SVF::wpa "${_IMPORT_PREFIX}/bin/wpa" )
+
+# Commands beyond this point should not need to know the version.
+set(CMAKE_IMPORT_FILE_VERSION)

package/SVF-linux-aarch64/Release-build/lib/cmake/SVF/SVFTargets.cmake

@@ -0,0 +1,180 @@
+# Generated by CMake
+
+if("${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERSION}" LESS 2.8)
+   message(FATAL_ERROR "CMake >= 3.0.0 required")
+endif()
+if(CMAKE_VERSION VERSION_LESS "3.0.0")
+   message(FATAL_ERROR "CMake >= 3.0.0 required")
+endif()
+cmake_policy(PUSH)
+cmake_policy(VERSION 3.0.0...3.29)
+#----------------------------------------------------------------
+# Generated CMake target import file.
+#----------------------------------------------------------------
+
+# Commands may need to know the format version.
+set(CMAKE_IMPORT_FILE_VERSION 1)
+
+# Protect against multiple inclusion, which would fail when already imported targets are added once more.
+set(_cmake_targets_defined "")
+set(_cmake_targets_not_defined "")
+set(_cmake_expected_targets "")
+foreach(_cmake_expected_target IN ITEMS SVF::SvfFlags SVF::SvfCore SVF::SvfLLVM SVF::ae SVF::cfl SVF::dvf SVF::llvm2svf SVF::mta SVF::saber SVF::svf-ex SVF::wpa)
+  list(APPEND _cmake_expected_targets "${_cmake_expected_target}")
+  if(TARGET "${_cmake_expected_target}")
+    list(APPEND _cmake_targets_defined "${_cmake_expected_target}")
+  else()
+    list(APPEND _cmake_targets_not_defined "${_cmake_expected_target}")
+  endif()
+endforeach()
+unset(_cmake_expected_target)
+if(_cmake_targets_defined STREQUAL _cmake_expected_targets)
+  unset(_cmake_targets_defined)
+  unset(_cmake_targets_not_defined)
+  unset(_cmake_expected_targets)
+  unset(CMAKE_IMPORT_FILE_VERSION)
+  cmake_policy(POP)
+  return()
+endif()
+if(NOT _cmake_targets_defined STREQUAL "")
+  string(REPLACE ";" ", " _cmake_targets_defined_text "${_cmake_targets_defined}")
+  string(REPLACE ";" ", " _cmake_targets_not_defined_text "${_cmake_targets_not_defined}")
+  message(FATAL_ERROR "Some (but not all) targets in this export set were already defined.\nTargets Defined: ${_cmake_targets_defined_text}\nTargets not yet defined: ${_cmake_targets_not_defined_text}\n")
+endif()
+unset(_cmake_targets_defined)
+unset(_cmake_targets_not_defined)
+unset(_cmake_expected_targets)
+
+
+# Compute the installation prefix relative to this file.
+get_filename_component(_IMPORT_PREFIX "${CMAKE_CURRENT_LIST_FILE}" PATH)
+get_filename_component(_IMPORT_PREFIX "${_IMPORT_PREFIX}" PATH)
+get_filename_component(_IMPORT_PREFIX "${_IMPORT_PREFIX}" PATH)
+get_filename_component(_IMPORT_PREFIX "${_IMPORT_PREFIX}" PATH)
+if(_IMPORT_PREFIX STREQUAL "/")
+  set(_IMPORT_PREFIX "")
+endif()
+
+# Create imported target SVF::SvfFlags
+add_library(SVF::SvfFlags INTERFACE IMPORTED)
+
+set_target_properties(SVF::SvfFlags PROPERTIES
+  INTERFACE_COMPILE_FEATURES "c_std_11;cxx_std_17"
+  INTERFACE_COMPILE_OPTIONS "\$<\$<NOT:\$<BOOL:ON>>:-fno-rtti>"
+  INTERFACE_INCLUDE_DIRECTORIES "${_IMPORT_PREFIX}/include/SVF;${_IMPORT_PREFIX}/include"
+  INTERFACE_LINK_DIRECTORIES "${_IMPORT_PREFIX}/lib"
+  INTERFACE_LINK_LIBRARIES "z3::libz3"
+  INTERFACE_LINK_OPTIONS "\$<\$<NOT:\$<BOOL:ON>>:-fno-rtti>"
+  INTERFACE_SYSTEM_INCLUDE_DIRECTORIES "include/SVF;include"
+)
+
+# Create imported target SVF::SvfCore
+add_library(SVF::SvfCore SHARED IMPORTED)
+
+set_target_properties(SVF::SvfCore PROPERTIES
+  INTERFACE_LINK_LIBRARIES "SVF::SvfFlags"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(SVF::SvfCore
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/SVF"
+      FILES "${_IMPORT_PREFIX}/include/SVF/AE/Core/AbstractState.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/AbstractValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/AddressValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/ICFGWTO.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/IntervalValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/NumericValue.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/RelExeState.h" "${_IMPORT_PREFIX}/include/SVF/AE/Core/RelationSolver.h" "${_IMPORT_PREFIX}/include/SVF/AE/Svfexe/AEDetector.h" "${_IMPORT_PREFIX}/include/SVF/AE/Svfexe/AbsExtAPI.h" "${_IMPORT_PREFIX}/include/SVF/AE/Svfexe/AbstractInterpretation.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFGNormalizer.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFGrammar.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLAlias.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLBase.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLGramGraphChecker.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLGraphBuilder.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLSVFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLSolver.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLStat.h" "${_IMPORT_PREFIX}/include/SVF/CFL/CFLVF.h" "${_IMPORT_PREFIX}/include/SVF/CFL/GrammarBuilder.h" "${_IMPORT_PREFIX}/include/SVF/DDA/ContextDDA.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAClient.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAPass.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAStat.h" "${_IMPORT_PREFIX}/include/SVF/DDA/DDAVFSolver.h" "${_IMPORT_PREFIX}/include/SVF/DDA/FlowDDA.h" "${_IMPORT_PREFIX}/include/SVF/FastCluster/fastcluster.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/BasicBlockG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CDG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CFLGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CHG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/CallGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ConsG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ConsGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ConsGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/DOTGraphTraits.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GenericGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GraphPrinter.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GraphTraits.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/GraphWriter.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ICFGStat.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/IRGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SCC.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGOPT.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/SVFGStat.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/ThreadCallGraph.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/VFG.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/VFGEdge.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/VFGNode.h" "${_IMPORT_PREFIX}/include/SVF/Graphs/WTO.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MSSAMuChi.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MemPartition.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MemRegion.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/MemSSA.h" "${_IMPORT_PREFIX}/include/SVF/MSSA/SVFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/MTA/LockAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/MTA/MHP.h" "${_IMPORT_PREFIX}/include/SVF/MTA/MTA.h" "${_IMPORT_PREFIX}/include/SVF/MTA/MTAStat.h" "${_IMPORT_PREFIX}/include/SVF/MTA/TCT.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/AbstractPointsToDS.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/AccessPath.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/ConditionalPT.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/MutablePointsToDS.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PersistentPointsToCache.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PersistentPointsToDS.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PointerAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PointerAnalysisImpl.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/PointsTo.h" "${_IMPORT_PREFIX}/include/SVF/MemoryModel/SVFLoop.h" "${_IMPORT_PREFIX}/include/SVF/SABER/DoubleFreeChecker.h" "${_IMPORT_PREFIX}/include/SVF/SABER/FileChecker.h" "${_IMPORT_PREFIX}/include/SVF/SABER/LeakChecker.h" "${_IMPORT_PREFIX}/include/SVF/SABER/ProgSlice.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SaberCheckerAPI.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SaberCondAllocator.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SaberSVFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SrcSnkDDA.h" "${_IMPORT_PREFIX}/include/SVF/SABER/SrcSnkSolver.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/ObjTypeInfo.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/PAGBuilderFromFile.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFIR.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFStatements.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFType.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFValue.h" "${_IMPORT_PREFIX}/include/SVF/SVFIR/SVFVariables.h" "${_IMPORT_PREFIX}/include/SVF/Util/Annotator.h" "${_IMPORT_PREFIX}/include/SVF/Util/BitVector.h" "${_IMPORT_PREFIX}/include/SVF/Util/CDGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/Util/CallGraphBuilder.h" "${_IMPORT_PREFIX}/include/SVF/Util/Casting.h" "${_IMPORT_PREFIX}/include/SVF/Util/CommandLine.h" "${_IMPORT_PREFIX}/include/SVF/Util/CoreBitVector.h" "${_IMPORT_PREFIX}/include/SVF/Util/CxtStmt.h" "${_IMPORT_PREFIX}/include/SVF/Util/DPItem.h" "${_IMPORT_PREFIX}/include/SVF/Util/ExtAPI.h" "${_IMPORT_PREFIX}/include/SVF/Util/GeneralType.h" "${_IMPORT_PREFIX}/include/SVF/Util/GraphReachSolver.h" "${_IMPORT_PREFIX}/include/SVF/Util/NodeIDAllocator.h" "${_IMPORT_PREFIX}/include/SVF/Util/Options.h" "${_IMPORT_PREFIX}/include/SVF/Util/PTAStat.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFBugReport.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFLoopAndDomInfo.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFStat.h" "${_IMPORT_PREFIX}/include/SVF/Util/SVFUtil.h" "${_IMPORT_PREFIX}/include/SVF/Util/SparseBitVector.h" "${_IMPORT_PREFIX}/include/SVF/Util/ThreadAPI.h" "${_IMPORT_PREFIX}/include/SVF/Util/WorkList.h" "${_IMPORT_PREFIX}/include/SVF/Util/Z3Expr.h" "${_IMPORT_PREFIX}/include/SVF/Util/cJSON.h" "${_IMPORT_PREFIX}/include/SVF/Util/iterator.h" "${_IMPORT_PREFIX}/include/SVF/Util/iterator_range.h" "${_IMPORT_PREFIX}/include/SVF/WPA/Andersen.h" "${_IMPORT_PREFIX}/include/SVF/WPA/AndersenPWC.h" "${_IMPORT_PREFIX}/include/SVF/WPA/CSC.h" "${_IMPORT_PREFIX}/include/SVF/WPA/FlowSensitive.h" "${_IMPORT_PREFIX}/include/SVF/WPA/Steensgaard.h" "${_IMPORT_PREFIX}/include/SVF/WPA/TypeAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/WPA/VersionedFlowSensitive.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPAFSSolver.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPAPass.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPASolver.h" "${_IMPORT_PREFIX}/include/SVF/WPA/WPAStat.h"
+  )
+else()
+  set_property(TARGET SVF::SvfCore
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/SVF"
+  )
+endif()
+
+# Create imported target SVF::SvfLLVM
+add_library(SVF::SvfLLVM SHARED IMPORTED)
+
+set_target_properties(SVF::SvfLLVM PROPERTIES
+  INTERFACE_LINK_LIBRARIES "SVF::SvfFlags;SVF::SvfCore;LLVM"
+)
+
+if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")
+  target_sources(SVF::SvfLLVM
+    INTERFACE
+      FILE_SET "HEADERS"
+      TYPE "HEADERS"
+      BASE_DIRS "${_IMPORT_PREFIX}/include/SVF"
+      FILES "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/BasicTypes.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/BreakConstantExpr.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/CHGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/CppUtil.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/DCHG.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/GEPTypeBridgeIterator.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/ICFGBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/LLVMLoopAnalysis.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/LLVMModule.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/LLVMUtil.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/ObjTypeInference.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/SVFIRBuilder.h" "${_IMPORT_PREFIX}/include/SVF/SVF-LLVM/SymbolTableBuilder.h"
+  )
+else()
+  set_property(TARGET SVF::SvfLLVM
+    APPEND PROPERTY INTERFACE_INCLUDE_DIRECTORIES
+      "${_IMPORT_PREFIX}/include/SVF"
+  )
+endif()
+
+# Create imported target SVF::ae
+add_executable(SVF::ae IMPORTED)
+
+# Create imported target SVF::cfl
+add_executable(SVF::cfl IMPORTED)
+
+# Create imported target SVF::dvf
+add_executable(SVF::dvf IMPORTED)
+
+# Create imported target SVF::llvm2svf
+add_executable(SVF::llvm2svf IMPORTED)
+
+# Create imported target SVF::mta
+add_executable(SVF::mta IMPORTED)
+
+# Create imported target SVF::saber
+add_executable(SVF::saber IMPORTED)
+
+# Create imported target SVF::svf-ex
+add_executable(SVF::svf-ex IMPORTED)
+
+# Create imported target SVF::wpa
+add_executable(SVF::wpa IMPORTED)
+
+# Load information for each installed configuration.
+file(GLOB _cmake_config_files "${CMAKE_CURRENT_LIST_DIR}/SVFTargets-*.cmake")
+foreach(_cmake_config_file IN LISTS _cmake_config_files)
+  include("${_cmake_config_file}")
+endforeach()
+unset(_cmake_config_file)
+unset(_cmake_config_files)
+
+# Cleanup temporary variables.
+set(_IMPORT_PREFIX)
+
+# Loop over all imported files and verify that they actually exist
+foreach(_cmake_target IN LISTS _cmake_import_check_targets)
+  if(CMAKE_VERSION VERSION_LESS "3.28"
+      OR NOT DEFINED _cmake_import_check_xcframework_for_${_cmake_target}
+      OR NOT IS_DIRECTORY "${_cmake_import_check_xcframework_for_${_cmake_target}}")
+    foreach(_cmake_file IN LISTS "_cmake_import_check_files_for_${_cmake_target}")
+      if(NOT EXISTS "${_cmake_file}")
+        message(FATAL_ERROR "The imported target \"${_cmake_target}\" references the file
+   \"${_cmake_file}\"
+but this file does not exist.  Possible reasons include:
+* The file was deleted, renamed, or moved to another location.
+* An install or uninstall procedure did not complete successfully.
+* The installation package was faulty and contained
+   \"${CMAKE_CURRENT_LIST_FILE}\"
+but not all the files it references.
+")
+      endif()
+    endforeach()
+  endif()
+  unset(_cmake_file)
+  unset("_cmake_import_check_files_for_${_cmake_target}")
+endforeach()
+unset(_cmake_target)
+unset(_cmake_import_check_targets)
+
+# This file does not depend on other imported targets which have
+# been exported from the same project but in a separate export set.
+
+# Commands beyond this point should not need to know the version.
+set(CMAKE_IMPORT_FILE_VERSION)
+cmake_policy(POP)

package/SVF-linux-aarch64/Release-build/lib/pkgconfig/SVF.pc

@@ -0,0 +1,12 @@
+prefix=${pcfiledir}/../..
+exec_prefix=${prefix}
+bindir=${exec_prefix}/bin
+libdir=${exec_prefix}/lib
+includedir=${exec_prefix}/include/SVF
+
+Name: SVF
+Description: SVF Points to Analysis Framework
+Version: 3.1
+Requires: z3
+Libs: -L${libdir} -lSvfCore -lSvfLLVM
+Cflags: -I${includedir}

package/package.json

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

package/SVF-linux-aarch64/Release-build/include/CFL/grammar/PAGGrammar.txt

@@ -1,15 +0,0 @@
-Start:  
-   V
-Terminal:
-   addr copy store load gep vgep 
-Productions:
-   F -> epsilon | F copy | addr Memflow | F store V load | store Memflow load | F F;
-   Fbar -> epsilon | copybar Fbar | Memflowbar addrbar | loadbar V storebar Fbar | loadbar Memflowbar storebar;
-   V -> Fbar V F | addrbar addr | gepbar_i V gep_i | gepbarpath V gep_0 | gepbar_i F gep_i | gepbar_i Fbar gep_i;
-   copy -> vgep;
-   copybar -> vgepbar;
-   gep_1 -> gep_0 F vgep | gep_0 F gep_1;
-   gepbar_1 -> gepbar_1 Fbar gepbar_0 | vgepbar Fbar gepbar_0;
-   gepbarpath -> gepbar_0 gepbar_0 | gepbarpath gepbar_0;
-   Memflow -> load store | Fbar Memflow | F Memflow Fbar | gep_i Memflow gepbar_i | gepbar_i Memflow gep_i;
-   Memflowbar -> storebar loadbar | Memflowbar F | F Memflowbar Fbar | gep_i Memflowbar gepbar_i | gepbar_i Memflowbar gep_i;

package/SVF-linux-aarch64/Release-build/include/CFL/grammar/PEGGrammar.txt

@@ -1,11 +0,0 @@
-Start:  
-   V
-Terminal:
-   addr copy store load gep
-Productions:
-   F -> ( copy M ? ) *;
-   Fbar -> ( M ? copybar ) *;
-   M -> addr V addrbar;
-   V -> Fbar V F | gepbar_i V gep_i | M | epsilon | gepbar_i Memcpy gep_i | gep_i Memcpy gepbar_i | ArrayPath V gep_0;
-   ArrayPath -> gepbar_0 gepbar_0 | ArrayPath gepbar_0;
-   Memcpy -> addrbar V addr | gep_i Memcpy gepbar_i | F Memcpy Fbar;

package/SVF-linux-aarch64/Release-build/include/CFL/grammar/VFGGrammar.txt

@@ -1,7 +0,0 @@
-Start:  
-   A
-Terminal:
-   a call ret
-Productions:
-   A -> A A | a | call_i A ret_i | epsilon;
-   Abar -> Abar Abar | abar | retbar_i Abar callbar_i | epsilon; 

package/SVF-linux-aarch64/Release-build/include/FastCluster/LICENSE.TXT

@@ -1,13 +0,0 @@
-Copyright:
-  * fastcluster_dm.cpp & fastcluster_R_dm.cpp:
-     © 2011 Daniel Müllner <http://danifold.net>
-  * fastcluster.(h|cpp) & demo.cpp & plotresult.r:
-     © 2018 Christoph Dalitz <http://www.hsnr.de/ipattern/>
-All rights reserved.
-
-Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
-
-  * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
-  * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
-
-THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.