Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Summary Of Pointer Analysis Techniques
Stc
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][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 We discuss the different categories, and identify which techniques are currently feasible.