Work

JavaScript Pointer Analysis with Adaptive Heap Abstraction

Year: 2026

Type: article

Abstract: The conventional approach to represent objects in static program analysis is to use allocation-site abstraction. This design choice may lead to redundant computations when many abstract objects are similar. Existing mechanisms that aim to merge such objects are not effective for JavaScript. We propose a novel adaptive heap abstraction technique that during analysis discovers and merges similar abstract objects, thereby reducing the analysis complexity while preserving most of the precision. The technique has been implemented in a state-of-the-art program analyzer for JavaScript. On a collection of 96 challenging programs, it yields a 2X speedup on average (up to 17X) with a negligible loss of precision. The experimental results also show the effects of various analysis configurations.

Source: Proceedings of the ACM on software engineering.

DOI: 10.1145/3797133

Authors: Wenyuan Xu, Anders Møller

Institution: Aarhus University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: Teknologi og Produktion, Det Frie Forskningsråd

OpenAlex ID: W7166671554

FWCI:

Cites: 27

Cited by:

Related to: