Dear community,
today we are releasing PhASAR v2510. These are the main changes:
- Add a more lightweight API for using alias information (AliasIterator) and points-to information (PointsToIterator)
- Add examples that show, how to use PhASAR
- Add experimental support for C++20 modules
- Add more code comments and deploy PhASAR's API-reference at GitHub Pages
- Add support for pointer-analysis information from SVF 3.0 (VersionedFlowSensitive, ContextDDA)
- Add default flow-functions to simplify IFDS/IDE-based analyses (noalias, alias-aware, allocation-site-aware)
- Removed many deprecated APIs (see BreakingChanges.md)
- Make PhASAR compile with GCC (tested with g++-11 and g++-13)
- Several bug-fixes
For details, please have a look at the merging PR #797.
For the next release (which will probably be ready in March 2026), we plan to update LLVM to at least v16 and to update the minimum C++ standard from 17 to 20 as breaking changes, as well as more.
Thank you for using PhASAR. We appreciate your feedback, bug reports and contributions.
The PhASAR team