ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Fri 10 Jul 2015 17:30 - 18:00 at Bohemia - Analysis II Chair(s): Francesco Logozzo

Context sensitivity is a technique to improve program analysis precision by distinguishing between function calls. A specific context-sensitive analysis is usually designed to accommodate the programming paradigm of a particular programming language. JavaScript features both the object-oriented and functional programming paradigms. Our empirical study suggests that there is no single context-sensitive analysis that always produces precise results for JavaScript applications. This observation motivated us to design an adaptive analysis, selecting a context-sensitive analysis from multiple choices for each function. Our two-staged adaptive context-sensitive analysis first extracts function characteristics from an inexpensive points-to analysis and then chooses a specialized context-sensitive analysis per function based on the heuristics. The experimental results show that our adaptive analysis achieved more precise results than any single context-sensitive analysis for several JavaScript programs in the benchmarks.

Fri 10 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:00 - 18:30: Research Track - Analysis II at Bohemia
Chair(s): Francesco LogozzoFacebook
research-track17:00 - 17:30
David HauzarCharles University in Prague, Jan KofroĊˆCharles University in Prague
research-track17:30 - 18:00
Shiyi WeiVirginia Tech, Barbara RyderVirginia Tech
research-track18:00 - 18:30
Changhee ParkKAIST, Sukyoung RyuKorea Advanced Institute of Science and Technology