JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …

JavaScript is used everywhere from the browser to the server, including desktops and
mobile devices. However, the current state of the art in JavaScript static analysis lags far …

Many JavaScript programs are written in an event-driven style. In particular, in server-side
Node. js applications, operations involving sockets, streams, and files are typically …

Static analysis for JavaScript can potentially help programmers find errors early during
development. Although much progress has been made on analysis techniques, a major …

This monograph is mainly based on the research that has been conducted in the Verification
Laboratory at the University of California, Santa Barbara, in the last decade. String analysis …

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 …

In dynamic languages, objects are open–they support iteration over and dynamic
addition/deletion of their attributes. Open objects, because they have an unbounded number …

Dynamically typed programming languages such as JavaScript and Python defer type
checking to run time. In order to maximize performance, dynamic language VM …

A well-known approach to statically analyze libraries without having access to their client
code is to model all possible clients abstractly using a most-general client. In dynamic …

Dynamically typed programming languages such as Python and JavaScript defer type
checking to run time. VM implementations can improve performance by eliminating …