Aarhus University Seal

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review



In static analysis of modern JavaScript libraries, relational analysis at key locations is critical to provide sound and useful results. Prior work addresses this challenge by the use of various forms of trace partitioning and syntactic patterns, which is fragile and does not scale well, or by incorporating complex backwards analysis. In this paper, we propose a new lightweight variant of trace partitioning named value partitioning that refines individual abstract values instead of entire abstract states. We describe how this approach can effectively capture important relational properties involving dynamic property accesses, functions with free variables, and predicate functions. Furthermore, we extend an existing JavaScript analyzer with value partitioning and demonstrate experimentally that it is a simple, precise, and efficient alternative to the existing approaches for analyzing widely used JavaScript libraries.

Original languageEnglish
Title of host publication34th European Conference on Object-Oriented Programming, ECOOP 2020
Number of pages28
PublisherDagstuhl Publishing
Publication yearNov 2020
Article number16
ISBN (Electronic)9783959771542
Publication statusPublished - Nov 2020
Event34th European Conference on Object-Oriented Programming (ECOOP 2020) - Online
Duration: 15 Nov 202017 Nov 2020
Conference number: 34


Conference34th European Conference on Object-Oriented Programming (ECOOP 2020)
SeriesLeibniz International Proceedings in Informatics

    Research areas

  • Abstract interpretation, Dataflow analysis, JavaScript

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 202251832