New Implementation Strategy for IFDS-based Dataflow Analyses
The goal of this thesis is to develop a new implementation strategy for IFDS analyses using the static analysis framework. OPAL
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.