CPA beats ∞-CFA


Context-sensitive points-to analysis is the current most scalable technology for constructing a precise control-flow graph for large object-oriented programs. One appealing feature of this framework is that it is parametric thus allowing to trade time for precision. Typical instances of this framework are κ-CFAs and Agesen's Cartesian Product… (More)
DOI: 10.1145/1557898.1557905


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics