From nobody Sun Apr 14 19:07:49 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4VHfvT6zxRz5GtD9; Sun, 14 Apr 2024 19:07:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4VHfvT4cjBz4g3k; Sun, 14 Apr 2024 19:07:49 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1713121669; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=kWuD/Bk/IisJPvj0XIClAicU88iQhC+iQvj+fFYRCJc=; b=F8fTfihZLQo/xvRjjP3snTfmr/nSYZNchiFWK1/iY1whXrSW4BHnMRrInLQ+nkl6mDL9KB DiGnL03mow0mGI2H78j4w+PmQzxUph6N/H2hkWc9u2lnmZYNayfVUSEl+gmqzPY5u6sJk9 DZTmkBnxBkFBQXwyJK6pFs2guHvG9czPyX7xRBuEiXxwFA6KioZLTCXAKdH+SVYp/iG0Ol L5GhL2fEk8L8UuiTBnkH0S+zMj02Jo9mdbxWMHCzwfrw8e+I4/2aUSWl3s4NV0eVYnvipj 9xEoPm+E+jSt/Jc/ksXZqmj/eW7WqPbEtZaxqwx6Aym4kGnftlH8VCmcPyXdEA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1713121669; a=rsa-sha256; cv=none; b=lVkCF03Q/WNQe89d1kFcD6/vLMewwl3rKLH7qS2zSo3gOVvMcLXPw9lmwo7gNifoF6lq+a FyZiwr7Ody5UGYcYQd0NRb7wZyd8pgtUEy25+XfPxlfeiQ4kSabxMIqeiAlvJMZYtwIVbp bhpM565aYfSrFeeib+bE83ZOKtl6Aa2z+9iUuPZ82bcVrzfOKf+OwZ2IVoxYJOmn+41rn3 u8wSZVLJYfVR76MEFDiiYKyEHiYWeyClNF21ZsNyV63HjJYdS0cqZ8NVnBy1mtZiysj0Wr Rh2lvLDjoF2b3PhRDnfFF/bonK+S7YCIAlPB6VXJs+v07puzrNs9wuam9Rs1zw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1713121669; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=kWuD/Bk/IisJPvj0XIClAicU88iQhC+iQvj+fFYRCJc=; b=wuA806OhOTXLzo3YMw4FEJCe02txhv0f+kQ9YFnd/DMBf7CBV2ZlL4d24VhJUjZ8c1cZ0q xvcRK79BJMvlrqVecdXnnABQ2fBeg49X9ctt3l0o/AA10WmJybWHuW61ckVfQYzLl6H71U kBa6RH6ic9DFDs3fUVIHaQQqZdZLRw7vEQ/YYrR9+5PAXMCwBdhx67zdT5VcSZ7iHIwLDm qta5ifYaVVVFyWoyW2DMHD7Qg8xbbO7gw9hFYHd3NZPWZ7bLBFaiip+kjri+e/+80EFSNr YzKg+QIYr2WBvze8oXnSckumM5KFiUQtW9IogNKspYDwg8++aE3/YqN1UMfhKA== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4VHfvT42zFzSfr; Sun, 14 Apr 2024 19:07:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 43EJ7nKT038541; Sun, 14 Apr 2024 19:07:49 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 43EJ7nNh038538; Sun, 14 Apr 2024 19:07:49 GMT (envelope-from git) Date: Sun, 14 Apr 2024 19:07:49 GMT Message-Id: <202404141907.43EJ7nNh038538@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 465da7ad9dc0 - main - devel/phasar: update 1222 =?utf-8?Q?=E2=86=92?= 2403 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 465da7ad9dc0189d549843a444fdd96cd9175285 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=465da7ad9dc0189d549843a444fdd96cd9175285 commit 465da7ad9dc0189d549843a444fdd96cd9175285 Author: Yuri Victorovich AuthorDate: 2024-04-14 16:13:12 +0000 Commit: Yuri Victorovich 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 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