Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
Abstract elided by the publisher.
Related papers
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- Exploiting the structure of the constraint graph for efficient points-to analysis ISMM 2012
- Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis TOPLAS 2020
- Parallel sparse flow-sensitive points-to analysis CC 2018
- Object Versioning for Flow-Sensitive Pointer Analysis CGO 2021
- Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code CGO 2010
- Making context-sensitive points-to analysis with heap cloning practical for the real world PLDI 2007
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016