Philipp Dominik Schubert

Automatically detect the build directory (for the unit tests) to successfully run the unit in more advanced setups.

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

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

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

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