svf-tools 1.0.846 → 1.0.847

package/.config.cmake.in

@@ -0,0 +1,24 @@
+@PACKAGE_INIT@
+
+set_and_check(SVF_INSTALL_ROOT "@PACKAGE_SVF_INSTALL_ROOT@")
+set_and_check(SVF_INSTALL_BIN_DIR "@PACKAGE_SVF_INSTALL_BIN_DIR@")
+set_and_check(SVF_INSTALL_LIB_DIR "@PACKAGE_SVF_INSTALL_LIB_DIR@")
+set_and_check(SVF_INSTALL_INCLUDE_DIR "@PACKAGE_SVF_INSTALL_INCLUDE_DIR@")
+
+set_and_check(SVF_INSTALL_EXTAPI_DIR "@PACKAGE_SVF_INSTALL_EXTAPI_DIR@")
+set_and_check(SVF_INSTALL_EXTAPI_FILE "@PACKAGE_SVF_INSTALL_EXTAPI_FILE@")
+
+set(SVF_SANITIZE "@SVF_SANITIZE@")
+
+set(SVF_COVERAGE "@SVF_COVERAGE@")
+set(SVF_WARN_AS_ERROR "@SVF_WARN_AS_ERROR@")
+set(SVF_EXPORT_DYNAMIC "@SVF_EXPORT_DYNAMIC@")
+set(SVF_ENABLE_ASSERTIONS "@SVF_ENABLE_ASSERTIONS@")
+
+set(SVF_BUILD_TYPE "@CMAKE_BUILD_TYPE@")
+set(SVF_CXX_STANDARD "@CMAKE_CXX_STANDARD@")
+
+set(SVF_ENABLE_RTTI "@SVF_ENABLE_RTTI@")
+set(SVF_ENABLE_EXCEPTIONS "@SVF_ENABLE_EXCEPTIONS@")
+
+include("${CMAKE_CURRENT_LIST_DIR}/SVFTargets.cmake")

package/.config.in

@@ -0,0 +1,26 @@
+#ifndef CONFIG_H_IN
+#define CONFIG_H_IN
+
+// Directory structure of SVF build
+#define SVF_ROOT "@CMAKE_CURRENT_SOURCE_DIR@"
+#define SVF_BUILD_DIR "@CMAKE_CURRENT_BINARY_DIR@"
+#define SVF_INSTALL_DIR "@SVF_INSTALL_ROOT@"
+#define SVF_BIN_DIR "@SVF_INSTALL_BIN_DIR@"
+#define SVF_LIB_DIR "@SVF_INSTALL_LIB_DIR@"
+#define SVF_INCLUDE_DIR "@SVF_INSTALL_INCLUDE_DIR@"
+#define SVF_EXTAPI_DIR "@SVF_INSTALL_EXTAPI_DIR@"
+#define SVF_EXTAPI_BC "@SVF_INSTALL_EXTAPI_FILE@"
+
+// Build mode used to build SVF
+#define SVF_BUILD_TYPE "@CMAKE_BUILD_TYPE@"
+
+// Sanitiser mode used for building SVF
+#cmakedefine SVF_SANITIZE "@SVF_SANITIZE@"
+
+// Build options used when building SVF
+#cmakedefine SVF_COVERAGE
+#cmakedefine SVF_WARN_AS_ERROR
+#cmakedefine SVF_EXPORT_DYNAMIC
+#cmakedefine SVF_ENABLE_ASSERTIONS
+
+#endif // CONFIG_H_IN

package/.gitignore

@@ -9,6 +9,8 @@ autoconf/
 tests/result/
 doxygen/
 .*
+!.config.in
+!.config.cmake.in
 !.gitignore
 *~
 *.o

package/CMakeLists.txt

@@ -1,38 +1,95 @@
 cmake_minimum_required(VERSION 3.13.4)
 
-project("SVF")
+project(SVF
+  VERSION 2.7.1
+  DESCRIPTION "SVF is a static value-flow analysis tool for LLVM-based languages"
+  HOMEPAGE_URL "https://github.com/SVF-tools/SVF"
+  LANGUAGES C CXX
+)
+
+# Ensure installation directories like ${CMAKE_INSTALL_LIBDIR} are available
+include(GNUInstallDirs)
 
-message(STATUS "Using CMake with generator: ${CMAKE_GENERATOR}")
+# Configurable (string) options for building SVF
+set(SVF_SANITIZE "" CACHE STRING "Create sanitizer build (address)")
+
+# Configurable (boolean) options for building SVF
+option(SVF_COVERAGE "Create coverage build")
+option(SVF_WARN_AS_ERROR "Treat warnings as errors when building SVF (default: on)" ON)
+option(SVF_EXPORT_DYNAMIC "Export all (not only used) dynamic symbols to dynamic symbol table")
+option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
 
-configure_file(${PROJECT_SOURCE_DIR}/.config.in ${PROJECT_BINARY_DIR}/include/Util/config.h)
+# Configure top-level SVF variables (used by CMake for configuring installed SVF package)
+set(SVF_INSTALL_ROOT ${CMAKE_INSTALL_PREFIX})
+set(SVF_INSTALL_BIN_DIR ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_BINDIR})
+set(SVF_INSTALL_LIB_DIR ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR})
+set(SVF_INSTALL_INCLUDE_DIR ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_INCLUDEDIR}/svf)
+
+# Set where extapi.bc is exported to in the installed CMake package
+set(SVF_INSTALL_EXTAPI_DIR ${SVF_INSTALL_INCLUDE_DIR}/SVF-LLVM)
+set(SVF_INSTALL_EXTAPI_FILE ${SVF_INSTALL_EXTAPI_DIR}/extapi.bc)
+
+message(STATUS "Building ${PROJECT_NAME} with configuration:
+  SVF version:                                  ${SVF_VERSION}
+  SVF root directory:                           ${SVF_SOURCE_DIR}
+  SVF binary directory:                         ${SVF_BINARY_DIR}
+  SVF option - create sanitiser build (str):    ${SVF_SANITIZE}
+  SVF option - coverage build:                  ${SVF_COVERAGE}
+  SVF option - warnings as errors:              ${SVF_WARN_AS_ERROR}
+  SVF option - unused dynamic symbols:          ${SVF_EXPORT_DYNAMIC}
+  SVF option - enable build assertions:         ${SVF_ENABLE_ASSERTIONS}")
+
+message(STATUS "Using CMake build configuration:
+  CMake generator:                              ${CMAKE_GENERATOR}
+  CMake C compiler:                             ${CMAKE_C_COMPILER_ID}
+  CMake C++ compiler:                           ${CMAKE_CXX_COMPILER_ID}
+  CMake current list directory:                 ${CMAKE_CURRENT_LIST_DIR}
+  CMake current source directory:               ${CMAKE_CURRENT_SOURCE_DIR}
+  CMake current binary directory:               ${CMAKE_CURRENT_BINARY_DIR}")
+
+# Create config.h based on config.in
+configure_file(${SVF_SOURCE_DIR}/.config.in ${SVF_BINARY_DIR}/include/Util/config.h)
+
+# Include the directory where the configuration header is exported for all targets
+include_directories(${SVF_BINARY_DIR}/include)
 
-# Treat compiler warnings as errors
-add_compile_options("-Werror" "-Wall" "-Wno-deprecated-declarations")
+# Install generated configuration header (see `configure_file()`) to top-level include dir of SVF
+install(
+  FILES ${SVF_BINARY_DIR}/include/Util/config.h
+  DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/svf/Util
+)
 
 # Build SVF with C++ standard C++17
 set(CMAKE_CXX_STANDARD 17)
 set(CMAKE_CXX_EXTENSIONS ON)
 set(CMAKE_CXX_STANDARD_REQUIRED ON)
+set(CMAKE_POSITION_INDEPENDENT_CODE ON)
+set(CMAKE_INTERPROCEDURAL_OPTIMIZATION ON)
+
+# By default, build SVF and its targets treating all compiler warnings as errors (except deprecations)
+add_compile_options(
+  "$<$<BOOL:${SVF_WARN_AS_ERROR}>:-Wall>"
+  "$<$<BOOL:${SVF_WARN_AS_ERROR}>:-Werror>"
+  "$<$<BOOL:${SVF_WARN_AS_ERROR}>:-Wno-deprecated-declarations>"
+)
 
 # Keep assertions enabled if requested
-option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
-if(SVF_ENABLE_ASSERTIONS)
-  add_compile_options("-UNDEBUG")
-endif()
+add_compile_options("$<$<BOOL:${SVF_ENABLE_ASSERTIONS}>:-UNDEBUG>")
 
-# Turn this on if you need symbols (e.g., use them for backtrace debugging)
-# add_link_options("-rdynamic")
+# Export dynamic symbols if requested (adds "-export-dynamic" to linkers that support it to enable backtraces)
+add_compile_options("$<$<BOOL:${SVF_EXPORT_DYNAMIC}>:-rdynamic>")
 
-option(SVF_COVERAGE "Create coverage build")
-if(SVF_COVERAGE OR DEFINED ENV{SVF_COVERAGE})
-  add_compile_options("-fprofile-arcs" "-ftest-coverage")
-  add_link_options("-fprofile-arcs" "-ftest-coverage")
-  message(STATUS "Enable coverage")
-endif()
+# Configure whether a coverage build should be created for SVF (i.e. add runtime instrumentation)
+add_compile_options(
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-fprofile-arcs>"
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-ftest-coverage>"
+)
+add_link_options(
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-fprofile-arcs>"
+  "$<$<OR:$<BOOL:${SVF_COVERAGE}>,$<BOOL:$ENV{SVF_COVERAGE}>>:-ftest-coverage>"
+)
 
-set(SVF_SANITIZE
-    ""
-    CACHE STRING "Create sanitizer build (address)")
+# If building with sanitiser, load the given sanitiser mode
 if(SVF_SANITIZE STREQUAL "address")
   add_compile_options("-fno-omit-frame-pointer" "-fsanitize=address")
   add_link_options("-fsanitize=address")
@@ -42,54 +99,88 @@ elseif(SVF_SANITIZE STREQUAL "thread")
   add_link_options("-fsanitize=thread")
   message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
 elseif(NOT SVF_SANITIZE STREQUAL "")
-  message(ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
+  message(FATAL_ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
 endif()
 
+# Check if the test-suite is present, if it is then build bc files and add testing to cmake build
+if(EXISTS "${PROJECT_SOURCE_DIR}/Test-Suite")
+  include_directories(${PROJECT_SOURCE_DIR}/Test-Suite)
+  enable_testing()
+  add_subdirectory(Test-Suite)
+  include(CTest)
+endif()
+
+# Find Z3 and its include directory from the top-level include file
 find_library(
   Z3_LIBRARIES
+  REQUIRED
   NAMES z3
   HINTS ${Z3_DIR} ENV Z3_DIR
   PATH_SUFFIXES bin lib)
 find_path(
   Z3_INCLUDES
+  REQUIRED
   NAMES z3++.h
   HINTS ${Z3_DIR} ENV Z3_DIR
   PATH_SUFFIXES include z3)
-if(NOT Z3_LIBRARIES OR NOT Z3_INCLUDES)
-  message(FATAL_ERROR "Z3 not found!")
-endif()
-message(STATUS "Found Z3: ${Z3_LIBRARIES}")
-message(STATUS "Z3 include dir: ${Z3_INCLUDES}")
+message(STATUS "Z3 STATUS:
+  Z3 library file:        ${Z3_LIBRARIES}
+  Z3 include directory:   ${Z3_INCLUDES}")
 
-include_directories(${PROJECT_SOURCE_DIR}/svf/include
-                    ${PROJECT_BINARY_DIR}/include ${Z3_INCLUDES})
-
-# checks if the test-suite is present, if it is then build bc files and add
-# testing to cmake build
-if(EXISTS "${PROJECT_SOURCE_DIR}/Test-Suite")
-  include_directories(${PROJECT_SOURCE_DIR}/Test-Suite)
-  enable_testing()
-  add_subdirectory(Test-Suite)
-  include(CTest)
-endif()
+# Add the Z3 include directory and link the Z3 library to all targets of SVF
+link_libraries(${Z3_LIBRARIES})
+include_directories(SYSTEM ${Z3_INCLUDES})
 
+# Add the actual SVF and SVF-LLVM targets
 add_subdirectory(svf)
 add_subdirectory(svf-llvm)
 
 # Whether RTTI/Exceptions are enabled currently depends on whether the LLVM instance used to build
 # SVF had them enabled; since the LLVM instance is found in the "svf-llvm" subdirectory, it sets the
 # below variables in its parent directory (i.e. for this CMakeLists.txt) so check them here
-if(SVF_NO_RTTI)
-  add_compile_options("-fno-rtti")
-endif()
+add_compile_definitions(
+  $<IF:$<BOOL:${SVF_ENABLE_RTTI}>,,-fno-rtti>
+  $<IF:$<BOOL:${SVF_ENABLE_EXCEPTIONS}>,,-fno-exceptions>
+)
 
-if(SVF_NO_EH)
-  add_compile_options("-fno-exceptions")
-endif()
+# Export the SVF target for including SVF from CMake using find_package(SVF)
+include(CMakePackageConfigHelpers)
+
+# Generate SVFConfig.cmake
+configure_package_config_file(
+  .config.cmake.in
+  ${CMAKE_CURRENT_BINARY_DIR}/SVFConfig.cmake
+  INSTALL_DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/SVF
+  PATH_VARS
+    SVF_INSTALL_ROOT
+    SVF_INSTALL_BIN_DIR
+    SVF_INSTALL_LIB_DIR
+    SVF_INSTALL_INCLUDE_DIR
+    SVF_INSTALL_EXTAPI_DIR
+    SVF_INSTALL_EXTAPI_FILE
+)
 
-# Install generated configuration header (see `configure_file()`) to top-level include dir of SVF
-include(GNUInstallDirs)
+# Generate SVFConfigVersion.cmake
+write_basic_package_version_file(
+  "${CMAKE_CURRENT_BINARY_DIR}/SVFConfigVersion.cmake"
+  VERSION "${SVF_VERSION_MAJOR}.${SVF_VERSION_MINOR}"
+  COMPATIBILITY AnyNewerVersion
+)
+
+# Install above CMake files as part of installation
 install(
-  FILES ${PROJECT_BINARY_DIR}/include/Util/config.h
-  DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/svf/Util
+  FILES
+    ${CMAKE_CURRENT_BINARY_DIR}/SVFConfig.cmake
+    ${CMAKE_CURRENT_BINARY_DIR}/SVFConfigVersion.cmake
+  DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/SVF
 )
+
+# Install CMake targets from different SVF subprojects so they can be found by find_package(SVF)
+install(
+  EXPORT SVFTargets
+  FILE SVFTargets.cmake
+  DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/SVF
+)
+
+# Export targets added to SVFTargets (set by install() command)
+export(EXPORT SVFTargets FILE "${CMAKE_CURRENT_BINARY_DIR}/SVFTargets.cmake")

package/SVF-doxygen/html/CMakeLists_8txt.html

@@ -72,8 +72,6 @@ $(function() {
 Functions</h2></td></tr>
 <tr class="memitem:ab0c0fec5e777861a934894bc00fc585c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CMakeLists_8txt.html#ab0c0fec5e777861a934894bc00fc585c">add_subdirectory</a> (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) set_target_properties(cfl dvf svf-ex llvm2svf mta saber wpa PROPERTIES RUNTIME_OUTPUT_DIRECTORY $</td></tr>
 <tr class="separator:ab0c0fec5e777861a934894bc00fc585c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9f6d70f6197845162ae5fd12f33f094a"><td class="memItemLeft" align="right" valign="top">bin&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CMakeLists_8txt.html#a9f6d70f6197845162ae5fd12f33f094a">include</a> (GNUInstallDirs) install(TARGETS cfl dvf svf-ex llvm2svf mta saber wpa RUNTIME DESTINATION $</td></tr>
-<tr class="separator:a9f6d70f6197845162ae5fd12f33f094a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Function Documentation</h2>
 <a id="ab0c0fec5e777861a934894bc00fc585c"></a>
@@ -93,28 +91,7 @@ Functions</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CMakeLists_8txt_source.html#l00001">1</a> of file <a class="el" href="CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
-<div class="fragment"><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;                                  {CMAKE_BINARY_DIR}/bin</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a9f6d70f6197845162ae5fd12f33f094a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9f6d70f6197845162ae5fd12f33f094a">&#9670;&nbsp;</a></span>include()</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">bin include </td>
-          <td>(</td>
-          <td class="paramtype">GNUInstallDirs&#160;</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="CMakeLists_8txt_source.html#l00016">16</a> of file <a class="el" href="CMakeLists_8txt_source.html">CMakeLists.txt</a>.</p>
-<div class="fragment"><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                         {CMAKE_INSTALL_BINDIR}</div>
+<div class="fragment"><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;                                  {CMAKE_BINARY_DIR}/bin</div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/globals_func_i.html

@@ -67,9 +67,6 @@ $(function() {
 <li>if()
 : <a class="el" href="cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3">cJSON.cpp</a>
 </li>
-<li>include()
-: <a class="el" href="CMakeLists_8txt.html#a9f6d70f6197845162ae5fd12f33f094a">CMakeLists.txt</a>
-</li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>

package/SVF-doxygen/html/globals_i.html

@@ -67,9 +67,6 @@ $(function() {
 <li>if()
 : <a class="el" href="cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3">cJSON.cpp</a>
 </li>
-<li>include()
-: <a class="el" href="CMakeLists_8txt.html#a9f6d70f6197845162ae5fd12f33f094a">CMakeLists.txt</a>
-</li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>
@@ -139,8 +136,8 @@ $(function() {
 : <a class="el" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">extapi.c</a>
 </li>
 <li>item
-: <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->