svf-tools 1.0.599 → 1.0.601

package/.gitignore

@@ -1,7 +1,6 @@
 Release*/
 Debug*/
 build/
-include/Util/config.h
 html/
 Test-Suite/
 Release+Asserts/

package/CMakeLists.txt

@@ -2,17 +2,12 @@ cmake_minimum_required(VERSION 3.13.4)
 
 project("SVF")
 
-
-configure_file(${CMAKE_CURRENT_SOURCE_DIR}/.config.in ${CMAKE_CURRENT_SOURCE_DIR}/include/Util/config.h @ONLY)
+configure_file(${CMAKE_SOURCE_DIR}/.config.in ${CMAKE_BINARY_DIR}/include/Util/config.h)
 
 # To support both in- and out-of-source builds,
 # we check for the presence of the add_llvm_loadable_module command.
 # - if this command is not present, we are building out-of-source
 if(NOT COMMAND add_llvm_library)
-    if (DEFINED LLVM_DIR)
-        set(ENV{LLVM_DIR} "${LLVM_DIR}")
-    endif()
-    if (DEFINED ENV{LLVM_DIR})
         # We need to match the build environment for LLVM:
         # In particular, we need C++14 and the -fno-rtti flag
         set(CMAKE_CXX_STANDARD 14)
@@ -20,18 +15,30 @@ if(NOT COMMAND add_llvm_library)
         # add -std=gnu++14
         set(CMAKE_CXX_EXTENSIONS ON)
 
-        set(COMMON_FLAGS "-fPIC -Werror -Wall")
+        add_compile_options("-Werror" "-Wall")
 
-        if(CMAKE_BUILD_TYPE MATCHES "Debug")
-            set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${COMMON_FLAGS} -O0 -fno-rtti")
-            set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${COMMON_FLAGS} -O0")
-        else()
-            set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${COMMON_FLAGS} -O3 -fno-rtti")
-            set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${COMMON_FLAGS} -O3")
+        find_package(LLVM REQUIRED CONFIG
+          HINTS "${LLVM_DIR}")
+
+        message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
+        message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
+
+        if (NOT LLVM_ENABLE_RTTI)
+          add_compile_options("-fno-rtti")
+          message(STATUS "Disable RTTI")
+        endif()
+
+        if (NOT LLVM_ENABLE_EH)
+          add_compile_options("-fno-exceptions")
+          message(STATUS "Disable exceptions")
+        endif()
+
+        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()
 
-        find_package(LLVM REQUIRED CONFIG)
-        
         list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
         include(AddLLVM)
 
@@ -43,25 +50,15 @@ if(NOT COMMAND add_llvm_library)
         else()
             llvm_map_components_to_libnames(llvm_libs bitwriter core ipo irreader instcombine instrumentation target linker analysis scalaropts support transformutils)
         endif()
-
-    else()
-        message(FATAL_ERROR "\
-WARNING: The LLVM_DIR var was not set (required for an out-of-source build)!\n\
-Please set this to environment variable to point to the LLVM build directory\
-(e.g. on linux: export LLVM_DIR=/path/to/llvm/build/dir)")
-    endif()
 else()
         set(IN_SOURCE_BUILD 1)
 endif()
 
-if (DEFINED Z3_DIR)
-    set(ENV{Z3_DIR} "${Z3_DIR}")
-endif()
-find_library(Z3_LIBRARIES NAMES libz3.a libz3.so
-                          HINTS $ENV{Z3_DIR}
-                          PATH_SUFFIXES lib bin)
+find_library(Z3_LIBRARIES NAMES z3
+                          HINTS ${Z3_DIR} ENV Z3_DIR
+                          PATH_SUFFIXES bin lib)
 find_path(Z3_INCLUDES NAMES z3++.h
-                      HINTS $ENV{Z3_DIR}
+                      HINTS ${Z3_DIR} ENV Z3_DIR
                       PATH_SUFFIXES include z3)
 if(NOT Z3_LIBRARIES OR NOT Z3_INCLUDES)
     message(FATAL_ERROR "Z3 not found!")
@@ -70,6 +67,7 @@ message(STATUS "Found Z3: ${Z3_LIBRARIES}")
 message(STATUS "Z3 include dir: ${Z3_INCLUDES}")
 
 include_directories(${CMAKE_CURRENT_SOURCE_DIR}/include
+                    ${CMAKE_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

package/README.md

@@ -28,7 +28,7 @@
 * [SABER](https://github.com/SVF-tools/SVF/tree/master/include/SABER) (<b>memory error checking</b>): memory leaks and double-frees ([ISSTA'12](https://yuleisui.github.io/publications/issta12.pdf), [TSE'14](https://yuleisui.github.io/publications/tse14.pdf), [ICSE'18](https://yuleisui.github.io/publications/icse18a.pdf));
 * [MTA](https://github.com/SVF-tools/SVF/tree/master/include/MTA) (<b>analysis of mutithreaded programs</b>): value-flows for multithreaded programs ([CGO'16](https://yuleisui.github.io/publications/cgo16.pdf));
 * [CFL](https://github.com/SVF-tools/SVF/tree/master/include/CFL) (<b>context-free-reachability analysis</b>): standard CFL solver, graph and grammar ([OOPSLA'22](https://yuleisui.github.io/publications/oopsla22.pdf));
-* [MemoryModel](https://github.com/SVF-tools/SVF/tree/master/include/MemoryModel)/[SVFIR](https://github.com/SVF-tools/SVF/tree/master/include/SVFIR) (<b>memory abstraction</b>): SVFIR and points-to data structures ([SAS'21](https://yuleisui.github.io/publications/sas21.pdf));
+* [SVFIR](https://github.com/SVF-tools/SVF/tree/master/include/SVFIR) and [MemoryModel](https://github.com/SVF-tools/SVF/tree/master/include/MemoryModel) (<b>SVFIR</b>): SVFIR, memory abstraction and points-to data structure ([SAS'21](https://yuleisui.github.io/publications/sas21.pdf));
 * [Graphs](https://github.com/SVF-tools/SVF/tree/master/include/Graphs): <b> generating a variety of graphs</b>, including call graph, ICFG, class hirachary graph, constraint graph, value-flow graph for static analyses and code embedding ([OOPSLA'20](https://yuleisui.github.io/publications/oopsla20.pdf), [TOSEM'21](https://yuleisui.github.io/publications/tosem21.pdf))
 
 <b>SVF</b>'s doxygen document is available [here](https://svf-tools.github.io/SVF-doxygen/html).