phasar

phasar copied to clipboard

Unable to build use-phasar-as-library example, phasar_FOUND set to false

11

- [x] I have searched open and closed issues for duplicates - [x] I made sure that I am not using an old project version (DO: pull Phasar, update git...

icmccorm

## Story Prepare PhASAR for LLVM 15 and beyond: - Get rid of llvm::Type::getPointerElementType() and llvm::PointerType::getElementType() - How should we deal with IfdsFieldSensTaintAnalysis? It heavily relies on non-opaque pointers -...

fabianbs96

phasar installs files from googletest, nlohmann json

3

``` ===> Registering installation for phasar-1222 Installing phasar-1222... pkg-static: phasar-1222 conflicts with googletest-1.12.1 (installs files into the same place). Problematic file: /usr/local/include/gtest/gtest-death-test.h *** Error code 1 ``` ``` ===> Registering...

yurivict

stdc++fs isn't needed on FreeBSD

1

Failure: ``` ld: error: unable to find library -lstdc++fs ``` clang-14 FreeBSD 13.1

yurivict

CMake Uninstall Target

1

## Story While phasar provides an `install` target in its cmake lists, it lacks an automated way to uninstall phasar from the system. Add it! ### Prerequisites * *issue x*...

fabianbs96

## Story Managing dependencies in C++ is a hard task. Especially, there is one dependency that *always* makes problems: Boost. We have decided to de-boostify PhASAR. The only part left...

sritejakv

Filtered AliasSet

2

The `LLVMAliasSet` contains a lot of spurious aliases due to its context insensitivity and its almost not present field-sensitivity. Hence, the client analyses based on this alias information produce many...

fabianbs96

Indices in uninit variables analysis

3

I tried some phasar-cli analysis on rust code. On a simple hello-world program I got multiple unused variable notifications. When I looked at the llvm code those often where there...

StamesJames

EF SemiRing in Problem

1

Edge functions model a bounded idempotent semi-ring. Thereby, the extend-operation is represented as `composeWith` and the combine-operation as `joinWith`. The fixed interface of these functions makes handling dependent resources hard,...

fabianbs96

The `TypeHierarchy` Interface needs some refactoring. This PR does the following: - Split the VTable handling out of the `TypeHierarchy` interface - Modernize some API functions from the `TypeHierarchy` -...

fabianbs96