From 97c19eb0dcc494ff5940c35c56161943baac671a Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabianbs@mail.upb.de>
Date: Sun, 11 Jan 2026 11:41:55 +0100
Subject: [PATCH 1/6] Add concepts for ProjectIRDB and IRDomain

---
 include/phasar/DB/ProjectIRDB.h               | 88 +++++++++++++++++++
 include/phasar/DB/ProjectIRDBBase.h           |  7 +-
 .../phasar/DataFlow/IfdsIde/EntryPointUtils.h | 17 ++--
 .../DataFlow/IfdsIde/IDETabulationProblem.h   |  9 +-
 .../DataFlow/IfdsIde/IFDSTabulationProblem.h  |  2 +-
 .../DataFlow/IfdsIde/Solver/Compressor.h      |  5 +-
 .../phasar/DataFlow/Mono/InterMonoProblem.h   |  5 +-
 .../phasar/DataFlow/Mono/IntraMonoProblem.h   | 11 +--
 include/phasar/Domain/IRDomain.h              | 22 +++++
 .../phasar/PhasarLLVM/DB/LLVMProjectIRDB.h    |  3 +
 .../IfdsIde/DefaultAliasAwareIDEProblem.h     |  4 +-
 ...efaultReachableAllocationSitesIDEProblem.h |  4 +-
 lib/PhasarLLVM/DB/LLVMProjectIRDB.cpp         |  3 +
 .../Problems/IDETSAnalysisFileIOTest.cpp      |  6 +-
 unittests/TestUtils/SrcCodeLocationEntry.h    |  7 +-
 15 files changed, 150 insertions(+), 43 deletions(-)
 create mode 100644 include/phasar/DB/ProjectIRDB.h
 create mode 100644 include/phasar/Domain/IRDomain.h

diff --git a/include/phasar/DB/ProjectIRDB.h b/include/phasar/DB/ProjectIRDB.h
new file mode 100644
index 0000000000..1af22c1c81
--- /dev/null
+++ b/include/phasar/DB/ProjectIRDB.h
@@ -0,0 +1,88 @@
+#pragma once
+
+#include "phasar/Utils/Nullable.h"
+#include "phasar/Utils/TypeTraits.h"
+
+#include "llvm/ADT/StringRef.h"
+
+#include <concepts>
+
+namespace psr {
+
+template <typename T>
+concept ProjectSymbolTable = requires(const T &ST, llvm::StringRef Name,
+                                      size_t InstId, typename T::n_t Inst) {
+  /// Reference to a Instruction/Statement
+  typename T::n_t;
+  /// Reference to a function
+  typename T::f_t;
+  /// Reference to a program module (potentially containing the whole
+  /// program)
+  typename T::m_t;
+  /// Reference to a Global Variable
+  typename T::g_t;
+
+  /// Returns the function (declaration or definition) if available,
+  /// nullptr/nullopt otherwise.
+  { ST.getFunction(Name) } -> std::convertible_to<Nullable<typename T::f_t>>;
+
+  /// Returns the function's definition if available, null otherwise.
+  {
+    ST.getFunctionDefinition(Name)
+  } -> std::convertible_to<Nullable<typename T::f_t>>;
+
+  /// Returns whether the IRDB contains a function (declaration or
+  /// definition) with the given name.
+  { ST.hasFunction(Name) } -> std::convertible_to<bool>;
+
+  /// Returns the global variable (declaration or definition) if available,
+  /// nullptr/nullopt otherwise.
+  {
+    ST.getGlobalVariable(Name)
+  } -> std::convertible_to<Nullable<typename T::g_t>>;
+
+  /// Returns the global variable's definition if available, nullptr/nullopt
+  /// otherwise.
+  {
+    ST.getGlobalVariableDefinition(Name)
+  } -> std::convertible_to<Nullable<typename T::g_t>>;
+
+  /// Returns the instruction to the corresponding Id. Returns
+  /// nullptr/nullopt, if there is no instruction for this Id
+  {
+    ST.getInstruction(InstId)
+  } -> std::convertible_to<Nullable<typename T::n_t>>;
+
+  /// Returns an instruction's Id. The instruction must belong to the managed
+  /// module for this function to work.
+  ///
+  /// You can expect the instruction-ids to be sequential in the interval [0,
+  /// N), where N is the total number of managed instructions.
+  { ST.getInstructionId(Inst) } -> std::convertible_to<size_t>;
+};
+
+/// This concept describes the minimum requirements for a project-IR-database.
+/// Each phasar-analysis works on a program that is managed by a ProjectIRDB.
+template <typename T>
+concept ProjectIRDB = requires(const T &DB) {
+  /// Returns the managed module
+  { DB.getModule() } noexcept -> std::convertible_to<typename T::m_t>;
+
+  /// Check if debug information are available.
+  { DB.debugInfoAvailable() } -> std::convertible_to<bool>;
+
+  /// Returns a range of all function definitions and declarations available
+  { DB.getAllFunctions() } -> psr::is_iterable_over_v<typename T::f_t>;
+
+  /// Returns the number of functions in the managed module.
+  { DB.getNumFunctions() } -> std::convertible_to<size_t>;
+
+  /// Returns a range of all instructions available.
+  { DB.getAllInstructions() } -> psr::is_iterable_over_v<typename T::n_t>;
+
+  /// Returns the number of instruction in the managed module.
+  { DB.getNumInstructions() } -> std::convertible_to<size_t>;
+
+  requires ProjectSymbolTable<T>;
+};
+} // namespace psr
diff --git a/include/phasar/DB/ProjectIRDBBase.h b/include/phasar/DB/ProjectIRDBBase.h
index 60e08cd2ab..c30fffd342 100644
--- a/include/phasar/DB/ProjectIRDBBase.h
+++ b/include/phasar/DB/ProjectIRDBBase.h
@@ -37,7 +37,10 @@ template <typename DB> struct ProjectIRDBTraits {
 ///
 /// \remark XXX Once we have upgraded to C++20, we might want to use a concept
 /// instead...
-template <typename Derived> class ProjectIRDBBase {
+template <typename Derived>
+class LLVM_DEPRECATED(
+    "This CRTP mixin is deprecated in favor of the ProjectIRDB-concept",
+    "Use ProjectIRDB instead") ProjectIRDBBase {
 public:
   using n_t = typename ProjectIRDBTraits<Derived>::n_t;
   using f_t = typename ProjectIRDBTraits<Derived>::f_t;
@@ -81,7 +84,7 @@ template <typename Derived> class ProjectIRDBBase {
     return self().hasFunctionImpl(FunctionName);
   }
 
-  /// Returns the global variable's definition if available, nullptr/nullopt
+  /// Returns the global variable if available, nullptr/nullopt
   /// otherwise.
   [[nodiscard]] Nullable<g_t>
   getGlobalVariable(llvm::StringRef GlobalVariableName) const {
diff --git a/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h b/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
index d5626a2e0d..90aa30ddc4 100644
--- a/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
+++ b/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
@@ -11,7 +11,7 @@
 #define PHASAR_DATAFLOW_IFDSIDE_ENTRYPOINTUTILS_H
 
 #include "phasar/ControlFlow/CFGBase.h"
-#include "phasar/DB/ProjectIRDBBase.h"
+#include "phasar/DB/ProjectIRDB.h"
 #include "phasar/Domain/BinaryDomain.h"
 
 #include "llvm/ADT/STLExtras.h"
@@ -57,9 +57,8 @@ void forallStartingPoints(const EntryRange &EntryPoints, const ICFGorIRDB *ICDB,
 
 } // namespace detail
 
-template <typename EntryRange, typename C, typename DB, typename HandlerFn>
-void forallStartingPoints(const EntryRange &EntryPoints,
-                          const ProjectIRDBBase<DB> *IRDB,
+template <typename EntryRange, typename C, ProjectIRDB DB, typename HandlerFn>
+void forallStartingPoints(const EntryRange &EntryPoints, const DB *IRDB,
                           const CFGBase<C> &CFG, HandlerFn Handler) {
   return detail::forallStartingPoints(EntryPoints, IRDB, CFG,
                                       std::move(Handler));
@@ -71,12 +70,11 @@ void forallStartingPoints(const EntryRange &EntryPoints, const I *ICF,
   detail::forallStartingPoints(EntryPoints, ICF, *ICF, std::move(Handler));
 }
 
-template <typename EntryRange, typename C, typename DB, typename SeedsT,
+template <typename EntryRange, typename C, ProjectIRDB DB, typename SeedsT,
           typename D, typename L>
   requires(std::is_convertible_v<L, typename SeedsT::l_t> &&
            std::is_convertible_v<D, typename SeedsT::d_t>)
-void addSeedsForStartingPoints(const EntryRange &EntryPoints,
-                               const ProjectIRDBBase<DB> *IRDB,
+void addSeedsForStartingPoints(const EntryRange &EntryPoints, const DB *IRDB,
                                const CFGBase<C> &CFG, SeedsT &Seeds,
                                const D &ZeroValue, const L &BottomValue) {
   forallStartingPoints(EntryPoints, IRDB, CFG,
@@ -99,12 +97,11 @@ void addSeedsForStartingPoints(const EntryRange &EntryPoints, const I *ICF,
 }
 
 /// Simplification for IFDS, passing BinaryDomain::BOTTOM as L
-template <typename EntryRange, typename C, typename DB, typename SeedsT,
+template <typename EntryRange, typename C, ProjectIRDB DB, typename SeedsT,
           typename D>
   requires(std::is_same_v<BinaryDomain, typename SeedsT::l_t> &&
            std::is_convertible_v<D, typename SeedsT::d_t>)
-void addSeedsForStartingPoints(const EntryRange &EntryPoints,
-                               const ProjectIRDBBase<DB> *IRDB,
+void addSeedsForStartingPoints(const EntryRange &EntryPoints, const DB *IRDB,
                                const CFGBase<C> &CFG, SeedsT &Seeds,
                                const D &ZeroValue) {
   addSeedsForStartingPoints(EntryPoints, IRDB, CFG, Seeds, ZeroValue,
diff --git a/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h b/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
index b722ca7ae3..020441332e 100644
--- a/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
+++ b/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
@@ -10,7 +10,6 @@
 #ifndef PHASAR_DATAFLOW_IFDSIDE_IDETABULATIONPROBLEM_H_
 #define PHASAR_DATAFLOW_IFDSIDE_IDETABULATIONPROBLEM_H_
 
-#include "phasar/DB/ProjectIRDBBase.h"
 #include "phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h"
 #include "phasar/DataFlow/IfdsIde/EdgeFunctions.h"
 #include "phasar/DataFlow/IfdsIde/EntryPointUtils.h"
@@ -95,7 +94,7 @@ class IDETabulationProblem : public FlowFunctions<AnalysisDomainTy, Container>,
   /// Λ). If not provided here, you must set it via \link initializeZeroValue()
   /// \endlink.
   explicit IDETabulationProblem(
-      const ProjectIRDBBase<db_t> *IRDB, std::vector<std::string> EntryPoints,
+      const db_t *IRDB, std::vector<std::string> EntryPoints,
       std::optional<d_t>
           ZeroValue) noexcept(std::is_nothrow_move_constructible_v<d_t>)
       : IRDB(IRDB), EntryPoints(std::move(EntryPoints)),
@@ -175,9 +174,7 @@ class IDETabulationProblem : public FlowFunctions<AnalysisDomainTy, Container>,
   /// the level of soundness is ignored. Otherwise, true.
   virtual bool setSoundness(Soundness /*S*/) { return false; }
 
-  [[nodiscard]] const ProjectIRDBBase<db_t> *getProjectIRDB() const noexcept {
-    return IRDB;
-  }
+  [[nodiscard]] const db_t *getProjectIRDB() const noexcept { return IRDB; }
 
 protected:
   typename FlowFunctions<AnalysisDomainTy, Container>::FlowFunctionPtrType
@@ -215,7 +212,7 @@ class IDETabulationProblem : public FlowFunctions<AnalysisDomainTy, Container>,
     return Seeds;
   }
 
-  const ProjectIRDBBase<db_t> *IRDB{};
+  const db_t *IRDB{};
   std::vector<std::string> EntryPoints;
   std::optional<d_t> ZeroValue;
 
diff --git a/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h b/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
index 723f0acce3..33a9604f8d 100644
--- a/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
+++ b/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
@@ -55,7 +55,7 @@ class IFDSTabulationProblem
   /// @param[in] ZeroValue Provides the special tautological zero value (aka.
   /// Λ).
   /// \endlink.
-  explicit IFDSTabulationProblem(const ProjectIRDBBase<db_t> *IRDB,
+  explicit IFDSTabulationProblem(const db_t *IRDB,
                                  std::vector<std::string> EntryPoints,
                                  d_t ZeroValue)
       : Base(IRDB, std::move(EntryPoints), std::move(ZeroValue)) {}
diff --git a/include/phasar/DataFlow/IfdsIde/Solver/Compressor.h b/include/phasar/DataFlow/IfdsIde/Solver/Compressor.h
index fdeef7e304..7479bbd0c9 100644
--- a/include/phasar/DataFlow/IfdsIde/Solver/Compressor.h
+++ b/include/phasar/DataFlow/IfdsIde/Solver/Compressor.h
@@ -1,7 +1,6 @@
 #ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVER_COMPRESSOR_H
 #define PHASAR_DATAFLOW_IFDSIDE_SOLVER_COMPRESSOR_H
 
-#include "phasar/DB/ProjectIRDBBase.h"
 #include "phasar/Utils/ByRef.h"
 #include "phasar/Utils/Compressor.h"
 
@@ -39,8 +38,8 @@ class LLVMProjectIRDB;
 template <typename T> struct NodeCompressorTraits {
   using type = Compressor<T>;
 
-  static type create(const ProjectIRDBBase<LLVMProjectIRDB>
-                         * /*IRDB*/) noexcept(noexcept(type())) {
+  static type
+  create(const LLVMProjectIRDB * /*IRDB*/) noexcept(noexcept(type())) {
     return type();
   }
 };
diff --git a/include/phasar/DataFlow/Mono/InterMonoProblem.h b/include/phasar/DataFlow/Mono/InterMonoProblem.h
index 326cf9df91..8c5981c2ed 100644
--- a/include/phasar/DataFlow/Mono/InterMonoProblem.h
+++ b/include/phasar/DataFlow/Mono/InterMonoProblem.h
@@ -58,9 +58,8 @@ class InterMonoProblem : public IntraMonoProblem<AnalysisDomainTy> {
   /// @param[in] CF A control flow graph based on the given IRDB.
   /// @param[in] PT Points-to information based on the given IRDB.
   /// @param[in] EntryPoints A vector of entry points. Provide at least one.
-  InterMonoProblem(const ProjectIRDBBase<db_t> *IRDB,
-                   const TypeHierarchy<t_t, f_t> *TH, const i_t *ICF,
-                   AliasInfoRef<v_t, n_t> PT,
+  InterMonoProblem(const db_t *IRDB, const TypeHierarchy<t_t, f_t> *TH,
+                   const i_t *ICF, AliasInfoRef<v_t, n_t> PT,
                    std::vector<std::string> EntryPoints = {})
       : IntraMonoProblem<AnalysisDomainTy>(IRDB, TH, ICF, PT, EntryPoints),
         ICF(ICF) {
diff --git a/include/phasar/DataFlow/Mono/IntraMonoProblem.h b/include/phasar/DataFlow/Mono/IntraMonoProblem.h
index 954d2913a8..aa63dc22c8 100644
--- a/include/phasar/DataFlow/Mono/IntraMonoProblem.h
+++ b/include/phasar/DataFlow/Mono/IntraMonoProblem.h
@@ -53,7 +53,7 @@ template <typename AnalysisDomainTy> class IntraMonoProblem {
   using ProblemAnalysisDomain = AnalysisDomainTy;
 
 protected:
-  const ProjectIRDBBase<db_t> *IRDB;
+  const db_t *IRDB;
   const TypeHierarchy<t_t, f_t> *TH;
   const CFGBase<c_t> *CF;
   AliasInfoRef<v_t, n_t> PT;
@@ -71,9 +71,8 @@ template <typename AnalysisDomainTy> class IntraMonoProblem {
   /// @param[in] CF A control flow graph based on the given IRDB.
   /// @param[in] PT Points-to information based on the given IRDB.
   /// @param[in] EntryPoints A vector of entry points. Provide at least one.
-  IntraMonoProblem(const ProjectIRDBBase<db_t> *IRDB,
-                   const TypeHierarchy<t_t, f_t> *TH, const CFGBase<c_t> *CF,
-                   AliasInfoRef<v_t, n_t> PT,
+  IntraMonoProblem(const db_t *IRDB, const TypeHierarchy<t_t, f_t> *TH,
+                   const CFGBase<c_t> *CF, AliasInfoRef<v_t, n_t> PT,
                    std::vector<std::string> EntryPoints = {})
       : IRDB(IRDB), TH(TH), CF(CF), PT(PT),
         EntryPoints(std::move(EntryPoints)) {}
@@ -96,9 +95,7 @@ template <typename AnalysisDomainTy> class IntraMonoProblem {
     return EntryPoints;
   }
 
-  [[nodiscard]] const ProjectIRDBBase<db_t> *getProjectIRDB() const {
-    return IRDB;
-  }
+  [[nodiscard]] const db_t *getProjectIRDB() const { return IRDB; }
 
   [[nodiscard]] const TypeHierarchy<t_t, f_t> *getTypeHierarchy() const {
     return TH;
diff --git a/include/phasar/Domain/IRDomain.h b/include/phasar/Domain/IRDomain.h
new file mode 100644
index 0000000000..1d524f0c5d
--- /dev/null
+++ b/include/phasar/Domain/IRDomain.h
@@ -0,0 +1,22 @@
+#pragma once
+
+#include "phasar/DB/ProjectIRDB.h"
+
+namespace psr {
+/// Describes useful properties of the program intermediate representation (IR).
+template <typename T>
+concept IRDomain = requires() {
+  /// (Control-flow) Node --- Specifies the type of a node in the
+  /// (inter-procedural) control-flow graph and can be though of as an
+  /// individual statement or instruction of the target program.
+  typename T::n_t;
+  /// Function --- Specifies the type of functions/procedures in the target
+  /// program.
+  typename T::f_t;
+  /// (Pointer) value --- Specifies the type of pointers.
+  typename T::v_t;
+  /// The ProjectIRDB type --- Provides access to the IR.
+  typename T::db_t;
+  requires ProjectIRDB<typename T::db_t>;
+};
+} // namespace psr
diff --git a/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h b/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
index d079bbd9db..aaeb884cf7 100644
--- a/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
+++ b/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
@@ -38,7 +38,10 @@ template <> struct ProjectIRDBTraits<LLVMProjectIRDB> {
 };
 
 /// \brief Project IR Database that manages a LLVM IR module.
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
 class LLVMProjectIRDB : public ProjectIRDBBase<LLVMProjectIRDB> {
+#pragma GCC diagnostic pop
   friend ProjectIRDBBase;
 
 public:
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
index fbe5e3d14e..1394608607 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
@@ -77,7 +77,7 @@ class DefaultAliasAwareIDEProblem
   /// \note It is useful to use an instance of FilteredAliasSet for the alias
   /// information to lower suprious aliases
   explicit DefaultAliasAwareIDEProblem(
-      const ProjectIRDBBase<db_t> *IRDB, LLVMAliasIteratorRef AS,
+      const db_t *IRDB, LLVMAliasIteratorRef AS,
       std::vector<std::string> EntryPoints,
       std::optional<d_t>
           ZeroValue) noexcept(std::is_nothrow_move_constructible_v<d_t>)
@@ -124,7 +124,7 @@ class DefaultAliasAwareIFDSProblem
   /// \note It is useful to use an instance of FilteredAliasSet for the alias
   /// information to lower suprious aliases
   explicit DefaultAliasAwareIFDSProblem(
-      const ProjectIRDBBase<db_t> *IRDB, LLVMAliasIteratorRef AS,
+      const db_t *IRDB, LLVMAliasIteratorRef AS,
       std::vector<std::string> EntryPoints,
       d_t ZeroValue) noexcept(std::is_nothrow_move_constructible_v<d_t>)
       : IFDSTabulationProblem(IRDB, std::move(EntryPoints), ZeroValue),
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
index 783df3c193..ffec300b26 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
@@ -77,7 +77,7 @@ class DefaultReachableAllocationSitesIDEProblem
   /// \note It is useful to use an instance of FilteredAliasSet for the alias
   /// information to lower suprious aliases
   explicit DefaultReachableAllocationSitesIDEProblem(
-      const ProjectIRDBBase<db_t> *IRDB, LLVMPointsToIteratorRef AS,
+      const db_t *IRDB, LLVMPointsToIteratorRef AS,
       std::vector<std::string> EntryPoints,
       std::optional<d_t>
           ZeroValue) noexcept(std::is_nothrow_move_constructible_v<d_t>)
@@ -125,7 +125,7 @@ class DefaultReachableAllocationSitesIFDSProblem
   /// \note It is useful to use an instance of FilteredAliasSet for the alias
   /// information to lower suprious aliases
   explicit DefaultReachableAllocationSitesIFDSProblem(
-      const ProjectIRDBBase<db_t> *IRDB, LLVMPointsToIteratorRef AS,
+      const db_t *IRDB, LLVMPointsToIteratorRef AS,
       std::vector<std::string> EntryPoints,
       d_t ZeroValue) noexcept(std::is_nothrow_move_constructible_v<d_t>)
       : IFDSTabulationProblem(IRDB, std::move(EntryPoints), ZeroValue),
diff --git a/lib/PhasarLLVM/DB/LLVMProjectIRDB.cpp b/lib/PhasarLLVM/DB/LLVMProjectIRDB.cpp
index 2cf6eccc54..f6fe8de817 100644
--- a/lib/PhasarLLVM/DB/LLVMProjectIRDB.cpp
+++ b/lib/PhasarLLVM/DB/LLVMProjectIRDB.cpp
@@ -1,6 +1,7 @@
 #include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 
 #include "phasar/Config/Configuration.h"
+#include "phasar/DB/ProjectIRDB.h"
 #include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
 #include "phasar/Utils/Logger.h"
 #include "phasar/Utils/Macros.h"
@@ -24,6 +25,8 @@
 
 namespace psr {
 
+static_assert(ProjectIRDB<LLVMProjectIRDB>);
+
 [[deprecated]]
 static void setOpaquePointersForCtx(llvm::LLVMContext &Ctx, bool Enable) {
 #if LLVM_VERSION_MAJOR >= 15 && LLVM_VERSION_MAJOR < 17
diff --git a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETSAnalysisFileIOTest.cpp b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETSAnalysisFileIOTest.cpp
index db858dd575..0b4ff582ca 100644
--- a/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETSAnalysisFileIOTest.cpp
+++ b/unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETSAnalysisFileIOTest.cpp
@@ -64,9 +64,9 @@ class IDETSAnalysisFileIOTest : public ::testing::Test {
   using GroundTruthMapTy =
       std::map<TestingSrcLocation, std::map<TestingSrcLocation, int>>;
 
-  [[nodiscard]] static inline auto convertTestingLocationMapMapInIR(
-      const GroundTruthMapTy &Locs,
-      const ProjectIRDBBase<LLVMProjectIRDB> &IRDB) {
+  [[nodiscard]] static inline auto
+  convertTestingLocationMapMapInIR(const GroundTruthMapTy &Locs,
+                                   const LLVMProjectIRDB &IRDB) {
     std::map<const llvm::Instruction *, std::map<const llvm::Value *, int>> Ret;
     llvm::transform(
         Locs, std::inserter(Ret, Ret.end()), [&](const auto &LocAndSet) {
diff --git a/unittests/TestUtils/SrcCodeLocationEntry.h b/unittests/TestUtils/SrcCodeLocationEntry.h
index 9cfafd1cb8..26a993fc6f 100644
--- a/unittests/TestUtils/SrcCodeLocationEntry.h
+++ b/unittests/TestUtils/SrcCodeLocationEntry.h
@@ -297,8 +297,7 @@ getInstAtOrNull(const llvm::Function *F, uint32_t ReqLine,
 }
 
 [[nodiscard]] inline const llvm::Value *
-testingLocInIR(TestingSrcLocation Loc,
-               const ProjectIRDBBase<LLVMProjectIRDB> &IRDB,
+testingLocInIR(TestingSrcLocation Loc, const LLVMProjectIRDB &IRDB,
                const llvm::Function *InterestingFunction = nullptr) {
   const auto GetFunction = [&IRDB](llvm::StringRef Name) {
     const auto *InFun = IRDB.getFunctionDefinition(Name);
@@ -411,7 +410,7 @@ testingLocInIR(TestingSrcLocation Loc,
 template <typename SetTy>
 [[nodiscard]] inline std::set<const llvm::Value *>
 convertTestingLocationSetInIR(
-    const SetTy &Locs, const ProjectIRDBBase<LLVMProjectIRDB> &IRDB,
+    const SetTy &Locs, const LLVMProjectIRDB &IRDB,
     const llvm::Function *InterestingFunction = nullptr) {
   std::set<const llvm::Value *> Ret;
   llvm::transform(Locs, std::inserter(Ret, Ret.end()),
@@ -423,7 +422,7 @@ convertTestingLocationSetInIR(
 
 template <typename MapTy>
 [[nodiscard]] inline auto convertTestingLocationSetMapInIR(
-    const MapTy &Locs, const ProjectIRDBBase<LLVMProjectIRDB> &IRDB,
+    const MapTy &Locs, const LLVMProjectIRDB &IRDB,
     const llvm::Function *InterestingFunction = nullptr) {
   std::map<const llvm::Instruction *, std::set<const llvm::Value *>> Ret;
   llvm::transform(

From 2443b591d57d6a271f4ba73e1ac5dd348b9b0c39 Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabianbs@mail.upb.de>
Date: Sun, 11 Jan 2026 15:55:28 +0100
Subject: [PATCH 2/6] Add comcepts for CFG

---
 BreakingChanges.md                            |  1 +
 include/phasar/ControlFlow/CFG.h              | 91 +++++++++++++++++++
 include/phasar/ControlFlow/CFGBase.h          |  7 +-
 include/phasar/DB/ProjectIRDB.h               |  8 ++
 .../phasar/DataFlow/IfdsIde/EntryPointUtils.h | 25 +++--
 .../phasar/DataFlow/Mono/InterMonoProblem.h   | 12 +--
 .../phasar/DataFlow/Mono/IntraMonoProblem.h   | 27 +++---
 .../DataFlow/Mono/Solver/IntraMonoSolver.h    |  2 +-
 include/phasar/Domain/AnalysisDomain.h        | 21 +++++
 include/phasar/Domain/IRDomain.h              | 15 +++
 .../InterMonoFullConstantPropagation.h        |  1 -
 .../Mono/Problems/InterMonoSolverTest.h       |  5 +-
 .../Mono/Problems/InterMonoTaintAnalysis.h    |  7 +-
 .../IntraMonoFullConstantPropagation.h        |  3 +-
 .../Mono/Problems/IntraMonoSolverTest.h       |  5 +-
 .../Mono/Problems/IntraMonoUninitVariables.h  |  7 +-
 .../PhasarLLVM/Domain/LLVMAnalysisDomain.h    | 20 +++-
 .../PhasarLLVM/SimpleAnalysisConstructor.h    |  5 +
 include/phasar/Utils/TypeTraits.h             |  2 +-
 .../InterMonoFullConstantPropagation.cpp      |  8 +-
 .../Mono/Problems/InterMonoSolverTest.cpp     |  3 +-
 .../Mono/Problems/InterMonoTaintAnalysis.cpp  |  5 +-
 .../IntraMonoFullConstantPropagation.cpp      |  5 +-
 .../Mono/Problems/IntraMonoSolverTest.cpp     |  3 +-
 .../Problems/IntraMonoUninitVariables.cpp     |  5 +-
 lib/PhasarPass/PhasarPass.cpp                 |  4 +-
 26 files changed, 219 insertions(+), 78 deletions(-)
 create mode 100644 include/phasar/ControlFlow/CFG.h

diff --git a/BreakingChanges.md b/BreakingChanges.md
index acb51fa4a9..c343795c6a 100644
--- a/BreakingChanges.md
+++ b/BreakingChanges.md
@@ -2,6 +2,7 @@
 
 ## development HEAD
 
+- `IntraMonoProblem` and `InterMonoProblem`, and all reference-implementations of these problems do not receive a TypeHierarchy-pointer anymore in the ctor.
 - Requiring C++20 instead of C++17
   - Type-traits and other templates that are specialized now use `requires` instead of `enable_if`, wherever possible. This may reduce the number of (defaulted) template parameters in some cases.
 - The `AdjacencyList` struct now now has one more template argument to denote the intege-like `vertex_t` type. It is the second template argument (which previously was the EdgeType). The edge-type is now denoted by the *third* template argument.
diff --git a/include/phasar/ControlFlow/CFG.h b/include/phasar/ControlFlow/CFG.h
new file mode 100644
index 0000000000..961fc9847e
--- /dev/null
+++ b/include/phasar/ControlFlow/CFG.h
@@ -0,0 +1,91 @@
+/******************************************************************************
+ * Copyright (c) 2026 Fabian Schiebel.
+ * All rights reserved. This program and the accompanying materials are made
+ * available under the terms of LICENSE.txt.
+ *
+ * Contributors:
+ *     Fabian Schiebel and others
+ *****************************************************************************/
+#pragma once
+
+#include "phasar/Utils/TypeTraits.h"
+
+#include "llvm/Support/raw_ostream.h"
+
+#include <concepts>
+#include <utility>
+
+namespace psr {
+
+template <typename T>
+concept InstructionClassifier =
+    requires(const T &IC, typename T::n_t Inst, typename T::n_t Succ) {
+      { IC.isCallSite(Inst) } -> std::convertible_to<bool>;
+      { IC.isFieldLoad(Inst) } -> std::convertible_to<bool>;
+      { IC.isFieldStore(Inst) } -> std::convertible_to<bool>;
+      { IC.isFallThroughSuccessor(Inst, Succ) } -> std::convertible_to<bool>;
+      { IC.isBranchTarget(Inst, Succ) } -> std::convertible_to<bool>;
+    };
+
+template <typename T>
+concept CFG = requires(const T &CF, typename T::n_t Inst, typename T::f_t Fun) {
+  typename T::n_t;
+  typename T::f_t;
+
+  /// Returns an iterable range of all predecessor instructions of Inst in the
+  /// CFG
+  // TODO: Actually belongs into ProjectIRDB!
+  { CF.getFunctionOf(Inst) } -> std::convertible_to<typename T::f_t>;
+  /// Returns an iterable range of all instructions of the given function that
+  /// are part of the control-flow graph.
+  // TODO: We should have sth like this in the ProjectIRDB as well!
+  { CF.getAllInstructionsOf(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+  /// Returns an iterable range of all successor instructions of Inst in the
+  /// CFG.
+  /// NOTE: This function is typically being called in a hot part of the
+  /// analysis and should therefore be highly optimized for performance.
+  { CF.getSuccsOf(Inst) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+  /// Returns an iterable range of all starting instructions of the given
+  /// function. For a forward-CFG, this is typically a singleton range.
+  { CF.getStartPointsOf(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+  /// Returns whether the given Inst is a root node of the CFG
+  { CF.isStartPoint(Inst) } -> std::convertible_to<bool>;
+
+  /// Returns whether the given Inst is a leaf node of the CFG
+  { CF.isExitInst(Inst) } -> std::convertible_to<bool>;
+
+  requires InstructionClassifier<T>;
+};
+
+template <typename T>
+concept BidiCFG =
+    CFG<T> && requires(const T &CF, typename T::n_t Inst, typename T::f_t Fun) {
+      /// Returns an iterable range of all predecessor instructions of Inst in
+      /// the CFG
+      { CF.getPredsOf(Inst) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+      /// Returns an iterable range of all exit instructions (often return
+      /// instructions) of the given function. For a backward-CFG, this is
+      /// typically a singleton range
+      { CF.getExitPointsOf(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
+    };
+
+template <typename T>
+concept CFGDump = requires(const T &CF, typename T::n_t Inst,
+                           typename T::f_t Fun, llvm::raw_ostream &OS) {
+  { CF.getStatementId(Inst) } -> psr::is_string_like_v;
+  { CF.getFunctionName(Fun) } -> psr::is_string_like_v;
+  { CF.getDemangledFunctionName(Fun) } -> psr::is_string_like_v;
+  CF.print(Fun, OS);
+};
+
+template <typename T>
+concept CFGEdgesProvider = requires(const T &CF, typename T::f_t Fun) {
+  {
+    CF.getAllControlFlowEdges(Fun)
+  } -> psr::is_iterable_over_v<std::pair<typename T::n_t, typename T::n_t>>;
+};
+} // namespace psr
diff --git a/include/phasar/ControlFlow/CFGBase.h b/include/phasar/ControlFlow/CFGBase.h
index 3523600428..28fdd7c995 100644
--- a/include/phasar/ControlFlow/CFGBase.h
+++ b/include/phasar/ControlFlow/CFGBase.h
@@ -10,6 +10,7 @@
 #ifndef PHASAR_CONTROLFLOW_CFGBASE_H
 #define PHASAR_CONTROLFLOW_CFGBASE_H
 
+#include "phasar/ControlFlow/CFG.h"
 #include "phasar/Utils/ByRef.h"
 #include "phasar/Utils/CRTPUtils.h"
 #include "phasar/Utils/TypeTraits.h"
@@ -139,9 +140,9 @@ template <typename Derived> class CFGBase : public CRTPBase<Derived> {
 
 template <typename ICF, typename Domain>
 // NOLINTNEXTLINE(readability-identifier-naming)
-concept is_cfg_v = is_crtp_base_of_v<CFGBase, ICF> &&
-                   std::is_same_v<typename ICF::n_t, typename Domain::n_t> &&
-                   std::is_same_v<typename ICF::f_t, typename Domain::f_t>;
+concept is_cfg_v = BidiCFG<ICF> && CFGDump<ICF> && CFGEdgesProvider<ICF> &&
+                   std::same_as<typename ICF::n_t, typename Domain::n_t> &&
+                   std::same_as<typename ICF::f_t, typename Domain::f_t>;
 
 } // namespace psr
 
diff --git a/include/phasar/DB/ProjectIRDB.h b/include/phasar/DB/ProjectIRDB.h
index 1af22c1c81..6a0487c2ae 100644
--- a/include/phasar/DB/ProjectIRDB.h
+++ b/include/phasar/DB/ProjectIRDB.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * Copyright (c) 2026 Fabian Schiebel.
+ * All rights reserved. This program and the accompanying materials are made
+ * available under the terms of LICENSE.txt.
+ *
+ * Contributors:
+ *     Fabian Schiebel and others
+ *****************************************************************************/
 #pragma once
 
 #include "phasar/Utils/Nullable.h"
diff --git a/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h b/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
index 90aa30ddc4..b449f7794e 100644
--- a/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
+++ b/include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
@@ -10,7 +10,7 @@
 #ifndef PHASAR_DATAFLOW_IFDSIDE_ENTRYPOINTUTILS_H
 #define PHASAR_DATAFLOW_IFDSIDE_ENTRYPOINTUTILS_H
 
-#include "phasar/ControlFlow/CFGBase.h"
+#include "phasar/ControlFlow/CFG.h"
 #include "phasar/DB/ProjectIRDB.h"
 #include "phasar/Domain/BinaryDomain.h"
 
@@ -22,8 +22,8 @@
 namespace psr {
 
 namespace detail {
-template <typename EntryRange, typename C, typename HandlerFn>
-void forallStartingPoints(const EntryRange &EntryPoints, const CFGBase<C> &CFG,
+template <typename EntryRange, CFG C, typename HandlerFn>
+void forallStartingPoints(const EntryRange &EntryPoints, const C &CFG,
                           HandlerFn Handler) {
   for (const auto &EntryPointFn : EntryPoints) {
     if constexpr (std::is_convertible_v<std::decay_t<decltype(EntryPointFn)>,
@@ -38,10 +38,9 @@ void forallStartingPoints(const EntryRange &EntryPoints, const CFGBase<C> &CFG,
   }
 }
 
-template <typename EntryRange, typename C, typename ICFGorIRDB,
-          typename HandlerFn>
+template <typename EntryRange, CFG C, typename ICFGorIRDB, typename HandlerFn>
 void forallStartingPoints(const EntryRange &EntryPoints, const ICFGorIRDB *ICDB,
-                          const CFGBase<C> &CFG, HandlerFn Handler) {
+                          const C &CFG, HandlerFn Handler) {
 
   if (llvm::hasSingleElement(EntryPoints) &&
       *llvm::adl_begin(EntryPoints) == "__ALL__") {
@@ -57,9 +56,9 @@ void forallStartingPoints(const EntryRange &EntryPoints, const ICFGorIRDB *ICDB,
 
 } // namespace detail
 
-template <typename EntryRange, typename C, ProjectIRDB DB, typename HandlerFn>
+template <typename EntryRange, CFG C, ProjectIRDB DB, typename HandlerFn>
 void forallStartingPoints(const EntryRange &EntryPoints, const DB *IRDB,
-                          const CFGBase<C> &CFG, HandlerFn Handler) {
+                          const C &CFG, HandlerFn Handler) {
   return detail::forallStartingPoints(EntryPoints, IRDB, CFG,
                                       std::move(Handler));
 }
@@ -70,13 +69,13 @@ void forallStartingPoints(const EntryRange &EntryPoints, const I *ICF,
   detail::forallStartingPoints(EntryPoints, ICF, *ICF, std::move(Handler));
 }
 
-template <typename EntryRange, typename C, ProjectIRDB DB, typename SeedsT,
+template <typename EntryRange, CFG C, ProjectIRDB DB, typename SeedsT,
           typename D, typename L>
   requires(std::is_convertible_v<L, typename SeedsT::l_t> &&
            std::is_convertible_v<D, typename SeedsT::d_t>)
 void addSeedsForStartingPoints(const EntryRange &EntryPoints, const DB *IRDB,
-                               const CFGBase<C> &CFG, SeedsT &Seeds,
-                               const D &ZeroValue, const L &BottomValue) {
+                               const C &CFG, SeedsT &Seeds, const D &ZeroValue,
+                               const L &BottomValue) {
   forallStartingPoints(EntryPoints, IRDB, CFG,
                        [&Seeds, &ZeroValue, &BottomValue](const auto &SP) {
                          Seeds.addSeed(SP, ZeroValue, BottomValue);
@@ -97,12 +96,12 @@ void addSeedsForStartingPoints(const EntryRange &EntryPoints, const I *ICF,
 }
 
 /// Simplification for IFDS, passing BinaryDomain::BOTTOM as L
-template <typename EntryRange, typename C, ProjectIRDB DB, typename SeedsT,
+template <typename EntryRange, CFG C, ProjectIRDB DB, typename SeedsT,
           typename D>
   requires(std::is_same_v<BinaryDomain, typename SeedsT::l_t> &&
            std::is_convertible_v<D, typename SeedsT::d_t>)
 void addSeedsForStartingPoints(const EntryRange &EntryPoints, const DB *IRDB,
-                               const CFGBase<C> &CFG, SeedsT &Seeds,
+                               const C &CFG, SeedsT &Seeds,
                                const D &ZeroValue) {
   addSeedsForStartingPoints(EntryPoints, IRDB, CFG, Seeds, ZeroValue,
                             BinaryDomain::BOTTOM);
diff --git a/include/phasar/DataFlow/Mono/InterMonoProblem.h b/include/phasar/DataFlow/Mono/InterMonoProblem.h
index 8c5981c2ed..bee1c85b7b 100644
--- a/include/phasar/DataFlow/Mono/InterMonoProblem.h
+++ b/include/phasar/DataFlow/Mono/InterMonoProblem.h
@@ -28,13 +28,14 @@
 
 namespace psr {
 
-template <typename T, typename F> class TypeHierarchy;
-template <typename N, typename F> class ICFG;
+template <typename T>
+concept InterMonoAnalysisDomain =
+    MonoAnalysisDomain<T> && requires() { typename T::i_t; };
 
 /// \brief The analysis problem interface for interprocedural monotone problems
 /// (solvable by the InterMonoSolver). Create a subclass from this and override
 /// all pure-virtual functions to create your own inter-mono analysis.
-template <typename AnalysisDomainTy>
+template <InterMonoAnalysisDomain AnalysisDomainTy>
 class InterMonoProblem : public IntraMonoProblem<AnalysisDomainTy> {
 public:
   using n_t = typename AnalysisDomainTy::n_t;
@@ -58,10 +59,9 @@ class InterMonoProblem : public IntraMonoProblem<AnalysisDomainTy> {
   /// @param[in] CF A control flow graph based on the given IRDB.
   /// @param[in] PT Points-to information based on the given IRDB.
   /// @param[in] EntryPoints A vector of entry points. Provide at least one.
-  InterMonoProblem(const db_t *IRDB, const TypeHierarchy<t_t, f_t> *TH,
-                   const i_t *ICF, AliasInfoRef<v_t, n_t> PT,
+  InterMonoProblem(const db_t *IRDB, const i_t *ICF, AliasInfoRef<v_t, n_t> PT,
                    std::vector<std::string> EntryPoints = {})
-      : IntraMonoProblem<AnalysisDomainTy>(IRDB, TH, ICF, PT, EntryPoints),
+      : IntraMonoProblem<AnalysisDomainTy>(IRDB, ICF, PT, EntryPoints),
         ICF(ICF) {
     static_assert(is_icfg_v<i_t, AnalysisDomainTy>,
                   "Type parameter i_t must implement the ICFG interface!");
diff --git a/include/phasar/DataFlow/Mono/IntraMonoProblem.h b/include/phasar/DataFlow/Mono/IntraMonoProblem.h
index aa63dc22c8..fddc862997 100644
--- a/include/phasar/DataFlow/Mono/IntraMonoProblem.h
+++ b/include/phasar/DataFlow/Mono/IntraMonoProblem.h
@@ -17,8 +17,8 @@
 #ifndef PHASAR_DATAFLOW_MONO_INTRAMONOPROBLEM_H
 #define PHASAR_DATAFLOW_MONO_INTRAMONOPROBLEM_H
 
-#include "phasar/ControlFlow/CFGBase.h"
-#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
+#include "phasar/ControlFlow/CFG.h"
+#include "phasar/Domain/AnalysisDomain.h"
 #include "phasar/Pointer/AliasInfo.h"
 #include "phasar/Utils/Printer.h"
 #include "phasar/Utils/Soundness.h"
@@ -32,13 +32,15 @@ namespace psr {
 
 struct HasNoConfigurationType;
 
-template <typename T, typename F> class TypeHierarchy;
-template <typename N, typename F> class CFG;
+template <typename T>
+concept MonoAnalysisDomain = IsAnalysisDomain<T> && BidiCFG<typename T::c_t> &&
+                             CFGEdgesProvider<typename T::c_t> &&
+                             requires() { typename T::mono_container_t; };
 
 /// \brief The analysis problem interface for intraprocedural monotone problems
 /// (solvable by the IntraMonoSolver). Create a subclass from this and override
 /// all pure-virtual functions to create your own mono analysis.
-template <typename AnalysisDomainTy> class IntraMonoProblem {
+template <MonoAnalysisDomain AnalysisDomainTy> class IntraMonoProblem {
 public:
   using n_t = typename AnalysisDomainTy::n_t;
   using d_t = typename AnalysisDomainTy::d_t;
@@ -54,8 +56,7 @@ template <typename AnalysisDomainTy> class IntraMonoProblem {
 
 protected:
   const db_t *IRDB;
-  const TypeHierarchy<t_t, f_t> *TH;
-  const CFGBase<c_t> *CF;
+  const c_t *CF;
   AliasInfoRef<v_t, n_t> PT;
   std::vector<std::string> EntryPoints;
   [[maybe_unused]] Soundness S = Soundness::Soundy;
@@ -71,11 +72,9 @@ template <typename AnalysisDomainTy> class IntraMonoProblem {
   /// @param[in] CF A control flow graph based on the given IRDB.
   /// @param[in] PT Points-to information based on the given IRDB.
   /// @param[in] EntryPoints A vector of entry points. Provide at least one.
-  IntraMonoProblem(const db_t *IRDB, const TypeHierarchy<t_t, f_t> *TH,
-                   const CFGBase<c_t> *CF, AliasInfoRef<v_t, n_t> PT,
+  IntraMonoProblem(const db_t *IRDB, const c_t *CF, AliasInfoRef<v_t, n_t> PT,
                    std::vector<std::string> EntryPoints = {})
-      : IRDB(IRDB), TH(TH), CF(CF), PT(PT),
-        EntryPoints(std::move(EntryPoints)) {}
+      : IRDB(IRDB), CF(CF), PT(PT), EntryPoints(std::move(EntryPoints)) {}
 
   virtual ~IntraMonoProblem() = default;
 
@@ -97,11 +96,7 @@ template <typename AnalysisDomainTy> class IntraMonoProblem {
 
   [[nodiscard]] const db_t *getProjectIRDB() const { return IRDB; }
 
-  [[nodiscard]] const TypeHierarchy<t_t, f_t> *getTypeHierarchy() const {
-    return TH;
-  }
-
-  [[nodiscard]] const CFGBase<c_t> *getCFG() const { return CF; }
+  [[nodiscard]] const c_t *getCFG() const { return CF; }
 
   [[nodiscard]] AliasInfoRef<v_t, n_t> getPointstoInfo() const { return PT; }
 
diff --git a/include/phasar/DataFlow/Mono/Solver/IntraMonoSolver.h b/include/phasar/DataFlow/Mono/Solver/IntraMonoSolver.h
index ed5b1f449d..fbe48992bc 100644
--- a/include/phasar/DataFlow/Mono/Solver/IntraMonoSolver.h
+++ b/include/phasar/DataFlow/Mono/Solver/IntraMonoSolver.h
@@ -49,7 +49,7 @@ template <typename AnalysisDomainTy> class IntraMonoSolver {
   ProblemTy &IMProblem;
   std::deque<std::pair<n_t, n_t>> Worklist;
   std::unordered_map<n_t, mono_container_t> Analysis;
-  const CFGBase<c_t> *CFG;
+  const c_t *CFG;
 
   void initialize() {
     const auto &EntryPoints = IMProblem.getEntryPoints();
diff --git a/include/phasar/Domain/AnalysisDomain.h b/include/phasar/Domain/AnalysisDomain.h
index a4622695a8..6715ad0554 100644
--- a/include/phasar/Domain/AnalysisDomain.h
+++ b/include/phasar/Domain/AnalysisDomain.h
@@ -10,10 +10,29 @@
 #ifndef PHASAR_DOMAIN_ANALYSISDOMAIN_H
 #define PHASAR_DOMAIN_ANALYSISDOMAIN_H
 
+#include "phasar/ControlFlow/CFG.h"
+#include "phasar/Domain/IRDomain.h"
+
 #include <type_traits>
 
 namespace psr {
 
+/// Minimum requirements of an analysis domain. Analyses may add extra
+/// requirements.
+template <typename T>
+concept IsAnalysisDomain = IRDomain<T> && requires() {
+  typename T::ir_t;
+  requires IRDomain<typename T::ir_t>;
+  requires std::same_as<typename T::n_t, typename T::ir_t::n_t>;
+  requires std::same_as<typename T::f_t, typename T::ir_t::f_t>;
+  requires std::same_as<typename T::v_t, typename T::ir_t::v_t>;
+  requires std::same_as<typename T::t_t, typename T::ir_t::t_t>;
+  requires std::same_as<typename T::db_t, typename T::ir_t::db_t>;
+
+  typename T::c_t;
+  requires CFG<typename T::c_t>;
+};
+
 /// AnalysisDomain - This class should be specialized by different static
 /// analyses types... which is why the default version declares all analysis
 /// domains as aliases of void.
@@ -30,6 +49,8 @@ namespace psr {
 /// conduct an analysis but not correctly set, it will statically report an
 /// error and ask for the missing piece of information.
 struct AnalysisDomain {
+  /// Program IR
+  using ir_t = void;
   /// Data-flow fact --- Specifies the type of an individual data-flow fact that
   /// is propagated through the program under analysis.
   using d_t = void;
diff --git a/include/phasar/Domain/IRDomain.h b/include/phasar/Domain/IRDomain.h
index 1d524f0c5d..66a214ac87 100644
--- a/include/phasar/Domain/IRDomain.h
+++ b/include/phasar/Domain/IRDomain.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * Copyright (c) 2026 Fabian Schiebel.
+ * All rights reserved. This program and the accompanying materials are made
+ * available under the terms of LICENSE.txt.
+ *
+ * Contributors:
+ *     Fabian Schiebel and others
+ *****************************************************************************/
 #pragma once
 
 #include "phasar/DB/ProjectIRDB.h"
@@ -10,11 +18,18 @@ concept IRDomain = requires() {
   /// (inter-procedural) control-flow graph and can be though of as an
   /// individual statement or instruction of the target program.
   typename T::n_t;
+
   /// Function --- Specifies the type of functions/procedures in the target
   /// program.
   typename T::f_t;
+
   /// (Pointer) value --- Specifies the type of pointers.
   typename T::v_t;
+
+  /// (User-defined) type --- Specifies the type of a user-defined (i.e. struct
+  /// or class) data type.
+  typename T::t_t;
+
   /// The ProjectIRDB type --- Provides access to the IR.
   typename T::db_t;
   requires ProjectIRDB<typename T::db_t>;
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
index d1e1ffce70..3b2c413f12 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
@@ -48,7 +48,6 @@ class InterMonoFullConstantPropagation
   using mono_container_t = IntraMonoFullConstantPropagation::mono_container_t;
 
   InterMonoFullConstantPropagation(const LLVMProjectIRDB *IRDB,
-                                   const DIBasedTypeHierarchy *TH,
                                    const LLVMBasedICFG *ICF,
                                    LLVMAliasInfoRef PT,
                                    std::vector<std::string> EntryPoints = {});
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
index a280365a53..88fd072cc7 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
@@ -18,6 +18,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_MONO_PROBLEMS_INTERMONOSOLVERTEST_H
 
 #include "phasar/DataFlow/Mono/InterMonoProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 #include "phasar/Utils/BitVectorSet.h"
@@ -52,8 +54,7 @@ class InterMonoSolverTest : public InterMonoProblem<InterMonoSolverTestDomain> {
   using i_t = InterMonoSolverTestDomain::i_t;
   using mono_container_t = InterMonoSolverTestDomain::mono_container_t;
 
-  InterMonoSolverTest(const LLVMProjectIRDB *IRDB,
-                      const DIBasedTypeHierarchy *TH, const LLVMBasedICFG *ICF,
+  InterMonoSolverTest(const LLVMProjectIRDB *IRDB, const LLVMBasedICFG *ICF,
                       LLVMAliasInfoRef PT,
                       std::vector<std::string> EntryPoints = {});
 
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
index 7a78746ecf..e7391fc1e9 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
@@ -19,6 +19,7 @@
 
 #include "phasar/DataFlow/Mono/InterMonoProblem.h"
 #include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 #include "phasar/PhasarLLVM/TaintConfig/LLVMTaintConfig.h"
@@ -55,10 +56,8 @@ class InterMonoTaintAnalysis
   using mono_container_t = InterMonoTaintAnalysisDomain::mono_container_t;
   using ConfigurationTy = LLVMTaintConfig;
 
-  InterMonoTaintAnalysis(const LLVMProjectIRDB *IRDB,
-                         const DIBasedTypeHierarchy *TH,
-                         const LLVMBasedICFG *ICF, LLVMAliasInfoRef PT,
-                         const LLVMTaintConfig &Config,
+  InterMonoTaintAnalysis(const LLVMProjectIRDB *IRDB, const LLVMBasedICFG *ICF,
+                         LLVMAliasInfoRef PT, const LLVMTaintConfig &Config,
                          std::vector<std::string> EntryPoints = {});
 
   ~InterMonoTaintAnalysis() override = default;
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
index 0bebfc4e68..9600657ed5 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
@@ -19,6 +19,8 @@
 
 #include "phasar/DataFlow/Mono/IntraMonoProblem.h"
 #include "phasar/Domain/LatticeDomain.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 #include "phasar/Utils/BitVectorSet.h"
@@ -81,7 +83,6 @@ class IntraMonoFullConstantPropagation
 
 public:
   IntraMonoFullConstantPropagation(const LLVMProjectIRDB *IRDB,
-                                   const DIBasedTypeHierarchy *TH,
                                    const LLVMBasedCFG *CF, LLVMAliasInfoRef PT,
                                    std::vector<std::string> EntryPoints = {});
 
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
index 75e31f25ef..cc664a6b54 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
@@ -18,6 +18,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_MONO_PROBLEMS_INTRAMONOSOLVERTEST_H
 
 #include "phasar/DataFlow/Mono/IntraMonoProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 #include "phasar/Utils/BitVectorSet.h"
@@ -54,8 +56,7 @@ class IntraMonoSolverTest
   using i_t = IntraMonoSolverTestAnalysisDomain::i_t;
   using mono_container_t = IntraMonoSolverTestAnalysisDomain::mono_container_t;
 
-  IntraMonoSolverTest(const LLVMProjectIRDB *IRDB,
-                      const DIBasedTypeHierarchy *TH, const LLVMBasedCFG *CF,
+  IntraMonoSolverTest(const LLVMProjectIRDB *IRDB, const LLVMBasedCFG *CF,
                       LLVMAliasInfoRef PT,
                       std::vector<std::string> EntryPoints = {});
 
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
index b08b91179c..d7894565f2 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_MONO_PROBLEMS_INTRAMONOUNINITVARIABLES_H
 
 #include "phasar/DataFlow/Mono/IntraMonoProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 
@@ -47,9 +49,8 @@ class IntraMonoUninitVariables
   using i_t = IntraMonoUninitVariablesDomain::i_t;
   using mono_container_t = IntraMonoUninitVariablesDomain::mono_container_t;
 
-  IntraMonoUninitVariables(const LLVMProjectIRDB *IRDB,
-                           const DIBasedTypeHierarchy *TH,
-                           const LLVMBasedCFG *CF, LLVMAliasInfoRef PT,
+  IntraMonoUninitVariables(const LLVMProjectIRDB *IRDB, const LLVMBasedCFG *CF,
+                           LLVMAliasInfoRef PT,
                            std::vector<std::string> EntryPoints = {});
 
   ~IntraMonoUninitVariables() override = default;
diff --git a/include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h b/include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
index 80aadd85f9..45bf95f948 100644
--- a/include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
+++ b/include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
@@ -28,17 +28,27 @@ class LLVMProjectIRDB;
 class LLVMBasedICFG;
 class LLVMBasedCFG;
 
+struct LLVMIRDomain {
+  using n_t = const llvm::Instruction *;
+  using f_t = const llvm::Function *;
+  using v_t = const llvm::Value *;
+  using t_t = const llvm::DIType *;
+  using db_t = LLVMProjectIRDB;
+};
+
 /// \brief An AnalysisDomain that specializes sensible defaults for LLVM-based
 /// analysis
 struct LLVMAnalysisDomainDefault : public AnalysisDomain {
+  using ir_t = LLVMIRDomain;
+  using n_t = typename ir_t::n_t;
+  using f_t = typename ir_t::f_t;
+  using t_t = typename ir_t::t_t;
+  using v_t = typename ir_t::v_t;
+  using db_t = typename ir_t::db_t;
+
   using d_t = const llvm::Value *;
-  using n_t = const llvm::Instruction *;
-  using f_t = const llvm::Function *;
-  using t_t = const llvm::DIType *;
-  using v_t = const llvm::Value *;
   using c_t = LLVMBasedCFG;
   using i_t = LLVMBasedICFG;
-  using db_t = LLVMProjectIRDB;
 };
 
 /// \brief An AnalysisDomain that specializes sensible defaults for LLVM-based
diff --git a/include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h b/include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
index e6e80094a9..ebc62aa065 100644
--- a/include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
+++ b/include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
@@ -57,6 +57,11 @@ ProblemTy createAnalysisProblem(HelperAnalyses &HA, ArgTys &&...Args) {
     return ProblemTy(&HA.getProjectIRDB(), &HA.getTypeHierarchy(),
                      &HA.getICFG(), &HA.getAliasInfo(),
                      std::forward<ArgTys>(Args)...);
+  } else if constexpr (std::is_constructible_v<
+                           ProblemTy, const LLVMProjectIRDB *,
+                           const LLVMBasedCFG *, LLVMAliasSet *, ArgTys...>) {
+    return ProblemTy(&HA.getProjectIRDB(), &HA.getCFG(), &HA.getAliasInfo(),
+                     std::forward<ArgTys>(Args)...);
   } else {
     static_assert(
         std::is_constructible_v<ProblemTy, HelperAnalyses &, ArgTys...>,
diff --git a/include/phasar/Utils/TypeTraits.h b/include/phasar/Utils/TypeTraits.h
index ffff49c225..579bb1c5a4 100644
--- a/include/phasar/Utils/TypeTraits.h
+++ b/include/phasar/Utils/TypeTraits.h
@@ -145,7 +145,7 @@ concept is_variant_v = is_variant<T>::value; // NOLINT
 
 template <typename T>
 // NOLINTNEXTLINE
-concept is_string_like_v = std::is_convertible_v<T, std::string_view>;
+concept is_string_like_v = std::is_convertible_v<T &, std::string_view>;
 
 template <template <typename> typename Base, typename Derived>
 concept is_crtp_base_of_v =
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.cpp
index 8f5630d236..2652d1001b 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.cpp
@@ -34,13 +34,11 @@ using namespace psr;
 namespace psr {
 
 InterMonoFullConstantPropagation::InterMonoFullConstantPropagation(
-    const LLVMProjectIRDB *IRDB, const DIBasedTypeHierarchy *TH,
-    const LLVMBasedICFG *ICF, LLVMAliasInfoRef PT,
+    const LLVMProjectIRDB *IRDB, const LLVMBasedICFG *ICF, LLVMAliasInfoRef PT,
     std::vector<std::string> EntryPoints)
-    : IntraMonoFullConstantPropagation(IRDB, TH, ICF, PT,
-                                       std::move(EntryPoints)),
+    : IntraMonoFullConstantPropagation(IRDB, ICF, PT, std::move(EntryPoints)),
       InterMonoProblem<IntraMonoFullConstantPropagationAnalysisDomain>(
-          IRDB, TH, ICF, PT, EntryPoints) {}
+          IRDB, ICF, PT, EntryPoints) {}
 
 InterMonoFullConstantPropagation::mono_container_t
 InterMonoFullConstantPropagation::merge(
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp
index 51b8a92604..cca2c9614c 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp
@@ -26,11 +26,10 @@
 namespace psr {
 
 InterMonoSolverTest::InterMonoSolverTest(const LLVMProjectIRDB *IRDB,
-                                         const DIBasedTypeHierarchy *TH,
                                          const LLVMBasedICFG *ICF,
                                          LLVMAliasInfoRef PT,
                                          std::vector<std::string> EntryPoints)
-    : InterMonoProblem<InterMonoSolverTestDomain>(IRDB, TH, ICF, PT,
+    : InterMonoProblem<InterMonoSolverTestDomain>(IRDB, ICF, PT,
                                                   std::move(EntryPoints)) {}
 
 InterMonoSolverTest::mono_container_t
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp
index 2d552d64cc..f3f40c00c4 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp
@@ -31,10 +31,9 @@
 namespace psr {
 
 InterMonoTaintAnalysis::InterMonoTaintAnalysis(
-    const LLVMProjectIRDB *IRDB, const DIBasedTypeHierarchy *TH,
-    const LLVMBasedICFG *ICF, LLVMAliasInfoRef PT,
+    const LLVMProjectIRDB *IRDB, const LLVMBasedICFG *ICF, LLVMAliasInfoRef PT,
     const LLVMTaintConfig &Config, std::vector<std::string> EntryPoints)
-    : InterMonoProblem<InterMonoTaintAnalysisDomain>(IRDB, TH, ICF, PT,
+    : InterMonoProblem<InterMonoTaintAnalysisDomain>(IRDB, ICF, PT,
                                                      std::move(EntryPoints)),
       Config(Config) {}
 
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.cpp
index ca659b551d..d53f551dca 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.cpp
@@ -43,11 +43,10 @@ using namespace psr;
 namespace psr {
 
 IntraMonoFullConstantPropagation::IntraMonoFullConstantPropagation(
-    const LLVMProjectIRDB *IRDB, const DIBasedTypeHierarchy *TH,
-    const LLVMBasedCFG *CF, LLVMAliasInfoRef PT,
+    const LLVMProjectIRDB *IRDB, const LLVMBasedCFG *CF, LLVMAliasInfoRef PT,
     std::vector<std::string> EntryPoints)
     : IntraMonoProblem<IntraMonoFullConstantPropagationAnalysisDomain>(
-          IRDB, TH, CF, PT, std::move(EntryPoints)) {}
+          IRDB, CF, PT, std::move(EntryPoints)) {}
 
 IntraMonoFullConstantPropagation::mono_container_t
 IntraMonoFullConstantPropagation::merge(
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.cpp
index 8d59c06836..3bef14558d 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.cpp
@@ -34,12 +34,11 @@ using namespace psr;
 namespace psr {
 
 IntraMonoSolverTest::IntraMonoSolverTest(const LLVMProjectIRDB *IRDB,
-                                         const DIBasedTypeHierarchy *TH,
                                          const LLVMBasedCFG *CF,
                                          LLVMAliasInfoRef PT,
                                          std::vector<std::string> EntryPoints)
     : IntraMonoProblem<IntraMonoSolverTestAnalysisDomain>(
-          IRDB, TH, CF, PT, std::move(EntryPoints)) {}
+          IRDB, CF, PT, std::move(EntryPoints)) {}
 
 IntraMonoSolverTest::mono_container_t
 IntraMonoSolverTest::merge(const IntraMonoSolverTest::mono_container_t &Lhs,
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.cpp
index ebbe5e586c..32e22b42b0 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.cpp
@@ -29,10 +29,9 @@ using namespace psr;
 namespace psr {
 
 IntraMonoUninitVariables::IntraMonoUninitVariables(
-    const LLVMProjectIRDB *IRDB, const DIBasedTypeHierarchy *TH,
-    const LLVMBasedCFG *CF, LLVMAliasInfoRef PT,
+    const LLVMProjectIRDB *IRDB, const LLVMBasedCFG *CF, LLVMAliasInfoRef PT,
     std::vector<std::string> EntryPoints)
-    : IntraMonoProblem<IntraMonoUninitVariablesDomain>(IRDB, TH, CF, PT,
+    : IntraMonoProblem<IntraMonoUninitVariablesDomain>(IRDB, CF, PT,
                                                        std::move(EntryPoints)) {
 }
 
diff --git a/lib/PhasarPass/PhasarPass.cpp b/lib/PhasarPass/PhasarPass.cpp
index 7d133b7619..94a36a7f00 100644
--- a/lib/PhasarPass/PhasarPass.cpp
+++ b/lib/PhasarPass/PhasarPass.cpp
@@ -82,14 +82,14 @@ bool PhasarPass::runOnModule(llvm::Module &M) {
       LLVMIDETestSolver.dumpResults();
     }
   } else if (DataFlowAnalysis == "intra-mono-solvertest") {
-    IntraMonoSolverTest Intra(&DB, &H, &I, &PT, EntryPoints);
+    IntraMonoSolverTest Intra(&DB, &I, &PT, EntryPoints);
     IntraMonoSolver Solver(Intra);
     Solver.solve();
     if (DumpResults) {
       Solver.dumpResults();
     }
   } else if (DataFlowAnalysis == "inter-mono-solvertest") {
-    InterMonoSolverTest Inter(&DB, &H, &I, &PT, EntryPoints);
+    InterMonoSolverTest Inter(&DB, &I, &PT, EntryPoints);
     InterMonoSolver_P<InterMonoSolverTest, 3> Solver(Inter);
     Solver.solve();
     if (DumpResults) {

From e94090c4a1a6475984949bdbb0bd3864b0979830 Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabianbs@mail.upb.de>
Date: Sun, 11 Jan 2026 18:43:06 +0100
Subject: [PATCH 3/6] Add concepts for ICFG

---
 include/phasar/ControlFlow/CallGraphBase.h    | 47 +++++++++++++++
 include/phasar/ControlFlow/ICFG.h             | 59 +++++++++++++++++++
 include/phasar/ControlFlow/ICFGBase.h         |  3 +-
 .../DataFlow/IfdsIde/IDETabulationProblem.h   |  7 ++-
 .../DataFlow/IfdsIde/IFDSTabulationProblem.h  |  3 +-
 .../phasar/DataFlow/IfdsIde/IfdsIdeDomain.h   | 31 ++++++++++
 .../DataFlow/IfdsIde/Solver/IDESolver.h       | 22 ++++---
 .../DataFlow/IfdsIde/Solver/IFDSSolver.h      | 13 ++--
 .../DataFlow/IfdsIde/Solver/JumpFunctions.h   |  3 +-
 .../phasar/DataFlow/Mono/InterMonoProblem.h   | 13 ++--
 .../IfdsIde/DefaultAliasAwareIDEProblem.h     |  2 +
 .../IfdsIde/DefaultNoAliasIDEProblem.h        |  2 +
 ...efaultReachableAllocationSitesIDEProblem.h |  2 +
 .../Problems/IDEExtendedTaintAnalysis.h       |  3 +-
 .../Problems/IDEFeatureTaintAnalysis.h        |  3 +-
 .../IDEGeneralizedLCA/IDEGeneralizedLCA.h     |  1 +
 .../Problems/IDELinearConstantAnalysis.h      |  4 +-
 .../IfdsIde/Problems/IDEProtoAnalysis.h       |  2 +
 .../Problems/IDESecureHeapPropagation.h       |  2 +
 .../DataFlow/IfdsIde/Problems/IDESolverTest.h |  2 +
 .../IfdsIde/Problems/IDETypeStateAnalysis.h   |  1 +
 .../IfdsIde/Problems/IFDSConstAnalysis.h      |  4 +-
 .../IfdsIde/Problems/IFDSProtoAnalysis.h      |  2 +
 .../IfdsIde/Problems/IFDSSignAnalysis.h       |  2 +
 .../IfdsIde/Problems/IFDSSolverTest.h         |  2 +
 .../IfdsIde/Problems/IFDSTaintAnalysis.h      |  2 +
 .../IfdsIde/Problems/IFDSTypeAnalysis.h       |  2 +
 .../Problems/IFDSUninitializedVariables.h     |  2 +
 .../InterMonoFullConstantPropagation.h        |  1 +
 .../Mono/Problems/InterMonoSolverTest.h       |  1 +
 30 files changed, 211 insertions(+), 32 deletions(-)
 create mode 100644 include/phasar/ControlFlow/ICFG.h
 create mode 100644 include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h

diff --git a/include/phasar/ControlFlow/CallGraphBase.h b/include/phasar/ControlFlow/CallGraphBase.h
index e4788fd3f5..796a31c286 100644
--- a/include/phasar/ControlFlow/CallGraphBase.h
+++ b/include/phasar/ControlFlow/CallGraphBase.h
@@ -14,7 +14,54 @@
 #include "phasar/Utils/CRTPUtils.h"
 #include "phasar/Utils/TypeTraits.h"
 
+#include <concepts>
+#include <type_traits>
+
 namespace psr {
+
+template <typename T>
+concept IsCallGraph =
+    requires(const T &CG, typename T::n_t Inst, typename T::f_t Fun) {
+      typename T::n_t;
+      typename T::f_t;
+
+      /// Returns an iterable range of all possible callee candidates at the
+      /// given call-site induced by the used call-graph.
+      ///
+      /// NOTE: This function is typically called in a hot part of the analysis
+      /// and should therefore be very fast
+      {
+        CG.getCalleesOfCallAt(Inst)
+      } -> psr::is_iterable_over_v<typename T::f_t>;
+
+      /// Returns an iterable range of all possible call-site candidates that
+      /// may call the given function induced by the used call-graph.
+      { CG.getCallersOf(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+      /// A range of all functions that are vertices in the call-graph. The
+      /// number of vertex functions can be retrieved by
+      /// getNumVertexFunctions().
+      {
+        CG.getAllVertexFunctions()
+      } -> psr::is_iterable_over_v<typename T::f_t>;
+
+      /// A range of all call-sites that are vertices in the call-graph. The
+      /// number of vertex-callsites can be retrived by getNumVertexCallSites().
+      {
+        CG.getAllVertexCallSites()
+      } -> psr::is_iterable_over_v<typename T::n_t>;
+
+      { CG.getNumVertexFunctions() } -> std::convertible_to<size_t>;
+      { CG.getNumVertexCallSites() } -> std::convertible_to<size_t>;
+
+      /// Same as getNumVertexFunctions()
+      { CG.size() } noexcept -> std::convertible_to<size_t>;
+      { CG.empty() } noexcept -> std::convertible_to<bool>;
+    };
+
+template <typename T>
+concept IsCallGraphRef = IsCallGraph<std::remove_cvref_t<T>>;
+
 template <typename T> struct CGTraits {
   // using n_t
   // using f_t
diff --git a/include/phasar/ControlFlow/ICFG.h b/include/phasar/ControlFlow/ICFG.h
new file mode 100644
index 0000000000..cea4cf75ab
--- /dev/null
+++ b/include/phasar/ControlFlow/ICFG.h
@@ -0,0 +1,59 @@
+/******************************************************************************
+ * Copyright (c) 2026 Fabian Schiebel.
+ * All rights reserved. This program and the accompanying materials are made
+ * available under the terms of LICENSE.txt.
+ *
+ * Contributors:
+ *     Fabian Schiebel and others
+ *****************************************************************************/
+#pragma once
+
+#include "phasar/ControlFlow/CallGraphBase.h"
+#include "phasar/Utils/Nullable.h"
+#include "phasar/Utils/TypeTraits.h"
+
+#include "llvm/ADT/StringRef.h"
+#include "llvm/Support/raw_ostream.h"
+
+#include <concepts>
+
+namespace psr {
+template <typename T>
+concept ICFG = requires(const T &ICF, llvm::StringRef Name,
+                        typename T::n_t Inst, typename T::f_t Fun) {
+  typename T::f_t;
+  typename T::n_t;
+
+  // TODO: Should not be duplicated with ProjectIRDB
+  { ICF.getAllFunctions() } -> is_iterable_over_v<typename T::f_t>;
+  // TODO: Should not be duplicated with ProjectIRDB
+  { ICF.getFunction(Name) } -> std::convertible_to<Nullable<typename T::f_t>>;
+
+  { ICF.isIndirectFunctionCall(Inst) } -> std::convertible_to<bool>;
+  { ICF.isVirtualFunctionCall(Inst) } -> std::convertible_to<bool>;
+
+  /// Gets the underlying call-graph
+  { ICF.getCallGraph() } -> psr::IsCallGraphRef;
+  /// Returns an iterable range of all possible callee candidates at the given
+  /// call-site induced by the used call-graph. Same as
+  /// getCallGraph().getCalleesOfCallAt(Inst)
+  { ICF.getCalleesOfCallAt(Inst) } -> psr::is_iterable_over_v<typename T::f_t>;
+  /// Returns an iterable range of all possible call-site candidates that may
+  /// call the given function induced by the used call-graph. Same as
+  /// getCallGraph().getCallersOf(Fun)
+  { ICF.getCallersOf(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+  /// Returns an iterable range of all call-instruction in the given function
+  { ICF.getCallsFromWithin(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
+
+  /// The total number of call-sites in the ICFG. Same as
+  /// getCallGraph().getNumVertexCallSites()
+  { ICF.getNumCallSites() } noexcept -> std::convertible_to<size_t>;
+};
+
+template <typename T>
+concept ICFGDump = requires(const T &ICF, llvm::raw_ostream &OS) {
+  ICF.print(OS);
+  ICF.printAsJson(OS);
+};
+} // namespace psr
diff --git a/include/phasar/ControlFlow/ICFGBase.h b/include/phasar/ControlFlow/ICFGBase.h
index a6ff413d0f..4010df04c3 100644
--- a/include/phasar/ControlFlow/ICFGBase.h
+++ b/include/phasar/ControlFlow/ICFGBase.h
@@ -12,6 +12,7 @@
 
 #include "phasar/ControlFlow/CFGBase.h"
 #include "phasar/ControlFlow/CallGraphBase.h"
+#include "phasar/ControlFlow/ICFG.h"
 #include "phasar/Utils/CRTPUtils.h"
 #include "phasar/Utils/TypeTraits.h"
 
@@ -118,7 +119,7 @@ template <typename Derived> class ICFGBase : public CRTPBase<Derived> {
 /// from the given analysis-Domain
 template <typename ICF, typename Domain>
 // NOLINTNEXTLINE(readability-identifier-naming)
-concept is_icfg_v = is_crtp_base_of_v<ICFGBase, ICF> &&
+concept is_icfg_v = ICFG<ICF> && ICFGDump<ICF> &&
                     std::is_same_v<typename ICF::n_t, typename Domain::n_t> &&
                     std::is_same_v<typename ICF::f_t, typename Domain::f_t>;
 
diff --git a/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h b/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
index 020441332e..3868fcf24d 100644
--- a/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
+++ b/include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
@@ -15,6 +15,7 @@
 #include "phasar/DataFlow/IfdsIde/EntryPointUtils.h"
 #include "phasar/DataFlow/IfdsIde/FlowFunctions.h"
 #include "phasar/DataFlow/IfdsIde/IFDSIDESolverConfig.h"
+#include "phasar/DataFlow/IfdsIde/IfdsIdeDomain.h"
 #include "phasar/DataFlow/IfdsIde/InitialSeeds.h"
 #include "phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h"
 #include "phasar/Utils/DefaultAnalysisPrinterSelector.h"
@@ -38,14 +39,14 @@ namespace psr {
 
 struct HasNoConfigurationType;
 
-template <typename AnalysisDomainTy> class AllTopFnProvider {
+template <IdeAnalysisDomain AnalysisDomainTy> class AllTopFnProvider {
 public:
   virtual ~AllTopFnProvider() = default;
   /// Returns an edge function that represents the top element of the analysis.
   virtual EdgeFunction<typename AnalysisDomainTy::l_t> allTopFunction() = 0;
 };
 
-template <typename AnalysisDomainTy>
+template <IdeAnalysisDomain AnalysisDomainTy>
   requires HasJoinLatticeTraits<typename AnalysisDomainTy::l_t>
 class AllTopFnProvider<AnalysisDomainTy> {
 public:
@@ -62,7 +63,7 @@ class AllTopFnProvider<AnalysisDomainTy> {
 ///
 /// For more information on how to write an IDE analysis, see [Writing an IDE
 /// Analysis](https://github.com/secure-software-engineering/phasar/wiki/Writing-an-IDE-analysis)
-template <typename AnalysisDomainTy,
+template <IdeAnalysisDomain AnalysisDomainTy,
           typename Container = std::set<typename AnalysisDomainTy::d_t>>
 class IDETabulationProblem : public FlowFunctions<AnalysisDomainTy, Container>,
                              public EdgeFunctions<AnalysisDomainTy>,
diff --git a/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h b/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
index 33a9604f8d..acdaf99458 100644
--- a/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
+++ b/include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
@@ -12,6 +12,7 @@
 
 #include "phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h"
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
+#include "phasar/DataFlow/IfdsIde/IfdsIdeDomain.h"
 #include "phasar/Domain/AnalysisDomain.h"
 
 #include <set>
@@ -25,7 +26,7 @@ namespace psr {
 ///
 /// For more information on how to write an IFDS analysis, see [Writing an IFDS
 /// Analysis](https://github.com/secure-software-engineering/phasar/wiki/Writing-an-IFDS-analysis)
-template <typename AnalysisDomainTy,
+template <IfdsAnalysisDomain AnalysisDomainTy,
           typename Container = std::set<typename AnalysisDomainTy::d_t>>
 class IFDSTabulationProblem
     : public IDETabulationProblem<WithBinaryValueDomain<AnalysisDomainTy>,
diff --git a/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h b/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h
new file mode 100644
index 0000000000..63166530c5
--- /dev/null
+++ b/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h
@@ -0,0 +1,31 @@
+/******************************************************************************
+ * Copyright (c) 2026 Fabian Schiebel.
+ * All rights reserved. This program and the accompanying materials are made
+ * available under the terms of LICENSE.txt.
+ *
+ * Contributors:
+ *     Fabian Schiebel and others
+ *****************************************************************************/
+#pragma once
+
+#include "phasar/ControlFlow/ICFG.h"
+#include "phasar/Domain/AnalysisDomain.h"
+
+#include <type_traits>
+
+namespace psr {
+template <typename T>
+concept IfdsAnalysisDomain = IsAnalysisDomain<T> && requires() {
+  typename T::d_t;
+  typename T::i_t;
+
+  requires(!std::is_void_v<typename T::d_t>);
+  requires ICFG<typename T::i_t>;
+};
+
+template <typename T>
+concept IdeAnalysisDomain = IfdsAnalysisDomain<T> && requires() {
+  typename T::l_t;
+  requires(!std::is_void_v<typename T::l_t>);
+};
+} // namespace psr
diff --git a/include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h b/include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
index f105e3558a..50f3629745 100644
--- a/include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
+++ b/include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
@@ -54,6 +54,7 @@
 
 #include "nlohmann/json.hpp"
 
+#include <concepts>
 #include <map>
 #include <memory>
 #include <set>
@@ -87,7 +88,7 @@ class IDESolver
   using t_t = typename AnalysisDomainTy::t_t;
   using v_t = typename AnalysisDomainTy::v_t;
 
-  template <typename I>
+  template <std::convertible_to<const i_t &> I>
   IDESolver(IDETabulationProblem<AnalysisDomainTy, Container> &Problem,
             const I *ICF)
       : IDEProblem(Problem), ZeroValue(Problem.getZeroValue()),
@@ -99,11 +100,7 @@ class IDESolver
     assert(ICF != nullptr);
 
     if constexpr (has_getSparseCFG_v<I, d_t>) {
-      NextUserOrNullCB = [](const void *SVFG, ByConstRef<f_t> Fun,
-                            ByConstRef<d_t> d3, ByConstRef<n_t> n) {
-        auto &&SCFG = static_cast<const I *>(SVFG)->getSparseCFG(Fun, d3);
-        return SCFG.nextUserOrNull(n);
-      };
+      NextUserOrNullCB = &nextUserOrNullThunk<I>;
     }
   }
 
@@ -1775,6 +1772,13 @@ class IDESolver
   }
 
 private:
+  template <typename I>
+  static auto nextUserOrNullThunk(const void *SVFG, ByConstRef<f_t> Fun,
+                                  ByConstRef<d_t> d3, ByConstRef<n_t> n) {
+    auto &&SCFG = static_cast<const I *>(SVFG)->getSparseCFG(Fun, d3);
+    return SCFG.nextUserOrNull(n);
+  };
+
   /// @brief: Allows less-than comparison based on the statement ID.
   struct StmtLess {
     const i_t *ICF;
@@ -1937,8 +1941,10 @@ template <typename AnalysisDomainTy, typename Container>
 OwningSolverResults<typename AnalysisDomainTy::n_t,
                     typename AnalysisDomainTy::d_t,
                     typename AnalysisDomainTy::l_t>
-solveIDEProblem(IDETabulationProblem<AnalysisDomainTy, Container> &Problem,
-                const typename AnalysisDomainTy::i_t &ICF) {
+solveIDEProblem(
+    IDETabulationProblem<AnalysisDomainTy, Container> &Problem,
+    const std::convertible_to<const typename AnalysisDomainTy::i_t &> auto
+        &ICF) {
   IDESolver<AnalysisDomainTy, Container> Solver(&Problem, &ICF);
   Solver.solve();
   return Solver.consumeSolverResults();
diff --git a/include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h b/include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
index 76c51ce29e..59055acdb3 100644
--- a/include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
+++ b/include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
@@ -46,11 +46,14 @@ class IFDSSolver
   using n_t = typename AnalysisDomainTy::n_t;
   using i_t = typename AnalysisDomainTy::i_t;
 
-  template <std::derived_from<AnalysisDomainTy> IfdsDomainTy, typename I>
+  template <std::derived_from<AnalysisDomainTy> IfdsDomainTy,
+            std::convertible_to<const i_t &> I>
   IFDSSolver(IFDSTabulationProblem<IfdsDomainTy, Container> &IFDSProblem,
              const I *ICF)
       : IDESolver<WithBinaryValueDomain<AnalysisDomainTy>>(IFDSProblem, ICF) {}
-  template <std::derived_from<AnalysisDomainTy> IfdsDomainTy, typename I>
+
+  template <std::derived_from<AnalysisDomainTy> IfdsDomainTy,
+            std::convertible_to<const i_t &> I>
   IFDSSolver(IFDSTabulationProblem<IfdsDomainTy, Container> *IFDSProblem,
              const I *ICF)
       : IDESolver<WithBinaryValueDomain<AnalysisDomainTy>>(IFDSProblem, ICF) {}
@@ -122,8 +125,10 @@ using IFDSSolver_P = IFDSSolver<typename Problem::ProblemAnalysisDomain,
 template <typename AnalysisDomainTy, typename Container>
 OwningSolverResults<typename AnalysisDomainTy::n_t,
                     typename AnalysisDomainTy::d_t, BinaryDomain>
-solveIFDSProblem(IFDSTabulationProblem<AnalysisDomainTy, Container> &Problem,
-                 const typename AnalysisDomainTy::i_t &ICF) {
+solveIFDSProblem(
+    IFDSTabulationProblem<AnalysisDomainTy, Container> &Problem,
+    const std::convertible_to<const typename AnalysisDomainTy::i_t &> auto
+        &ICF) {
   IFDSSolver<AnalysisDomainTy, Container> Solver(Problem, &ICF);
   Solver.solve();
   return Solver.consumeSolverResults();
diff --git a/include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h b/include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
index 85a80fe604..003c264ef1 100644
--- a/include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
+++ b/include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
@@ -18,6 +18,7 @@
 #define PHASAR_DATAFLOW_IFDSIDE_SOLVER_JUMPFUNCTIONS_H
 
 #include "phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h"
+#include "phasar/DataFlow/IfdsIde/IfdsIdeDomain.h"
 #include "phasar/Utils/ByRef.h"
 #include "phasar/Utils/Logger.h"
 #include "phasar/Utils/Table.h"
@@ -35,7 +36,7 @@ namespace psr {
 
 // Forward declare the IDETabulationProblem as we require its toString
 // functionality.
-template <typename AnalysisDomainTy, typename Container>
+template <IdeAnalysisDomain AnalysisDomainTy, typename Container>
 class IDETabulationProblem;
 
 template <typename AnalysisDomainTy, typename Container> class JumpFunctions {
diff --git a/include/phasar/DataFlow/Mono/InterMonoProblem.h b/include/phasar/DataFlow/Mono/InterMonoProblem.h
index bee1c85b7b..ced2906107 100644
--- a/include/phasar/DataFlow/Mono/InterMonoProblem.h
+++ b/include/phasar/DataFlow/Mono/InterMonoProblem.h
@@ -17,7 +17,7 @@
 #ifndef PHASAR_DATAFLOW_MONO_INTERMONOPROBLEM_H
 #define PHASAR_DATAFLOW_MONO_INTERMONOPROBLEM_H
 
-#include "phasar/ControlFlow/ICFGBase.h"
+#include "phasar/ControlFlow/ICFG.h"
 #include "phasar/DataFlow/Mono/IntraMonoProblem.h"
 #include "phasar/Pointer/AliasInfo.h"
 #include "phasar/Utils/BitVectorSet.h"
@@ -29,8 +29,10 @@
 namespace psr {
 
 template <typename T>
-concept InterMonoAnalysisDomain =
-    MonoAnalysisDomain<T> && requires() { typename T::i_t; };
+concept InterMonoAnalysisDomain = MonoAnalysisDomain<T> && requires() {
+  typename T::i_t;
+  requires ICFG<typename T::i_t>;
+};
 
 /// \brief The analysis problem interface for interprocedural monotone problems
 /// (solvable by the InterMonoSolver). Create a subclass from this and override
@@ -62,10 +64,7 @@ class InterMonoProblem : public IntraMonoProblem<AnalysisDomainTy> {
   InterMonoProblem(const db_t *IRDB, const i_t *ICF, AliasInfoRef<v_t, n_t> PT,
                    std::vector<std::string> EntryPoints = {})
       : IntraMonoProblem<AnalysisDomainTy>(IRDB, ICF, PT, EntryPoints),
-        ICF(ICF) {
-    static_assert(is_icfg_v<i_t, AnalysisDomainTy>,
-                  "Type parameter i_t must implement the ICFG interface!");
-  }
+        ICF(ICF) {}
 
   ~InterMonoProblem() override = default;
   InterMonoProblem(const InterMonoProblem &Other) = delete;
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
index 1394608607..2050e6e1c5 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
@@ -10,6 +10,8 @@
 #ifndef PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_IDEALIASINFOTABULATIONPROBLEM_H
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_IDEALIASINFOTABULATIONPROBLEM_H
 
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h
index 19c00ac008..74ee0666de 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h
@@ -13,6 +13,8 @@
 #include "phasar/DataFlow/IfdsIde/FlowFunctions.h"
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 namespace llvm {
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
index ffec300b26..5101f6d728 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
@@ -10,6 +10,8 @@
 #ifndef PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_DEFAULTREACHABLEALLOCATIONSITESIDEPROBLEM_H
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_DEFAULTREACHABLEALLOCATIONSITESIDEPROBLEM_H
 
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h"
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
index d33ebfca72..f91866af7f 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
@@ -12,6 +12,7 @@
 
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
 #include "phasar/Domain/LatticeDomain.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
 #include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h"
@@ -41,8 +42,6 @@
 
 namespace psr {
 
-class LLVMBasedICFG;
-
 struct IDEExtendedTaintAnalysisDomain : public LLVMAnalysisDomainDefault {
   using d_t = AbstractMemoryLocation;
   /// Nullptr means tainted, nonnull llvm::Instruction* refers to a
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysis.h
index 9c4498190f..f1e28fb426 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysis.h
@@ -13,7 +13,9 @@
 #include "phasar/DataFlow/IfdsIde/DefaultEdgeFunctionSingletonCache.h"
 #include "phasar/DataFlow/IfdsIde/EdgeFunction.h"
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
 #include "phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 #include "phasar/Utils/BitVectorSet.h"
@@ -36,7 +38,6 @@ class GlobalVariable;
 } // namespace llvm
 
 namespace psr {
-class LLVMProjectIRDB;
 
 struct IDEFeatureTaintEdgeFact {
   llvm::SmallBitVector Taints;
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
index 0b1de3088b..608933f3a1 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
@@ -12,6 +12,7 @@
 
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
 #include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCADomain.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
index 30c8ed8b58..7407473e40 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
@@ -12,6 +12,8 @@
 
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
 #include "phasar/Domain/LatticeDomain.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include "llvm/Support/raw_ostream.h"
@@ -35,8 +37,6 @@ struct IDELinearConstantAnalysisDomain : public LLVMAnalysisDomainDefault {
   using l_t = LatticeDomain<int64_t>;
 };
 
-class LLVMBasedICFG;
-
 // NOLINTNEXTLINE(cppcoreguidelines-special-member-functions)
 class IDELinearConstantAnalysis
     : public IDETabulationProblem<IDELinearConstantAnalysisDomain> {
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
index c4b9ab965c..4122eacb0e 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IDEPROTOANALYSIS_H
 
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <memory>
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
index 2141946dd7..e02d0a3981 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IDESECUREHEAPPROPAGATION_H
 
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
index 3c1736fb58..7685aa910b 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IDESOLVERTEST_H
 
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <set>
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
index 390b1e2427..b01abd38fd 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
@@ -15,6 +15,7 @@
 #include "phasar/DataFlow/IfdsIde/FlowFunctions.h"
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
 #include "phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
 #include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
index 73f9355ce6..55f266df6b 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSCONSTANALYSIS_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
 
@@ -30,8 +32,6 @@ class Value;
 
 namespace psr {
 
-class LLVMBasedICFG;
-
 /**
  * This IFDS analysis will compute possibly mutable memory
  * locations (stack and heap). LLVM's virtual register
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
index fb1db483c9..e753cbc256 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSPROTOANALYSIS_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <map>
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
index 54338de635..e320c30150 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSSIGNANALYSIS_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <memory>
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
index edf176f775..b611e05d53 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSSOLVERTEST_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <set>
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
index c9e03340ab..27def5e527 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSTAINTANALYSIS_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
index 8f5c8c04fb..c557ce2e44 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSTYPEANALYSIS_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <memory>
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
index 10046e0782..99696e85ac 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
@@ -11,6 +11,8 @@
 #define PHASAR_PHASARLLVM_DATAFLOW_IFDSIDE_PROBLEMS_IFDSUNINITIALIZEDVARIABLES_H
 
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
+#include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 
 #include <map>
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
index 3b2c413f12..caca5a1990 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
@@ -12,6 +12,7 @@
 
 #include "phasar/DataFlow/Mono/InterMonoProblem.h"
 #include "phasar/Domain/LatticeDomain.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
 #include "phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"
diff --git a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
index 88fd072cc7..06d8cf76e0 100644
--- a/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
+++ b/include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
@@ -19,6 +19,7 @@
 
 #include "phasar/DataFlow/Mono/InterMonoProblem.h"
 #include "phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h"
+#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
 #include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h"
 #include "phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h"
 #include "phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h"

From 70a548ccde4cd61fc05028d5ac0e80a1f3039b12 Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabianbs@mail.upb.de>
Date: Sun, 11 Jan 2026 18:56:31 +0100
Subject: [PATCH 4/6] Fix and update module-header and c++20-module files

---
 .github/workflows/ci.yml          |  1 +
 include/phasar/ControlFlow.h      |  4 ++++
 include/phasar/DB.h               |  1 +
 include/phasar/Domain.h           |  1 +
 lib/ControlFlow/ControlFlow.cppm  | 10 +++++++---
 lib/DB/DB.cppm                    |  4 +++-
 lib/DataFlow/IfdsIde/IfdsIde.cppm |  3 +++
 lib/DataFlow/Mono/Mono.cppm       |  3 +++
 lib/Domain/Domain.cppm            |  5 ++---
 lib/Pointer/PhasarPointer.cppm    |  1 -
 lib/Utils/Utils.cppm              |  3 +--
 11 files changed, 26 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ad1da83e6f..bb040a7d53 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -70,6 +70,7 @@ jobs:
             -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
             -DBUILD_PHASAR_CLANG=OFF \
             -DPHASAR_USE_Z3=ON \
+            -DPHASAR_BUILD_MODULES=ON \
             -DPHASAR_LLVM_VERSION=${{ matrix.llvm-version }} \
             ${{ matrix.flags }} \
             -G Ninja
diff --git a/include/phasar/ControlFlow.h b/include/phasar/ControlFlow.h
index b820c0ec0e..83df86d82f 100644
--- a/include/phasar/ControlFlow.h
+++ b/include/phasar/ControlFlow.h
@@ -10,11 +10,15 @@
 #ifndef PHASAR_CONTROLFLOW_H
 #define PHASAR_CONTROLFLOW_H
 
+#include "phasar/ControlFlow/CFG.h"
 #include "phasar/ControlFlow/CFGBase.h"
 #include "phasar/ControlFlow/CallGraph.h"
 #include "phasar/ControlFlow/CallGraphAnalysisType.h"
 #include "phasar/ControlFlow/CallGraphBase.h"
+#include "phasar/ControlFlow/ICFG.h"
 #include "phasar/ControlFlow/ICFGBase.h"
+#include "phasar/ControlFlow/SparseCFGBase.h"
+#include "phasar/ControlFlow/SparseCFGProvider.h"
 #include "phasar/ControlFlow/SpecialMemberFunctionType.h"
 
 #endif // PHASAR_CONTROLFLOW_H
diff --git a/include/phasar/DB.h b/include/phasar/DB.h
index a9f84201e7..294b4e2bb6 100644
--- a/include/phasar/DB.h
+++ b/include/phasar/DB.h
@@ -11,6 +11,7 @@
 #define PHASAR_DB_H
 
 #include "phasar/Config/phasar-config.h"
+#include "phasar/DB/ProjectIRDB.h"
 #include "phasar/DB/ProjectIRDBBase.h"
 
 #endif // PHASAR_DB_H
diff --git a/include/phasar/Domain.h b/include/phasar/Domain.h
index 33adee8fc3..a11551c97e 100644
--- a/include/phasar/Domain.h
+++ b/include/phasar/Domain.h
@@ -12,6 +12,7 @@
 
 #include "phasar/Domain/AnalysisDomain.h"
 #include "phasar/Domain/BinaryDomain.h"
+#include "phasar/Domain/IRDomain.h"
 #include "phasar/Domain/LatticeDomain.h"
 
 #endif // PHASAR_DOMAIN_H
diff --git a/lib/ControlFlow/ControlFlow.cppm b/lib/ControlFlow/ControlFlow.cppm
index 04ae8d675d..4654086ab8 100644
--- a/lib/ControlFlow/ControlFlow.cppm
+++ b/lib/ControlFlow/ControlFlow.cppm
@@ -1,8 +1,6 @@
 module;
 
 #include "phasar/ControlFlow.h"
-#include "phasar/ControlFlow/SparseCFGBase.h"
-#include "phasar/ControlFlow/SparseCFGProvider.h"
 
 export module phasar.controlflow;
 
@@ -14,13 +12,19 @@ using psr::CGTraits;
 using psr::toCallGraphAnalysisType;
 using psr::toString;
 using psr::operator<<;
+using psr::BidiCFG;
 using psr::CallGraphBase;
 using psr::CallGraphData;
+using psr::CFG;
 using psr::CFGBase;
+using psr::CFGDump;
+using psr::CFGEdgesProvider;
 using psr::CFGTraits;
-using psr::has_getSparseCFG;
 using psr::has_getSparseCFG_v;
+using psr::ICFG;
 using psr::ICFGBase;
+using psr::ICFGDump;
+using psr::InstructionClassifier;
 using psr::is_cfg_v;
 using psr::is_icfg_v;
 using psr::is_sparse_cfg_v;
diff --git a/lib/DB/DB.cppm b/lib/DB/DB.cppm
index 70e53fefb7..2705174b50 100644
--- a/lib/DB/DB.cppm
+++ b/lib/DB/DB.cppm
@@ -1,12 +1,14 @@
 module;
 
-#include "phasar/DB/ProjectIRDBBase.h"
+#include "phasar/DB.h"
 
 export module phasar.db;
 
 export namespace psr {
 using psr::IRDBGetFunctionDef;
+using psr::ProjectIRDB;
 using psr::ProjectIRDBBase;
 using psr::ProjectIRDBTraits;
+using psr::ProjectSymbolTable;
 
 } // namespace psr
diff --git a/lib/DataFlow/IfdsIde/IfdsIde.cppm b/lib/DataFlow/IfdsIde/IfdsIde.cppm
index 58d2744f7f..7c1fdb7225 100644
--- a/lib/DataFlow/IfdsIde/IfdsIde.cppm
+++ b/lib/DataFlow/IfdsIde/IfdsIde.cppm
@@ -9,6 +9,7 @@ module;
 #include "phasar/DataFlow/IfdsIde/GenericFlowFunction.h"
 #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
 #include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
+#include "phasar/DataFlow/IfdsIde/IfdsIdeDomain.h"
 #include "phasar/DataFlow/IfdsIde/Solver/Compressor.h"
 #include "phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCache.h"
 #include "phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheNG.h"
@@ -36,6 +37,8 @@ using psr::EdgeFunctions;
 using psr::EdgeFunctionSingletonCache;
 using psr::EdgeFunctionStats;
 using psr::EdgeIdentity;
+using psr::IdeAnalysisDomain;
+using psr::IfdsAnalysisDomain;
 using psr::IsEdgeFunction;
 using psr::operator==;
 using psr::operator<<;
diff --git a/lib/DataFlow/Mono/Mono.cppm b/lib/DataFlow/Mono/Mono.cppm
index 8d0f77d825..0b135c231e 100644
--- a/lib/DataFlow/Mono/Mono.cppm
+++ b/lib/DataFlow/Mono/Mono.cppm
@@ -2,6 +2,7 @@ module;
 
 #include "phasar/DataFlow/Mono/Contexts/CallStringCTX.h"
 #include "phasar/DataFlow/Mono/InterMonoProblem.h"
+#include "phasar/DataFlow/Mono/IntraMonoProblem.h"
 #include "phasar/DataFlow/Mono/Solver/InterMonoSolver.h"
 #include "phasar/DataFlow/Mono/Solver/IntraMonoSolver.h"
 
@@ -9,10 +10,12 @@ export module phasar.dataflow.mono;
 
 export namespace psr {
 using psr::CallStringCTX;
+using psr::InterMonoAnalysisDomain;
 using psr::InterMonoProblem;
 using psr::InterMonoSolver;
 using psr::IntraMonoProblem;
 using psr::IntraMonoSolver;
+using psr::MonoAnalysisDomain;
 } // namespace psr
 
 export namespace std {
diff --git a/lib/Domain/Domain.cppm b/lib/Domain/Domain.cppm
index 2b78a69370..a04780f74c 100644
--- a/lib/Domain/Domain.cppm
+++ b/lib/Domain/Domain.cppm
@@ -1,8 +1,6 @@
 module;
 
-#include "phasar/Domain/AnalysisDomain.h"
-#include "phasar/Domain/BinaryDomain.h"
-#include "phasar/Domain/LatticeDomain.h"
+#include "phasar/Domain.h"
 
 export module phasar.domain;
 
@@ -14,6 +12,7 @@ using psr::operator<<;
 using psr::operator==;
 using psr::operator<;
 using psr::Bottom;
+using psr::IRDomain;
 using psr::JoinLatticeTraits;
 using psr::LatticeDomain;
 using psr::NonTopBotValue;
diff --git a/lib/Pointer/PhasarPointer.cppm b/lib/Pointer/PhasarPointer.cppm
index bdea5ab2e1..1702b7359d 100644
--- a/lib/Pointer/PhasarPointer.cppm
+++ b/lib/Pointer/PhasarPointer.cppm
@@ -34,7 +34,6 @@ using psr::toString;
 using psr::operator<<;
 using psr::AliasSetOwner;
 using psr::is_equivalent_PointsToTraits_v;
-using psr::is_PointsToTraits;
 using psr::is_PointsToTraits_v;
 using psr::PointsToInfo;
 using psr::PointsToInfoBase;
diff --git a/lib/Utils/Utils.cppm b/lib/Utils/Utils.cppm
index 7273ccedc5..f75c6aa46f 100644
--- a/lib/Utils/Utils.cppm
+++ b/lib/Utils/Utils.cppm
@@ -156,9 +156,9 @@ using psr::assertNotNull;
 using psr::Compressor;
 using psr::computePowerSet;
 using psr::computeSCCDependencies;
-using psr::computeSCCIterative;
 using psr::computeSCCOrder;
 using psr::computeSCCs;
+using psr::computeSCCsAndTopologicalOrder;
 using psr::createTimeStamp;
 using psr::DefaultConstruct;
 using psr::DenseSet;
@@ -184,7 +184,6 @@ using psr::IgnoreArgs;
 using psr::intersectWith;
 using psr::is_crtp_base_of_v;
 using psr::is_explicitly_convertible_to;
-using psr::is_incrementable;
 using psr::is_iterable_over_v;
 using psr::is_iterable_v;
 using psr::is_llvm_hashable_v;

From 943a7e6ef1d43d44a2000b2d61865e515e8499fe Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabian.schiebel@iem.fraunhofer.de>
Date: Fri, 23 Jan 2026 18:20:48 +0100
Subject: [PATCH 5/6] LLVM 18 compatibility

---
 lib/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.cpp   |  2 +-
 lib/PhasarLLVM/ControlFlow/LLVMVFTableProvider.cpp     | 10 +++++-----
 lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp    |  2 +-
 lib/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.cpp |  4 ++--
 lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp         |  4 ++--
 lib/PhasarLLVM/Utils/Annotation.cpp                    |  2 +-
 lib/PhasarLLVM/Utils/LLVMIRToSrc.cpp                   |  4 ++--
 lib/PhasarLLVM/Utils/LLVMShorthands.cpp                |  2 +-
 lib/Utils/Utilities.cpp                                |  6 +++---
 .../Mono/InterMonoFullConstantPropagationTest.cpp      |  2 +-
 .../Mono/IntraMonoFullConstantPropagationTest.cpp      |  2 +-
 .../PhasarLLVM/Pointer/FilteredLLVMAliasSetTest.cpp    |  2 +-
 12 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/lib/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.cpp b/lib/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.cpp
index aad59cf072..5eafe401cb 100644
--- a/lib/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.cpp
+++ b/lib/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.cpp
@@ -267,7 +267,7 @@ llvm::Function *GlobalCtorsDtorsModel::buildModel(
                             /*argc*/
                             llvm::Type::getInt32Ty(CTX),
                             /*argv*/
-                            llvm::Type::getInt8PtrTy(CTX)->getPointerTo())
+                            llvm::PointerType::get(CTX, 0))
           .getCallee());
 
   auto *EntryBB = llvm::BasicBlock::Create(CTX, "entry", GlobModel);
diff --git a/lib/PhasarLLVM/ControlFlow/LLVMVFTableProvider.cpp b/lib/PhasarLLVM/ControlFlow/LLVMVFTableProvider.cpp
index 8f46b63103..b10a9c154d 100644
--- a/lib/PhasarLLVM/ControlFlow/LLVMVFTableProvider.cpp
+++ b/lib/PhasarLLVM/ControlFlow/LLVMVFTableProvider.cpp
@@ -33,7 +33,7 @@ static std::string getTypeName(const llvm::DIType *DITy) {
     return llvmTypeToString(DITy, true);
   }();
 
-  if (llvm::StringRef(TypeName).startswith(TSPrefixDemang)) {
+  if (llvm::StringRef(TypeName).starts_with(TSPrefixDemang)) {
     TypeName.erase(0, TSPrefixDemang.size());
   }
 
@@ -168,10 +168,10 @@ LLVMVFTableProvider::getVTableIndexInHierarchy(
 
 llvm::StringRef
 LLVMVFTableProvider::removeVTablePrefix(llvm::StringRef GlobName) noexcept {
-  if (GlobName.startswith(VTablePrefixDemang)) {
+  if (GlobName.starts_with(VTablePrefixDemang)) {
     return GlobName.drop_front(VTablePrefixDemang.size());
   }
-  if (GlobName.startswith(VTablePrefix)) {
+  if (GlobName.starts_with(VTablePrefix)) {
     return GlobName.drop_front(VTablePrefix.size());
   }
   return GlobName;
@@ -179,10 +179,10 @@ LLVMVFTableProvider::removeVTablePrefix(llvm::StringRef GlobName) noexcept {
 
 /// Supercedes DIBasedTypeHierarchy::isVTable() + removeVTablePrefix
 bool LLVMVFTableProvider::isVTable(llvm::StringRef MangledVarName) {
-  if (MangledVarName.startswith(VTablePrefix)) {
+  if (MangledVarName.starts_with(VTablePrefix)) {
     return true;
   }
   // In LLVM 17 demangle() takes a StringRef
   auto Demang = llvm::demangle(MangledVarName.str());
-  return llvm::StringRef(Demang).startswith(VTablePrefixDemang);
+  return llvm::StringRef(Demang).starts_with(VTablePrefixDemang);
 }
diff --git a/lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp b/lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp
index 5adf72192c..53f236959e 100644
--- a/lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp
+++ b/lib/PhasarLLVM/ControlFlow/Resolver/OTFResolver.cpp
@@ -138,7 +138,7 @@ void OTFResolver::resolveVirtualCall(FunctionSetTy &PossibleTargets,
   for (const auto *P : *PTS) {
     if (const auto *PGV = llvm::dyn_cast<llvm::GlobalVariable>(P)) {
       if (PGV->hasName() &&
-          PGV->getName().startswith(DIBasedTypeHierarchy::VTablePrefix) &&
+          PGV->getName().starts_with(DIBasedTypeHierarchy::VTablePrefix) &&
           PGV->hasInitializer()) {
         if (const auto *PCS =
                 llvm::dyn_cast<llvm::ConstantStruct>(PGV->getInitializer())) {
diff --git a/lib/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.cpp b/lib/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.cpp
index 706ecb4729..e1fb2a84ce 100644
--- a/lib/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.cpp
+++ b/lib/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.cpp
@@ -201,8 +201,8 @@ static void addGlobals(const LLVMProjectIRDB &IRDB, TypeAssignmentGraph &TAG) {
       continue;
     }
     auto GlobName = Glob.getName();
-    if (GlobName.startswith("_ZTV") || GlobName.startswith("_ZTI") ||
-        GlobName.startswith("_ZTS")) {
+    if (GlobName.starts_with("_ZTV") || GlobName.starts_with("_ZTI") ||
+        GlobName.starts_with("_ZTS")) {
       continue;
     }
 
diff --git a/lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp b/lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp
index f8a392c4db..a6ece0452f 100644
--- a/lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp
+++ b/lib/PhasarLLVM/TaintConfig/LLVMTaintConfig.cpp
@@ -187,10 +187,10 @@ LLVMTaintConfig::LLVMTaintConfig(const psr::LLVMProjectIRDB &AnnotatedCode) {
   llvm::SmallVector<const llvm::Function *, 1> VarAnnotations{};
   llvm::SmallVector<const llvm::Function *, 1> PtrAnnotations{};
   for (const auto *F : AnnotatedCode.getAllFunctions()) {
-    if (F->getName().startswith("llvm.var.annotation")) {
+    if (F->getName().starts_with("llvm.var.annotation")) {
       VarAnnotations.push_back(F);
     }
-    if (F->getName().startswith("llvm.ptr.annotation")) {
+    if (F->getName().starts_with("llvm.ptr.annotation")) {
       PtrAnnotations.push_back(F);
     }
   }
diff --git a/lib/PhasarLLVM/Utils/Annotation.cpp b/lib/PhasarLLVM/Utils/Annotation.cpp
index 219e0e5b71..2cae643e45 100644
--- a/lib/PhasarLLVM/Utils/Annotation.cpp
+++ b/lib/PhasarLLVM/Utils/Annotation.cpp
@@ -33,7 +33,7 @@ VarAnnotation::VarAnnotation(const llvm::CallBase *AnnotationCall) noexcept
   [[maybe_unused]] auto *Callee = AnnotationCall->getCalledFunction();
   assert(Callee && Callee->hasName() &&
          (Callee->getName().starts_with("llvm.var.annotation") ||
-          Callee->getName().startswith("llvm.ptr.annotation")));
+          Callee->getName().starts_with("llvm.ptr.annotation")));
 }
 
 const llvm::Value *VarAnnotation::getValue() const {
diff --git a/lib/PhasarLLVM/Utils/LLVMIRToSrc.cpp b/lib/PhasarLLVM/Utils/LLVMIRToSrc.cpp
index af8b41bf76..8296cccf97 100644
--- a/lib/PhasarLLVM/Utils/LLVMIRToSrc.cpp
+++ b/lib/PhasarLLVM/Utils/LLVMIRToSrc.cpp
@@ -458,8 +458,8 @@ bool SourceCodeInfo::equivalentWith(const SourceCodeInfo &Other) const {
   }
 
   return llvm::StringRef(Other.SourceCodeFilename)
-      .endswith(llvm::StringRef(SourceCodeFilename)
-                    .slice(Pos + 1, llvm::StringRef::npos));
+      .ends_with(llvm::StringRef(SourceCodeFilename)
+                     .slice(Pos + 1, llvm::StringRef::npos));
 }
 
 void psr::from_json(const nlohmann::json &J, SourceCodeInfo &Info) {
diff --git a/lib/PhasarLLVM/Utils/LLVMShorthands.cpp b/lib/PhasarLLVM/Utils/LLVMShorthands.cpp
index 3af67f9d8d..88d5971f43 100644
--- a/lib/PhasarLLVM/Utils/LLVMShorthands.cpp
+++ b/lib/PhasarLLVM/Utils/LLVMShorthands.cpp
@@ -488,7 +488,7 @@ bool psr::isGuardVariable(const llvm::Value *V) {
   }
   if (const auto *GV = llvm::dyn_cast<llvm::GlobalVariable>(V)) {
     // ZGV is the encoding of "GuardVariable"
-    return GV->getName().startswith("_ZGV");
+    return GV->getName().starts_with("_ZGV");
   }
   return false;
 }
diff --git a/lib/Utils/Utilities.cpp b/lib/Utils/Utilities.cpp
index 0689e09d70..9d8be8ab88 100644
--- a/lib/Utils/Utilities.cpp
+++ b/lib/Utils/Utilities.cpp
@@ -63,15 +63,15 @@ bool isConstructor(llvm::StringRef MangledName) {
 
 bool isMangled(llvm::StringRef Name) {
   // See llvm/Demangle/Demangle.cpp
-  if (Name.startswith("_Z") || Name.startswith("___Z")) {
+  if (Name.starts_with("_Z") || Name.starts_with("___Z")) {
     // Itanium ABI
     return true;
   }
-  if (Name.startswith("_R")) {
+  if (Name.starts_with("_R")) {
     // Rust ABI
     return true;
   }
-  if (Name.startswith("_D")) {
+  if (Name.starts_with("_D")) {
     // D ABI
     return true;
   }
diff --git a/unittests/PhasarLLVM/DataFlow/Mono/InterMonoFullConstantPropagationTest.cpp b/unittests/PhasarLLVM/DataFlow/Mono/InterMonoFullConstantPropagationTest.cpp
index 98aed42b95..b0419b04c4 100644
--- a/unittests/PhasarLLVM/DataFlow/Mono/InterMonoFullConstantPropagationTest.cpp
+++ b/unittests/PhasarLLVM/DataFlow/Mono/InterMonoFullConstantPropagationTest.cpp
@@ -74,7 +74,7 @@ class InterMonoFullConstantPropagationTest : public ::testing::Test {
       for (const auto &[Fact, Value] : ResultSet) {
         std::string FactStr = llvmIRToString(Fact);
         llvm::StringRef FactRef(FactStr);
-        if (FactRef.startswith("%" + std::get<2>(Truth) + " ")) {
+        if (FactRef.starts_with("%" + std::get<2>(Truth) + " ")) {
           llvm::outs() << "Checking variable: " << FactStr << '\n';
           ResultNotEmpty = true;
           EXPECT_EQ(std::get<3>(Truth), Value);
diff --git a/unittests/PhasarLLVM/DataFlow/Mono/IntraMonoFullConstantPropagationTest.cpp b/unittests/PhasarLLVM/DataFlow/Mono/IntraMonoFullConstantPropagationTest.cpp
index 63ba49a9b8..60fe19b7e5 100644
--- a/unittests/PhasarLLVM/DataFlow/Mono/IntraMonoFullConstantPropagationTest.cpp
+++ b/unittests/PhasarLLVM/DataFlow/Mono/IntraMonoFullConstantPropagationTest.cpp
@@ -68,7 +68,7 @@ class IntraMonoFullConstantPropagationTest : public ::testing::Test {
       for (const auto &[Fact, Value] : ResultSet) {
         std::string FactStr = llvmIRToString(Fact);
         llvm::StringRef FactRef(FactStr);
-        if (FactRef.startswith("%" + std::get<2>(Truth) + " ")) {
+        if (FactRef.starts_with("%" + std::get<2>(Truth) + " ")) {
           llvm::outs() << "Checking variable: " << FactStr << '\n';
           ResultNotEmpty = true;
           EXPECT_EQ(std::get<3>(Truth), Value);
diff --git a/unittests/PhasarLLVM/Pointer/FilteredLLVMAliasSetTest.cpp b/unittests/PhasarLLVM/Pointer/FilteredLLVMAliasSetTest.cpp
index d7a2eff826..d4f0e8b599 100644
--- a/unittests/PhasarLLVM/Pointer/FilteredLLVMAliasSetTest.cpp
+++ b/unittests/PhasarLLVM/Pointer/FilteredLLVMAliasSetTest.cpp
@@ -72,7 +72,7 @@ TEST_P(TaintAnalysis, LeaksWithAndWithoutAliasFilteringEqual) {
   LLVMBasedICFG ICF(&IRDB, CallGraphAnalysisType::OTF, EntryPoints, nullptr,
                     &AS);
 
-  auto TSF = llvm::StringRef(GetParam()).startswith("double_free")
+  auto TSF = llvm::StringRef(GetParam()).starts_with("double_free")
                  ? getDoubleFreeConfig()
                  : getDefaultConfig();
 

From 7805eeb250cda2c257d1776d5380c49a78a2fe0e Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabian.schiebel@iem.fraunhofer.de>
Date: Fri, 23 Jan 2026 19:13:16 +0100
Subject: [PATCH 6/6] Add missing functioality to IRDB and change calls to the
 respective functions of CFG/ICFG to IRDB, wherever easily possible

---
 include/phasar/ControlFlow/CFG.h              |  3 +-
 include/phasar/ControlFlow/ICFG.h             |  5 ++
 include/phasar/DB/ProjectIRDB.h               | 48 +++++++++++++------
 .../phasar/DataFlow/IfdsIde/IfdsIdeDomain.h   | 17 ++++++-
 .../phasar/PhasarLLVM/DB/LLVMProjectIRDB.h    | 26 ++++++++++
 .../Problems/IDEInstInteractionAnalysis.h     |  4 +-
 .../IDEGeneralizedLCA/IDEGeneralizedLCA.cpp   | 10 ++--
 .../Problems/IDELinearConstantAnalysis.cpp    |  8 ++--
 .../Problems/IDESecureHeapPropagation.cpp     |  4 +-
 .../Mono/Problems/InterMonoSolverTest.cpp     |  2 +-
 .../Mono/Problems/InterMonoTaintAnalysis.cpp  |  2 +-
 11 files changed, 94 insertions(+), 35 deletions(-)

diff --git a/include/phasar/ControlFlow/CFG.h b/include/phasar/ControlFlow/CFG.h
index 961fc9847e..3200b0c17a 100644
--- a/include/phasar/ControlFlow/CFG.h
+++ b/include/phasar/ControlFlow/CFG.h
@@ -32,8 +32,7 @@ concept CFG = requires(const T &CF, typename T::n_t Inst, typename T::f_t Fun) {
   typename T::n_t;
   typename T::f_t;
 
-  /// Returns an iterable range of all predecessor instructions of Inst in the
-  /// CFG
+  /// Returns the function that contains the given instruction Inst.
   // TODO: Actually belongs into ProjectIRDB!
   { CF.getFunctionOf(Inst) } -> std::convertible_to<typename T::f_t>;
   /// Returns an iterable range of all instructions of the given function that
diff --git a/include/phasar/ControlFlow/ICFG.h b/include/phasar/ControlFlow/ICFG.h
index cea4cf75ab..d3660fe11f 100644
--- a/include/phasar/ControlFlow/ICFG.h
+++ b/include/phasar/ControlFlow/ICFG.h
@@ -46,6 +46,11 @@ concept ICFG = requires(const T &ICF, llvm::StringRef Name,
   /// Returns an iterable range of all call-instruction in the given function
   { ICF.getCallsFromWithin(Fun) } -> psr::is_iterable_over_v<typename T::n_t>;
 
+  /// Returns an iterable range of all instructions in all functions of the ICFG
+  /// that are neither call-sites nor start-points of a function
+  // TODO: Get rid of this function
+  { ICF.allNonCallStartNodes() } -> psr::is_iterable_over_v<typename T::n_t>;
+
   /// The total number of call-sites in the ICFG. Same as
   /// getCallGraph().getNumVertexCallSites()
   { ICF.getNumCallSites() } noexcept -> std::convertible_to<size_t>;
diff --git a/include/phasar/DB/ProjectIRDB.h b/include/phasar/DB/ProjectIRDB.h
index 6a0487c2ae..c630be0765 100644
--- a/include/phasar/DB/ProjectIRDB.h
+++ b/include/phasar/DB/ProjectIRDB.h
@@ -72,25 +72,43 @@ concept ProjectSymbolTable = requires(const T &ST, llvm::StringRef Name,
 /// This concept describes the minimum requirements for a project-IR-database.
 /// Each phasar-analysis works on a program that is managed by a ProjectIRDB.
 template <typename T>
-concept ProjectIRDB = requires(const T &DB) {
-  /// Returns the managed module
-  { DB.getModule() } noexcept -> std::convertible_to<typename T::m_t>;
+concept ProjectIRDB =
+    requires(const T &DB, typename T::n_t Inst, typename T::f_t Fun) {
+      /// Returns the managed module
+      { DB.getModule() } noexcept -> std::convertible_to<typename T::m_t>;
 
-  /// Check if debug information are available.
-  { DB.debugInfoAvailable() } -> std::convertible_to<bool>;
+      /// Check if debug information are available.
+      { DB.debugInfoAvailable() } -> std::convertible_to<bool>;
 
-  /// Returns a range of all function definitions and declarations available
-  { DB.getAllFunctions() } -> psr::is_iterable_over_v<typename T::f_t>;
+      /// Returns a range of all function definitions and declarations available
+      { DB.getAllFunctions() } -> psr::is_iterable_over_v<typename T::f_t>;
 
-  /// Returns the number of functions in the managed module.
-  { DB.getNumFunctions() } -> std::convertible_to<size_t>;
+      /// Returns the number of functions in the managed module.
+      { DB.getNumFunctions() } -> std::convertible_to<size_t>;
 
-  /// Returns a range of all instructions available.
-  { DB.getAllInstructions() } -> psr::is_iterable_over_v<typename T::n_t>;
+      /// Returns a range of all global variables (and global constants, e.g,
+      /// string literals) in the managed module
+      { DB.getAllGlobals() } -> psr::is_iterable_over_v<typename T::g_t>;
 
-  /// Returns the number of instruction in the managed module.
-  { DB.getNumInstructions() } -> std::convertible_to<size_t>;
+      /// Returns the number of global variables (and global constants) in the
+      /// managed module.
+      { DB.getNumGlobals() } -> std::convertible_to<size_t>;
 
-  requires ProjectSymbolTable<T>;
-};
+      /// Returns a range of all instructions available.
+      { DB.getAllInstructions() } -> psr::is_iterable_over_v<typename T::n_t>;
+
+      /// Returns the number of instruction in the managed module.
+      { DB.getNumInstructions() } -> std::convertible_to<size_t>;
+
+      /// Returns the function that contains the given instruction Inst.
+      { DB.getFunctionOf(Inst) } -> std::convertible_to<typename T::f_t>;
+
+      /// Returns an iterable range of all instructions of the given function
+      /// that are part of the control-flow graph.
+      {
+        DB.getAllInstructionsOf(Fun)
+      } -> psr::is_iterable_over_v<typename T::n_t>;
+
+      requires ProjectSymbolTable<T>;
+    };
 } // namespace psr
diff --git a/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h b/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h
index 63166530c5..bb48c770f7 100644
--- a/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h
+++ b/include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h
@@ -10,22 +10,35 @@
 
 #include "phasar/ControlFlow/ICFG.h"
 #include "phasar/Domain/AnalysisDomain.h"
+#include "phasar/Utils/TypeTraits.h"
 
 #include <type_traits>
 
 namespace psr {
+
+// XXX: More constraints to be added
+template <typename T>
+concept IsDataFlowFact =
+    std::is_copy_constructible_v<T> && psr::IsEqualityComparable<T> &&
+    psr::is_std_hashable_v<T>;
+
+// XXX: More constraints to be added
+template <typename T>
+concept IsEdgeValue =
+    std::is_move_constructible_v<T> && psr::IsEqualityComparable<T>;
+
 template <typename T>
 concept IfdsAnalysisDomain = IsAnalysisDomain<T> && requires() {
   typename T::d_t;
   typename T::i_t;
 
-  requires(!std::is_void_v<typename T::d_t>);
+  requires IsDataFlowFact<typename T::d_t>;
   requires ICFG<typename T::i_t>;
 };
 
 template <typename T>
 concept IdeAnalysisDomain = IfdsAnalysisDomain<T> && requires() {
   typename T::l_t;
-  requires(!std::is_void_v<typename T::l_t>);
+  requires IsEdgeValue<typename T::l_t>;
 };
 } // namespace psr
diff --git a/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h b/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
index aaeb884cf7..13c3f1f5d5 100644
--- a/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
+++ b/include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
@@ -18,6 +18,7 @@
 #include "llvm/ADT/DenseMap.h"
 #include "llvm/ADT/STLExtras.h"
 #include "llvm/ADT/StringRef.h"
+#include "llvm/IR/InstIterator.h"
 #include "llvm/IR/Instruction.h"
 #include "llvm/IR/LLVMContext.h"
 #include "llvm/IR/Module.h"
@@ -145,6 +146,31 @@ class LLVMProjectIRDB : public ProjectIRDBBase<LLVMProjectIRDB> {
   /// called twice for the same function. Use with care!
   void insertFunction(llvm::Function *F, bool DoPreprocessing = true);
 
+  /// Returns the function that contains the given instruction Inst.
+  ///
+  /// \remark This function should eventually replace
+  /// LLVMBasedCFG::getFunctionOf()
+  [[nodiscard]] f_t getFunctionOf(n_t Inst) const {
+    return Inst ? Inst->getFunction() : nullptr;
+  }
+
+  /// Returns an iterable range of all instructions of the given function that
+  /// are part of the control-flow graph.
+  ///
+  /// \remark This function should eventually replace
+  /// LLVMBasedCFG::getAllInstructionsOf()
+  [[nodiscard]] auto getAllInstructionsOf(f_t Fun) const {
+    return llvm::map_range(llvm::instructions(Fun),
+                           Ref2PointerConverter<llvm::Instruction>{});
+  }
+
+  /// Returns a range of all global variables (and global constants, e.g, string
+  /// literals) in the managed module
+  [[nodiscard]] auto getAllGlobals() const {
+    return llvm::map_range(std::as_const(*Mod).globals(),
+                           Ref2PointerConverter<llvm::GlobalVariable>{});
+  }
+
   explicit operator bool() const noexcept { return isValid(); }
 
 private:
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
index 01518d555e..0e14c90f54 100644
--- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
+++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
@@ -1115,11 +1115,11 @@ class IDEInstInteractionAnalysisT
     //   // Emit only IR code, function name and module info
     //   OS << "\nWARNING: No Debug Info available - emiting results without "
     //         "source code mapping!\n";
-    for (const auto *f : this->ICF->getAllFunctions()) {
+    for (const auto *f : this->IRDB->getAllFunctions()) {
       std::string FunName = getFunctionNameFromIR(f);
       OS << "\nFunction: " << FunName << "\n----------"
          << std::string(FunName.size(), '-') << '\n';
-      for (const auto *Inst : this->ICF->getAllInstructionsOf(f)) {
+      for (const auto *Inst : this->IRDB->getAllInstructionsOf(f)) {
         auto Results = SR.resultsAt(Inst, true);
         stripBottomResults(Results);
         if (!Results.empty()) {
diff --git a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.cpp b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.cpp
index 5395cda525..8e7a81e2d3 100644
--- a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.cpp
+++ b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.cpp
@@ -264,7 +264,7 @@ EdgeFunction<IDEGeneralizedLCA::l_t> IDEGeneralizedLCA::getNormalEdgeFunction(
   PHASAR_LOG_LEVEL(DEBUG, "(D) Succ Node :   " << DToString(SuccNode));
   // Initialize global variables at entry point
   if (!isZeroValue(CurrNode) && ICF->isStartPoint(Curr) &&
-      isEntryPoint(ICF->getFunctionOf(Curr)->getName().str()) &&
+      isEntryPoint(IRDB->getFunctionOf(Curr)->getName().str()) &&
       llvm::isa<llvm::GlobalVariable>(CurrNode) && CurrNode == SuccNode) {
     PHASAR_LOG_LEVEL(DEBUG, "Case: Intialize global variable at entry point.");
     PHASAR_LOG_LEVEL(DEBUG, ' ');
@@ -513,11 +513,11 @@ void IDEGeneralizedLCA::emitTextReport(
     // Emit only IR code, function name and module info
     Os << "\nWARNING: No Debug Info available - emiting results without "
           "source code mapping!\n";
-    for (const auto *F : ICF->getAllFunctions()) {
+    for (const auto *F : IRDB->getAllFunctions()) {
       std::string FName = getFunctionNameFromIR(F);
       Os << "\nFunction: " << FName << "\n----------"
          << std::string(FName.size(), '-') << '\n';
-      for (const auto *Stmt : ICF->getAllInstructionsOf(F)) {
+      for (const auto *Stmt : IRDB->getAllInstructionsOf(F)) {
         auto Results = SR.resultsAt(Stmt, true);
         stripBottomResults(Results);
         if (!Results.empty()) {
@@ -564,12 +564,12 @@ IDEGeneralizedLCA::lca_results_t IDEGeneralizedLCA::getLCAResults(
         SR) {
   std::map<std::string, std::map<unsigned, LCAResult>> AggResults;
   llvm::outs() << "\n==== Computing LCA Results ====\n";
-  for (const auto *F : ICF->getAllFunctions()) {
+  for (const auto *F : IRDB->getAllFunctions()) {
     std::string FName = getFunctionNameFromIR(F);
     llvm::outs() << "\n-- Function: " << FName << " --\n";
     std::map<unsigned, LCAResult> FResults;
     std::set<std::string> AllocatedVars;
-    for (const auto *Stmt : ICF->getAllInstructionsOf(F)) {
+    for (const auto *Stmt : IRDB->getAllInstructionsOf(F)) {
       unsigned Lnr = getLineFromIR(Stmt);
       llvm::outs() << "\nIR : " << NToString(Stmt) << "\nLNR: " << Lnr << '\n';
       // We skip statements with no source code mapping
diff --git a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.cpp b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.cpp
index 465239ef73..55e2fbf386 100644
--- a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.cpp
+++ b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.cpp
@@ -590,11 +590,11 @@ void IDELinearConstantAnalysis::emitTextReport(
     // Emit only IR code, function name and module info
     OS << "\nWARNING: No Debug Info available - emiting results without "
           "source code mapping!\n";
-    for (const auto *F : ICF->getAllFunctions()) {
+    for (const auto *F : IRDB->getAllFunctions()) {
       std::string FName = getFunctionNameFromIR(F);
       OS << "\nFunction: " << FName << "\n----------"
          << std::string(FName.size(), '-') << '\n';
-      for (const auto *Stmt : ICF->getAllInstructionsOf(F)) {
+      for (const auto *Stmt : IRDB->getAllInstructionsOf(F)) {
         auto Results = SR.resultsAt(Stmt, true);
         stripBottomResults(Results);
         if (!Results.empty()) {
@@ -640,12 +640,12 @@ IDELinearConstantAnalysis::getLCAResults(
     GenericSolverResults<n_t, d_t, l_t> SR) {
   std::map<std::string, std::map<unsigned, LCAResult>> AggResults;
   llvm::outs() << "\n==== Computing LCA Results ====\n";
-  for (const auto *F : ICF->getAllFunctions()) {
+  for (const auto *F : IRDB->getAllFunctions()) {
     std::string FName = getFunctionNameFromIR(F);
     llvm::outs() << "\n-- Function: " << FName << " --\n";
     std::map<unsigned, LCAResult> FResults;
     std::set<std::string> AllocatedVars;
-    for (const auto *Stmt : ICF->getAllInstructionsOf(F)) {
+    for (const auto *Stmt : IRDB->getAllInstructionsOf(F)) {
       unsigned Lnr = getLineFromIR(Stmt);
       llvm::outs() << "\nIR : " << NToString(Stmt) << "\nLNR: " << Lnr << '\n';
       // We skip statements with no source code mapping
diff --git a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp
index e3c3931d02..b532ca90e5 100644
--- a/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp
+++ b/lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp
@@ -166,13 +166,11 @@ IDESecureHeapPropagation::getSummaryEdgeFunction(n_t /*CallSite*/,
 
 void IDESecureHeapPropagation::emitTextReport(
     GenericSolverResults<n_t, d_t, l_t> SR, llvm::raw_ostream &Os) {
-  LLVMBasedCFG CFG;
-
   for (const auto *F : IRDB->getAllFunctions()) {
     std::string FName = getFunctionNameFromIR(F);
     Os << "\nFunction: " << FName << "\n----------"
        << std::string(FName.size(), '-') << '\n';
-    for (const auto *Stmt : CFG.getAllInstructionsOf(F)) {
+    for (const auto *Stmt : IRDB->getAllInstructionsOf(F)) {
       auto Results = SR.resultsAt(Stmt, true);
 
       if (!Results.empty()) {
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp
index cca2c9614c..4a1f1e00e7 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.cpp
@@ -94,7 +94,7 @@ InterMonoSolverTest::initialSeeds() {
   std::unordered_map<InterMonoSolverTest::n_t,
                      InterMonoSolverTest::mono_container_t>
       Seeds;
-  InterMonoSolverTest::f_t Main = ICF->getFunction("main");
+  InterMonoSolverTest::f_t Main = IRDB->getFunction("main");
   for (const auto *StartPoint : ICF->getStartPointsOf(Main)) {
     Seeds.insert({StartPoint, allTop()});
   }
diff --git a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp
index f3f40c00c4..5f6b37973b 100644
--- a/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp
+++ b/lib/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.cpp
@@ -168,7 +168,7 @@ std::unordered_map<InterMonoTaintAnalysis::n_t,
                    InterMonoTaintAnalysis::mono_container_t>
 InterMonoTaintAnalysis::initialSeeds() {
   PHASAR_LOG_LEVEL(DEBUG, "InterMonoTaintAnalysis::initialSeeds()");
-  const llvm::Function *Main = ICF->getFunction("main");
+  const llvm::Function *Main = IRDB->getFunction("main");
   std::unordered_map<InterMonoTaintAnalysis::n_t,
                      InterMonoTaintAnalysis::mono_container_t>
       Seeds;