svf-lib 1.0.2319 → 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}