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.
Type de document :
Communication dans un congrès
APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Nov 2017, Suzhou, China. Springer, 10695, pp.148-168, LNCS. 〈10.1007/978-3-319-71237-6_8〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01648680
Contributeur : Xavier Rival <>
Soumis le : jeudi 4 janvier 2018 - 15:10:28
Dernière modification le : jeudi 26 avril 2018 - 10:29:02
Document(s) archivé(s) le : jeudi 3 mai 2018 - 01:54:03

Fichier

aplas.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Springer, 10695, pp.148-168, LNCS. 〈10.1007/978-3-319-71237-6_8〉. 〈hal-01648680〉

Partager

Métriques

Consultations de la notice

312

Téléchargements de fichiers

23