Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report
No abstract available.
DOI 10.4230/lipics.ecoop.2024.36
Related papers
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding ECOOP 2026
- TAJ: effective taint analysis of web applications PLDI 2009
- Experience with Efficient Array Data-Flow Analysis for Array Privatization PPoPP 1997
- Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis ESOP 2020
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis ECOOP 2021
- An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis TOPLAS 1990