| Port details |
- phasar LLVM-based static analysis framework
- 2503 devel
 =2      2403_2Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2023-01-16 05:39:08
- Last Update: 2025-03-16 07:30:18
- Commit Hash: 4548195
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- Conflicts:
- CONFLICTS_INSTALL:
- 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
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- python3.11 : lang/python311
- Test dependencies:
-
- googletest>0 : devel/googletest
- python3.11 : lang/python311
- Runtime dependencies:
-
- bash : shells/bash
- python3.11 : lang/python311
- Library dependencies:
-
- libboost_graph.so : devel/boost-libs
- libcurl.so : ftp/curl
- libLLVM-15.so : devel/llvm15
- 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2503
16 Mar 2025 07:30:18
 |
Yuri Victorovich (yuri) |
devel/phasar: update 2403 → 2503
Reported by: portscout |
2403_3
14 Feb 2025 03:17:22
|
Dima Panov (fluffy) |
devel/boost: bump consumers after Boost-1.87 update
Sponsored by: Future Crew, LLC |
2403_2
20 Nov 2024 10:05:25
|
Dima Panov (fluffy) |
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
|
Dima Panov (fluffy) |
*/*: bump consumers after devel/boost* update
With hat: office
Sponsored by: Future Crew, LLC |
2403
26 Apr 2024 07:15:21
|
Yuri Victorovich (yuri) |
devel/phasar: Fix build on some systems by adding missing #include <vector>
Reported by: fallout |
2403
14 Apr 2024 19:07:37
|
Yuri Victorovich (yuri) |
devel/phasar: update 1222 → 2403
Reported by: portscout |
1222
29 Sep 2023 19:05:06
|
Muhammad Moinur Rahman (bofh) |
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
|
Yuri Victorovich (yuri) |
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
|
Yuri Victorovich (yuri) |
devel/phasar: New port: LLVM-based static analysis framework |
As an Amazon Associate I earn from qualifying purchases.