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

research-track
17:00 - 18:30: Research Track - Analysis II at Bohemia
Chair(s): Francesco Logozzo
research-track143654040000017:00 - 17:30
Talk
research-track143654220000017:30 - 18:00
Talk
research-track143654400000018:00 - 18:30
Talk