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
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-26 07:15:21
Commit Hash: d08f368
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:latest24032403-24032403---
FreeBSD:13:quarterly24032403122212222403122212221222
FreeBSD:14:latest24032403-24032403---
FreeBSD:14:quarterly12222403-12222403122212221222
FreeBSD:15:latest24032403n/a2403n/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.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: 5

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