Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
327 Consultations
395 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More