remove phasar plugin feature

Author: Martin Mory

CMakeLists.txt

@@ -125,8 +125,8 @@ endif()
 find_package(Threads)
 
 # Boost
-find_package(Boost 1.65.1 COMPONENTS graph system program_options log ${BOOST_THREAD} REQUIRED)
-#find_package(Boost 1.72.0 COMPONENTS graph system program_options log ${BOOST_THREAD} REQUIRED)
+find_package(Boost 1.65.1 COMPONENTS graph program_options log ${BOOST_THREAD} REQUIRED)
+#find_package(Boost 1.72.0 COMPONENTS graph program_options log ${BOOST_THREAD} REQUIRED)
 include_directories(${Boost_INCLUDE_DIRS})
 
 # Disable clang-tidy for the external projects
@@ -290,8 +290,6 @@ llvm_map_components_to_libnames(llvm_libs
 # phasar-based binaries
 add_subdirectory(tools)
 
-set(PHASAR_PLUGINS_LIB phasar_plugins)
-
 # Add Phasar unittests and build all IR test code
 if (PHASAR_BUILD_UNITTESTS)
   message("Phasar unittests")
@@ -409,7 +407,6 @@ set(CPACK_SOURCE_PACKAGE_FILE_NAME "${CMAKE_PROJECT_NAME}_${MAJOR_VERSION}.${MIN
 set(CPACK_DEBIAN_PACKAGE_SHLIBDEPS ON)
 # set(CPACK_DEBIAN_PACKAGE_DEPENDS "libboost_program_options (>= 1.66.0),
 #                                   libboost_graph (>= 1.66.0),
-#                                   libboost_system (>= 1.66.0),
 #                                   libboost_log (>= 1.66.0),
 #                                   libboost_thread (>= 1.66.0),
 #                                   libsqlite3 (>= 4.5.0),

cmake/phasar_macros.cmake

@@ -26,9 +26,6 @@ function(add_phasar_unittest test_name)
     phasar_experimental
     # phasar_clang
     phasar_passes
-    # FIXME: cmake variable ${PHASAR_PLUGINS_LIB} is empty although it should contain phasar_plugins
-    phasar_plugins
-    # ${PHASAR_PLUGINS_LIB}
     phasar_pointer
     phasar_typehierarchy
     phasar_taintconfig

examples/plugins/Makefile

@@ -52,7 +52,7 @@ class AnalysisController {
   LLVMTypeHierarchy TH;
   LLVMPointsToSet PT;
   LLVMBasedICFG ICF;
-  std::vector<DataFlowAnalysisKind> DataFlowAnalyses;
+  std::vector<DataFlowAnalysisType> DataFlowAnalyses;
   std::vector<std::string> AnalysisConfigs;
   std::set<std::string> EntryPoints;
   [[maybe_unused]] AnalysisStrategy Strategy;
@@ -115,7 +115,7 @@ class AnalysisController {
 
 public:
   AnalysisController(ProjectIRDB &IRDB,
-                     std::vector<DataFlowAnalysisKind> DataFlowAnalyses,
+                     std::vector<DataFlowAnalysisType> DataFlowAnalyses,
                      std::vector<std::string> AnalysisConfigs,
                      PointerAnalysisType PTATy, CallGraphAnalysisType CGTy,
                      Soundness SoundnessLevel, bool AutoGlobalSupport,

examples/plugins/MyIFDSProblem.cxx

@@ -15,7 +15,6 @@
 namespace psr {
 
 /// A common superclass of edge-facts used by non-template IDETabulationProblems
-/// (for example in plugins)
 class EdgeFact {
 public:
   virtual ~EdgeFact() = default;

examples/plugins/MyIFDSProblem.h

@@ -16,7 +16,7 @@
 namespace psr {
 
 /// A common superclass of dataflow-facts used by non-template tabulation
-/// problems (for example in plugins)
+/// problems
 class FlowFact {
 public:
   virtual ~FlowFact() = default;