diff --git a/devel/phasar/Makefile b/devel/phasar/Makefile index a85a510db043..1cedcc4db921 100644 --- a/devel/phasar/Makefile +++ b/devel/phasar/Makefile @@ -1,50 +1,54 @@ PORTNAME= phasar DISTVERSIONPREFIX= v -DISTVERSION= 2503 -PORTREVISION= 2 +DISTVERSION= 2604 CATEGORIES= devel science MAINTAINER= yuri@FreeBSD.org COMMENT= LLVM-based static analysis framework WWW= https://phasar.org \ https://github.com/secure-software-engineering/phasar LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt LIB_DEPENDS= libboost_graph.so:devel/boost-libs \ - libcurl.so:ftp/curl + libcurl.so:ftp/curl \ + libLLVM-16.so:devel/llvm16 \ + libzstd.so:archivers/zstd RUN_DEPENDS= bash:shells/bash TEST_DEPENDS= googletest>0:devel/googletest -USES= cmake:testing llvm:lib,min=15,max=15 localbase:ldflags python shebangfix sqlite # compiler:c++17-lang +USES= cmake:testing llvm:build,min=20,max=20,noexport localbase:ldflags python shebangfix sqlite compiler:c++20-lang USE_LDCONFIG= yes -USE_GITHUB= yes -GH_ACCOUNT= secure-software-engineering -GH_TUPLE= nlohmann:json:9cca280:json/external/json \ - pboettch:json-schema-validator:349cba9: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 CMAKE_TESTING_ON= PHASAR_BUILD_UNITTESTS -CONFLICTS_INSTALL= nlohmann-json # see https://github.com/secure-software-engineering/phasar/issues/715 +.include + +# The C++20 code requires a newer clang than LLVM 16; compile with LLVM 20 +# while still linking against the LLVM 16 libraries. +CMAKE_ARGS+= -DLLVM_DIR=${LOCALBASE}/llvm16/lib/cmake/llvm + +CC= ${LOCALBASE}/llvm20/bin/clang +CPP= ${LOCALBASE}/llvm20/bin/clang-cpp +CXX= ${LOCALBASE}/llvm20/bin/clang++ + +USE_GITHUB= yes +GH_ACCOUNT= secure-software-engineering +GH_TUPLE= nlohmann:json:9cca280:json/external/json \ + pboettch:json-schema-validator:349cba9:json_schema_validator/external/json-schema-validator -post-patch: # workaround for https://github.com/secure-software-engineering/phasar/issues/564 - # fix up the config directory location - @${REINPLACE_CMD} \ - -e 's|std::string PhasarConfDir = std::string(EnvHome) + "/.config/phasar/"|std::string PhasarConfDir = "${PREFIX}/etc/phasar/"|; s|if (EnvHome) {|if (true) {|' \ - ${WRKSRC}/lib/Config/Configuration.cpp +CONFLICTS_INSTALL=nlohmann-json # see https://github.com/secure-software-engineering/phasar/issues/715 post-install: # workaround for https://github.com/secure-software-engineering/phasar/issues/566 @${RM} -r \ ${STAGEDIR}${PREFIX}/include/gtest \ ${STAGEDIR}${PREFIX}/include/nlohmann -# tests as of 2503: 91% tests passed, 5 tests failed out of 54, see https://github.com/secure-software-engineering/phasar/issues/761 +# tests as of 2604: 93% tests passed, 4 tests failed out of 56, see https://github.com/secure-software-engineering/phasar/issues/761 -.include +.include diff --git a/devel/phasar/distinfo b/devel/phasar/distinfo index 4afbc13c82eb..d6379fd96538 100644 --- a/devel/phasar/distinfo +++ b/devel/phasar/distinfo @@ -1,7 +1,7 @@ -TIMESTAMP = 1742108395 -SHA256 (secure-software-engineering-phasar-v2503_GH0.tar.gz) = 3f46464ddb5451886f4926a144d44333f9f5320be01fbde705186be2fec230c7 -SIZE (secure-software-engineering-phasar-v2503_GH0.tar.gz) = 7520485 +TIMESTAMP = 1784391714 +SHA256 (secure-software-engineering-phasar-v2604_GH0.tar.gz) = dc21ef7fd385860a1c701f1b99f97928a93dcbedd935344f569ddbabb59c0c40 +SIZE (secure-software-engineering-phasar-v2604_GH0.tar.gz) = 7707892 SHA256 (nlohmann-json-9cca280_GH0.tar.gz) = 68c2ca874e6ee3940938ba409e65f231684784aabf4041094d4c02fa4fa3bc2b SIZE (nlohmann-json-9cca280_GH0.tar.gz) = 8053755 SHA256 (pboettch-json-schema-validator-349cba9_GH0.tar.gz) = e2cf35fc41ffa87c043bb8285e1aeb45d32f4a9f393ed7f744a5938cf3bfcbee SIZE (pboettch-json-schema-validator-349cba9_GH0.tar.gz) = 77890 diff --git a/devel/phasar/files/patch-CMakeLists.txt b/devel/phasar/files/patch-CMakeLists.txt index fe96d54d1b47..29692d62a8e9 100644 --- a/devel/phasar/files/patch-CMakeLists.txt +++ b/devel/phasar/files/patch-CMakeLists.txt @@ -1,34 +1,20 @@ ---- CMakeLists.txt.orig 2025-03-14 12:56:24 UTC +--- CMakeLists.txt.orig 2026-04-10 16:03:32 UTC +++ CMakeLists.txt -@@ -125,7 +125,7 @@ if (NOT "${PHASAR_TARGET_ARCH_INTERNAL}" STREQUAL "") +@@ -122,7 +122,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() -@@ -248,11 +248,13 @@ set(PHASAR_DEPS_INSTALL_DESTINATION ${CMAKE_INSTALL_LI - set(PHASAR_DEPS_INSTALL_DESTINATION ${CMAKE_INSTALL_LIBDIR}/phasar/deps) - - # Filesystem -+if (FALSE) - if (LLVM_ENABLE_LIBCXX) - set(PHASAR_STD_FILESYSTEM c++fs) - else() - set(PHASAR_STD_FILESYSTEM stdc++fs) - endif() -+endif() - - # Config - set(PHASAR_CUSTOM_CONFIG_INSTALL_DIR "" CACHE STRING "If set, customizes the directory, where configuration files for PhASAR are installed (default is ${CMAKE_INSTALL_PREFIX}/.phasar-config)") -@@ -407,6 +409,8 @@ if (PHASAR_BUILD_UNITTESTS) +@@ -449,6 +449,8 @@ if (PHASAR_BUILD_UNITTESTS) # Add Phasar unittests and build all IR test code if (PHASAR_BUILD_UNITTESTS) message("Phasar unittests") + + find_package(GTest CONFIG REQUIRED) enable_testing() add_subdirectory(unittests) diff --git a/devel/phasar/files/patch-lib_Utils_DOTGraph.cpp b/devel/phasar/files/patch-lib_Utils_DOTGraph.cpp deleted file mode 100644 index 0cc92bdb2c3d..000000000000 --- a/devel/phasar/files/patch-lib_Utils_DOTGraph.cpp +++ /dev/null @@ -1,12 +0,0 @@ -- https://github.com/secure-software-engineering/phasar/issues/762 - ---- lib/Utils/DOTGraph.cpp.orig 2025-03-16 05:23:34 UTC -+++ lib/Utils/DOTGraph.cpp -@@ -23,6 +23,7 @@ - #include - #include - #include -+#include - #include - - namespace psr { diff --git a/devel/phasar/pkg-plist b/devel/phasar/pkg-plist index 5cc25da79866..1e8023cf3317 100644 --- a/devel/phasar/pkg-plist +++ b/devel/phasar/pkg-plist @@ -1,368 +1,417 @@ bin/DB/phasar-create-db-scheme.sql bin/DB/phasar-sql2cpp.py bin/phasar-cli bin/phasar-compile2llvmIR.py bin/phasar-mkconfig.sh bin/phasar-plot-pamm.py -%%ETCDIR%%/DOTGraphConfig.json -%%ETCDIR%%/README.txt -%%ETCDIR%%/TaintConfigSchema.json -%%ETCDIR%%/double-free-config.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 +.phasar-config/DOTGraphConfig.json +.phasar-config/README.txt +.phasar-config/TaintConfigSchema.json +.phasar-config/double-free-config.json +.phasar-config/glibc_function_list_v1-04.05.17.conf +.phasar-config/llvm_intrinsics_function_list_v1-04.05.17.conf +.phasar-config/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/CFG.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/CallGraphData.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.def include/phasar/ControlFlow/SpecialMemberFunctionType.h include/phasar/DB.h -include/phasar/DB/Hexastore.h +include/phasar/DB/ProjectIRDB.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/GenericFlowFunction.h include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h include/phasar/DataFlow/IfdsIde/IFDSIDESolverConfig.h include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h +include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h include/phasar/DataFlow/IfdsIde/InitialSeeds.h include/phasar/DataFlow/IfdsIde/Solver/Compressor.h include/phasar/DataFlow/IfdsIde/Solver/ESGEdgeKind.h include/phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCache.h include/phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCacheStats.h include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheNG.h include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheStats.h include/phasar/DataFlow/IfdsIde/Solver/FlowFunctionCache.h include/phasar/DataFlow/IfdsIde/Solver/FlowFunctionCacheStats.h include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.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/IdBasedSolverResults.h include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolver.h include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverBase.h include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverResults.h include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverStats.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/Solver/StaticIDESolverConfig.h include/phasar/DataFlow/IfdsIde/Solver/WorkListTraits.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/IRDomain.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.h include/phasar/PhasarLLVM/ControlFlow.h include/phasar/PhasarLLVM/ControlFlow/EntryFunctionUtils.h include/phasar/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.h include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardCFG.h include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardICFG.h include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCallGraph.h include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCallGraphBuilder.h include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h include/phasar/PhasarLLVM/ControlFlow/LLVMVFTableProvider.h include/phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.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/PrecomputedResolver.h include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h include/phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h +include/phasar/PhasarLLVM/ControlFlow/Resolver/VTAResolver.h include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedCFG.h include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedCFGProvider.h include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedICFG.h include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedICFGView.h +include/phasar/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.h +include/phasar/PhasarLLVM/ControlFlow/VTA/TypePropagator.h include/phasar/PhasarLLVM/DB.h include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h include/phasar/PhasarLLVM/DataFlow.h -include/phasar/PhasarLLVM/DataFlow/IfdsIde/FunctionDataFlowFacts.h +include/phasar/PhasarLLVM/DataFlow/IfdsIde/CFLFieldSensIFDSProblem.h +include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h +include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAllocSitesAwareIDEProblem.h +include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h +include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFlowFunctions.h -include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMSolverResults.h include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h -include/phasar/PhasarLLVM/DataFlow/IfdsIde/LibCSummary.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/IDEFeatureTaintAnalysis.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/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.h +include/phasar/PhasarLLVM/Pointer/AliasAnalysisView.h +include/phasar/PhasarLLVM/Pointer/CachedLLVMAliasIterator.h +include/phasar/PhasarLLVM/Pointer/FilteredLLVMAliasIterator.h include/phasar/PhasarLLVM/Pointer/FilteredLLVMAliasSet.h -include/phasar/PhasarLLVM/Pointer/LLVMAliasGraph.h include/phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h include/phasar/PhasarLLVM/Pointer/LLVMAliasSet.h include/phasar/PhasarLLVM/Pointer/LLVMAliasSetData.h -include/phasar/PhasarLLVM/Pointer/LLVMBasedAliasAnalysis.h +include/phasar/PhasarLLVM/Pointer/LLVMBasePointerAliasSet.h +include/phasar/PhasarLLVM/Pointer/LLVMPointerAssignmentGraph.h +include/phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h include/phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.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/Pointer/LLVMUnionFindAA.h +include/phasar/PhasarLLVM/Pointer/LLVMUnionFindAliasSet.h +include/phasar/PhasarLLVM/Pointer/SVF/SVFPointsToSet.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/DIBasedTypeHierarchyData.h -include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h -include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchyData.h include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTable.h include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTableData.h include/phasar/PhasarLLVM/Utils.h +include/phasar/PhasarLLVM/Utils/AllocatedTypes.h include/phasar/PhasarLLVM/Utils/Annotation.h include/phasar/PhasarLLVM/Utils/BasicBlockOrdering.h include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.def include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h +include/phasar/PhasarLLVM/Utils/LLVMAnalysisPrinter.h include/phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h include/phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h +include/phasar/PhasarLLVM/Utils/LLVMFunctionDataFlowFacts.h include/phasar/PhasarLLVM/Utils/LLVMIRToSrc.h include/phasar/PhasarLLVM/Utils/LLVMShorthands.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/AliasIterator.h include/phasar/Pointer/AliasResult.def include/phasar/Pointer/AliasResult.h include/phasar/Pointer/AliasSetOwner.h +include/phasar/Pointer/BottomupUnionFindAA.h +include/phasar/Pointer/CallingContextConstructor.h +include/phasar/Pointer/PointerAssignmentGraph.h include/phasar/Pointer/PointsToInfo.h include/phasar/Pointer/PointsToInfoBase.h +include/phasar/Pointer/PointsToIterator.h +include/phasar/Pointer/RawAliasSet.h +include/phasar/Pointer/UnionFindAA.h +include/phasar/Pointer/UnionFindAAType.def +include/phasar/Pointer/UnionFindAliasAnalysisType.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/AlignNum.h include/phasar/Utils/AnalysisPrinterBase.h include/phasar/Utils/AnalysisProperties.h include/phasar/Utils/Average.h +include/phasar/Utils/BitSet.h include/phasar/Utils/BitVectorSet.h include/phasar/Utils/BoxedPointer.h include/phasar/Utils/ByRef.h +include/phasar/Utils/CRTPUtils.h include/phasar/Utils/ChronoUtils.h +include/phasar/Utils/Compressor.h include/phasar/Utils/DFAMinimizer.h include/phasar/Utils/DOTGraph.h include/phasar/Utils/DebugOutput.h include/phasar/Utils/DefaultAnalysisPrinter.h +include/phasar/Utils/DefaultAnalysisPrinterSelector.h include/phasar/Utils/DefaultValue.h include/phasar/Utils/EmptyBaseOptimizationUtils.h include/phasar/Utils/EnumFlags.h include/phasar/Utils/EquivalenceClassMap.h include/phasar/Utils/ErrorHandling.h +include/phasar/Utils/Fn.h +include/phasar/Utils/FunctionDataFlowFacts.h include/phasar/Utils/GraphTraits.h +include/phasar/Utils/HashUtils.h include/phasar/Utils/IO.h include/phasar/Utils/InitPhasar.h include/phasar/Utils/IotaIterator.h include/phasar/Utils/JoinLattice.h +include/phasar/Utils/LibCSummary.h +include/phasar/Utils/LibrarySummary.h include/phasar/Utils/Logger.h include/phasar/Utils/Macros.h +include/phasar/Utils/MapUtils.h include/phasar/Utils/MaybeUniquePtr.h +include/phasar/Utils/MemoryLocationAllocator.h include/phasar/Utils/MemoryResource.h include/phasar/Utils/NlohmannLogging.h +include/phasar/Utils/NonNullPtr.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/PointerUtils.h include/phasar/Utils/Printer.h include/phasar/Utils/RepeatIterator.h +include/phasar/Utils/SCCGeneric.h +include/phasar/Utils/SCCId.h include/phasar/Utils/SemiRing.h include/phasar/Utils/SeverityLevel.def include/phasar/Utils/Soundness.def include/phasar/Utils/Soundness.h include/phasar/Utils/StableVector.h +include/phasar/Utils/StrongTypeDef.h include/phasar/Utils/Table.h include/phasar/Utils/TableWrappers.h include/phasar/Utils/Timer.h +include/phasar/Utils/TypeErasureUtils.h include/phasar/Utils/TypeTraits.h +include/phasar/Utils/TypedArray.h +include/phasar/Utils/TypedVector.h +include/phasar/Utils/Union.h +include/phasar/Utils/UnionFind.h include/phasar/Utils/Utilities.h +include/phasar/Utils/ValueCompressor.h +include/phasar/Utils/ValueIdMap.h lib/cmake/phasar/PhasarDepsExports-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/phasar/PhasarDepsExports.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/libphasar.so lib/libphasar_analysis_strategy.so -lib/libphasar_clang.so lib/libphasar_config.so lib/libphasar_controlflow.so -lib/libphasar_db.so +lib/libphasar_dataflow.so +lib/libphasar_dataflow_ifdside.so +lib/libphasar_dataflow_mono.so +lib/libphasar_dataflow_pathsensitivity.so +lib/libphasar_domain.so lib/libphasar_llvm.so lib/libphasar_llvm_controlflow.so +lib/libphasar_llvm_dataflow.so lib/libphasar_llvm_db.so +lib/libphasar_llvm_domain.so lib/libphasar_llvm_ifdside.so +lib/libphasar_llvm_mono.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_pointer.so lib/libphasar_taintconfig.so +lib/libphasar_typehierarchy.so lib/libphasar_utils.so lib/phasar/deps/include/nlohmann/adl_serializer.hpp lib/phasar/deps/include/nlohmann/byte_container_with_subtype.hpp lib/phasar/deps/include/nlohmann/detail/abi_macros.hpp lib/phasar/deps/include/nlohmann/detail/conversions/from_json.hpp lib/phasar/deps/include/nlohmann/detail/conversions/to_chars.hpp lib/phasar/deps/include/nlohmann/detail/conversions/to_json.hpp lib/phasar/deps/include/nlohmann/detail/exceptions.hpp lib/phasar/deps/include/nlohmann/detail/hash.hpp lib/phasar/deps/include/nlohmann/detail/input/binary_reader.hpp lib/phasar/deps/include/nlohmann/detail/input/input_adapters.hpp lib/phasar/deps/include/nlohmann/detail/input/json_sax.hpp lib/phasar/deps/include/nlohmann/detail/input/lexer.hpp lib/phasar/deps/include/nlohmann/detail/input/parser.hpp lib/phasar/deps/include/nlohmann/detail/input/position_t.hpp lib/phasar/deps/include/nlohmann/detail/iterators/internal_iterator.hpp lib/phasar/deps/include/nlohmann/detail/iterators/iter_impl.hpp lib/phasar/deps/include/nlohmann/detail/iterators/iteration_proxy.hpp lib/phasar/deps/include/nlohmann/detail/iterators/iterator_traits.hpp lib/phasar/deps/include/nlohmann/detail/iterators/json_reverse_iterator.hpp lib/phasar/deps/include/nlohmann/detail/iterators/primitive_iterator.hpp lib/phasar/deps/include/nlohmann/detail/json_custom_base_class.hpp lib/phasar/deps/include/nlohmann/detail/json_pointer.hpp lib/phasar/deps/include/nlohmann/detail/json_ref.hpp lib/phasar/deps/include/nlohmann/detail/macro_scope.hpp lib/phasar/deps/include/nlohmann/detail/macro_unscope.hpp lib/phasar/deps/include/nlohmann/detail/meta/call_std/begin.hpp lib/phasar/deps/include/nlohmann/detail/meta/call_std/end.hpp lib/phasar/deps/include/nlohmann/detail/meta/cpp_future.hpp lib/phasar/deps/include/nlohmann/detail/meta/detected.hpp lib/phasar/deps/include/nlohmann/detail/meta/identity_tag.hpp lib/phasar/deps/include/nlohmann/detail/meta/is_sax.hpp lib/phasar/deps/include/nlohmann/detail/meta/std_fs.hpp lib/phasar/deps/include/nlohmann/detail/meta/type_traits.hpp lib/phasar/deps/include/nlohmann/detail/meta/void_t.hpp lib/phasar/deps/include/nlohmann/detail/output/binary_writer.hpp lib/phasar/deps/include/nlohmann/detail/output/output_adapters.hpp lib/phasar/deps/include/nlohmann/detail/output/serializer.hpp lib/phasar/deps/include/nlohmann/detail/string_concat.hpp lib/phasar/deps/include/nlohmann/detail/string_escape.hpp lib/phasar/deps/include/nlohmann/detail/value_t.hpp lib/phasar/deps/include/nlohmann/json-schema.hpp lib/phasar/deps/include/nlohmann/json.hpp lib/phasar/deps/include/nlohmann/json_fwd.hpp lib/phasar/deps/include/nlohmann/ordered_map.hpp lib/phasar/deps/include/nlohmann/thirdparty/hedley/hedley.hpp lib/phasar/deps/include/nlohmann/thirdparty/hedley/hedley_undef.hpp lib/phasar/deps/lib/libnlohmann_json_schema_validator.so lib/phasar/deps/lib/libnlohmann_json_schema_validator.so.2 lib/phasar/deps/lib/libnlohmann_json_schema_validator.so.2.3.0