Summary Of Pointer Analysis Techniques
Stc
Date: 2011-06-23
Time: 11:00
Room: BBL 165
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