A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
2020
European Conference on Object-Oriented Programming
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
doi:10.4230/lipics.ecoop.2020.16
dblp:conf/ecoop/NielsenM19
fatcat:jln7cwv4gbb6rdb5girkp64p3a