Refinement-based context-sensitive points-to analysis for Java
No abstract available.
Related papers
- Refinement in object-sensitivity points-to analysis via slicing OOPSLA 2018
- Hybrid context-sensitivity for points-to analysis PLDI 2013
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Data-driven context-sensitivity for points-to analysis OOPSLA 2017
- Symbolic pointer analysis revisited PLDI 2004
- Context transformations for pointer analysis PLDI 2017
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity OOPSLA 2019
- Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs SAS 2016