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 metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01648680
Contributor : Xavier Rival <>
Submitted on : Thursday, January 4, 2018 - 3:10:28 PM
Last modification on : Tuesday, August 4, 2020 - 3:42:35 AM
Document(s) archivé(s) le : Thursday, May 3, 2018 - 1:54:03 AM

File

aplas.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

451

Files downloads

436