Fabian Schiebel

Redesign ProjectIRDB

2

The redesign of the ProjectIRDB, as discussed

Improvements to the CFG and ICFG interfaces similar to the ProjectIRDB in #511. #511 should be merged first

There are linking issues for phasar on some systems; however, simply adding the link libraries to the respective targets creates cyclic dependencies. This PR aims to resolve this issue

champ for_each_chunk_p

3

Currently, the immer `set`, `map`, and `table` containers only support a subset of available algorithms; especially `immer::all_of` is not supported. That is, because the underlying `champ` does not implement `for_each_chunk_p`....

champ try_update

3

## Story As a user of `immer`, I want to efficiently build up nested `map` structures in an incremental way until reaching a fixpoint, achieving maximum performance. This involves frequent...

The `joinImpl` in the `IDEInstInteractionAnalysis` does not correctly model a join-lattice for the edge values `l_t`. This PR fixes this issue and also fixes the subsequent errors that showed up...

The cmake option `PHASAR_DEBUG_LIBDEPS` does not correctly verify that all dependencies are resolved. To fix this, we now use the linker flag `-Wl,-z,defs` that reports a linker error if a...

IDE Statistics

1

This PR adds some statistics to IDE, especially edge functions; they should be useful for debugging. In addition, this PR restructures the AnalysisController slightly, to reduce dependencies and improve incremental...

## Story In general, PhASAR supports two kinds of analyses: - Generally useful analyses such as constant analysis and alias analysis (and in future points-to analysis) - Analyses reporting undesired...