devel/phasar 2604_1 FreeBSD
LLVM-based static analysis framework
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
97a84ef467- License
- MIT
- Categories
- devel, science
- Package size
- 1737.2 KiB, 9055.3 KiB installed
Description
PhASAR is a LLVM-based static analysis framework written in C++. It allows users to specify arbitrary data-flow problems which are then solved in a fully-automated manner on the specified LLVM IR target code. Computing points-to information, call-graph(s), etc. is done by the framework, thus you can focus on what matters.
Install
Binary package:
pkg install phasarFrom the ports tree:
cd /usr/ports/devel/phasar/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= phasar>0:devel/phasar
LIB_DEPENDS= libphasar.so:devel/phasarPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 2604_1 | 2604_1 | - | 2503_1 | 2604_1 |
| FreeBSD:14:quarterly | 2604_1 | 2604_1 | n/a | 2503_1 | 2604_1 |
| FreeBSD:15:latest | 2604_1 | 2604_1 | n/a | 2503_1 | 2503_1 |
| FreeBSD:15:quarterly | 2604_1 | 2604_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 2604_1 | 2604_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 4
libboost_graph.so: devel/boost-libslibcurl.so: ftp/curllibLLVM-16.so: devel/llvm16libzstd.so: archivers/zstd
Runtime 1
bash: shells/bash
Test 1
googletest>0: devel/googletest
The full lists below include those, and their dependencies in turn.
Build dependencies 30
- archivers/brotli
- archivers/liblz4
- archivers/zstd
- databases/sqlite3
- devel/boost-libs
- devel/cmake-core
- devel/gettext-runtime
- devel/icu
- devel/jsoncpp
- devel/libedit
- devel/libffi
- devel/libunistring
- devel/libuv
- devel/llvm16
- devel/llvm20
- devel/ninja
- devel/readline
- dns/libidn2
- dns/libpsl
- ftp/curl
- lang/python312
- lang/tcl86
- math/libtommath
- math/mpdecimal
- ports-mgmt/pkg
- print/indexinfo
- security/libssh2
- security/rhash
- textproc/expat2
- www/libnghttp2
Run dependencies 24
- archivers/brotli
- archivers/liblz4
- archivers/zstd
- databases/sqlite3
- devel/boost-libs
- devel/gettext-runtime
- devel/icu
- devel/libedit
- devel/libffi
- devel/libunistring
- devel/llvm16
- devel/readline
- dns/libidn2
- dns/libpsl
- ftp/curl
- lang/python312
- lang/tcl86
- math/libtommath
- math/mpdecimal
- print/indexinfo
- security/libssh2
- shells/bash
- textproc/expat2
- www/libnghttp2
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake:testing llvm:build,min=20,max=20,noexport localbase:ldflags python shebangfix sqlite compiler:c++20-lang
- Service scripts
- none
- Conflicts with
- nlohmann-json
Files
pkg-plist 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
- .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/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/ProjectIRDB.h
- include/phasar/DB/ProjectIRDBBase.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/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
The first 100 are listed.
distinfo 3
| File | Size | SHA256 |
|---|---|---|
| secure-software-engineering-phasar-v2604_GH0.tar.gz | 7.707892e+06 | dc21ef7fd385860a1c701f1b99f97928a93dcbedd935344f569ddbabb59c0c40 |
| nlohmann-json-9cca280_GH0.tar.gz | 8.053755e+06 | 68c2ca874e6ee3940938ba409e65f231684784aabf4041094d4c02fa4fa3bc2b |
| pboettch-json-schema-validator-349cba9_GH0.tar.gz | 77890 | e2cf35fc41ffa87c043bb8285e1aeb45d32f4a9f393ed7f744a5938cf3bfcbee |