Towards Alias-Free Pointers
No abstract available.
Related papers
- Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses SAS 1998
- Efficient subcubic alias analysis for C OOPSLA 2014
- Interprocedural pointer alias analysis TOPLAS 1999
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994
- Fast algorithms for Dyck-CFL-reachability with applications to alias analysis PLDI 2013
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis PLDI 2008
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams PLDI 2004