Precise Data Flow Analysis in the Presence of Correlated Method Calls
No abstract available.
Related papers
- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method CC 2008
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis ICFP 2016
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Probabilistic Inference for Datalog with Correlated Inputs OOPSLA 2025
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- LOCKSMITH: context-sensitive correlation analysis for race detection PLDI 2006
- Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis TOPLAS 2020
- Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering ECOOP 2025