Context-Sensitive Points-to Analysis: Is It Worth It?
Abstract elided by the publisher.
Related papers
- Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs SAS 2016
- Refinement-based context-sensitive points-to analysis for Java PLDI 2006
- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis ECOOP 2009
- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters APLAS 2009
- Hybrid context-sensitivity for points-to analysis PLDI 2013
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Data-driven context-sensitivity for points-to analysis OOPSLA 2017
- Precise and scalable points-to analysis via data-driven context tunneling OOPSLA 2018