New Implementation Strategy for IFDS-based Dataflow Analyses

Master Thesis

The goal of this thesis is to develop a new implementation strategy for IFDS analyses using the OPAL static analysis framework.

IFDS (or interprocedural, finite, distributive, subset problems) is a graph-reachability based algorithm for dataflow analysis that has gained popularity in recent years.

In this thesis, a new implementation strategy is to be developed and evaluated that can be efficiently parallelized using OPAL's fixed-point solver.


  • Mario Trageser: New implementation Strategies for IFDS and IFDS based Analyses.