Merge branch 'development' into f-FixConfigUB

Author: pdschubert

CMakeLists.txt

@@ -125,8 +125,8 @@ endif()
 find_package(Threads)
 
 # Boost
-find_package(Boost 1.65.1 COMPONENTS graph system program_options ${BOOST_THREAD} REQUIRED)
-#find_package(Boost 1.72.0 COMPONENTS graph system program_options ${BOOST_THREAD} REQUIRED)
+find_package(Boost 1.65.1 COMPONENTS graph program_options ${BOOST_THREAD} REQUIRED)
+#find_package(Boost 1.72.0 COMPONENTS graph program_options ${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_thread (>= 1.66.0),
 #                                   libsqlite3 (>= 4.5.0),
 #                                   libpthread (>= 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

@@ -16,10 +16,16 @@
 
 #include "phasar/DB/ProjectIRDB.h"
 #include "phasar/PhasarLLVM/AnalysisStrategy/Strategies.h"
+#include "phasar/PhasarLLVM/AnalysisStrategy/WholeProgramAnalysis.h"
 #include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
 #include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSIDESolverConfig.h"
+#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h"
+#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IFDSSolver.h"
+#include "phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/InterMonoSolver.h"
+#include "phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/IntraMonoSolver.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMBasedPointsToAnalysis.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMPointsToSet.h"
+#include "phasar/PhasarLLVM/TaintConfig/TaintConfig.h"
 #include "phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h"
 #include "phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h"
 #include "phasar/Utils/EnumFlags.h"
@@ -51,7 +57,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;
@@ -81,6 +87,67 @@ class AnalysisController {
 
   void emitRequestedHelperAnalysisResults();
 
+  void executeIFDSUninitVar();
+  void executeIFDSConst();
+  void executeIFDSTaint();
+  void executeIFDSType();
+  void executeIFDSSolverTest();
+  void executeIFDSLinearConst();
+  void executeIFDSFieldSensTaint();
+  void executeIDEXTaint();
+  void executeIDEOpenSSLTS();
+  void executeIDECSTDIOTS();
+  void executeIDELinearConst();
+  void executeIDESolverTest();
+  void executeIDEIIA();
+  void executeIntraMonoFullConstant();
+  void executeIntraMonoSolverTest();
+  void executeInterMonoSolverTest();
+  void executeInterMonoTaint();
+
+  template <typename AnalysisTy, bool WithConfig = false>
+  void executeIntraMonoAnalysis() {
+    executeAnalysis<IntraMonoSolver_P<AnalysisTy>, AnalysisTy, WithConfig>();
+  }
+
+  template <typename AnalysisTy, bool WithConfig = false>
+  void executeInterMonoAnalysis() {
+    executeAnalysis<InterMonoSolver_P<AnalysisTy, 3>, AnalysisTy, WithConfig>();
+  }
+
+  template <typename AnalysisTy, bool WithConfig = false>
+  void executeIFDSAnalysis() {
+    executeAnalysis<IFDSSolver_P<AnalysisTy>, AnalysisTy, WithConfig>();
+  }
+
+  template <typename AnalysisTy, bool WithConfig = false>
+  void executeIDEAnalysis() {
+    executeAnalysis<IDESolver_P<AnalysisTy>, AnalysisTy, WithConfig>();
+  }
+
+  template <class Solver_P, typename AnalysisTy, bool WithConfig>
+  void executeAnalysis() {
+    if constexpr (WithConfig) {
+      std::string AnalysisConfigPath =
+          (0 < AnalysisConfigs.size()) ? AnalysisConfigs[0] : "";
+      auto Config =
+          !AnalysisConfigPath.empty()
+              ? TaintConfig(IRDB, parseTaintConfig(AnalysisConfigPath))
+              : TaintConfig(IRDB);
+      WholeProgramAnalysis<Solver_P, AnalysisTy> WPA(
+          SolverConfig, IRDB, &Config, EntryPoints, &PT, &ICF, &TH);
+      WPA.solve();
+      emitRequestedDataFlowResults(WPA);
+      WPA.releaseAllHelperAnalyses();
+    } else {
+      WholeProgramAnalysis<Solver_P, AnalysisTy> WPA(
+          SolverConfig, IRDB, EntryPoints, &PT, &ICF, &TH);
+      WPA.solve();
+      emitRequestedDataFlowResults(WPA);
+      WPA.releaseAllHelperAnalyses();
+    }
+  }
+
   std::unique_ptr<llvm::raw_fd_ostream>
   openFileStream(llvm::StringRef Filename);
 
@@ -121,7 +188,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

@@ -17,7 +17,6 @@ class raw_ostream;
 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;