Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
The IFDS algorithm is pivotal in solving field-sensitive data-flow problems. However, its
conventional use of access paths for field sensitivity leads to the generation of a large …
conventional use of access paths for field sensitivity leads to the generation of a large …
Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations
The IFDS (Inter-procedural, Finite, Distributive, Subset) algorithms are popularly used to
solve a wide range of analysis problems. In particular, many interesting problems are …
solve a wide range of analysis problems. In particular, many interesting problems are …