Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions BreakingChanges.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,20 @@

*None*

## v2510

- Removed some old APIs from `PhasarConfig`
- Removed the header `phasar/Config/Version.h`. Use the generated header `phasar/Config/phasar-config.h` instead.
- Removed `getAsJson()` from various classes. Use `printAsJson(llvm::raw_ostream &)` instead.
- Removed `CallGraphAnalysisType::DTA` and the `DTAResolver` (see below)
- Removed the legacy flow functions `Identity`, `LambdaFlow`, etc. Use the static functions from `FlowFunctionTemplates` instead.
- Removed getter-functions from `GeneralStatistics`. Use the corresponding public fields instead.
- Removed `LLVMAliasGraph`. Use `LLVMAliasSet` instead.
- Removed `TypeGraphs/*` as they are not used.
- Removed the namespace-scoped function `initializeLogger()`. Use the static functions in the `Logger` class instead.
- Removed `legacy::stripPointer(const llvm::Type *)` as it does not work anymore with opaque pointers.


## v2503

- The `DTAResolver` and the cli option `--call-graph-analysis=dta` do not work anymore (due to opaque pointers) and will be removed for the next release. Please use the `OTF` or `RTA` resolver instead.
Expand Down
3 changes: 2 additions & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -27,9 +27,10 @@ if (NOT PHASAR_IN_TREE)
project (phasar
LANGUAGES C CXX
DESCRIPTION "A LLVM-based static analysis framework."
VERSION 2510
)
endif ()
set(PHASAR_VERSION 2503)
set(PHASAR_VERSION ${PROJECT_VERSION})

# NOTE: When we require cmake >= 3.21, we can use PROJECT_IS_TOP_LEVEL instead
if (CMAKE_SOURCE_DIR STREQUAL CMAKE_CURRENT_SOURCE_DIR)
Expand Down
3 changes: 1 addition & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,7 @@

[![C++ Standard](https://img.shields.io/badge/C++_Standard-C%2B%2B17-blue.svg?style=flat&logo=c%2B%2B)](https://isocpp.org/)
[![GitHub license](https://img.shields.io/badge/license-MIT-blueviolet.svg)](https://raw.githubusercontent.com/secure-software-engineering/phasar/master/LICENSE.txt)

Version 2503
[![GitHub Release](https://img.shields.io/github/v/release/secure-software-engineering/phasar?label=version)](https://github.com/secure-software-engineering/phasar/releases)

## What is PhASAR?

Expand Down
2 changes: 1 addition & 1 deletion examples/use-phasar-with-fetch-content/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ include(FetchContent)
FetchContent_Declare(
phasar
GIT_REPOSITORY https://github.com/secure-software-engineering/phasar.git
GIT_TAG development # At best, use a tagged version, such as v2503
GIT_TAG development # At best, use a tagged version, such as v2510
EXCLUDE_FROM_ALL
OVERRIDE_FIND_PACKAGE
)
Expand Down
Loading