Dear community,

today we are releasing PhASAR v2604. These are the main changes:

• Added a new call-graph algorithm, based on variable-type-analysis (VTA)
  • Checkout the new VTAResolver class
• Added new Steensgaard-style alias-analyses, based on the union-find algorithm
  • Checkout the new LLVMUnionFindAliasSet and AbstractPAG classes
• Added missing APIs to IterativeIDESolver
• Switched from C++17 to C++20
• Updated the supported LLVM version from 15 to 16/17
  • We support linking against either LLVM 16 or 17, but you can still load and analyze LLVM-15 IR
• Updated PhASAR's SVF-bindings to support SVF-3.1 and SVF-3.2
• Removed deprecated APIs (see BreakingChanges.md)
• Compute test coverage in CI
• Bug fixes + smaller enhancements

For details, please have a look at the merging PR #823.

For the next release (which will probably be ready in October 2026), we plan to update LLVM to the latest version (currently 22.1) as breaking change.
This will also allow us to test experimental support for C++23.

Thank you for using PhASAR. We appreciate your feedback, bug reports and contributions.
The PhASAR team