Make the sqlite3-dependency optional (#711)

Author: fabianbs96

CMakeLists.txt

@@ -293,8 +293,12 @@ else()
 endif()
 
 # SQL
-find_path(SQLITE3_INCLUDE_DIR NAMES sqlite3.h)
-find_library(SQLITE3_LIBRARY NAMES sqlite3)
+find_package(SQLite3)
+if(SQLite3_FOUND)
+  set(PHASAR_HAS_SQLITE ON)
+else()
+  set(PHASAR_HAS_SQLITE OFF)
+endif()
 
 option(USE_LLVM_FAT_LIB  "Link against libLLVM.so instead of the individual LLVM libraries if possible (default is OFF; always on if BUILD_SHARED_LIBS is ON)" OFF)
 

bootstrap.sh

@@ -108,7 +108,7 @@ set -- "${POSITIONAL[@]}" # restore positional parameters
 
 echo "installing phasar dependencies..."
 if [ -x "$(command -v pacman)" ]; then
-    yes | sudo pacman -Syu --needed which zlib sqlite3 python3 doxygen gcc python-pip ninja cmake
+    yes | sudo pacman -Syu --needed which zlib python3 doxygen gcc ninja cmake
 else
     ./utils/InstallAptDependencies.sh
 fi

config.h.in

@@ -9,4 +9,6 @@
 #cmakedefine DYNAMIC_LOG
 #cmakedefine BUILD_PHASAR_CLANG
 
+#cmakedefine PHASAR_HAS_SQLITE
+
 #endif /* PHASAR_CONFIG_CONFIG_H  */

include/phasar/DB.h

@@ -10,8 +10,12 @@
 #ifndef PHASAR_DB_H
 #define PHASAR_DB_H
 
-#include "phasar/DB/Hexastore.h"
+#include "phasar/Config/phasar-config.h"
 #include "phasar/DB/ProjectIRDBBase.h"
+
+#ifdef PHASAR_HAS_SQLITE
+#include "phasar/DB/Hexastore.h"
 #include "phasar/DB/Queries.h"
+#endif
 
 #endif // PHASAR_DB_H

include/phasar/DB/Hexastore.h

@@ -10,17 +10,20 @@
 #ifndef PHASAR_DB_HEXASTORE_H_
 #define PHASAR_DB_HEXASTORE_H_
 
-#include "phasar/DB/Queries.h"
+#include "phasar/Config/phasar-config.h"
+#ifndef PHASAR_HAS_SQLITE
+#error                                                                         \
+    "Hexastore requires SQLite3. Please install libsqlite3-dev and reconfigure PhASAR."
+#endif
 
 #include "llvm/Support/raw_ostream.h"
 
-#include "boost/format.hpp"
-#include "sqlite3.h"
-
 #include <array>
 #include <string>
 #include <vector>
 
+struct sqlite3;
+
 namespace psr {
 /**
  * @brief Holds the results of a query to the Hexastore.
@@ -51,6 +54,7 @@ struct HSResult {
            LHS.Object == RHS.Object;
   }
 };
+
 /**
  * A Hexastore is an efficient approach to store large graphs.
  * This approach is based on the paper "Database-Backed Program Analysis

include/phasar/DataFlow/Mono/Solver/InterMonoSolver.h

@@ -24,7 +24,6 @@
 #include <unordered_map>
 #include <unordered_set>
 #include <utility>
-#include <vector>
 
 namespace psr {
 
@@ -368,18 +367,8 @@ template <typename AnalysisDomainTy, unsigned K> class InterMonoSolver {
       }
       // Compute the data-flow facts using the respective kind of flows
       if (ICF->isCallSite(Src)) {
-        // Handle call flow(s)
-        if (!isIntraEdge(Edge)) {
-          // real call
-          for (auto &[Ctx, Facts] : Analysis[Src]) {
-            processCall(Edge); // TODO: decompose into processCall and
-                               // processCallToRet
-          }
-        } else {
-          // call-to-return
-          processCall(
-              Edge); // TODO: decompose into processCall and processCallToRet
-        }
+        // Handle call flow(s) and call-to-return flow
+        processCall(Edge);
       } else if (ICF->isExitInst(Src)) {
         // Handle return flow
         processExit(Edge);

lib/AnalysisStrategy/CMakeLists.txt

@@ -2,6 +2,5 @@ file(GLOB_RECURSE ANALYSIS_STRATEGY_SRC *.h *.cpp)
 
 add_phasar_library(phasar_analysis_strategy
   ${ANALYSIS_STRATEGY_SRC}
-  LINKS phasar_db phasar_controlflow
   LLVM_LINK_COMPONENTS Support
 )

lib/CMakeLists.txt

@@ -18,29 +18,35 @@ if(PHASAR_BUILD_DYNLIB)
     set(PHASAR_DYNLIB_KIND SHARED)
 endif()
 
+set(PHASAR_LINK_LIBS
+    phasar_utils
+    phasar_passes
+    phasar_config
+    phasar_pointer
+    phasar_controlflow
+
+    phasar_llvm_utils
+    phasar_llvm_db
+    phasar_llvm_pointer
+    phasar_llvm_typehierarchy
+    phasar_llvm_controlflow
+
+    phasar_taintconfig
+    phasar_mono
+    phasar_llvm
+    phasar_llvm_ifdside
+    phasar_analysis_strategy
+    phasar_controller
+)
+if(SQLite3_FOUND)
+    list(APPEND PHASAR_LINK_LIBS phasar_db)
+endif()
+
 add_phasar_library(phasar ${PHASAR_DYNLIB_KIND}
     FILES
         LibPhasar.cpp
     LINKS
-        phasar_utils
-        phasar_passes
-        phasar_config
-        phasar_db
-        phasar_pointer
-        phasar_controlflow
-
-        phasar_llvm_utils
-        phasar_llvm_db
-        phasar_llvm_pointer
-        phasar_llvm_typehierarchy
-        phasar_llvm_controlflow
-
-        phasar_taintconfig
-        phasar_mono
-        phasar_llvm
-        phasar_llvm_ifdside
-        phasar_analysis_strategy
-        phasar_controller
+        ${PHASAR_LINK_LIBS}
     LINK_PRIVATE
         ${Boost_LIBRARIES}
     LLVM_LINK_COMPONENTS

lib/Controller/CMakeLists.txt

@@ -15,6 +15,7 @@ add_phasar_library(phasar_controller
     phasar_utils
     phasar_analysis_strategy
     phasar_taintconfig
+    phasar_passes
 
   LLVM_LINK_COMPONENTS
     Core

lib/DB/CMakeLists.txt

@@ -1,12 +1,10 @@
-file(GLOB_RECURSE DB_SRC *.h *.cpp)
+if(SQLite3_FOUND)
+  file(GLOB_RECURSE DB_SRC *.h *.cpp)
 
-add_phasar_library(phasar_db
-  ${DB_SRC}
-  LINKS phasar_passes phasar_utils
-  LLVM_LINK_COMPONENTS Support
-  LINK_PRIVATE ${SQLITE3_LIBRARY}
-)
-
-target_include_directories(phasar_db
-  PRIVATE ${SQLITE3_INCLUDE_DIR}
-)
+  add_phasar_library(phasar_db
+    ${DB_SRC}
+    LINKS phasar_passes phasar_utils
+    LLVM_LINK_COMPONENTS Support
+    LINK_PRIVATE SQLite::SQLite3
+  )
+endif()