Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction

Abstract : JavaScript is one of the most widely used programming languages. To understand the behaviors of JavaScript programs and to detect possible errors in them, researchers have developed several static analyzers based on the abstract interpretation framework. However, JavaScript provides various language features that are difficult to analyze statically and precisely such as dynamic addition and removal of object properties, first-class property names, and higher-order functions. To alleviate the problem, JavaScript static analyzers often use recency abstraction, which refines address abstraction by distinguishing recent objects from summaries of old objects. We observed that while recency abstraction enables more precise analysis results by allowing strong updates on recent objects, it is not monotone in the sense that it does not preserve the precision relationship between the underlying address abstraction techniques: for an address abstraction A and a more precise abstraction B, recency abstraction on B may not be more precise than recency abstraction on A. Such an unintuitive semantics of recency abstraction makes its composition with various analysis sensitivity techniques also unintuitive. In this paper, we propose a new sin-gleton abstraction technique, which distinguishes singleton objects to allow strong updates on them without changing a given address abstraction. We formally define recency and singleton abstractions, and explain the unintuitive behaviors of recency abstraction. Our preliminary experiments show promising results for singleton abstraction.
Type de document :
Communication dans un congrès
SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, 〈10.1145/3088515.3088516〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01648682
Contributeur : Xavier Rival <>
Soumis le : lundi 27 novembre 2017 - 02:15:13
Dernière modification le : jeudi 11 janvier 2018 - 02:09:15

Fichier

pldiws17soap-soapmainid6.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jihyeok Park, Xavier Rival, Sukyoung Ryu. Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction. SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, 〈10.1145/3088515.3088516〉. 〈hal-01648682〉

Partager

Métriques

Consultations de la notice

19

Téléchargements de fichiers

7