Login
Talks & Seminars
Title: Points-to-Analysis as a System of Linear Equations
Prof. R. Govindarajan, Supercomputer Edn. & Research Centre, Dept. of CSA, Indian Institute of Science Bangalore
Date & Time: July 23, 2010 14:00
Venue: Conference Room, 01st Floor, 'C' Block, Kanwal Rekhi Bldg.
Abstract:
In this work, we propose a novel formulation of the points-to-analysis as a system of linear equations. With this, the efficiency of the points-to analysis can be significantly improved by leveraging the advances in solution procedures for solving the systems of linear equations. However, such a formulation is non-trivial and becomes challenging due to various facts, namely, multiple pointer indirections, address-of operators and multiple assignments to the same variable. Further, the problem is exacerbated by the need to keep the transformed equations linear. Despite this, we successfully model all the pointer operations. We propose a novel inclusion-based context-sensitive points-to-analysis algorithm based on prime factorization, which can model all the pointer operations. Experimental evaluation on SPEC 2000 benchmarks and two large open source programs reveals that our approach is competitive to the state-of-the-art algorithms. With an average memory requirement of mere 21MB, our context-sensitive points-to analysis algorithm analyzes each benchmark in 55 seconds on an average.
Speaker Profile:
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback