Practical Extensions to the IFDS Algorithm
No abstract available.
Related papers
- Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers OOPSLA 2024
- Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations CGO 2024
- Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing CGO 2021
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP 2026
- Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding ECOOP 2026
- SPLLIFT: statically analyzing software product lines in minutes instead of years PLDI 2013
- Interprocedural analysis of asynchronous programs POPL 2007