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
1222 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: 2023-09-29 19:05:06
Commit Hash: 1ad77b2
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 (282 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/phasar-1222/catalog.mk
  3. /usr/local/share/licenses/phasar-1222/LICENSE
  4. /usr/local/share/licenses/phasar-1222/MIT
  5. bin/DB/phasar-create-db-scheme.sql
  6. bin/DB/phasar-sql2cpp.py
  7. bin/json-schema-validate
  8. bin/myphasartool
  9. bin/phasar-compile2llvmIR.py
  10. bin/phasar-llvm
  11. bin/phasar-mkconfig.sh
  12. bin/phasar-plot-pamm.py
  13. bin/readme-json-schema
  14. etc/phasar/DOTGraphConfig.json
  15. etc/phasar/README.txt
  16. etc/phasar/TaintConfigSchema.json
  17. etc/phasar/glibc_function_list_v1-04.05.17.conf
  18. etc/phasar/llvm_intrinsics_function_list_v1-04.05.17.conf
  19. etc/phasar/phasar-source-sink-function.json
  20. include/phasar/Config/Configuration.h
  21. include/phasar/Config/Version.h
  22. include/phasar/Controller/AnalysisController.h
  23. include/phasar/Controller/AnalysisControllerEmitterOptions.h
  24. include/phasar/DB/Hexastore.h
  25. include/phasar/DB/LLVMProjectIRDB.h
  26. include/phasar/DB/ProjectIRDBBase.h
  27. include/phasar/DB/Queries.h
  28. include/phasar/PhasarClang/ClangController.h
  29. include/phasar/PhasarClang/RandomChangeASTConsumer.h
  30. include/phasar/PhasarClang/RandomChangeFrontendAction.h
  31. include/phasar/PhasarClang/RandomChangeVisitor.h
  32. include/phasar/PhasarLLVM/AnalysisStrategy/AnalysisSetup.h
  33. include/phasar/PhasarLLVM/AnalysisStrategy/DemandDrivenAnalysis.h
  34. include/phasar/PhasarLLVM/AnalysisStrategy/HelperAnalyses.h
  35. include/phasar/PhasarLLVM/AnalysisStrategy/HelperAnalysisConfig.h
  36. include/phasar/PhasarLLVM/AnalysisStrategy/IncrementalUpdateAnalysis.h
  37. include/phasar/PhasarLLVM/AnalysisStrategy/ModuleWiseAnalysis.h
  38. include/phasar/PhasarLLVM/AnalysisStrategy/Strategies.def
  39. include/phasar/PhasarLLVM/AnalysisStrategy/Strategies.h
  40. include/phasar/PhasarLLVM/AnalysisStrategy/VariationalAnalysis.h
  41. include/phasar/PhasarLLVM/ControlFlow/CFGBase.h
  42. include/phasar/PhasarLLVM/ControlFlow/ICFGBase.h
  43. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardCFG.h
  44. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedBackwardICFG.h
  45. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h
  46. include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h
  47. include/phasar/PhasarLLVM/ControlFlow/Resolver/CHAResolver.h
  48. include/phasar/PhasarLLVM/ControlFlow/Resolver/CallGraphAnalysisType.def
  49. include/phasar/PhasarLLVM/ControlFlow/Resolver/CallGraphAnalysisType.h
  50. include/phasar/PhasarLLVM/ControlFlow/Resolver/DTAResolver.h
  51. include/phasar/PhasarLLVM/ControlFlow/Resolver/NOResolver.h
  52. include/phasar/PhasarLLVM/ControlFlow/Resolver/OTFResolver.h
  53. include/phasar/PhasarLLVM/ControlFlow/Resolver/RTAResolver.h
  54. include/phasar/PhasarLLVM/ControlFlow/Resolver/Resolver.h
  55. include/phasar/PhasarLLVM/ControlFlow/SpecialMemberFunctionType.def
  56. include/phasar/PhasarLLVM/ControlFlow/SpecialMemberFunctionType.h
  57. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctionComposer.h
  58. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctions.h
  59. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowEdgeFunctionCache.h
  60. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h
  61. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IDETabulationProblem.h
  62. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/BranchSwitchInstFlowFunction.h
  63. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CallToRetFlowFunction.h
  64. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/CheckOperandsFlowFunction.h
  65. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/FlowFunctionBase.h
  66. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GEPInstFlowFunction.h
  67. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/GenerateFlowFunction.h
  68. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/IdentityFlowFunction.h
  69. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCallee.h
  70. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCaller.h
  71. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemSetInstFlowFunction.h
  72. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MemTransferInstFlowFunction.h
  73. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/PHINodeFlowFunction.h
  74. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/ReturnInstFlowFunction.h
  75. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/StoreInstFlowFunction.h
  76. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAEndInstFlowFunction.h
  77. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/VAStartInstFlowFunction.h
  78. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovRetValWriter.h
  79. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LcovWriter.h
  80. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberEntry.h
  81. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/LineNumberWriter.h
  82. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStats.h
  83. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Stats/TraceStatsWriter.h
  84. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/DataFlowUtils.h
  85. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/Utils/Log.h
  86. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSIDESolverConfig.h
  87. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSTabulationProblem.h
  88. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/InitialSeeds.h
  89. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/JoinLattice.h
  90. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMFlowFunctions.h
  91. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h
  92. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
  93. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
  94. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
  95. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/DebugEdgeIdentity.h
  96. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
  97. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
  98. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
  99. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinConstEdgeFunction.h
  100. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.h
  101. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
  102. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
  103. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
  104. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
  105. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
  106. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/AllBot.h
  107. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/BinaryEdgeFunction.h
  108. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h
  109. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.h
  110. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h
  111. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h
  112. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h
  113. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/JoinEdgeFunction.h
  114. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/LCAEdgeFunctionComposer.h
  115. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h
  116. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h
  117. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h
  118. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.h
  119. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDELinearConstantAnalysis.h
  120. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEProtoAnalysis.h
  121. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESecureHeapPropagation.h
  122. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESolverTest.h
  123. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDETypeStateAnalysis.h
  124. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSConstAnalysis.h
  125. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSFieldSensTaintAnalysis.h
  126. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSProtoAnalysis.h
  127. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSSignAnalysis.h
  128. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSSolverTest.h
  129. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSTaintAnalysis.h
  130. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSTypeAnalysis.h
  131. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSUninitializedVariables.h
  132. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/CSTDFILEIOTypeStateDescription.h
  133. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h
  134. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFDescription.h
  135. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureHeapDescription.h
  136. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLSecureMemoryDescription.h
  137. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/TypeStateDescription.h
  138. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h
  139. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IFDSSolver.h
  140. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/JumpFunctions.h
  141. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/PathEdge.h
  142. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/SolverResults.h
  143. include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/SpecialSummaries.h
  144. include/phasar/PhasarLLVM/DataFlowSolver/Mono/CallString.h
  145. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Contexts/CallStringCTX.h
  146. include/phasar/PhasarLLVM/DataFlowSolver/Mono/InterMonoProblem.h
  147. include/phasar/PhasarLLVM/DataFlowSolver/Mono/IntraMonoProblem.h
  148. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoFullConstantPropagation.h
  149. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoSolverTest.h
  150. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/InterMonoTaintAnalysis.h
  151. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/IntraMonoFullConstantPropagation.h
  152. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/IntraMonoSolverTest.h
  153. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Problems/IntraMonoUninitVariables.h
  154. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/InterMonoSolver.h
  155. include/phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/IntraMonoSolver.h
  156. include/phasar/PhasarLLVM/Domain/AnalysisDomain.h
  157. include/phasar/PhasarLLVM/Domain/ExtendedValue.h
  158. include/phasar/PhasarLLVM/Domain/LLVMAnalysisDomain.h
  159. include/phasar/PhasarLLVM/Passes/ExampleModulePass.h
  160. include/phasar/PhasarLLVM/Passes/GeneralStatisticsAnalysis.h
  161. include/phasar/PhasarLLVM/Passes/ValueAnnotationPass.h
  162. include/phasar/PhasarLLVM/Pointer/DynamicPointsToSetPtr.h
  163. include/phasar/PhasarLLVM/Pointer/LLVMBasedPointsToAnalysis.h
  164. include/phasar/PhasarLLVM/Pointer/LLVMPointsToGraph.h
  165. include/phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h
  166. include/phasar/PhasarLLVM/Pointer/LLVMPointsToSet.h
  167. include/phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.h
  168. include/phasar/PhasarLLVM/Pointer/PointerAnalysisType.def
  169. include/phasar/PhasarLLVM/Pointer/PointerAnalysisType.h
  170. include/phasar/PhasarLLVM/Pointer/PointsToInfo.h
  171. include/phasar/PhasarLLVM/Pointer/PointsToSetOwner.h
  172. include/phasar/PhasarLLVM/Pointer/TypeGraphs/CachedTypeGraph.h
  173. include/phasar/PhasarLLVM/Pointer/TypeGraphs/LazyTypeGraph.h
  174. include/phasar/PhasarLLVM/Pointer/TypeGraphs/TypeGraph.h
  175. include/phasar/PhasarLLVM/TaintConfig/TaintConfig.h
  176. include/phasar/PhasarLLVM/TaintConfig/TaintConfigUtilities.h
  177. include/phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h
  178. include/phasar/PhasarLLVM/TypeHierarchy/LLVMVFTable.h
  179. include/phasar/PhasarLLVM/TypeHierarchy/TypeHierarchy.h
  180. include/phasar/PhasarLLVM/TypeHierarchy/VFTable.h
  181. include/phasar/PhasarLLVM/Utils/Annotation.h
  182. include/phasar/PhasarLLVM/Utils/BasicBlockOrdering.h
  183. include/phasar/PhasarLLVM/Utils/BinaryDomain.h
  184. include/phasar/PhasarLLVM/Utils/ByRef.h
  185. include/phasar/PhasarLLVM/Utils/DOTGraph.h
  186. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.def
  187. include/phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h
  188. include/phasar/PhasarLLVM/Utils/IOFormat.def
  189. include/phasar/PhasarLLVM/Utils/IOFormat.h
  190. include/phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h
  191. include/phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h
  192. include/phasar/PhasarLLVM/Utils/LLVMIRToSrc.h
  193. include/phasar/PhasarLLVM/Utils/LLVMShorthands.h
  194. include/phasar/PhasarLLVM/Utils/LatticeDomain.h
  195. include/phasar/PhasarLLVM/Utils/Printer.h
  196. include/phasar/PhasarLLVM/Utils/Scopes.h
  197. include/phasar/PhasarLLVM/Utils/SummaryStrategy.h
  198. include/phasar/PhasarPass/Options.h
  199. include/phasar/PhasarPass/PhasarPass.h
  200. include/phasar/PhasarPass/PhasarPrinterPass.h
  201. include/phasar/PhasarPass/RegisterPasses.h
  202. include/phasar/Utils/BitVectorSet.h
  203. include/phasar/Utils/DebugOutput.h
  204. include/phasar/Utils/EnumFlags.h
  205. include/phasar/Utils/EquivalenceClassMap.h
  206. include/phasar/Utils/IO.h
  207. include/phasar/Utils/Logger.h
  208. include/phasar/Utils/MaybeUniquePtr.h
  209. include/phasar/Utils/MemoryResource.h
  210. include/phasar/Utils/NlohmannLogging.h
  211. include/phasar/Utils/PAMM.h
  212. include/phasar/Utils/PAMMMacros.h
  213. include/phasar/Utils/SeverityLevel.def
  214. include/phasar/Utils/Soundness.def
  215. include/phasar/Utils/Soundness.h
  216. include/phasar/Utils/StableVector.h
  217. include/phasar/Utils/Table.h
  218. include/phasar/Utils/TypeTraits.h
  219. include/phasar/Utils/Utilities.h
  220. lib/cmake/nlohmann_json/nlohmann_jsonConfig.cmake
  221. lib/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake
  222. lib/cmake/nlohmann_json/nlohmann_jsonTargets.cmake
  223. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorConfig.cmake
  224. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorConfigVersion.cmake
  225. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorTargets-release.cmake
  226. lib/cmake/nlohmann_json_schema_validator/nlohmann_json_schema_validatorTargets.cmake
  227. lib/cmake/phasar/phasarConfig.cmake
  228. lib/cmake/phasar/phasarConfigVersion.cmake
  229. lib/cmake/phasar/phasar_analysis_strategy-targets-release.cmake
  230. lib/cmake/phasar/phasar_analysis_strategy-targets.cmake
  231. lib/cmake/phasar/phasar_clang-targets-release.cmake
  232. lib/cmake/phasar/phasar_clang-targets.cmake
  233. lib/cmake/phasar/phasar_config-targets-release.cmake
  234. lib/cmake/phasar/phasar_config-targets.cmake
  235. lib/cmake/phasar/phasar_controlflow-targets-release.cmake
  236. lib/cmake/phasar/phasar_controlflow-targets.cmake
  237. lib/cmake/phasar/phasar_controller-targets-release.cmake
  238. lib/cmake/phasar/phasar_controller-targets.cmake
  239. lib/cmake/phasar/phasar_db-targets-release.cmake
  240. lib/cmake/phasar/phasar_db-targets.cmake
  241. lib/cmake/phasar/phasar_ifdside-targets-release.cmake
  242. lib/cmake/phasar/phasar_ifdside-targets.cmake
  243. lib/cmake/phasar/phasar_mono-targets-release.cmake
  244. lib/cmake/phasar/phasar_mono-targets.cmake
  245. lib/cmake/phasar/phasar_pass-targets-release.cmake
  246. lib/cmake/phasar/phasar_pass-targets.cmake
  247. lib/cmake/phasar/phasar_passes-targets-release.cmake
  248. lib/cmake/phasar/phasar_passes-targets.cmake
  249. lib/cmake/phasar/phasar_phasarllvm_utils-targets-release.cmake
  250. lib/cmake/phasar/phasar_phasarllvm_utils-targets.cmake
  251. lib/cmake/phasar/phasar_pointer-targets-release.cmake
  252. lib/cmake/phasar/phasar_pointer-targets.cmake
  253. lib/cmake/phasar/phasar_taintconfig-targets-release.cmake
  254. lib/cmake/phasar/phasar_taintconfig-targets.cmake
  255. lib/cmake/phasar/phasar_typehierarchy-targets-release.cmake
  256. lib/cmake/phasar/phasar_typehierarchy-targets.cmake
  257. lib/cmake/phasar/phasar_utils-targets-release.cmake
  258. lib/cmake/phasar/phasar_utils-targets.cmake
  259. lib/libnlohmann_json_schema_validator.so
  260. lib/libnlohmann_json_schema_validator.so.1
  261. lib/libnlohmann_json_schema_validator.so.2.1.0
  262. lib/libphasar_analysis_strategy.so
  263. lib/libphasar_clang.so
  264. lib/libphasar_config.so
  265. lib/libphasar_controlflow.so
  266. lib/libphasar_controller.so
  267. lib/libphasar_db.so
  268. lib/libphasar_ifdside.so
  269. lib/libphasar_mono.so
  270. lib/libphasar_pass.so
  271. lib/libphasar_passes.so
  272. lib/libphasar_phasarllvm_utils.so
  273. lib/libphasar_pointer.so
  274. lib/libphasar_taintconfig.so
  275. lib/libphasar_typehierarchy.so
  276. lib/libphasar_utils.so
  277. libdata/pkgconfig/nlohmann_json.pc
  278. @dir bin/CodeGen/output
  279. @dir bin/CodeGen/template
  280. @owner
  281. @group
  282. @mode
Collapse this list.
Dependency lines:
  • phasar>0:devel/phasar
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 = 1673681295 SHA256 (secure-software-engineering-phasar-v1222_GH0.tar.gz) = 799a9054a00776c8a65cff32095ff5ac7c8c36143e6283631e6174f6d041813a SIZE (secure-software-engineering-phasar-v1222_GH0.tar.gz) = 7322368

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-4f8fba1_GH0.tar.gz) = a30659268f6834495168e3cba664ef38d4ad1f9f7e2f5382cd4711ec560b914a SIZE (nlohmann-json-4f8fba1_GH0.tar.gz) = 7021765 SHA256 (pboettch-json-schema-validator-27fc1d0_GH0.tar.gz) = b2ebf1ee856ee64a2e72ffdc3e1fdd5ed62c8c40c68f861450843146d9769cb5 SIZE (pboettch-json-schema-validator-27fc1d0_GH0.tar.gz) = 54204

Collapse this list.


Packages (timestamps in pop-ups are UTC):
phasar
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest12221222-12221222---
FreeBSD:13:quarterly12221222122212221222122212221222
FreeBSD:14:latest12221222-12221222---
FreeBSD:14:quarterly12221222-12221222122212221222
FreeBSD:15:latest12221222n/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/v1222?dummy=/
Collapse this list.

Number of commits found: 3

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