Summary Of Pointer Analysis Techniques
Date: 2011-06-23 Time: 11:00 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php]] ----+++++ Speaker: Remy Willems ----+++++ Title: A Summary of Pointer Analysis Techniques ----+++++ Abstract Pointer Analysis is a technique for statically determining the runtime values of pointers. The technique is critical for many transformations used by optimizing compilers. Pointer Analysis has been heavily researched with over 60 papers. We will attempt to summarize the many types of existing pointer analyses. There are a number of well known trade-offs between precision and performance by which the analyses are categorized, these are: * Equality and Subset based Constraints * Flow-sensitivity * Context-sensitivity * Path-sensitivity We discuss the different categories, and identify which techniques are currently feasible.