Program Analysis

Wednesday, July 20th, 10:45-12:25, Salon A – Session Chair: Eric Bodden

Demand-Driven Context-Sensitive Alias Analysis for Java

Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA)

Path- and Index-sensitive String Analysis based on Monadic Second-order Logic (Distinguished Paper)

Takaaki Tateishi, Marco Pistoia, and Omer Tripp (IBM Research Tokyo, Japan; IBM Research Watson, USA; IBM Software Group, Israel)

Saving the World Wide Web from Vulnerable JavaScript

Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel)

Geometric Encoding: Forging the High Speed Context Sensitive Points-to Analysis for Java

Richard Xiao and Charles Zhang (Hong Kong University of Science and Technology, China)