Skip to Main content Skip to Navigation
Conference papers

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

Yoonseok Ko 1 Xavier Rival 2 Sukyoung Ryu 1
2 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Xavier Rival <>
Submitted on : Thursday, January 4, 2018 - 3:10:28 PM
Last modification on : Thursday, July 1, 2021 - 5:58:08 PM
Long-term archiving on: : Thursday, May 3, 2018 - 1:54:03 AM


Files produced by the author(s)




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⟩



Record views


Files downloads