phasar

phasar copied to clipboard

Distributed Work-list Algorithm

1

Determine if parts of the monotone framework's work-list algorithm can be parallelized to boost overall efficiency of the usually not very scalable approach. The paper "Toward Full Elasticity in Distributed...

pdschubert

Implement a Full-constant Propagation for the InterMonoSolver

2

Implement a full-constant propagation using the inter-procedural monotone problem such that it can be solved by the InterMonoSolver. The analysis has to be field-sensitive (k-limited) and must make use of...

pdschubert

Improve the structure of analysis problems according to the discussions with Richard, Martin, and Philipp. 

pdschubert

To boost efficiency of the inter-procedural monotone framework a parameterizable cache should be integrated. Generating general summaries for non-distributive data-flow problems is usually undecidable, but at least one could cache...

pdschubert

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

fabianbs96

Conan migration

3

# Phasar meets conan Our main idea was to reuse our just-simple.cmake, which is like phasar_macros.cmake but more generic, and apply it with all its features to phasar. It took...

jusito

fabianbs96

Implementation for the issue #552

sritejakv

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...

fabianbs96

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...

fabianbs96