WALA Tutorial at PLDI 2014 - overview
Tutorial at PLDI 2014
We have been using WALA as a basis to explore a variety of approaches to analyze client-side Web code; we will discuss those results and focus primarily on describing the infrastructure in WALA that we have developed in the course of this work. Specifically, we will focus on the following aspects of WALA:
- Targeted context sensitivity. We will present the general context-sensitivity support in WALA's pointer analysis framework, which allows analyses to tailor sensitivity to particular functions and objects. We will illustrate this and also WALA specialization support by examining how the correlation tracking analysis described in our ECOOP 2012 paper is implemented.
We will focus on these topics using our own research work as examples of how these pieces of infrastructure are used in practice.
- Manu Sridharan is a researcher at Samsung Research America in the area of programming languages and software engineering. He received my PhD from the University of California, Berkeley in 2007 and worked at IBM Research from 2008–2013. His dissertation focused on refinement-based program analysis tools. Since then, he has done research on a variety of topics in static analysis, dynamic analysis, and software engineering. His most recent work focuses on static and dynamic analysis of web applications.
Videos of Last Year's Tutorial at PLDI 13