notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photos
All times are UTC
Ukraine
The recently imposed "must be logged in" restriction is a response to increased bot traffic on the site. This affects search, commits, and vuxml pages.
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
After the ports freeze to fix some stuff, the freeze is over. I have some work to do before FreshPorts can start processing commits again before it can start processing again. I've created an issue for that.
Port details
phasar LLVM-based static analysis framework
2604 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2503_2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-01-16 05:39:08
Last Update: 2026-07-18 18:10:43
Commit Hash: 2fc087a
Also Listed In: science
License: MIT
WWW:
https://phasar.org
https://github.com/secure-software-engineering/phasar
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.
HomepageHomepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (424 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/phasar-2604/catalog.mk
  3. /usr/local/share/licenses/phasar-2604/LICENSE
  4. /usr/local/share/licenses/phasar-2604/MIT
  5. bin/DB/phasar-create-db-scheme.sql
  6. bin/DB/phasar-sql2cpp.py
  7. bin/phasar-cli
  8. bin/phasar-compile2llvmIR.py
  9. bin/phasar-mkconfig.sh
  10. bin/phasar-plot-pamm.py
  11. .phasar-config/DOTGraphConfig.json
  12. .phasar-config/README.txt
  13. .phasar-config/TaintConfigSchema.json
  14. .phasar-config/double-free-config.json
  15. .phasar-config/glibc_function_list_v1-04.05.17.conf
  16. .phasar-config/llvm_intrinsics_function_list_v1-04.05.17.conf
  17. .phasar-config/phasar-source-sink-function.json
  18. include/phasar.h
  19. include/phasar/AnalysisStrategy.h
  20. include/phasar/AnalysisStrategy/AnalysisSetup.h
  21. include/phasar/AnalysisStrategy/DemandDrivenAnalysis.h
  22. include/phasar/AnalysisStrategy/IncrementalUpdateAnalysis.h
  23. include/phasar/AnalysisStrategy/ModuleWiseAnalysis.h
  24. include/phasar/AnalysisStrategy/Strategies.def
  25. include/phasar/AnalysisStrategy/Strategies.h
  26. include/phasar/AnalysisStrategy/VariationalAnalysis.h
  27. include/phasar/Config.h
  28. include/phasar/Config/Configuration.h
  29. include/phasar/Config/phasar-config.h
  30. include/phasar/ControlFlow.h
  31. include/phasar/ControlFlow/CFG.h
  32. include/phasar/ControlFlow/CFGBase.h
  33. include/phasar/ControlFlow/CallGraph.h
  34. include/phasar/ControlFlow/CallGraphAnalysisType.def
  35. include/phasar/ControlFlow/CallGraphAnalysisType.h
  36. include/phasar/ControlFlow/CallGraphBase.h
  37. include/phasar/ControlFlow/CallGraphData.h
  38. include/phasar/ControlFlow/ICFG.h
  39. include/phasar/ControlFlow/ICFGBase.h
  40. include/phasar/ControlFlow/SparseCFGBase.h
  41. include/phasar/ControlFlow/SparseCFGProvider.h
  42. include/phasar/ControlFlow/SpecialMemberFunctionType.def
  43. include/phasar/ControlFlow/SpecialMemberFunctionType.h
  44. include/phasar/DB.h
  45. include/phasar/DB/ProjectIRDB.h
  46. include/phasar/DB/ProjectIRDBBase.h
  47. include/phasar/DataFlow.h
  48. include/phasar/DataFlow/IfdsIde/DefaultEdgeFunctionSingletonCache.h
  49. include/phasar/DataFlow/IfdsIde/EdgeFunction.h
  50. include/phasar/DataFlow/IfdsIde/EdgeFunctionSingletonCache.h
  51. include/phasar/DataFlow/IfdsIde/EdgeFunctionStats.h
  52. include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h
  53. include/phasar/DataFlow/IfdsIde/EdgeFunctions.h
  54. include/phasar/DataFlow/IfdsIde/EntryPointUtils.h
  55. include/phasar/DataFlow/IfdsIde/FlowFunctions.h
  56. include/phasar/DataFlow/IfdsIde/GenericFlowFunction.h
  57. include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
  58. include/phasar/DataFlow/IfdsIde/IFDSIDESolverConfig.h
  59. include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
  60. include/phasar/DataFlow/IfdsIde/IfdsIdeDomain.h
  61. include/phasar/DataFlow/IfdsIde/InitialSeeds.h
  62. include/phasar/DataFlow/IfdsIde/Solver/Compressor.h
  63. include/phasar/DataFlow/IfdsIde/Solver/ESGEdgeKind.h
  64. include/phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCache.h
  65. include/phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCacheStats.h
  66. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h
  67. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheNG.h
  68. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheStats.h
  69. include/phasar/DataFlow/IfdsIde/Solver/FlowFunctionCache.h
  70. include/phasar/DataFlow/IfdsIde/Solver/FlowFunctionCacheStats.h
  71. include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h
  72. include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
  73. include/phasar/DataFlow/IfdsIde/Solver/IDESolverAPIMixin.h
  74. include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
  75. include/phasar/DataFlow/IfdsIde/Solver/IdBasedSolverResults.h
  76. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolver.h
  77. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverBase.h
  78. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverResults.h
  79. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverStats.h
  80. include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
  81. include/phasar/DataFlow/IfdsIde/Solver/PathAwareIDESolver.h
  82. include/phasar/DataFlow/IfdsIde/Solver/PathEdge.h
  83. include/phasar/DataFlow/IfdsIde/Solver/StaticIDESolverConfig.h
  84. include/phasar/DataFlow/IfdsIde/Solver/WorkListTraits.h
  85. include/phasar/DataFlow/IfdsIde/SolverResults.h
  86. include/phasar/DataFlow/Mono/Contexts/CallStringCTX.h
  87. include/phasar/DataFlow/Mono/InterMonoProblem.h
  88. include/phasar/DataFlow/Mono/IntraMonoProblem.h
  89. include/phasar/DataFlow/Mono/Solver/InterMonoSolver.h
  90. include/phasar/DataFlow/Mono/Solver/IntraMonoSolver.h
  91. include/phasar/DataFlow/PathSensitivity/ExplodedSuperGraph.h
  92. include/phasar/DataFlow/PathSensitivity/FlowPath.h
  93. include/phasar/DataFlow/PathSensitivity/PathSensitivityConfig.h
  94. include/phasar/DataFlow/PathSensitivity/PathSensitivityManager.h
  95. include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerBase.h
  96. include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerMixin.h
  97. include/phasar/DataFlow/PathSensitivity/PathTracingFilter.h
  98. include/phasar/Domain.h
  99. include/phasar/Domain/AnalysisDomain.h
  100. include/phasar/Domain/BinaryDomain.h
  101. include/phasar/Domain/IRDomain.h
  102. include/phasar/Domain/LatticeDomain.h
  103. include/phasar/PhasarClang.h
  104. include/phasar/PhasarClang/ClangController.h
  105. include/phasar/PhasarClang/RandomChangeASTConsumer.h
  106. include/phasar/PhasarClang/RandomChangeFrontendAction.h
  107. include/phasar/PhasarClang/RandomChangeVisitor.h
  108. include/phasar/PhasarLLVM.h
  109. include/phasar/PhasarLLVM/ControlFlow.h
  110. include/phasar/PhasarLLVM/ControlFlow/EntryFunctionUtils.h
  111. include/phasar/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.h
  112. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardCFG.h
  113. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardICFG.h
  114. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h
  115. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCallGraph.h
  116. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCallGraphBuilder.h
  117. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h
  118. include/phasar/PhasarLLVM/ControlFlow/LLVMVFTableProvider.h
  119. include/phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h
  120. include/phasar/PhasarLLVM/ControlFlow/Resolver/NOResolver.h
  121. include/phasar/PhasarLLVM/ControlFlow/Resolver/OTFResolver.h
  122. include/phasar/PhasarLLVM/ControlFlow/Resolver/PrecomputedResolver.h
  123. include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
  124. include/phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h
  125. include/phasar/PhasarLLVM/ControlFlow/Resolver/VTAResolver.h
  126. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedCFG.h
  127. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedCFGProvider.h
  128. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedICFG.h
  129. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedICFGView.h
  130. include/phasar/PhasarLLVM/ControlFlow/VTA/TypeAssignmentGraph.h
  131. include/phasar/PhasarLLVM/ControlFlow/VTA/TypePropagator.h
  132. include/phasar/PhasarLLVM/DB.h
  133. include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
  134. include/phasar/PhasarLLVM/DataFlow.h
  135. include/phasar/PhasarLLVM/DataFlow/IfdsIde/CFLFieldSensIFDSProblem.h
  136. include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h
  137. include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAllocSitesAwareIDEProblem.h
  138. include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultNoAliasIDEProblem.h
  139. include/phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultReachableAllocationSitesIDEProblem.h
  140. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFlowFunctions.h
  141. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMSolverResults.h
  142. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h
  143. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
  144. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
  145. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AllSanitized.h
  146. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
  147. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
  148. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
  149. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
  150. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
  151. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
  152. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
  153. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
  154. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
  155. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysis.h
  156. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/AllBot.h
  157. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/BinaryEdgeFunction.h
  158. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h
  159. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.h
  160. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h
  161. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h
  162. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
  163. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCADomain.h
  164. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/LCAEdgeFunctionComposer.h
  165. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h
  166. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h
  167. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h
  168. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
  169. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
  170. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
  171. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
  172. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
  173. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
  174. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
  175. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
  176. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
  177. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
  178. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
  179. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
  180. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
  181. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/CSTDFILEIOTypeStateDescription.h
  182. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h
  183. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFDescription.h
  184. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureHeapDescription.h
  185. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureMemoryDescription.h
  186. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/TypeStateDescription.h
  187. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
  188. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
  189. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
  190. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
  191. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
  192. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
  193. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/LLVMPathConstraints.h
  194. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitivityConfig.h
  195. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitvityManager.h
  196. include/phasar/PhasarLLVM/Domain.h
  197. include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
  198. include/phasar/PhasarLLVM/HelperAnalyses.h
  199. include/phasar/PhasarLLVM/HelperAnalysisConfig.h
  200. include/phasar/PhasarLLVM/Passes.h
  201. include/phasar/PhasarLLVM/Passes/ExampleModulePass.h
  202. include/phasar/PhasarLLVM/Passes/GeneralStatisticsAnalysis.h
  203. include/phasar/PhasarLLVM/Passes/ValueAnnotationPass.h
  204. include/phasar/PhasarLLVM/Pointer.h
  205. include/phasar/PhasarLLVM/Pointer/AliasAnalysisView.h
  206. include/phasar/PhasarLLVM/Pointer/CachedLLVMAliasIterator.h
  207. include/phasar/PhasarLLVM/Pointer/FilteredLLVMAliasIterator.h
  208. include/phasar/PhasarLLVM/Pointer/FilteredLLVMAliasSet.h
  209. include/phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h
  210. include/phasar/PhasarLLVM/Pointer/LLVMAliasSet.h
  211. include/phasar/PhasarLLVM/Pointer/LLVMAliasSetData.h
  212. include/phasar/PhasarLLVM/Pointer/LLVMBasePointerAliasSet.h
  213. include/phasar/PhasarLLVM/Pointer/LLVMPointerAssignmentGraph.h
  214. include/phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h
  215. include/phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.h
  216. include/phasar/PhasarLLVM/Pointer/LLVMUnionFindAA.h
  217. include/phasar/PhasarLLVM/Pointer/LLVMUnionFindAliasSet.h
  218. include/phasar/PhasarLLVM/Pointer/SVF/SVFPointsToSet.h
  219. include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
  220. include/phasar/PhasarLLVM/TaintConfig.h
  221. include/phasar/PhasarLLVM/TaintConfig/LLVMTaintConfig.h
  222. include/phasar/PhasarLLVM/TaintConfig/TaintConfigBase.h
  223. include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
  224. include/phasar/PhasarLLVM/TaintConfig/TaintConfigUtilities.h
  225. include/phasar/PhasarLLVM/TypeHierarchy.h
  226. include/phasar/PhasarLLVM/TypeHierarchy/DIBasedTypeHierarchy.h
  227. include/phasar/PhasarLLVM/TypeHierarchy/DIBasedTypeHierarchyData.h
  228. include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTable.h
  229. include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTableData.h
  230. include/phasar/PhasarLLVM/Utils.h
  231. include/phasar/PhasarLLVM/Utils/AllocatedTypes.h
  232. include/phasar/PhasarLLVM/Utils/Annotation.h
  233. include/phasar/PhasarLLVM/Utils/BasicBlockOrdering.h
  234. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.def
  235. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h
  236. include/phasar/PhasarLLVM/Utils/LLVMAnalysisPrinter.h
  237. include/phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h
  238. include/phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h
  239. include/phasar/PhasarLLVM/Utils/LLVMFunctionDataFlowFacts.h
  240. include/phasar/PhasarLLVM/Utils/LLVMIRToSrc.h
  241. include/phasar/PhasarLLVM/Utils/LLVMShorthands.h
  242. include/phasar/PhasarLLVM/Utils/LLVMSourceManager.h
  243. include/phasar/PhasarLLVM/Utils/SourceMgrPrinter.h
  244. include/phasar/PhasarPass.h
  245. include/phasar/PhasarPass/Options.h
  246. include/phasar/PhasarPass/PhasarPass.h
  247. include/phasar/PhasarPass/PhasarPrinterPass.h
  248. include/phasar/PhasarPass/RegisterPasses.h
  249. include/phasar/Pointer.h
  250. include/phasar/Pointer/AliasAnalysisType.def
  251. include/phasar/Pointer/AliasAnalysisType.h
  252. include/phasar/Pointer/AliasInfo.h
  253. include/phasar/Pointer/AliasInfoBase.h
  254. include/phasar/Pointer/AliasInfoTraits.h
  255. include/phasar/Pointer/AliasIterator.h
  256. include/phasar/Pointer/AliasResult.def
  257. include/phasar/Pointer/AliasResult.h
  258. include/phasar/Pointer/AliasSetOwner.h
  259. include/phasar/Pointer/BottomupUnionFindAA.h
  260. include/phasar/Pointer/CallingContextConstructor.h
  261. include/phasar/Pointer/PointerAssignmentGraph.h
  262. include/phasar/Pointer/PointsToInfo.h
  263. include/phasar/Pointer/PointsToInfoBase.h
  264. include/phasar/Pointer/PointsToIterator.h
  265. include/phasar/Pointer/RawAliasSet.h
  266. include/phasar/Pointer/UnionFindAA.h
  267. include/phasar/Pointer/UnionFindAAType.def
  268. include/phasar/Pointer/UnionFindAliasAnalysisType.h
  269. include/phasar/TypeHierarchy.h
  270. include/phasar/TypeHierarchy/TypeHierarchy.h
  271. include/phasar/TypeHierarchy/VFTable.h
  272. include/phasar/Utils.h
  273. include/phasar/Utils/AdjacencyList.h
  274. include/phasar/Utils/AlignNum.h
  275. include/phasar/Utils/AnalysisPrinterBase.h
  276. include/phasar/Utils/AnalysisProperties.h
  277. include/phasar/Utils/Average.h
  278. include/phasar/Utils/BitSet.h
  279. include/phasar/Utils/BitVectorSet.h
  280. include/phasar/Utils/BoxedPointer.h
  281. include/phasar/Utils/ByRef.h
  282. include/phasar/Utils/CRTPUtils.h
  283. include/phasar/Utils/ChronoUtils.h
  284. include/phasar/Utils/Compressor.h
  285. include/phasar/Utils/DFAMinimizer.h
  286. include/phasar/Utils/DOTGraph.h
  287. include/phasar/Utils/DebugOutput.h
  288. include/phasar/Utils/DefaultAnalysisPrinter.h
  289. include/phasar/Utils/DefaultAnalysisPrinterSelector.h
  290. include/phasar/Utils/DefaultValue.h
  291. include/phasar/Utils/EmptyBaseOptimizationUtils.h
  292. include/phasar/Utils/EnumFlags.h
  293. include/phasar/Utils/EquivalenceClassMap.h
  294. include/phasar/Utils/ErrorHandling.h
  295. include/phasar/Utils/Fn.h
  296. include/phasar/Utils/FunctionDataFlowFacts.h
  297. include/phasar/Utils/GraphTraits.h
  298. include/phasar/Utils/HashUtils.h
  299. include/phasar/Utils/IO.h
  300. include/phasar/Utils/InitPhasar.h
  301. include/phasar/Utils/IotaIterator.h
  302. include/phasar/Utils/JoinLattice.h
  303. include/phasar/Utils/LibCSummary.h
  304. include/phasar/Utils/LibrarySummary.h
  305. include/phasar/Utils/Logger.h
  306. include/phasar/Utils/Macros.h
  307. include/phasar/Utils/MapUtils.h
  308. include/phasar/Utils/MaybeUniquePtr.h
  309. include/phasar/Utils/MemoryLocationAllocator.h
  310. include/phasar/Utils/MemoryResource.h
  311. include/phasar/Utils/NlohmannLogging.h
  312. include/phasar/Utils/NonNullPtr.h
  313. include/phasar/Utils/NullAnalysisPrinter.h
  314. include/phasar/Utils/Nullable.h
  315. include/phasar/Utils/OnTheFlyAnalysisPrinter.h
  316. include/phasar/Utils/PAMM.h
  317. include/phasar/Utils/PAMMMacros.h
  318. include/phasar/Utils/PointerUtils.h
  319. include/phasar/Utils/Printer.h
  320. include/phasar/Utils/RepeatIterator.h
  321. include/phasar/Utils/SCCGeneric.h
  322. include/phasar/Utils/SCCId.h
  323. include/phasar/Utils/SemiRing.h
  324. include/phasar/Utils/SeverityLevel.def
  325. include/phasar/Utils/Soundness.def
  326. include/phasar/Utils/Soundness.h
  327. include/phasar/Utils/StableVector.h
  328. include/phasar/Utils/StrongTypeDef.h
  329. include/phasar/Utils/Table.h
  330. include/phasar/Utils/TableWrappers.h
  331. include/phasar/Utils/Timer.h
  332. include/phasar/Utils/TypeErasureUtils.h
  333. include/phasar/Utils/TypeTraits.h
  334. include/phasar/Utils/TypedArray.h
  335. include/phasar/Utils/TypedVector.h
  336. include/phasar/Utils/Union.h
  337. include/phasar/Utils/UnionFind.h
  338. include/phasar/Utils/Utilities.h
  339. include/phasar/Utils/ValueCompressor.h
  340. include/phasar/Utils/ValueIdMap.h
  341. lib/cmake/phasar/PhasarDepsExports-release.cmake
  342. lib/cmake/phasar/PhasarDepsExports.cmake
  343. lib/cmake/phasar/PhasarExports-release.cmake
  344. lib/cmake/phasar/PhasarExports.cmake
  345. lib/cmake/phasar/phasarConfig.cmake
  346. lib/cmake/phasar/phasarConfigVersion.cmake
  347. lib/libphasar.so
  348. lib/libphasar_analysis_strategy.so
  349. lib/libphasar_config.so
  350. lib/libphasar_controlflow.so
  351. lib/libphasar_dataflow.so
  352. lib/libphasar_dataflow_ifdside.so
  353. lib/libphasar_dataflow_mono.so
  354. lib/libphasar_dataflow_pathsensitivity.so
  355. lib/libphasar_domain.so
  356. lib/libphasar_llvm.so
  357. lib/libphasar_llvm_controlflow.so
  358. lib/libphasar_llvm_dataflow.so
  359. lib/libphasar_llvm_db.so
  360. lib/libphasar_llvm_domain.so
  361. lib/libphasar_llvm_ifdside.so
  362. lib/libphasar_llvm_mono.so
  363. lib/libphasar_llvm_pathsensitivity.so
  364. lib/libphasar_llvm_pointer.so
  365. lib/libphasar_llvm_typehierarchy.so
  366. lib/libphasar_llvm_utils.so
  367. lib/libphasar_pass.so
  368. lib/libphasar_passes.so
  369. lib/libphasar_pointer.so
  370. lib/libphasar_taintconfig.so
  371. lib/libphasar_typehierarchy.so
  372. lib/libphasar_utils.so
  373. lib/phasar/deps/include/nlohmann/adl_serializer.hpp
  374. lib/phasar/deps/include/nlohmann/byte_container_with_subtype.hpp
  375. lib/phasar/deps/include/nlohmann/detail/abi_macros.hpp
  376. lib/phasar/deps/include/nlohmann/detail/conversions/from_json.hpp
  377. lib/phasar/deps/include/nlohmann/detail/conversions/to_chars.hpp
  378. lib/phasar/deps/include/nlohmann/detail/conversions/to_json.hpp
  379. lib/phasar/deps/include/nlohmann/detail/exceptions.hpp
  380. lib/phasar/deps/include/nlohmann/detail/hash.hpp
  381. lib/phasar/deps/include/nlohmann/detail/input/binary_reader.hpp
  382. lib/phasar/deps/include/nlohmann/detail/input/input_adapters.hpp
  383. lib/phasar/deps/include/nlohmann/detail/input/json_sax.hpp
  384. lib/phasar/deps/include/nlohmann/detail/input/lexer.hpp
  385. lib/phasar/deps/include/nlohmann/detail/input/parser.hpp
  386. lib/phasar/deps/include/nlohmann/detail/input/position_t.hpp
  387. lib/phasar/deps/include/nlohmann/detail/iterators/internal_iterator.hpp
  388. lib/phasar/deps/include/nlohmann/detail/iterators/iter_impl.hpp
  389. lib/phasar/deps/include/nlohmann/detail/iterators/iteration_proxy.hpp
  390. lib/phasar/deps/include/nlohmann/detail/iterators/iterator_traits.hpp
  391. lib/phasar/deps/include/nlohmann/detail/iterators/json_reverse_iterator.hpp
  392. lib/phasar/deps/include/nlohmann/detail/iterators/primitive_iterator.hpp
  393. lib/phasar/deps/include/nlohmann/detail/json_custom_base_class.hpp
  394. lib/phasar/deps/include/nlohmann/detail/json_pointer.hpp
  395. lib/phasar/deps/include/nlohmann/detail/json_ref.hpp
  396. lib/phasar/deps/include/nlohmann/detail/macro_scope.hpp
  397. lib/phasar/deps/include/nlohmann/detail/macro_unscope.hpp
  398. lib/phasar/deps/include/nlohmann/detail/meta/call_std/begin.hpp
  399. lib/phasar/deps/include/nlohmann/detail/meta/call_std/end.hpp
  400. lib/phasar/deps/include/nlohmann/detail/meta/cpp_future.hpp
  401. lib/phasar/deps/include/nlohmann/detail/meta/detected.hpp
  402. lib/phasar/deps/include/nlohmann/detail/meta/identity_tag.hpp
  403. lib/phasar/deps/include/nlohmann/detail/meta/is_sax.hpp
  404. lib/phasar/deps/include/nlohmann/detail/meta/std_fs.hpp
  405. lib/phasar/deps/include/nlohmann/detail/meta/type_traits.hpp
  406. lib/phasar/deps/include/nlohmann/detail/meta/void_t.hpp
  407. lib/phasar/deps/include/nlohmann/detail/output/binary_writer.hpp
  408. lib/phasar/deps/include/nlohmann/detail/output/output_adapters.hpp
  409. lib/phasar/deps/include/nlohmann/detail/output/serializer.hpp
  410. lib/phasar/deps/include/nlohmann/detail/string_concat.hpp
  411. lib/phasar/deps/include/nlohmann/detail/string_escape.hpp
  412. lib/phasar/deps/include/nlohmann/detail/value_t.hpp
  413. lib/phasar/deps/include/nlohmann/json-schema.hpp
  414. lib/phasar/deps/include/nlohmann/json.hpp
  415. lib/phasar/deps/include/nlohmann/json_fwd.hpp
  416. lib/phasar/deps/include/nlohmann/ordered_map.hpp
  417. lib/phasar/deps/include/nlohmann/thirdparty/hedley/hedley.hpp
  418. lib/phasar/deps/include/nlohmann/thirdparty/hedley/hedley_undef.hpp
  419. lib/phasar/deps/lib/libnlohmann_json_schema_validator.so
  420. lib/phasar/deps/lib/libnlohmann_json_schema_validator.so.2
  421. lib/phasar/deps/lib/libnlohmann_json_schema_validator.so.2.3.0
  422. @owner
  423. @group
  424. @mode
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • phasar>0:devel/phasar
Conflicts:
CONFLICTS_INSTALL:
  • nlohmann-json
To install the port:
cd /usr/ports/devel/phasar/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/phasar
  • pkg install phasar
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: phasar
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1784391714 SHA256 (secure-software-engineering-phasar-v2604_GH0.tar.gz) = dc21ef7fd385860a1c701f1b99f97928a93dcbedd935344f569ddbabb59c0c40 SIZE (secure-software-engineering-phasar-v2604_GH0.tar.gz) = 7707892

Expand this list (4 items)

Collapse this list.

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

Collapse this list.


Packages (timestamps in pop-ups are UTC):
phasar
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest2503_22503_2-2503_12503_2n/an/an/a
FreeBSD:13:quarterly2503_22503_212222503_12503_2n/an/an/a
FreeBSD:14:latest26042604-2503_12604---
FreeBSD:14:quarterly26042604-2503_12604122212221222
FreeBSD:15:latest26042604n/a2503_1n/an/a12221222
FreeBSD:15:quarterly26042604n/a-n/an/a--
FreeBSD:16:latest26042604n/a-n/an/a--
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake-core
  2. ninja : devel/ninja
  3. llvm-config20 : devel/llvm20
  4. python3.12 : lang/python312
Test dependencies:
  1. googletest>0 : devel/googletest
  2. python3.12 : lang/python312
Runtime dependencies:
  1. bash : shells/bash
  2. python3.12 : lang/python312
Library dependencies:
  1. libboost_graph.so : devel/boost-libs
  2. libcurl.so : ftp/curl
  3. libLLVM-16.so : devel/llvm16
  4. libzstd.so : archivers/zstd
  5. libsqlite3.so : databases/sqlite3
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
devel_phasar
USES:
cmake:testing llvm:build,min=20,max=20,noexport localbase:ldflags python shebangfix sqlite compiler:c++20-lang
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/secure-software-engineering/phasar/tar.gz/v2604?dummy=/
Collapse this list.

Number of commits found: 12

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2604
18 Jul 2026 18:10:43
commit hash: 2fc087a29972bf352c881921f2d0228df865f14dcommit hash: 2fc087a29972bf352c881921f2d0228df865f14dcommit hash: 2fc087a29972bf352c881921f2d0228df865f14dcommit hash: 2fc087a29972bf352c881921f2d0228df865f14d files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/phasar: update 2503 → 2604
2503_2
20 Oct 2025 11:48:39
commit hash: 67fb95fb3bd5e61957877f5ac31cd790bff786b5commit hash: 67fb95fb3bd5e61957877f5ac31cd790bff786b5commit hash: 67fb95fb3bd5e61957877f5ac31cd790bff786b5commit hash: 67fb95fb3bd5e61957877f5ac31cd790bff786b5 files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost: bump consumers after boost upgrade (+)

Get rid of direct dependency ob libbost_system.so, use libboost_thread.so
instead
2503_1
02 Jun 2025 00:40:43
commit hash: 18632db919ce49d62374e1020f0320153951f834commit hash: 18632db919ce49d62374e1020f0320153951f834commit hash: 18632db919ce49d62374e1020f0320153951f834commit hash: 18632db919ce49d62374e1020f0320153951f834 files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost: bump consumers after Boost update
2503
16 Mar 2025 07:30:18
commit hash: 454819577fc9e07ffd9b6f454caf54e4a8dce07bcommit hash: 454819577fc9e07ffd9b6f454caf54e4a8dce07bcommit hash: 454819577fc9e07ffd9b6f454caf54e4a8dce07bcommit hash: 454819577fc9e07ffd9b6f454caf54e4a8dce07b files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/phasar: update 2403 → 2503

Reported by:	portscout
2403_3
14 Feb 2025 03:17:22
commit hash: fa53920e7219d4246816f65034ad058e81de3353commit hash: fa53920e7219d4246816f65034ad058e81de3353commit hash: fa53920e7219d4246816f65034ad058e81de3353commit hash: fa53920e7219d4246816f65034ad058e81de3353 files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost: bump consumers after Boost-1.87 update

Sponsored by:	Future Crew, LLC
2403_2
20 Nov 2024 10:05:25
commit hash: 312ee18b022b4abcb14973bb10894ba152b8f60bcommit hash: 312ee18b022b4abcb14973bb10894ba152b8f60bcommit hash: 312ee18b022b4abcb14973bb10894ba152b8f60bcommit hash: 312ee18b022b4abcb14973bb10894ba152b8f60b files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
devel/boost: bump consu,ers after update Boost to 1.86 release

Sponsored by:	Future Crew, LLC
2403_1
03 Oct 2024 10:25:14
commit hash: 55cfbcf56c31f949cd93e4012c1d705c1094a5c6commit hash: 55cfbcf56c31f949cd93e4012c1d705c1094a5c6commit hash: 55cfbcf56c31f949cd93e4012c1d705c1094a5c6commit hash: 55cfbcf56c31f949cd93e4012c1d705c1094a5c6 files touched by this commit
Dima Panov (fluffy) search for other commits by this committer
*/*: bump consumers after devel/boost* update

With hat:	office
Sponsored by:	Future Crew, LLC
2403
26 Apr 2024 07:15:21
commit hash: d08f368e408060084584290c105618ebd6ff5fffcommit hash: d08f368e408060084584290c105618ebd6ff5fffcommit hash: d08f368e408060084584290c105618ebd6ff5fffcommit hash: d08f368e408060084584290c105618ebd6ff5fff files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/phasar: Fix build on some systems by adding missing #include <vector>

Reported by:	fallout
2403
14 Apr 2024 19:07:37
commit hash: 465da7ad9dc0189d549843a444fdd96cd9175285commit hash: 465da7ad9dc0189d549843a444fdd96cd9175285commit hash: 465da7ad9dc0189d549843a444fdd96cd9175285commit hash: 465da7ad9dc0189d549843a444fdd96cd9175285 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/phasar: update 1222 → 2403

Reported by:	portscout
1222
29 Sep 2023 19:05:06
commit hash: 1ad77b25b48fe2eb69d863233bf4b520e0ae4b00commit hash: 1ad77b25b48fe2eb69d863233bf4b520e0ae4b00commit hash: 1ad77b25b48fe2eb69d863233bf4b520e0ae4b00commit hash: 1ad77b25b48fe2eb69d863233bf4b520e0ae4b00 files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
devel/phasar: Remove CC/CPP/CXX exports

USES=llvm now by default exports CC/CPP/CXX so remove those

Approved by:	portmgr (blanket)
1222
19 Jun 2023 14:08:59
commit hash: c748b7ef83ea213372740636c998f351825098c8commit hash: c748b7ef83ea213372740636c998f351825098c8commit hash: c748b7ef83ea213372740636c998f351825098c8commit hash: c748b7ef83ea213372740636c998f351825098c8 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/phasar: Fix build on 14 by using C++ compiler provided by llvm package

Build was failing because C++ compiler was from a different llvm version
than the llvm library provided by USES=llvm.

PR:		272075
1222
16 Jan 2023 05:38:09
commit hash: efb86e0226a926a6f6e72d8f5a884115ccf42968commit hash: efb86e0226a926a6f6e72d8f5a884115ccf42968commit hash: efb86e0226a926a6f6e72d8f5a884115ccf42968commit hash: efb86e0226a926a6f6e72d8f5a884115ccf42968 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/phasar: New port: LLVM-based static analysis framework

Number of commits found: 12