Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects - Archive ouverte HAL Access content directly
Conference Papers Year :

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

(1) , (2) , (1)
1
2

Abstract

JavaScript framework libraries like jQuery are widely used, but complicate program analyses. Indeed, they encode clean high-level constructions such as class inheritance via dynamic object copies and transformations that are harder to reason about. One common pattern used in them consists of loops that copy or transform part or all of the fields of an object. Such loops are challenging to analyze precisely, due to weak updates and as unrolling techniques do not always apply. In this paper, we observe that precise field correspondence relations are required for client analyses (e.g., for call-graph construction), and propose abstractions of objects and program executions that allow to reason separately about the effect of distinct iterations without resorting to full unrolling. We formalize and implement an analysis based on this technique. We assess the performance and precision on the computation of call-graph information on examples from jQuery tutorials.
Fichier principal
Vignette du fichier
aplas.pdf (373.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01648680 , version 1 (04-01-2018)

Identifiers

Cite

Yoonseok Ko, Xavier Rival, Sukyoung Ryu. Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Nov 2017, Suzhou, China. pp.148-168, ⟨10.1007/978-3-319-71237-6_8⟩. ⟨hal-01648680⟩
278 View
361 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More