Dear community,
today we are releasing PhASAR v2403. These are the main changes:
- Versioning scheme changed to vYYMM, so that it is monotonically growing
- Several bugfixes in and around analyses
- Introduced a single libphasar that contains everything
- IDESolver is no longer recursive, but uses a worklist algorithm - no more stack overflows ;-)
- New type hierarchy implementation, based on LLVM's debug info
- Introduced Path Tracking (see PathSensitivityManager)
- Various CMake cleanups and fixes
- (De-)serialization of ICFG
For details, please have a look at the merging PR #704.
We refrained from bumping LLVM to >14 this time, but in the next release we will bump to recent LLVM.
Thank you for using PhASAR. We appreciate your feedback, bug reports and contributions.
The PhASAR team