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
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
phasar LLVM-based static analysis framework
2403 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 1222Version 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: 2024-04-14 19:07:37
Commit Hash: 465da7a
Also Listed In: science
License: MIT
WWW:
https://phasar.org/
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.
Homepage    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 (322 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/phasar-2403/catalog.mk
  3. /usr/local/share/licenses/phasar-2403/LICENSE
  4. /usr/local/share/licenses/phasar-2403/MIT
  5. bin/DB/phasar-create-db-scheme.sql
  6. bin/DB/phasar-sql2cpp.py
  7. bin/myphasartool
  8. bin/phasar-cli
  9. bin/phasar-compile2llvmIR.py
  10. bin/phasar-mkconfig.sh
  11. bin/phasar-plot-pamm.py
  12. etc/phasar/DOTGraphConfig.json
  13. etc/phasar/README.txt
  14. etc/phasar/TaintConfigSchema.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/ICFGBase.h
  38. include/phasar/ControlFlow/SpecialMemberFunctionType.def
  39. include/phasar/ControlFlow/SpecialMemberFunctionType.h
  40. include/phasar/Controller.h
  41. include/phasar/Controller/AnalysisController.h
  42. include/phasar/Controller/AnalysisControllerEmitterOptions.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/IDETabulationProblem.h
  57. include/phasar/DataFlow/IfdsIde/IFDSIDESolverConfig.h
  58. include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
  59. include/phasar/DataFlow/IfdsIde/InitialSeeds.h
  60. include/phasar/DataFlow/IfdsIde/Solver/ESGEdgeKind.h
  61. include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h
  62. include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
  63. include/phasar/DataFlow/IfdsIde/Solver/IDESolverAPIMixin.h
  64. include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
  65. include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
  66. include/phasar/DataFlow/IfdsIde/Solver/PathAwareIDESolver.h
  67. include/phasar/DataFlow/IfdsIde/Solver/PathEdge.h
  68. include/phasar/DataFlow/IfdsIde/SolverResults.h
  69. include/phasar/DataFlow/IfdsIde/SpecialSummaries.h
  70. include/phasar/DataFlow/Mono/Contexts/CallStringCTX.h
  71. include/phasar/DataFlow/Mono/InterMonoProblem.h
  72. include/phasar/DataFlow/Mono/IntraMonoProblem.h
  73. include/phasar/DataFlow/Mono/Solver/InterMonoSolver.h
  74. include/phasar/DataFlow/Mono/Solver/IntraMonoSolver.h
  75. include/phasar/DataFlow/PathSensitivity/ExplodedSuperGraph.h
  76. include/phasar/DataFlow/PathSensitivity/FlowPath.h
  77. include/phasar/DataFlow/PathSensitivity/PathSensitivityConfig.h
  78. include/phasar/DataFlow/PathSensitivity/PathSensitivityManager.h
  79. include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerBase.h
  80. include/phasar/DataFlow/PathSensitivity/PathSensitivityManagerMixin.h
  81. include/phasar/DataFlow/PathSensitivity/PathTracingFilter.h
  82. include/phasar/Domain.h
  83. include/phasar/Domain/AnalysisDomain.h
  84. include/phasar/Domain/BinaryDomain.h
  85. include/phasar/Domain/LatticeDomain.h
  86. include/phasar/PhasarClang.h
  87. include/phasar/PhasarClang/ClangController.h
  88. include/phasar/PhasarClang/RandomChangeASTConsumer.h
  89. include/phasar/PhasarClang/RandomChangeFrontendAction.h
  90. include/phasar/PhasarClang/RandomChangeVisitor.h
  91. include/phasar/PhasarLLVM.h
  92. include/phasar/PhasarLLVM/ControlFlow.h
  93. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardCFG.h
  94. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardICFG.h
  95. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h
  96. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h
  97. include/phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h
  98. include/phasar/PhasarLLVM/ControlFlow/Resolver/DTAResolver.h
  99. include/phasar/PhasarLLVM/ControlFlow/Resolver/NOResolver.h
  100. include/phasar/PhasarLLVM/ControlFlow/Resolver/OTFResolver.h
  101. include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
  102. include/phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h
  103. include/phasar/PhasarLLVM/DB.h
  104. include/phasar/PhasarLLVM/DB/LLVMProjectIRDB.h
  105. include/phasar/PhasarLLVM/DataFlow.h
  106. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/BranchSwitchInstFlowFunction.h
  107. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CallToRetFlowFunction.h
  108. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CheckOperandsFlowFunction.h
  109. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/FlowFunctionBase.h
  110. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GEPInstFlowFunction.h
  111. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GenerateFlowFunction.h
  112. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/IdentityFlowFunction.h
  113. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCallee.h
  114. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCaller.h
  115. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemSetInstFlowFunction.h
  116. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemTransferInstFlowFunction.h
  117. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/PHINodeFlowFunction.h
  118. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/ReturnInstFlowFunction.h
  119. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/StoreInstFlowFunction.h
  120. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAEndInstFlowFunction.h
  121. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAStartInstFlowFunction.h
  122. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovRetValWriter.h
  123. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovWriter.h
  124. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberEntry.h
  125. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberWriter.h
  126. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStats.h
  127. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStatsWriter.h
  128. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/DataFlowUtils.h
  129. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/ExtendedValue.h
  130. include/phasar/PhasarLLVM/DataFlow/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/Log.h
  131. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFlowFunctions.h
  132. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMSolverResults.h
  133. include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMZeroValue.h
  134. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
  135. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
  136. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AllSanitized.h
  137. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
  138. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
  139. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
  140. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
  141. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
  142. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
  143. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
  144. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
  145. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
  146. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/AllBot.h
  147. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/BinaryEdgeFunction.h
  148. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h
  149. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.h
  150. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h
  151. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h
  152. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
  153. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCADomain.h
  154. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/LCAEdgeFunctionComposer.h
  155. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h
  156. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h
  157. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h
  158. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
  159. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.h
  160. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEProtoAnalysis.h
  161. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.h
  162. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESolverTest.h
  163. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDETypeStateAnalysis.h
  164. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSConstAnalysis.h
  165. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSFieldSensTaintAnalysis.h
  166. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSProtoAnalysis.h
  167. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSignAnalysis.h
  168. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSSolverTest.h
  169. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.h
  170. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTypeAnalysis.h
  171. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSUninitializedVariables.h
  172. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/CSTDFILEIOTypeStateDescription.h
  173. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h
  174. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFDescription.h
  175. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureHeapDescription.h
  176. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureMemoryDescription.h
  177. include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/TypeStateDescription.h
  178. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoFullConstantPropagation.h
  179. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoSolverTest.h
  180. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/InterMonoTaintAnalysis.h
  181. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoFullConstantPropagation.h
  182. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoSolverTest.h
  183. include/phasar/PhasarLLVM/DataFlow/Mono/Problems/IntraMonoUninitVariables.h
  184. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/LLVMPathConstraints.h
  185. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitivityConfig.h
  186. include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitvityManager.h
  187. include/phasar/PhasarLLVM/Domain.h
  188. include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
  189. include/phasar/PhasarLLVM/HelperAnalyses.h
  190. include/phasar/PhasarLLVM/HelperAnalysisConfig.h
  191. include/phasar/PhasarLLVM/Passes.h
  192. include/phasar/PhasarLLVM/Passes/ExampleModulePass.h
  193. include/phasar/PhasarLLVM/Passes/GeneralStatisticsAnalysis.h
  194. include/phasar/PhasarLLVM/Passes/ValueAnnotationPass.h
  195. include/phasar/PhasarLLVM/Pointer.h
  196. include/phasar/PhasarLLVM/Pointer/LLVMAliasGraph.h
  197. include/phasar/PhasarLLVM/Pointer/LLVMAliasInfo.h
  198. include/phasar/PhasarLLVM/Pointer/LLVMAliasSet.h
  199. include/phasar/PhasarLLVM/Pointer/LLVMBasedAliasAnalysis.h
  200. include/phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.h
  201. include/phasar/PhasarLLVM/Pointer/TypeGraphs/CachedTypeGraph.h
  202. include/phasar/PhasarLLVM/Pointer/TypeGraphs/LazyTypeGraph.h
  203. include/phasar/PhasarLLVM/Pointer/TypeGraphs/TypeGraph.h
  204. include/phasar/PhasarLLVM/SimpleAnalysisConstructor.h
  205. include/phasar/PhasarLLVM/TaintConfig.h
  206. include/phasar/PhasarLLVM/TaintConfig/LLVMTaintConfig.h
  207. include/phasar/PhasarLLVM/TaintConfig/TaintConfigBase.h
  208. include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
  209. include/phasar/PhasarLLVM/TaintConfig/TaintConfigUtilities.h
  210. include/phasar/PhasarLLVM/TypeHierarchy.h
  211. include/phasar/PhasarLLVM/TypeHierarchy/DIBasedTypeHierarchy.h
  212. include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h
  213. include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTable.h
  214. include/phasar/PhasarLLVM/Utils.h
  215. include/phasar/PhasarLLVM/Utils/Annotation.h
  216. include/phasar/PhasarLLVM/Utils/BasicBlockOrdering.h
  217. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.def
  218. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h
  219. include/phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h
  220. include/phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h
  221. include/phasar/PhasarLLVM/Utils/LLVMIRToSrc.h
  222. include/phasar/PhasarLLVM/Utils/LLVMShorthands.h
  223. include/phasar/PhasarLLVM/Utils/LLVMSourceManager.h
  224. include/phasar/PhasarLLVM/Utils/SourceMgrPrinter.h
  225. include/phasar/PhasarPass.h
  226. include/phasar/PhasarPass/Options.h
  227. include/phasar/PhasarPass/PhasarPass.h
  228. include/phasar/PhasarPass/PhasarPrinterPass.h
  229. include/phasar/PhasarPass/RegisterPasses.h
  230. include/phasar/Pointer.h
  231. include/phasar/Pointer/AliasAnalysisType.def
  232. include/phasar/Pointer/AliasAnalysisType.h
  233. include/phasar/Pointer/AliasInfo.h
  234. include/phasar/Pointer/AliasInfoBase.h
  235. include/phasar/Pointer/AliasInfoTraits.h
  236. include/phasar/Pointer/AliasResult.def
  237. include/phasar/Pointer/AliasResult.h
  238. include/phasar/Pointer/AliasSetOwner.h
  239. include/phasar/Pointer/PointsToInfo.h
  240. include/phasar/Pointer/PointsToInfoBase.h
  241. include/phasar/TypeHierarchy.h
  242. include/phasar/TypeHierarchy/TypeHierarchy.h
  243. include/phasar/TypeHierarchy/VFTable.h
  244. include/phasar/Utils.h
  245. include/phasar/Utils/AdjacencyList.h
  246. include/phasar/Utils/AnalysisPrinterBase.h
  247. include/phasar/Utils/AnalysisProperties.h
  248. include/phasar/Utils/Average.h
  249. include/phasar/Utils/BitVectorSet.h
  250. include/phasar/Utils/BoxedPointer.h
  251. include/phasar/Utils/ByRef.h
  252. include/phasar/Utils/ChronoUtils.h
  253. include/phasar/Utils/DFAMinimizer.h
  254. include/phasar/Utils/DOTGraph.h
  255. include/phasar/Utils/DebugOutput.h
  256. include/phasar/Utils/DefaultAnalysisPrinter.h
  257. include/phasar/Utils/DefaultValue.h
  258. include/phasar/Utils/EnumFlags.h
  259. include/phasar/Utils/EquivalenceClassMap.h
  260. include/phasar/Utils/ErrorHandling.h
  261. include/phasar/Utils/GraphTraits.h
  262. include/phasar/Utils/IO.h
  263. include/phasar/Utils/IotaIterator.h
  264. include/phasar/Utils/JoinLattice.h
  265. include/phasar/Utils/Logger.h
  266. include/phasar/Utils/MaybeUniquePtr.h
  267. include/phasar/Utils/MemoryResource.h
  268. include/phasar/Utils/NlohmannLogging.h
  269. include/phasar/Utils/NullAnalysisPrinter.h
  270. include/phasar/Utils/Nullable.h
  271. include/phasar/Utils/OnTheFlyAnalysisPrinter.h
  272. include/phasar/Utils/PAMM.h
  273. include/phasar/Utils/PAMMMacros.h
  274. include/phasar/Utils/Printer.h
  275. include/phasar/Utils/RepeatIterator.h
  276. include/phasar/Utils/SeverityLevel.def
  277. include/phasar/Utils/Soundness.def
  278. include/phasar/Utils/Soundness.h
  279. include/phasar/Utils/StableVector.h
  280. include/phasar/Utils/Table.h
  281. include/phasar/Utils/Timer.h
  282. include/phasar/Utils/TypeTraits.h
  283. include/phasar/Utils/Utilities.h
  284. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorConfig.cmake
  285. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorConfigVersion.cmake
  286. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorTargets-release.cmake
  287. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorTargets.cmake
  288. lib/cmake/phasar/PhasarExports-release.cmake
  289. lib/cmake/phasar/PhasarExports.cmake
  290. lib/cmake/phasar/phasarConfig.cmake
  291. lib/cmake/phasar/phasarConfigVersion.cmake
  292. lib/libnlohmann_json_schema_validator.so
  293. lib/libnlohmann_json_schema_validator.so.2
  294. lib/libnlohmann_json_schema_validator.so.2.2.0
  295. lib/libphasar.so
  296. lib/libphasar_analysis_strategy.so
  297. lib/libphasar_clang.so
  298. lib/libphasar_config.so
  299. lib/libphasar_controlflow.so
  300. lib/libphasar_controller.so
  301. lib/libphasar_db.so
  302. lib/libphasar_llvm.so
  303. lib/libphasar_llvm_controlflow.so
  304. lib/libphasar_llvm_db.so
  305. lib/libphasar_llvm_ifdside.so
  306. lib/libphasar_llvm_pathsensitivity.so
  307. lib/libphasar_llvm_pointer.so
  308. lib/libphasar_llvm_typehierarchy.so
  309. lib/libphasar_llvm_utils.so
  310. lib/libphasar_mono.so
  311. lib/libphasar_pass.so
  312. lib/libphasar_passes.so
  313. lib/libphasar_pointer.so
  314. lib/libphasar_taintconfig.so
  315. lib/libphasar_utils.so
  316. share/cmake/nlohmann_json/nlohmann_jsonConfig.cmake
  317. share/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake
  318. share/cmake/nlohmann_json/nlohmann_jsonTargets.cmake
  319. share/pkgconfig/nlohmann_json.pc
  320. @owner
  321. @group
  322. @mode
Collapse this list.
Dependency lines:
  • phasar>0:devel/phasar
Conflicts:
CONFLICTS_INSTALL:
  • nlohmann-json
Conflicts Matches:
There are no Conflicts Matches for this port. This is usually an error.
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 = 1713056991 SHA256 (secure-software-engineering-phasar-v2403_GH0.tar.gz) = 57a9b47e763ed746d61b69dced0519c039f5c49245a28d2f9167ac9879f45dbc SIZE (secure-software-engineering-phasar-v2403_GH0.tar.gz) = 7447366

Expand this list (6 items)

Collapse this list.

SHA256 (google-googletest-e2239ee_GH0.tar.gz) = 47a8ca2e1be737588628cbc82726a7c4fed060ae0098709003845e3ef298da2f SIZE (google-googletest-e2239ee_GH0.tar.gz) = 886254 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

Collapse this list.


Packages (timestamps in pop-ups are UTC):
phasar
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest1222--1222----
FreeBSD:13:quarterly12221222122212221222122212221222
FreeBSD:14:latest12222403-12222403---
FreeBSD:14:quarterly12221222-12221222122212221222
FreeBSD:15:latest12222403n/a1222n/a122212221222
FreeBSD:15:quarterly--n/a-n/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. python3.9 : lang/python39
Test dependencies:
  1. python3.9 : lang/python39
Runtime dependencies:
  1. bash : shells/bash
  2. python3.9 : lang/python39
Library dependencies:
  1. libboost_graph.so : devel/boost-libs
  2. libcurl.so : ftp/curl
  3. libLLVM-14.so : devel/llvm14
  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=14,max=14 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/v2403?dummy=/
Collapse this list.

Number of commits found: 4

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