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 photosAll times are UTC
Ukraine

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it is already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

Port details
phasar LLVM-based static analysis framework
2503_1 devel on this many watch lists=2 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 2503Version 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: 2025-06-02 00:40:43
Commit Hash: 18632db
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
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 (375 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/phasar-2503_1/catalog.mk
  3. /usr/local/share/licenses/phasar-2503_1/LICENSE
  4. /usr/local/share/licenses/phasar-2503_1/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. etc/phasar/DOTGraphConfig.json
  12. etc/phasar/README.txt
  13. etc/phasar/TaintConfigSchema.json
  14. etc/phasar/double-free-config.json
  15. etc/phasar/glibc_function_list_v1-04.05.17.conf
  16. etc/phasar/llvm_intrinsics_function_list_v1-04.05.17.conf
  17. etc/phasar/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/Version.h
  30. include/phasar/Config/phasar-config.h
  31. include/phasar/ControlFlow.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/ICFGBase.h
  39. include/phasar/ControlFlow/SparseCFGBase.h
  40. include/phasar/ControlFlow/SparseCFGProvider.h
  41. include/phasar/ControlFlow/SpecialMemberFunctionType.def
  42. include/phasar/ControlFlow/SpecialMemberFunctionType.h
  43. include/phasar/DB.h
  44. include/phasar/DB/Hexastore.h
  45. include/phasar/DB/ProjectIRDBBase.h
  46. include/phasar/DB/Queries.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/InitialSeeds.h
  61. include/phasar/DataFlow/IfdsIde/Solver/Compressor.h
  62. include/phasar/DataFlow/IfdsIde/Solver/ESGEdgeKind.h
  63. include/phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCache.h
  64. include/phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCacheStats.h
  65. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h
  66. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheNG.h
  67. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheStats.h
  68. include/phasar/DataFlow/IfdsIde/Solver/FlowFunctionCache.h
  69. include/phasar/DataFlow/IfdsIde/Solver/FlowFunctionCacheStats.h
  70. include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h
  71. include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
  72. include/phasar/DataFlow/IfdsIde/Solver/IDESolverAPIMixin.h
  73. include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
  74. include/phasar/DataFlow/IfdsIde/Solver/IdBasedSolverResults.h
  75. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolver.h
  76. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverBase.h
  77. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverResults.h
  78. include/phasar/DataFlow/IfdsIde/Solver/IterativeIDESolverStats.h
  79. include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
  80. include/phasar/DataFlow/IfdsIde/Solver/PathAwareIDESolver.h
  81. include/phasar/DataFlow/IfdsIde/Solver/PathEdge.h
  82. include/phasar/DataFlow/IfdsIde/Solver/StaticIDESolverConfig.h
  83. include/phasar/DataFlow/IfdsIde/Solver/WorkListTraits.h
  84. include/phasar/DataFlow/IfdsIde/SolverResults.h
  85. include/phasar/DataFlow/IfdsIde/SpecialSummaries.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/LatticeDomain.h
  102. include/phasar/PhasarClang.h
  103. include/phasar/PhasarClang/ClangController.h
  104. include/phasar/PhasarClang/RandomChangeASTConsumer.h
  105. include/phasar/PhasarClang/RandomChangeFrontendAction.h
  106. include/phasar/PhasarClang/RandomChangeVisitor.h
  107. include/phasar/PhasarLLVM.h
  108. include/phasar/PhasarLLVM/ControlFlow.h
  109. include/phasar/PhasarLLVM/ControlFlow/EntryFunctionUtils.h
  110. include/phasar/PhasarLLVM/ControlFlow/GlobalCtorsDtorsModel.h
  111. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardCFG.h
  112. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardICFG.h
  113. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h
  114. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCallGraph.h
  115. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCallGraphBuilder.h
  116. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h
  117. include/phasar/PhasarLLVM/ControlFlow/LLVMVFTableProvider.h
  118. include/phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h
  119. include/phasar/PhasarLLVM/ControlFlow/Resolver/DTAResolver.h
  120. include/phasar/PhasarLLVM/ControlFlow/Resolver/NOResolver.h
  121. include/phasar/PhasarLLVM/ControlFlow/Resolver/OTFResolver.h
  122. include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
  123. include/phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h
  124. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedCFG.h
  125. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedCFGProvider.h
  126. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedICFG.h
  127. include/phasar/PhasarLLVM/ControlFlow/SparseLLVMBasedICFGView.h
  128. include/phasar/PhasarLLVM/DB.h
  129. include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
  130. include/phasar/PhasarLLVM/DataFlow.h
  131. include/phasar/PhasarLLVM/DataFlow/IfdsIde/FunctionDataFlowFacts.h
  132. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFlowFunctions.h
  133. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h
  134. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMSolverResults.h
  135. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h
  136. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LibCSummary.h
  137. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
  138. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
  139. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AllSanitized.h
  140. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
  141. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
  142. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
  143. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
  144. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
  145. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
  146. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
  147. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
  148. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
  149. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysis.h
  150. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/AllBot.h
  151. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/BinaryEdgeFunction.h
  152. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h
  153. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.h
  154. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h
  155. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h
  156. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
  157. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCADomain.h
  158. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/LCAEdgeFunctionComposer.h
  159. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h
  160. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h
  161. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h
  162. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
  163. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
  164. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
  165. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
  166. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
  167. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
  168. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
  169. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
  170. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
  171. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
  172. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
  173. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
  174. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
  175. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/CSTDFILEIOTypeStateDescription.h
  176. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h
  177. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFDescription.h
  178. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureHeapDescription.h
  179. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureMemoryDescription.h
  180. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/TypeStateDescription.h
  181. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
  182. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
  183. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
  184. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
  185. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
  186. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
  187. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/LLVMPathConstraints.h
  188. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitivityConfig.h
  189. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitvityManager.h
  190. include/phasar/PhasarLLVM/Domain.h
  191. include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
  192. include/phasar/PhasarLLVM/HelperAnalyses.h
  193. include/phasar/PhasarLLVM/HelperAnalysisConfig.h
  194. include/phasar/PhasarLLVM/Passes.h
  195. include/phasar/PhasarLLVM/Passes/ExampleModulePass.h
  196. include/phasar/PhasarLLVM/Passes/GeneralStatisticsAnalysis.h
  197. include/phasar/PhasarLLVM/Passes/ValueAnnotationPass.h
  198. include/phasar/PhasarLLVM/Pointer.h
  199. include/phasar/PhasarLLVM/Pointer/FilteredLLVMAliasSet.h
  200. include/phasar/PhasarLLVM/Pointer/LLVMAliasGraph.h
  201. include/phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h
  202. include/phasar/PhasarLLVM/Pointer/LLVMAliasSet.h
  203. include/phasar/PhasarLLVM/Pointer/LLVMAliasSetData.h
  204. include/phasar/PhasarLLVM/Pointer/LLVMBasedAliasAnalysis.h
  205. include/phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.h
  206. include/phasar/PhasarLLVM/Pointer/TypeGraphs/CachedTypeGraph.h
  207. include/phasar/PhasarLLVM/Pointer/TypeGraphs/LazyTypeGraph.h
  208. include/phasar/PhasarLLVM/Pointer/TypeGraphs/TypeGraph.h
  209. include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
  210. include/phasar/PhasarLLVM/TaintConfig.h
  211. include/phasar/PhasarLLVM/TaintConfig/LLVMTaintConfig.h
  212. include/phasar/PhasarLLVM/TaintConfig/TaintConfigBase.h
  213. include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
  214. include/phasar/PhasarLLVM/TaintConfig/TaintConfigUtilities.h
  215. include/phasar/PhasarLLVM/TypeHierarchy.h
  216. include/phasar/PhasarLLVM/TypeHierarchy/DIBasedTypeHierarchy.h
  217. include/phasar/PhasarLLVM/TypeHierarchy/DIBasedTypeHierarchyData.h
  218. include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h
  219. include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchyData.h
  220. include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTable.h
  221. include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTableData.h
  222. include/phasar/PhasarLLVM/Utils.h
  223. include/phasar/PhasarLLVM/Utils/Annotation.h
  224. include/phasar/PhasarLLVM/Utils/BasicBlockOrdering.h
  225. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.def
  226. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h
  227. include/phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h
  228. include/phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h
  229. include/phasar/PhasarLLVM/Utils/LLVMIRToSrc.h
  230. include/phasar/PhasarLLVM/Utils/LLVMShorthands.h
  231. include/phasar/PhasarLLVM/Utils/LLVMSourceManager.h
  232. include/phasar/PhasarLLVM/Utils/SourceMgrPrinter.h
  233. include/phasar/PhasarPass.h
  234. include/phasar/PhasarPass/Options.h
  235. include/phasar/PhasarPass/PhasarPass.h
  236. include/phasar/PhasarPass/PhasarPrinterPass.h
  237. include/phasar/PhasarPass/RegisterPasses.h
  238. include/phasar/Pointer.h
  239. include/phasar/Pointer/AliasAnalysisType.def
  240. include/phasar/Pointer/AliasAnalysisType.h
  241. include/phasar/Pointer/AliasInfo.h
  242. include/phasar/Pointer/AliasInfoBase.h
  243. include/phasar/Pointer/AliasInfoTraits.h
  244. include/phasar/Pointer/AliasResult.def
  245. include/phasar/Pointer/AliasResult.h
  246. include/phasar/Pointer/AliasSetOwner.h
  247. include/phasar/Pointer/PointsToInfo.h
  248. include/phasar/Pointer/PointsToInfoBase.h
  249. include/phasar/TypeHierarchy.h
  250. include/phasar/TypeHierarchy/TypeHierarchy.h
  251. include/phasar/TypeHierarchy/VFTable.h
  252. include/phasar/Utils.h
  253. include/phasar/Utils/AdjacencyList.h
  254. include/phasar/Utils/AnalysisPrinterBase.h
  255. include/phasar/Utils/AnalysisProperties.h
  256. include/phasar/Utils/Average.h
  257. include/phasar/Utils/BitVectorSet.h
  258. include/phasar/Utils/BoxedPointer.h
  259. include/phasar/Utils/ByRef.h
  260. include/phasar/Utils/ChronoUtils.h
  261. include/phasar/Utils/DFAMinimizer.h
  262. include/phasar/Utils/DOTGraph.h
  263. include/phasar/Utils/DebugOutput.h
  264. include/phasar/Utils/DefaultAnalysisPrinter.h
  265. include/phasar/Utils/DefaultValue.h
  266. include/phasar/Utils/EmptyBaseOptimizationUtils.h
  267. include/phasar/Utils/EnumFlags.h
  268. include/phasar/Utils/EquivalenceClassMap.h
  269. include/phasar/Utils/ErrorHandling.h
  270. include/phasar/Utils/GraphTraits.h
  271. include/phasar/Utils/IO.h
  272. include/phasar/Utils/InitPhasar.h
  273. include/phasar/Utils/IotaIterator.h
  274. include/phasar/Utils/JoinLattice.h
  275. include/phasar/Utils/Logger.h
  276. include/phasar/Utils/Macros.h
  277. include/phasar/Utils/MaybeUniquePtr.h
  278. include/phasar/Utils/MemoryResource.h
  279. include/phasar/Utils/NlohmannLogging.h
  280. include/phasar/Utils/NullAnalysisPrinter.h
  281. include/phasar/Utils/Nullable.h
  282. include/phasar/Utils/OnTheFlyAnalysisPrinter.h
  283. include/phasar/Utils/PAMM.h
  284. include/phasar/Utils/PAMMMacros.h
  285. include/phasar/Utils/PointerUtils.h
  286. include/phasar/Utils/Printer.h
  287. include/phasar/Utils/RepeatIterator.h
  288. include/phasar/Utils/SemiRing.h
  289. include/phasar/Utils/SeverityLevel.def
  290. include/phasar/Utils/Soundness.def
  291. include/phasar/Utils/Soundness.h
  292. include/phasar/Utils/StableVector.h
  293. include/phasar/Utils/Table.h
  294. include/phasar/Utils/TableWrappers.h
  295. include/phasar/Utils/Timer.h
  296. include/phasar/Utils/TypeTraits.h
  297. include/phasar/Utils/Utilities.h
  298. lib/cmake/phasar/PhasarDepsExports-release.cmake
  299. lib/cmake/phasar/PhasarDepsExports.cmake
  300. lib/cmake/phasar/PhasarExports-release.cmake
  301. lib/cmake/phasar/PhasarExports.cmake
  302. lib/cmake/phasar/phasarConfig.cmake
  303. lib/cmake/phasar/phasarConfigVersion.cmake
  304. lib/libphasar.so
  305. lib/libphasar_analysis_strategy.so
  306. lib/libphasar_clang.so
  307. lib/libphasar_config.so
  308. lib/libphasar_controlflow.so
  309. lib/libphasar_db.so
  310. lib/libphasar_llvm.so
  311. lib/libphasar_llvm_controlflow.so
  312. lib/libphasar_llvm_db.so
  313. lib/libphasar_llvm_ifdside.so
  314. lib/libphasar_llvm_pathsensitivity.so
  315. lib/libphasar_llvm_pointer.so
  316. lib/libphasar_llvm_typehierarchy.so
  317. lib/libphasar_llvm_utils.so
  318. lib/libphasar_mono.so
  319. lib/libphasar_pass.so
  320. lib/libphasar_passes.so
  321. lib/libphasar_pointer.so
  322. lib/libphasar_taintconfig.so
  323. lib/libphasar_utils.so
  324. lib/phasar/deps/include/nlohmann/adl_serializer.hpp
  325. lib/phasar/deps/include/nlohmann/byte_container_with_subtype.hpp
  326. lib/phasar/deps/include/nlohmann/detail/abi_macros.hpp
  327. lib/phasar/deps/include/nlohmann/detail/conversions/from_json.hpp
  328. lib/phasar/deps/include/nlohmann/detail/conversions/to_chars.hpp
  329. lib/phasar/deps/include/nlohmann/detail/conversions/to_json.hpp
  330. lib/phasar/deps/include/nlohmann/detail/exceptions.hpp
  331. lib/phasar/deps/include/nlohmann/detail/hash.hpp
  332. lib/phasar/deps/include/nlohmann/detail/input/binary_reader.hpp
  333. lib/phasar/deps/include/nlohmann/detail/input/input_adapters.hpp
  334. lib/phasar/deps/include/nlohmann/detail/input/json_sax.hpp
  335. lib/phasar/deps/include/nlohmann/detail/input/lexer.hpp
  336. lib/phasar/deps/include/nlohmann/detail/input/parser.hpp
  337. lib/phasar/deps/include/nlohmann/detail/input/position_t.hpp
  338. lib/phasar/deps/include/nlohmann/detail/iterators/internal_iterator.hpp
  339. lib/phasar/deps/include/nlohmann/detail/iterators/iter_impl.hpp
  340. lib/phasar/deps/include/nlohmann/detail/iterators/iteration_proxy.hpp
  341. lib/phasar/deps/include/nlohmann/detail/iterators/iterator_traits.hpp
  342. lib/phasar/deps/include/nlohmann/detail/iterators/json_reverse_iterator.hpp
  343. lib/phasar/deps/include/nlohmann/detail/iterators/primitive_iterator.hpp
  344. lib/phasar/deps/include/nlohmann/detail/json_custom_base_class.hpp
  345. lib/phasar/deps/include/nlohmann/detail/json_pointer.hpp
  346. lib/phasar/deps/include/nlohmann/detail/json_ref.hpp
  347. lib/phasar/deps/include/nlohmann/detail/macro_scope.hpp
  348. lib/phasar/deps/include/nlohmann/detail/macro_unscope.hpp
  349. lib/phasar/deps/include/nlohmann/detail/meta/call_std/begin.hpp
  350. lib/phasar/deps/include/nlohmann/detail/meta/call_std/end.hpp
  351. lib/phasar/deps/include/nlohmann/detail/meta/cpp_future.hpp
  352. lib/phasar/deps/include/nlohmann/detail/meta/detected.hpp
  353. lib/phasar/deps/include/nlohmann/detail/meta/identity_tag.hpp
  354. lib/phasar/deps/include/nlohmann/detail/meta/is_sax.hpp
  355. lib/phasar/deps/include/nlohmann/detail/meta/std_fs.hpp
  356. lib/phasar/deps/include/nlohmann/detail/meta/type_traits.hpp
  357. lib/phasar/deps/include/nlohmann/detail/meta/void_t.hpp
  358. lib/phasar/deps/include/nlohmann/detail/output/binary_writer.hpp
  359. lib/phasar/deps/include/nlohmann/detail/output/output_adapters.hpp
  360. lib/phasar/deps/include/nlohmann/detail/output/serializer.hpp
  361. lib/phasar/deps/include/nlohmann/detail/string_concat.hpp
  362. lib/phasar/deps/include/nlohmann/detail/string_escape.hpp
  363. lib/phasar/deps/include/nlohmann/detail/value_t.hpp
  364. lib/phasar/deps/include/nlohmann/json-schema.hpp
  365. lib/phasar/deps/include/nlohmann/json.hpp
  366. lib/phasar/deps/include/nlohmann/json_fwd.hpp
  367. lib/phasar/deps/include/nlohmann/ordered_map.hpp
  368. lib/phasar/deps/include/nlohmann/thirdparty/hedley/hedley.hpp
  369. lib/phasar/deps/include/nlohmann/thirdparty/hedley/hedley_undef.hpp
  370. lib/phasar/deps/lib/libnlohmann_json_schema_validator.so
  371. lib/phasar/deps/lib/libnlohmann_json_schema_validator.so.2
  372. lib/phasar/deps/lib/libnlohmann_json_schema_validator.so.2.3.0
  373. @owner
  374. @group
  375. @mode
Collapse this list.
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 = 1742108395 SHA256 (secure-software-engineering-phasar-v2503_GH0.tar.gz) = 3f46464ddb5451886f4926a144d44333f9f5320be01fbde705186be2fec230c7 SIZE (secure-software-engineering-phasar-v2503_GH0.tar.gz) = 7520485

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:latest25032503-25032503_1---
FreeBSD:13:quarterly25032503122225032503122212221222
FreeBSD:14:latest25032503_1-25032503_1---
FreeBSD:14:quarterly25032503-25032503122212221222
FreeBSD:15:latest25032503n/a2503n/a122212221222
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. python3.11 : lang/python311
Test dependencies:
  1. googletest>0 : devel/googletest
  2. python3.11 : lang/python311
Runtime dependencies:
  1. bash : shells/bash
  2. python3.11 : lang/python311
Library dependencies:
  1. libboost_graph.so : devel/boost-libs
  2. libcurl.so : ftp/curl
  3. libLLVM-15.so : devel/llvm15
  4. 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:lib,min=15,max=15 localbase:ldflags python shebangfix sqlite
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/v2503?dummy=/
Collapse this list.

Number of commits found: 10

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
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: 10