svf-tools 1.0.640 → 1.0.642

package/CMakeLists.txt

@@ -5,89 +5,45 @@ project("SVF")
 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)
-  # 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)
-  set(CMAKE_CXX_STANDARD_REQUIRED ON)
-  # add -std=gnu++14
-  set(CMAKE_CXX_EXTENSIONS ON)
-
-  # Treat compiler warnings as errors
-  add_compile_options("-Werror" "-Wall")
-
-  # Keep assertions enabled if requested
-  option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
-  if(SVF_ENABLE_ASSERTIONS)
-    add_compile_options("-UNDEBUG")
-  endif()
-
-  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()
-
-  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()
-
-  set(SVF_SANITIZE
-      ""
-      CACHE STRING "Create sanitizer build (address)")
-  if(SVF_SANITIZE STREQUAL "address")
-    add_compile_options("-fno-omit-frame-pointer" "-fsanitize=address")
-    add_link_options("-fsanitize=address")
-    message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
-  elseif(SVF_SANITIZE STREQUAL "thread")
-    add_compile_options("-fsanitize=thread")
-    add_link_options("-fsanitize=thread")
-    message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
-  elseif(NOT SVF_SANITIZE STREQUAL "")
-    message(ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
-  endif()
-
-  list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
-  include(AddLLVM)
+# 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)
+set(CMAKE_CXX_STANDARD_REQUIRED ON)
+# add -std=gnu++14
+set(CMAKE_CXX_EXTENSIONS ON)
+
+add_compile_options("-fno-rtti")
+add_compile_options("-fno-exceptions")
+
+# Treat compiler warnings as errors
+add_compile_options("-Werror" "-Wall")
+
+# Keep assertions enabled if requested
+option(SVF_ENABLE_ASSERTIONS "Always enable assertions")
+if(SVF_ENABLE_ASSERTIONS)
+  add_compile_options("-UNDEBUG")
+endif()
 
-  add_definitions(${LLVM_DEFINITIONS})
-  # include_directories(SYSTEM ${LLVM_INCLUDE_DIRS})
+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()
 
-  if(LLVM_LINK_LLVM_DYLIB)
-    set(llvm_libs LLVM)
-  else()
-    llvm_map_components_to_libnames(
-      llvm_libs
-      analysis
-      bitwriter
-      core
-      instcombine
-      instrumentation
-      ipo
-      irreader
-      linker
-      scalaropts
-      support
-      target
-      transformutils)
-  endif()
-else()
-  set(IN_SOURCE_BUILD 1)
+set(SVF_SANITIZE
+    ""
+    CACHE STRING "Create sanitizer build (address)")
+if(SVF_SANITIZE STREQUAL "address")
+  add_compile_options("-fno-omit-frame-pointer" "-fsanitize=address")
+  add_link_options("-fsanitize=address")
+  message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
+elseif(SVF_SANITIZE STREQUAL "thread")
+  add_compile_options("-fsanitize=thread")
+  add_link_options("-fsanitize=thread")
+  message(STATUS "Sanitizer build: ${SVF_SANITIZE}")
+elseif(NOT SVF_SANITIZE STREQUAL "")
+  message(ERROR "Unknown sanitizer type: ${SVF_SANITIZE}")
 endif()
 
 find_library(
@@ -120,7 +76,6 @@ endif()
 
 add_subdirectory(svf)
 add_subdirectory(svf-llvm)
-add_subdirectory(tools)
 
 install(
   DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/svf/include/

package/SVF-doxygen/html/html/menudata.js

@@ -1,63 +1,2 @@
 var menudata={children:[
-{text:"Main Page",url:"index.html"},
-{text:"Namespaces",url:"namespaces.html",children:[
-{text:"Namespace List",url:"namespaces.html"},
-{text:"Namespace Members",url:"namespacemembers.html",children:[
-{text:"All",url:"namespacemembers.html"},
-{text:"Typedefs",url:"namespacemembers_type.html"}]}]},
-{text:"Classes",url:"annotated.html",children:[
-{text:"Class List",url:"annotated.html"},
-{text:"Class Index",url:"classes.html"},
-{text:"Class Hierarchy",url:"hierarchy.html"},
-{text:"Class Members",url:"functions.html",children:[
-{text:"All",url:"functions.html",children:[
-{text:"_",url:"functions.html#index__"},
-{text:"a",url:"functions.html#index_a"},
-{text:"c",url:"functions.html#index_c"},
-{text:"d",url:"functions.html#index_d"},
-{text:"f",url:"functions.html#index_f"},
-{text:"g",url:"functions.html#index_g"},
-{text:"h",url:"functions.html#index_h"},
-{text:"i",url:"functions.html#index_i"},
-{text:"l",url:"functions.html#index_l"},
-{text:"m",url:"functions.html#index_m"},
-{text:"n",url:"functions.html#index_n"},
-{text:"p",url:"functions.html#index_p"},
-{text:"r",url:"functions.html#index_r"},
-{text:"s",url:"functions.html#index_s"},
-{text:"t",url:"functions.html#index_t"},
-{text:"v",url:"functions.html#index_v"},
-{text:"~",url:"functions.html#index_0x7e"}]},
-{text:"Functions",url:"functions_func.html",children:[
-{text:"a",url:"functions_func.html#index_a"},
-{text:"c",url:"functions_func.html#index_c"},
-{text:"d",url:"functions_func.html#index_d"},
-{text:"g",url:"functions_func.html#index_g"},
-{text:"h",url:"functions_func.html#index_h"},
-{text:"i",url:"functions_func.html#index_i"},
-{text:"l",url:"functions_func.html#index_l"},
-{text:"m",url:"functions_func.html#index_m"},
-{text:"p",url:"functions_func.html#index_p"},
-{text:"r",url:"functions_func.html#index_r"},
-{text:"s",url:"functions_func.html#index_s"},
-{text:"v",url:"functions_func.html#index_v"},
-{text:"~",url:"functions_func.html#index_0x7e"}]},
-{text:"Variables",url:"functions_vars.html",children:[
-{text:"_",url:"functions_vars.html#index__"},
-{text:"a",url:"functions_vars.html#index_a"},
-{text:"c",url:"functions_vars.html#index_c"},
-{text:"f",url:"functions_vars.html#index_f"},
-{text:"i",url:"functions_vars.html#index_i"},
-{text:"l",url:"functions_vars.html#index_l"},
-{text:"m",url:"functions_vars.html#index_m"},
-{text:"n",url:"functions_vars.html#index_n"},
-{text:"r",url:"functions_vars.html#index_r"},
-{text:"s",url:"functions_vars.html#index_s"},
-{text:"t",url:"functions_vars.html#index_t"},
-{text:"v",url:"functions_vars.html#index_v"}]},
-{text:"Typedefs",url:"functions_type.html"}]}]},
-{text:"Files",url:"files.html",children:[
-{text:"File List",url:"files.html"},
-{text:"File Members",url:"globals.html",children:[
-{text:"All",url:"globals.html"},
-{text:"Functions",url:"globals_func.html"}]}]}]}
+{text:"Main Page",url:"index.html"}]}

package/SVF-doxygen/html/html/search/searchdata.js

@@ -1,33 +1,12 @@
 var indexSectionsWithContent =
 {
-  0: "_acdefghilmnprstvw~",
-  1: "almr",
-  2: "s",
-  3: "cdlmsw",
-  4: "acdefghilmprstv~",
-  5: "_acfilmnrstv",
-  6: "cilnrv"
 };
 
 var indexSectionNames =
 {
-  0: "all",
-  1: "classes",
-  2: "namespaces",
-  3: "files",
-  4: "functions",
-  5: "variables",
-  6: "typedefs"
 };
 
 var indexSectionLabels =
 {
-  0: "All",
-  1: "Classes",
-  2: "Namespaces",
-  3: "Files",
-  4: "Functions",
-  5: "Variables",
-  6: "Typedefs"
 };
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.640",
+  "version": "1.0.642",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/CMakeLists.txt

@@ -4,20 +4,20 @@
 # individual sub projects here, rather than the combined project.
 
 file(
-    GLOB
-    SVF_CORE_SOURCES
-    lib/AbstractExecution/*.cpp
-    lib/CFL/*.cpp
-    lib/DDA/*.cpp
-    lib/FastCluster/*.cpp
-    lib/Graphs/*.cpp
-    lib/MemoryModel/*.cpp
-    lib/MSSA/*.cpp
-    lib/MTA/*.cpp
-    lib/SABER/*.cpp
-    lib/SVFIR/*.cpp
-    lib/Util/*.cpp
-    lib/WPA/*.cpp)
+  GLOB
+  SVF_CORE_SOURCES
+  lib/AbstractExecution/*.cpp
+  lib/CFL/*.cpp
+  lib/DDA/*.cpp
+  lib/FastCluster/*.cpp
+  lib/Graphs/*.cpp
+  lib/MemoryModel/*.cpp
+  lib/MSSA/*.cpp
+  lib/MTA/*.cpp
+  lib/SABER/*.cpp
+  lib/SVFIR/*.cpp
+  lib/Util/*.cpp
+  lib/WPA/*.cpp)
 
 # Refer to this link for detail:
 # https://stackoverflow.com/questions/68864536/cmake-linking-static-libraries-in-different-subdirectories-into-one-single-stati

package/svf/include/AbstractExecution/IntervalExeState.h

@@ -212,6 +212,12 @@ public:
         }
     }
 
+    /// domain widen with other, and return the widened domain
+    IntervalExeState widening(const IntervalExeState &other);
+
+    /// domain narrow with other, and return the narrowed domain
+    IntervalExeState narrowing(const IntervalExeState &other);
+
     /// domain widen with other, important! other widen this.
     void widenWith(const IntervalExeState &other);
 
@@ -252,6 +258,13 @@ public:
                 return true;
             }
         }
+        for (auto it = _locToItvVal.begin(); it != _locToItvVal.end(); ++it)
+        {
+            if (it->second.isBottom())
+            {
+                return true;
+            }
+        }
         return false;
     }
 
@@ -357,13 +370,9 @@ public:
 
     static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)
     {
-        if (lhs.size() != rhs.size()) return lhs.size() < rhs.size();
         for (const auto &item: lhs)
         {
             auto it = rhs.find(item.first);
-            // lhs > rhs if SVFVar not exists in rhs
-            if (it == rhs.end())
-                return false;
             // judge from expr id
             if (!item.second.equals(it->second))
             {

package/svf/include/AbstractExecution/IntervalValue.h

@@ -377,7 +377,7 @@ public:
         }
         else
         {
-            this->_lb = !lb().leq(other.lb()) ? minus_infinity() : this->lb();
+            this->_lb = !lb().geq(other.lb()) ? minus_infinity() : this->lb();
             this->_ub = !ub().geq(other.ub()) ? plus_infinity() : this->ub();
         }
     }
@@ -395,8 +395,8 @@ public:
         }
         else
         {
-            this->_lb = is_infinite(this->_lb) ? other._lb : this->_lb;
-            this->_ub = is_infinite(this->_ub) ? other._ub : this->_ub;
+            this->_lb = is_infinite(this->lb()) ? other._lb : this->_lb;
+            this->_ub = is_infinite(this->ub()) ? other._ub : this->_ub;
         }
     }
 

package/svf/lib/AbstractExecution/IntervalExeState.cpp

@@ -56,6 +56,43 @@ u32_t IntervalExeState::hash() const
     return pairH(std::make_pair(std::make_pair(h, h2), (u32_t) ExeState::hash()));
 }
 
+IntervalExeState IntervalExeState::widening(const IntervalExeState& other)
+{
+    IntervalExeState es = *this;
+    for (auto it = es._varToItvVal.begin(); it != es._varToItvVal.end(); ++it)
+    {
+        auto key = it->first;
+        if (other._varToItvVal.find(key) != other._varToItvVal.end())
+            it->second.widen_with(other._varToItvVal.at(key));
+    }
+    for (auto it = es._locToItvVal.begin(); it != es._locToItvVal.end(); ++it)
+    {
+        auto key = it->first;
+        if (other._locToItvVal.find(key) != other._locToItvVal.end())
+            it->second.widen_with(other._locToItvVal.at(key));
+    }
+    return es;
+}
+
+IntervalExeState IntervalExeState::narrowing(const IntervalExeState& other)
+{
+    IntervalExeState es = *this;
+    for (auto it = es._varToItvVal.begin(); it != es._varToItvVal.end(); ++it)
+    {
+        auto key = it->first;
+        if (other._varToItvVal.find(key) != other._varToItvVal.end())
+            it->second.narrow_with(other._varToItvVal.at(key));
+    }
+    for (auto it = es._locToItvVal.begin(); it != es._locToItvVal.end(); ++it)
+    {
+        auto key = it->first;
+        if (other._locToItvVal.find(key) != other._locToItvVal.end())
+            it->second.narrow_with(other._locToItvVal.at(key));
+    }
+    return es;
+
+}
+
 /// domain widen with other, important! other widen this.
 void IntervalExeState::widenWith(const IntervalExeState& other)
 {
@@ -63,21 +100,13 @@ void IntervalExeState::widenWith(const IntervalExeState& other)
     {
         auto key = it->first;
         if (other.getVarToVal().find(key) != other.getVarToVal().end())
-        {
-            auto lhs = other.getVarToVal().at(key);
-            lhs.widen_with(it->second);
-            it->second = lhs;
-        }
+            it->second.widen_with(other._varToItvVal.at(key));
     }
     for (auto it = _locToItvVal.begin(); it != _locToItvVal.end(); ++it)
     {
         auto key = it->first;
         if (other._locToItvVal.find(key) != other._locToItvVal.end())
-        {
-            auto lhs = other._locToItvVal.at(key);
-            lhs.widen_with(it->second);
-            it->second = lhs;
-        }
+            it->second.widen_with(other._locToItvVal.at(key));
     }
 }
 
@@ -89,7 +118,7 @@ void IntervalExeState::joinWith(const IntervalExeState& other)
     {
         auto key = it->first;
         auto oit = _varToItvVal.find(key);
-        if (oit != other._varToItvVal.end())
+        if (oit != _varToItvVal.end())
         {
             oit->second.join_with(it->second);
         }
@@ -102,7 +131,7 @@ void IntervalExeState::joinWith(const IntervalExeState& other)
     {
         auto key = it->first;
         auto oit = _locToItvVal.find(key);
-        if (oit != other._locToItvVal.end())
+        if (oit != _locToItvVal.end())
         {
             oit->second.join_with(it->second);
         }
@@ -121,18 +150,14 @@ void IntervalExeState::narrowWith(const IntervalExeState& other)
         auto key = it->first;
         auto oit = other.getVarToVal().find(key);
         if (oit != other.getVarToVal().end())
-        {
             it->second.narrow_with(oit->second);
-        }
     }
     for (auto it = _locToItvVal.begin(); it != _locToItvVal.end(); ++it)
     {
         auto key = it->first;
         auto oit = other._locToItvVal.find(key);
         if (oit != other._locToItvVal.end())
-        {
             it->second.narrow_with(oit->second);
-        }
     }
 }
 

package/svf-llvm/CMakeLists.txt

@@ -1,3 +1,50 @@
+# 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)
+  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()
+
+  list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
+  include(AddLLVM)
+
+  add_definitions(${LLVM_DEFINITIONS})
+  # include_directories(SYSTEM ${LLVM_INCLUDE_DIRS})
+
+  if(LLVM_LINK_LLVM_DYLIB)
+    set(llvm_libs LLVM)
+  else()
+    llvm_map_components_to_libnames(
+      llvm_libs
+      analysis
+      bitwriter
+      core
+      instcombine
+      instrumentation
+      ipo
+      irreader
+      linker
+      scalaropts
+      support
+      target
+      transformutils)
+  endif()
+else()
+  set(IN_SOURCE_BUILD 1)
+endif()
+
 # SVF-LLVM containes LLVM Libs
 file(GLOB SVFLLVM_SOURCES lib/*.cpp)
 
@@ -7,5 +54,7 @@ target_include_directories(SvfLLVM PUBLIC include)
 target_link_libraries(SvfLLVM PUBLIC ${Z3_LIBRARIES} SvfCoreObj)
 
 if(DEFINED IN_SOURCE_BUILD)
-    add_dependencies(SvfLLVM intrinsics_gen)
+  add_dependencies(SvfLLVM intrinsics_gen)
 endif()
+
+add_subdirectory(tools)

package/svf-llvm/tools/CFL/CMakeLists.txt

@@ -0,0 +1,10 @@
+if(DEFINED IN_SOURCE_BUILD)
+  add_llvm_tool(cfl cfl.cpp)
+else()
+  add_executable(cfl cfl.cpp)
+
+  target_link_libraries(cfl SvfLLVM ${llvm_libs})
+
+  set_target_properties(cfl PROPERTIES RUNTIME_OUTPUT_DIRECTORY
+                                       ${CMAKE_BINARY_DIR}/bin)
+endif()

package/svf-llvm/tools/CMakeLists.txt

@@ -0,0 +1,22 @@
+if(DEFINED IN_SOURCE_BUILD)
+  set(LLVM_LINK_COMPONENTS
+      BitWriter
+      Core
+      IPO
+      IrReader
+      InstCombine
+      Instrumentation
+      Target
+      Linker
+      Analysis
+      ScalarOpts
+      Support
+      SvfLLVM)
+endif()
+
+add_subdirectory(SABER)
+add_subdirectory(WPA)
+add_subdirectory(Example)
+add_subdirectory(DDA)
+add_subdirectory(MTA)
+add_subdirectory(CFL)

package/svf-llvm/tools/DDA/CMakeLists.txt

@@ -0,0 +1,10 @@
+if(DEFINED IN_SOURCE_BUILD)
+  add_llvm_tool(dvf dda.cpp)
+else()
+  add_executable(dvf dda.cpp)
+
+  target_link_libraries(dvf SvfLLVM ${llvm_libs})
+
+  set_target_properties(dvf PROPERTIES RUNTIME_OUTPUT_DIRECTORY
+                                       ${CMAKE_BINARY_DIR}/bin)
+endif()

package/svf-llvm/tools/Example/CMakeLists.txt

@@ -0,0 +1,10 @@
+if(DEFINED IN_SOURCE_BUILD)
+  add_llvm_tool(svf-ex svf-ex.cpp)
+else()
+  add_executable(svf-ex svf-ex.cpp)
+
+  target_link_libraries(svf-ex SvfLLVM ${llvm_libs})
+
+  set_target_properties(svf-ex PROPERTIES RUNTIME_OUTPUT_DIRECTORY
+                                          ${CMAKE_BINARY_DIR}/bin)
+endif()

package/svf-llvm/tools/MTA/CMakeLists.txt

@@ -0,0 +1,12 @@
+if(DEFINED IN_SOURCE_BUILD)
+  add_llvm_tool(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp
+                MTAAnnotator.cpp)
+else()
+  add_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp
+                     MTAAnnotator.cpp)
+
+  target_link_libraries(mta SvfLLVM ${llvm_libs})
+
+  set_target_properties(mta PROPERTIES RUNTIME_OUTPUT_DIRECTORY
+                                       ${CMAKE_BINARY_DIR}/bin)
+endif()

package/svf-llvm/tools/SABER/CMakeLists.txt

@@ -0,0 +1,10 @@
+if(DEFINED IN_SOURCE_BUILD)
+  add_llvm_tool(saber saber.cpp)
+else()
+  add_executable(saber saber.cpp)
+
+  target_link_libraries(saber SvfLLVM ${llvm_libs})
+
+  set_target_properties(saber PROPERTIES RUNTIME_OUTPUT_DIRECTORY
+                                         ${CMAKE_BINARY_DIR}/bin)
+endif()

package/svf-llvm/tools/WPA/CMakeLists.txt

@@ -0,0 +1,13 @@
+set(THREADS_PREFER_PTHREAD_FLAG ON)
+find_package(Threads REQUIRED)
+
+if(DEFINED IN_SOURCE_BUILD)
+  add_llvm_tool(wpa wpa.cpp)
+else()
+  add_executable(wpa wpa.cpp)
+
+  target_link_libraries(wpa SvfLLVM ${llvm_libs} Threads::Threads)
+
+  set_target_properties(wpa PROPERTIES RUNTIME_OUTPUT_DIRECTORY
+                                       ${CMAKE_BINARY_DIR}/bin)
+endif()

package/tools/CFL/CMakeLists.txt

@@ -1,23 +0,0 @@
-if(DEFINED IN_SOURCE_BUILD)
-    set(LLVM_LINK_COMPONENTS
-        BitWriter
-        Core
-        IPO
-        IrReader
-        InstCombine
-        Instrumentation
-        Target
-        Linker
-        Analysis
-        ScalarOpts
-        Support
-        SvfLLVM)
-    add_llvm_tool(cfl cfl.cpp)
-else()
-    add_executable(cfl cfl.cpp)
-
-    target_link_libraries(cfl SvfLLVM ${llvm_libs})
-
-    set_target_properties(cfl PROPERTIES RUNTIME_OUTPUT_DIRECTORY
-                                         ${CMAKE_BINARY_DIR}/bin)
-endif()

package/tools/CMakeLists.txt

@@ -1,7 +0,0 @@
-# include_directories(svf-llvm/include)
-add_subdirectory(SABER)
-add_subdirectory(WPA)
-add_subdirectory(Example)
-add_subdirectory(DDA)
-add_subdirectory(MTA)
-add_subdirectory(CFL)

package/tools/DDA/CMakeLists.txt

@@ -1,23 +0,0 @@
-if(DEFINED IN_SOURCE_BUILD)
-    set(LLVM_LINK_COMPONENTS
-        BitWriter
-        Core
-        IPO
-        IrReader
-        InstCombine
-        Instrumentation
-        Target
-        Linker
-        Analysis
-        ScalarOpts
-        Support
-        SvfLLVM)
-    add_llvm_tool(dvf dda.cpp)
-else()
-    add_executable(dvf dda.cpp)
-
-    target_link_libraries(dvf SvfLLVM ${llvm_libs})
-
-    set_target_properties(dvf PROPERTIES RUNTIME_OUTPUT_DIRECTORY
-                                         ${CMAKE_BINARY_DIR}/bin)
-endif()

package/tools/Example/CMakeLists.txt

@@ -1,23 +0,0 @@
-if(DEFINED IN_SOURCE_BUILD)
-    set(LLVM_LINK_COMPONENTS
-        BitWriter
-        Core
-        IPO
-        IrReader
-        InstCombine
-        Instrumentation
-        Target
-        Linker
-        Analysis
-        ScalarOpts
-        Support
-        SvfLLVM)
-    add_llvm_tool(svf-ex svf-ex.cpp)
-else()
-    add_executable(svf-ex svf-ex.cpp)
-
-    target_link_libraries(svf-ex SvfLLVM ${llvm_libs})
-
-    set_target_properties(svf-ex PROPERTIES RUNTIME_OUTPUT_DIRECTORY
-                                            ${CMAKE_BINARY_DIR}/bin)
-endif()

package/tools/MTA/CMakeLists.txt

@@ -1,25 +0,0 @@
-if(DEFINED IN_SOURCE_BUILD)
-    set(LLVM_LINK_COMPONENTS
-        BitWriter
-        Core
-        IPO
-        IrReader
-        InstCombine
-        Instrumentation
-        Target
-        Linker
-        Analysis
-        ScalarOpts
-        Support
-        SvfLLVM
-        Cudd)
-    add_llvm_tool(mta mta.cpp)
-else()
-    add_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp
-                       MTAAnnotator.cpp)
-
-    target_link_libraries(mta SvfLLVM ${llvm_libs})
-
-    set_target_properties(mta PROPERTIES RUNTIME_OUTPUT_DIRECTORY
-                                         ${CMAKE_BINARY_DIR}/bin)
-endif()

package/tools/SABER/CMakeLists.txt

@@ -1,23 +0,0 @@
-if(DEFINED IN_SOURCE_BUILD)
-    set(LLVM_LINK_COMPONENTS
-        BitWriter
-        Core
-        IPO
-        IrReader
-        InstCombine
-        Instrumentation
-        Target
-        Linker
-        Analysis
-        ScalarOpts
-        Support
-        SvfLLVM)
-    add_llvm_tool(saber saber.cpp)
-else()
-    add_executable(saber saber.cpp)
-
-    target_link_libraries(saber SvfLLVM ${llvm_libs})
-
-    set_target_properties(saber PROPERTIES RUNTIME_OUTPUT_DIRECTORY
-                                           ${CMAKE_BINARY_DIR}/bin)
-endif()

package/tools/WPA/CMakeLists.txt

@@ -1,26 +0,0 @@
-set(THREADS_PREFER_PTHREAD_FLAG ON)
-find_package(Threads REQUIRED)
-
-if(DEFINED IN_SOURCE_BUILD)
-    set(LLVM_LINK_COMPONENTS
-        BitWriter
-        Core
-        IPO
-        IrReader
-        InstCombine
-        Instrumentation
-        Target
-        Linker
-        Analysis
-        ScalarOpts
-        Support
-        SvfLLVM)
-    add_llvm_tool(wpa wpa.cpp)
-else()
-    add_executable(wpa wpa.cpp)
-
-    target_link_libraries(wpa SvfLLVM ${llvm_libs} Threads::Threads)
-
-    set_target_properties(wpa PROPERTIES RUNTIME_OUTPUT_DIRECTORY
-                                         ${CMAKE_BINARY_DIR}/bin)
-endif()