phasar

phasar copied to clipboard

This implements a data structure to store data flow information for functions. Given a function name and the index of the parameter under consideration, the data structure returns data flow...

bulletSpace

Dataflow facts disappear when using PropagateOntoStrategy in backward analysis

3

Hi, Recently, I meet one issue when using PropagateOntoStrategy (branch f-IDESolverStrategy) for backward analysis. My backward dataflow analysis is a specialized typestate analysis. Flow functions are as follows. call-to-return: killall...

yuffon

This PR adds the following changes: - Integrate Opaque pointers into Call-graph resolvers and unittests - Disable the `DTAResolver` (to be removed for the next release). - Replace the `LLVMTypeHierarchy`...

fabianbs96

Integrate the $JF_N$ configuration from the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report" (https://doi.org/10.4230/LIPIcs.ECOOP.2024.36). - We need to find a good way of integrating...

fabianbs96

Added a uninit variables analysis with indexes

3

The added analysis exists as a seperate tool and does the same as the ifds-uninit analysis in phaser-cli but also remembers which indices are initialized. This is related to Issue...

StamesJames

Adds a set of example programs under `examples/how-to/` that show, how to use PhASAR.

fabianbs96

LLVM > 15

1

We should upgrade PhASAR's required maximum LLVM version to something >15 to profit from API improvements and for compatibility with other tools, e.g., the IR used in `rustc`. We should...

fabianbs96

## Story PhASAR currently provides three call-graph algorithms: CHA, RTA and OTF, in increasing order of complexity/precision; however, the precision of the OTF CG heavily depends on the precision of...

fabianbs96

Own CI environment is required due to 20.04 brownout and outdated swift toolchain.

1

We need an own baseimage for CI because of required dependencies which need to be compiled. **Motivation:** 1. Ubuntu 20.04 is marked for brownout by github which will disable the...

jusito

IDE Solver Consolidation

2

Now with #733 we have two IDE solvers that hardly share common code. So, we need to factor-out common code to improve the maintenance experience. Also the new solver is...

fabianbs96