Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
No abstract available.
Related papers
- The Simple Essence of Monomorphization OOPSLA 2025
- Points-to analysis with efficient strong updates POPL 2011
- Checking type safety of foreign function calls TOPLAS 2008
- Fast and Accurate Flow-Insensitive Points-To Analysis POPL 1997
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Points-to Analysis in Almost Linear Time POPL 1996
- New results on the computability and complexity of points - to analysis POPL 2003
- Efficient field-sensitive pointer analysis of C TOPLAS 2007