IDE Solver for OPAL: Integration, Interaction, and Performance

Master Thesis

The goal of this thesis is to implement a solver for IDE in our OPAL static analysis framework.

IDE is a graph-based data-flow framework upon which data-flow analyses can be built. In the past, IDE has been used to implement, e.g., constant propagation or alias analyses.

The thesis should integrate IDE in OPAL based on the existing IFDS solver. It should explore possible interactions between IDE analyses and other analyses implemented in OPAL. A focus of the evaluation should be the runtime and memory performance of the implemented solver.