git: 465da7ad9dc0 - main - devel/phasar: update 1222 → 2403

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 14 Apr 2024 19:07:49 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=465da7ad9dc0189d549843a444fdd96cd9175285

commit 465da7ad9dc0189d549843a444fdd96cd9175285
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-04-14 16:13:12 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-04-14 19:07:37 +0000

    devel/phasar: update 1222 → 2403
    
    Reported by:    portscout
---
 devel/phasar/Makefile                              |  10 +-
 devel/phasar/distinfo                              |  14 +-
 devel/phasar/files/patch-CMakeLists.txt            |  29 +-
 ...r_PhasarLLVM_ControlFlow_Resolver_RTAResolver.h |   4 +-
 devel/phasar/pkg-plist                             | 404 +++++++++++----------
 5 files changed, 252 insertions(+), 209 deletions(-)

diff --git a/devel/phasar/Makefile b/devel/phasar/Makefile
index 000a0dfa35b1..46f3fbe59122 100644
--- a/devel/phasar/Makefile
+++ b/devel/phasar/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	phasar
 DISTVERSIONPREFIX=	v
-DISTVERSION=	1222
+DISTVERSION=	2403
 CATEGORIES=	devel science
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -20,12 +20,16 @@ USE_LDCONFIG=	yes
 USE_GITHUB=	yes
 GH_ACCOUNT=	secure-software-engineering
 GH_TUPLE=	google:googletest:e2239ee:googletest/external/googletest \
-		nlohmann:json:4f8fba1:json/external/json \
-		pboettch:json-schema-validator:27fc1d0:json_schema_validator/external/json-schema-validator
+		nlohmann:json:bc889af:json/external/json \
+		pboettch:json-schema-validator:491ac44:json_schema_validator/external/json-schema-validator
 
 SHEBANG_GLOB=	*.py *.sh
 
+CMAKE_ON=	BUILD_SHARED_LIBS
 CMAKE_OFF=	PHASAR_BUILD_UNITTESTS
+CMAKE_ARGS=	-DPHASAR_CUSTOM_CONFIG_INSTALL_DIR=etc/phasar
+
+CONFLICTS_INSTALL=	nlohmann-json # see https://github.com/secure-software-engineering/phasar/issues/715
 
 post-patch: # workaround for https://github.com/secure-software-engineering/phasar/issues/564
 	# fix up the config directory location
diff --git a/devel/phasar/distinfo b/devel/phasar/distinfo
index bf08f5602ca8..0fdd4c2263aa 100644
--- a/devel/phasar/distinfo
+++ b/devel/phasar/distinfo
@@ -1,9 +1,9 @@
-TIMESTAMP = 1673681295
-SHA256 (secure-software-engineering-phasar-v1222_GH0.tar.gz) = 799a9054a00776c8a65cff32095ff5ac7c8c36143e6283631e6174f6d041813a
-SIZE (secure-software-engineering-phasar-v1222_GH0.tar.gz) = 7322368
+TIMESTAMP = 1713056991
+SHA256 (secure-software-engineering-phasar-v2403_GH0.tar.gz) = 57a9b47e763ed746d61b69dced0519c039f5c49245a28d2f9167ac9879f45dbc
+SIZE (secure-software-engineering-phasar-v2403_GH0.tar.gz) = 7447366
 SHA256 (google-googletest-e2239ee_GH0.tar.gz) = 47a8ca2e1be737588628cbc82726a7c4fed060ae0098709003845e3ef298da2f
 SIZE (google-googletest-e2239ee_GH0.tar.gz) = 886254
-SHA256 (nlohmann-json-4f8fba1_GH0.tar.gz) = a30659268f6834495168e3cba664ef38d4ad1f9f7e2f5382cd4711ec560b914a
-SIZE (nlohmann-json-4f8fba1_GH0.tar.gz) = 7021765
-SHA256 (pboettch-json-schema-validator-27fc1d0_GH0.tar.gz) = b2ebf1ee856ee64a2e72ffdc3e1fdd5ed62c8c40c68f861450843146d9769cb5
-SIZE (pboettch-json-schema-validator-27fc1d0_GH0.tar.gz) = 54204
+SHA256 (nlohmann-json-bc889af_GH0.tar.gz) = 769f4b3a051f5139f367801c52acfcda969aea13fa230fd2b133ab9908a01ea2
+SIZE (nlohmann-json-bc889af_GH0.tar.gz) = 8097638
+SHA256 (pboettch-json-schema-validator-491ac44_GH0.tar.gz) = 30be9e6235a3343345b5c1a292bb1d8e4b3f8623002a1da88dcf5ddd03208167
+SIZE (pboettch-json-schema-validator-491ac44_GH0.tar.gz) = 79632
diff --git a/devel/phasar/files/patch-CMakeLists.txt b/devel/phasar/files/patch-CMakeLists.txt
index 70b72b9919dc..0ce37d7799e8 100644
--- a/devel/phasar/files/patch-CMakeLists.txt
+++ b/devel/phasar/files/patch-CMakeLists.txt
@@ -1,25 +1,24 @@
---- CMakeLists.txt.orig	2022-12-22 14:14:32 UTC
+--- CMakeLists.txt.orig	2024-03-02 09:55:57 UTC
 +++ CMakeLists.txt
-@@ -114,11 +114,13 @@ if (NOT PHASAR_IN_TREE)
-   set(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
+@@ -111,7 +111,7 @@ if (NOT "${PHASAR_TARGET_ARCH_INTERNAL}" STREQUAL "")
+   check_cxx_compiler_flag("-march=${PHASAR_TARGET_ARCH_INTERNAL}" MARCH_SUPPORTED)
+   if (MARCH_SUPPORTED)
+     message(STATUS "Target architecture '${PHASAR_TARGET_ARCH_INTERNAL}' enabled")
+-    string(APPEND CMAKE_CXX_FLAGS_RELEASE " -march=${PHASAR_TARGET_ARCH_INTERNAL}")
++    #string(APPEND CMAKE_CXX_FLAGS_RELEASE " -march=${PHASAR_TARGET_ARCH_INTERNAL}")
+   else()
+     message(WARNING "Target architecture '${PHASAR_TARGET_ARCH_INTERNAL}' not supported. Fallback to generic build")
+   endif()
+@@ -220,10 +220,12 @@ endif()
  endif()
  
+ # Filesystem
 +if (FALSE)
  if (LLVM_ENABLE_LIBCXX)
    set(PHASAR_STD_FILESYSTEM c++fs)
  else()
    set(PHASAR_STD_FILESYSTEM stdc++fs)
- endif()
 +endif()
+ endif()
  
- ### Adding external libraries
- # Threads
-@@ -334,7 +336,7 @@ install(DIRECTORY utils/
- 
- # Install the Phasar config files into ~/.config/phasar/
- install(DIRECTORY config/
--  DESTINATION $ENV{HOME}/.config/phasar
-+  DESTINATION etc/phasar
-   PATTERN "config/*"
-   PERMISSIONS OWNER_WRITE OWNER_READ
-               GROUP_WRITE GROUP_READ
+ # Config
diff --git a/devel/phasar/files/patch-include_phasar_PhasarLLVM_ControlFlow_Resolver_RTAResolver.h b/devel/phasar/files/patch-include_phasar_PhasarLLVM_ControlFlow_Resolver_RTAResolver.h
index ee5d34348b08..1876e840dec1 100644
--- a/devel/phasar/files/patch-include_phasar_PhasarLLVM_ControlFlow_Resolver_RTAResolver.h
+++ b/devel/phasar/files/patch-include_phasar_PhasarLLVM_ControlFlow_Resolver_RTAResolver.h
@@ -1,6 +1,6 @@
 - workaround for https://github.com/secure-software-engineering/phasar/issues/562
 
---- include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h.orig	2023-01-15 17:55:03 UTC
+--- include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h.orig	2024-03-02 09:55:57 UTC
 +++ include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
 @@ -17,6 +17,8 @@
  #ifndef PHASAR_PHASARLLVM_CONTROLFLOW_RESOLVER_RTARESOLVER_H_
@@ -10,4 +10,4 @@
 +
  #include "phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h"
  
- namespace llvm {
+ #include <vector>
diff --git a/devel/phasar/pkg-plist b/devel/phasar/pkg-plist
index b842f260a49a..f4af43f0f818 100644
--- a/devel/phasar/pkg-plist
+++ b/devel/phasar/pkg-plist
@@ -1,275 +1,315 @@
 bin/DB/phasar-create-db-scheme.sql
 bin/DB/phasar-sql2cpp.py
-bin/json-schema-validate
 bin/myphasartool
+bin/phasar-cli
 bin/phasar-compile2llvmIR.py
-bin/phasar-llvm
 bin/phasar-mkconfig.sh
 bin/phasar-plot-pamm.py
-bin/readme-json-schema
 %%ETCDIR%%/DOTGraphConfig.json
 %%ETCDIR%%/README.txt
 %%ETCDIR%%/TaintConfigSchema.json
 %%ETCDIR%%/glibc_function_list_v1-04.05.17.conf
 %%ETCDIR%%/llvm_intrinsics_function_list_v1-04.05.17.conf
 %%ETCDIR%%/phasar-source-sink-function.json
+include/phasar.h
+include/phasar/AnalysisStrategy.h
+include/phasar/AnalysisStrategy/AnalysisSetup.h
+include/phasar/AnalysisStrategy/DemandDrivenAnalysis.h
+include/phasar/AnalysisStrategy/IncrementalUpdateAnalysis.h
+include/phasar/AnalysisStrategy/ModuleWiseAnalysis.h
+include/phasar/AnalysisStrategy/Strategies.def
+include/phasar/AnalysisStrategy/Strategies.h
+include/phasar/AnalysisStrategy/VariationalAnalysis.h
+include/phasar/Config.h
 include/phasar/Config/Configuration.h
 include/phasar/Config/Version.h
+include/phasar/Config/phasar-config.h
+include/phasar/ControlFlow.h
+include/phasar/ControlFlow/CFGBase.h
+include/phasar/ControlFlow/CallGraph.h
+include/phasar/ControlFlow/CallGraphAnalysisType.def
+include/phasar/ControlFlow/CallGraphAnalysisType.h
+include/phasar/ControlFlow/CallGraphBase.h
+include/phasar/ControlFlow/ICFGBase.h
+include/phasar/ControlFlow/SpecialMemberFunctionType.def
+include/phasar/ControlFlow/SpecialMemberFunctionType.h
+include/phasar/Controller.h
 include/phasar/Controller/AnalysisController.h
 include/phasar/Controller/AnalysisControllerEmitterOptions.h
+include/phasar/DB.h
 include/phasar/DB/Hexastore.h
-include/phasar/DB/LLVMProjectIRDB.h
 include/phasar/DB/ProjectIRDBBase.h
 include/phasar/DB/Queries.h
+include/phasar/DataFlow.h
+include/phasar/DataFlow/IfdsIde/DefaultEdgeFunctionSingletonCache.h
+include/phasar/DataFlow/IfdsIde/EdgeFunction.h
+include/phasar/DataFlow/IfdsIde/EdgeFunctionSingletonCache.h
+include/phasar/DataFlow/IfdsIde/EdgeFunctionStats.h
+include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h
+include/phasar/DataFlow/IfdsIde/EdgeFunctions.h
+include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
+include/phasar/DataFlow/IfdsIde/FlowFunctions.h
+include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
+include/phasar/DataFlow/IfdsIde/IFDSIDESolverConfig.h
+include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
+include/phasar/DataFlow/IfdsIde/InitialSeeds.h
+include/phasar/DataFlow/IfdsIde/Solver/ESGEdgeKind.h
+include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h
+include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
+include/phasar/DataFlow/IfdsIde/Solver/IDESolverAPIMixin.h
+include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
+include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
+include/phasar/DataFlow/IfdsIde/Solver/PathAwareIDESolver.h
+include/phasar/DataFlow/IfdsIde/Solver/PathEdge.h
+include/phasar/DataFlow/IfdsIde/SolverResults.h
+include/phasar/DataFlow/IfdsIde/SpecialSummaries.h
+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
+include/phasar/DataFlow/PathSensitivity/ExplodedSuperGraph.h
+include/phasar/DataFlow/PathSensitivity/FlowPath.h
+include/phasar/DataFlow/PathSensitivity/PathSensitivityConfig.h
+include/phasar/DataFlow/PathSensitivity/PathSensitivityManager.h
+include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerBase.h
+include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerMixin.h
+include/phasar/DataFlow/PathSensitivity/PathTracingFilter.h
+include/phasar/Domain.h
+include/phasar/Domain/AnalysisDomain.h
+include/phasar/Domain/BinaryDomain.h
+include/phasar/Domain/LatticeDomain.h
+include/phasar/PhasarClang.h
 include/phasar/PhasarClang/ClangController.h
 include/phasar/PhasarClang/RandomChangeASTConsumer.h
 include/phasar/PhasarClang/RandomChangeFrontendAction.h
 include/phasar/PhasarClang/RandomChangeVisitor.h
-include/phasar/PhasarLLVM/AnalysisStrategy/AnalysisSetup.h
-include/phasar/PhasarLLVM/AnalysisStrategy/DemandDrivenAnalysis.h
-include/phasar/PhasarLLVM/AnalysisStrategy/HelperAnalyses.h
-include/phasar/PhasarLLVM/AnalysisStrategy/HelperAnalysisConfig.h
-include/phasar/PhasarLLVM/AnalysisStrategy/IncrementalUpdateAnalysis.h
-include/phasar/PhasarLLVM/AnalysisStrategy/ModuleWiseAnalysis.h
-include/phasar/PhasarLLVM/AnalysisStrategy/Strategies.def
-include/phasar/PhasarLLVM/AnalysisStrategy/Strategies.h
-include/phasar/PhasarLLVM/AnalysisStrategy/VariationalAnalysis.h
-include/phasar/PhasarLLVM/ControlFlow/CFGBase.h
-include/phasar/PhasarLLVM/ControlFlow/ICFGBase.h
+include/phasar/PhasarLLVM.h
+include/phasar/PhasarLLVM/ControlFlow.h
 include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardCFG.h
 include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardICFG.h
 include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h
 include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h
 include/phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h
-include/phasar/PhasarLLVM/ControlFlow/Resolver/CallGraphAnalysisType.def
-include/phasar/PhasarLLVM/ControlFlow/Resolver/CallGraphAnalysisType.h
 include/phasar/PhasarLLVM/ControlFlow/Resolver/DTAResolver.h
 include/phasar/PhasarLLVM/ControlFlow/Resolver/NOResolver.h
 include/phasar/PhasarLLVM/ControlFlow/Resolver/OTFResolver.h
 include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
 include/phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h
-include/phasar/PhasarLLVM/ControlFlow/SpecialMemberFunctionType.def
-include/phasar/PhasarLLVM/ControlFlow/SpecialMemberFunctionType.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctionComposer.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctions.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowEdgeFunctionCache.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IDETabulationProblem.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/BranchSwitchInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CallToRetFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CheckOperandsFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/FlowFunctionBase.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GEPInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GenerateFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/IdentityFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCallee.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCaller.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemSetInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemTransferInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/PHINodeFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/ReturnInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/StoreInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAEndInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAStartInstFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovRetValWriter.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovWriter.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberEntry.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberWriter.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStats.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStatsWriter.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/DataFlowUtils.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/Log.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSIDESolverConfig.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSTabulationProblem.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/InitialSeeds.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/JoinLattice.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMFlowFunctions.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/DebugEdgeIdentity.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinConstEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/AllBot.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/BinaryEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/JoinEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/LCAEdgeFunctionComposer.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDELinearConstantAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEProtoAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESecureHeapPropagation.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESolverTest.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDETypeStateAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSConstAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSFieldSensTaintAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSProtoAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSSignAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSSolverTest.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSTaintAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSTypeAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSUninitializedVariables.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/CSTDFILEIOTypeStateDescription.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFDescription.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureHeapDescription.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureMemoryDescription.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/TypeStateDescription.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IFDSSolver.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/JumpFunctions.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/PathEdge.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/SolverResults.h
-include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/SpecialSummaries.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/CallString.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Contexts/CallStringCTX.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/InterMonoProblem.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/IntraMonoProblem.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoFullConstantPropagation.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoSolverTest.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoTaintAnalysis.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/IntraMonoFullConstantPropagation.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/IntraMonoSolverTest.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/IntraMonoUninitVariables.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/InterMonoSolver.h
-include/phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/IntraMonoSolver.h
-include/phasar/PhasarLLVM/Domain/AnalysisDomain.h
-include/phasar/PhasarLLVM/Domain/ExtendedValue.h
+include/phasar/PhasarLLVM/DB.h
+include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
+include/phasar/PhasarLLVM/DataFlow.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/BranchSwitchInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CallToRetFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CheckOperandsFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/FlowFunctionBase.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GEPInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GenerateFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/IdentityFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCallee.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCaller.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemSetInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemTransferInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/PHINodeFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/ReturnInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/StoreInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAEndInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAStartInstFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovRetValWriter.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovWriter.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberEntry.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberWriter.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStats.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStatsWriter.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/DataFlowUtils.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/ExtendedValue.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/Log.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFlowFunctions.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMSolverResults.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AllSanitized.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/AllBot.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/BinaryEdgeFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCADomain.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/LCAEdgeFunctionComposer.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSFieldSensTaintAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/CSTDFILEIOTypeStateDescription.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFDescription.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureHeapDescription.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureMemoryDescription.h
+include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/TypeStateDescription.h
+include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
+include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
+include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
+include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
+include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
+include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
+include/phasar/PhasarLLVM/DataFlow/PathSensitivity/LLVMPathConstraints.h
+include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitivityConfig.h
+include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitvityManager.h
+include/phasar/PhasarLLVM/Domain.h
 include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
+include/phasar/PhasarLLVM/HelperAnalyses.h
+include/phasar/PhasarLLVM/HelperAnalysisConfig.h
+include/phasar/PhasarLLVM/Passes.h
 include/phasar/PhasarLLVM/Passes/ExampleModulePass.h
 include/phasar/PhasarLLVM/Passes/GeneralStatisticsAnalysis.h
 include/phasar/PhasarLLVM/Passes/ValueAnnotationPass.h
-include/phasar/PhasarLLVM/Pointer/DynamicPointsToSetPtr.h
-include/phasar/PhasarLLVM/Pointer/LLVMBasedPointsToAnalysis.h
-include/phasar/PhasarLLVM/Pointer/LLVMPointsToGraph.h
-include/phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h
-include/phasar/PhasarLLVM/Pointer/LLVMPointsToSet.h
+include/phasar/PhasarLLVM/Pointer.h
+include/phasar/PhasarLLVM/Pointer/LLVMAliasGraph.h
+include/phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h
+include/phasar/PhasarLLVM/Pointer/LLVMAliasSet.h
+include/phasar/PhasarLLVM/Pointer/LLVMBasedAliasAnalysis.h
 include/phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.h
-include/phasar/PhasarLLVM/Pointer/PointerAnalysisType.def
-include/phasar/PhasarLLVM/Pointer/PointerAnalysisType.h
-include/phasar/PhasarLLVM/Pointer/PointsToInfo.h
-include/phasar/PhasarLLVM/Pointer/PointsToSetOwner.h
 include/phasar/PhasarLLVM/Pointer/TypeGraphs/CachedTypeGraph.h
 include/phasar/PhasarLLVM/Pointer/TypeGraphs/LazyTypeGraph.h
 include/phasar/PhasarLLVM/Pointer/TypeGraphs/TypeGraph.h
-include/phasar/PhasarLLVM/TaintConfig/TaintConfig.h
+include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
+include/phasar/PhasarLLVM/TaintConfig.h
+include/phasar/PhasarLLVM/TaintConfig/LLVMTaintConfig.h
+include/phasar/PhasarLLVM/TaintConfig/TaintConfigBase.h
+include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
 include/phasar/PhasarLLVM/TaintConfig/TaintConfigUtilities.h
+include/phasar/PhasarLLVM/TypeHierarchy.h
+include/phasar/PhasarLLVM/TypeHierarchy/DIBasedTypeHierarchy.h
 include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h
 include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTable.h
-include/phasar/PhasarLLVM/TypeHierarchy/TypeHierarchy.h
-include/phasar/PhasarLLVM/TypeHierarchy/VFTable.h
+include/phasar/PhasarLLVM/Utils.h
 include/phasar/PhasarLLVM/Utils/Annotation.h
 include/phasar/PhasarLLVM/Utils/BasicBlockOrdering.h
-include/phasar/PhasarLLVM/Utils/BinaryDomain.h
-include/phasar/PhasarLLVM/Utils/ByRef.h
-include/phasar/PhasarLLVM/Utils/DOTGraph.h
 include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.def
 include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h
-include/phasar/PhasarLLVM/Utils/IOFormat.def
-include/phasar/PhasarLLVM/Utils/IOFormat.h
 include/phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h
 include/phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h
 include/phasar/PhasarLLVM/Utils/LLVMIRToSrc.h
 include/phasar/PhasarLLVM/Utils/LLVMShorthands.h
-include/phasar/PhasarLLVM/Utils/LatticeDomain.h
-include/phasar/PhasarLLVM/Utils/Printer.h
-include/phasar/PhasarLLVM/Utils/Scopes.h
-include/phasar/PhasarLLVM/Utils/SummaryStrategy.h
+include/phasar/PhasarLLVM/Utils/LLVMSourceManager.h
+include/phasar/PhasarLLVM/Utils/SourceMgrPrinter.h
+include/phasar/PhasarPass.h
 include/phasar/PhasarPass/Options.h
 include/phasar/PhasarPass/PhasarPass.h
 include/phasar/PhasarPass/PhasarPrinterPass.h
 include/phasar/PhasarPass/RegisterPasses.h
+include/phasar/Pointer.h
+include/phasar/Pointer/AliasAnalysisType.def
+include/phasar/Pointer/AliasAnalysisType.h
+include/phasar/Pointer/AliasInfo.h
+include/phasar/Pointer/AliasInfoBase.h
+include/phasar/Pointer/AliasInfoTraits.h
+include/phasar/Pointer/AliasResult.def
+include/phasar/Pointer/AliasResult.h
+include/phasar/Pointer/AliasSetOwner.h
+include/phasar/Pointer/PointsToInfo.h
+include/phasar/Pointer/PointsToInfoBase.h
+include/phasar/TypeHierarchy.h
+include/phasar/TypeHierarchy/TypeHierarchy.h
+include/phasar/TypeHierarchy/VFTable.h
+include/phasar/Utils.h
+include/phasar/Utils/AdjacencyList.h
+include/phasar/Utils/AnalysisPrinterBase.h
+include/phasar/Utils/AnalysisProperties.h
+include/phasar/Utils/Average.h
 include/phasar/Utils/BitVectorSet.h
+include/phasar/Utils/BoxedPointer.h
+include/phasar/Utils/ByRef.h
+include/phasar/Utils/ChronoUtils.h
+include/phasar/Utils/DFAMinimizer.h
+include/phasar/Utils/DOTGraph.h
 include/phasar/Utils/DebugOutput.h
+include/phasar/Utils/DefaultAnalysisPrinter.h
+include/phasar/Utils/DefaultValue.h
 include/phasar/Utils/EnumFlags.h
 include/phasar/Utils/EquivalenceClassMap.h
+include/phasar/Utils/ErrorHandling.h
+include/phasar/Utils/GraphTraits.h
 include/phasar/Utils/IO.h
+include/phasar/Utils/IotaIterator.h
+include/phasar/Utils/JoinLattice.h
 include/phasar/Utils/Logger.h
 include/phasar/Utils/MaybeUniquePtr.h
 include/phasar/Utils/MemoryResource.h
 include/phasar/Utils/NlohmannLogging.h
+include/phasar/Utils/NullAnalysisPrinter.h
+include/phasar/Utils/Nullable.h
+include/phasar/Utils/OnTheFlyAnalysisPrinter.h
 include/phasar/Utils/PAMM.h
 include/phasar/Utils/PAMMMacros.h
+include/phasar/Utils/Printer.h
+include/phasar/Utils/RepeatIterator.h
 include/phasar/Utils/SeverityLevel.def
 include/phasar/Utils/Soundness.def
 include/phasar/Utils/Soundness.h
 include/phasar/Utils/StableVector.h
 include/phasar/Utils/Table.h
+include/phasar/Utils/Timer.h
 include/phasar/Utils/TypeTraits.h
 include/phasar/Utils/Utilities.h
-lib/cmake/nlohmann_json/nlohmann_jsonConfig.cmake
-lib/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake
-lib/cmake/nlohmann_json/nlohmann_jsonTargets.cmake
 lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorConfig.cmake
 lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorConfigVersion.cmake
 lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorTargets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorTargets.cmake
+lib/cmake/phasar/PhasarExports-%%CMAKE_BUILD_TYPE%%.cmake
+lib/cmake/phasar/PhasarExports.cmake
 lib/cmake/phasar/phasarConfig.cmake
 lib/cmake/phasar/phasarConfigVersion.cmake
-lib/cmake/phasar/phasar_analysis_strategy-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_analysis_strategy-targets.cmake
-lib/cmake/phasar/phasar_clang-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_clang-targets.cmake
-lib/cmake/phasar/phasar_config-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_config-targets.cmake
-lib/cmake/phasar/phasar_controlflow-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_controlflow-targets.cmake
-lib/cmake/phasar/phasar_controller-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_controller-targets.cmake
-lib/cmake/phasar/phasar_db-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_db-targets.cmake
-lib/cmake/phasar/phasar_ifdside-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_ifdside-targets.cmake
-lib/cmake/phasar/phasar_mono-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_mono-targets.cmake
-lib/cmake/phasar/phasar_pass-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_pass-targets.cmake
-lib/cmake/phasar/phasar_passes-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_passes-targets.cmake
-lib/cmake/phasar/phasar_phasarllvm_utils-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_phasarllvm_utils-targets.cmake
-lib/cmake/phasar/phasar_pointer-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_pointer-targets.cmake
-lib/cmake/phasar/phasar_taintconfig-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_taintconfig-targets.cmake
-lib/cmake/phasar/phasar_typehierarchy-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_typehierarchy-targets.cmake
-lib/cmake/phasar/phasar_utils-targets-%%CMAKE_BUILD_TYPE%%.cmake
-lib/cmake/phasar/phasar_utils-targets.cmake
 lib/libnlohmann_json_schema_validator.so
-lib/libnlohmann_json_schema_validator.so.1
-lib/libnlohmann_json_schema_validator.so.2.1.0
+lib/libnlohmann_json_schema_validator.so.2
+lib/libnlohmann_json_schema_validator.so.2.2.0
+lib/libphasar.so
 lib/libphasar_analysis_strategy.so
 lib/libphasar_clang.so
 lib/libphasar_config.so
 lib/libphasar_controlflow.so
 lib/libphasar_controller.so
 lib/libphasar_db.so
-lib/libphasar_ifdside.so
+lib/libphasar_llvm.so
+lib/libphasar_llvm_controlflow.so
+lib/libphasar_llvm_db.so
+lib/libphasar_llvm_ifdside.so
+lib/libphasar_llvm_pathsensitivity.so
+lib/libphasar_llvm_pointer.so
+lib/libphasar_llvm_typehierarchy.so
+lib/libphasar_llvm_utils.so
 lib/libphasar_mono.so
 lib/libphasar_pass.so
 lib/libphasar_passes.so
-lib/libphasar_phasarllvm_utils.so
 lib/libphasar_pointer.so
 lib/libphasar_taintconfig.so
-lib/libphasar_typehierarchy.so
 lib/libphasar_utils.so
-libdata/pkgconfig/nlohmann_json.pc
-@dir bin/CodeGen/output
-@dir bin/CodeGen/template
+share/cmake/nlohmann_json/nlohmann_jsonConfig.cmake
+share/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake
+share/cmake/nlohmann_json/nlohmann_jsonTargets.cmake
+share/pkgconfig/nlohmann_json.pc