Beyond Points-to Analysis: Static Program Analysis for Understanding, Testing and Debugging of Software
Ana Milanova
RPI
April 26, 2007
12:50 pm - 1:50pm
TBD
Abstract
Static program analysis is a technique that examines the code of a program and reasons about properties of its run-time behavior. There is a wide variety of uses of static analysis---traditionally in optimizing compilers, and more recently in software productivity tools.

One fundamental static analysis problem is the points-to analysis problem. Points-to analysis determines what memory locations a given memory location may refer to; it has many uses in compilers and software tools. In this talk we will describe recent advances in design and implementation of points-to analysis for object-oriented languages. Furthermore, we will describe how this analysis can help achieve effective software understanding and testing, and can help uncover difficult software bugs.

Lunch will be provided in Steinmetz 209 at noon.