We present a survey of control-flow analysis of functional programs, which has been the
subject of extensive investigation throughout the past 30 years. Analyses of the control flow …

JavaScript is the main scripting language for Web browsers, and it is essential to modern
Web applications. Programmers have started using it for writing complex applications, but …

We describe a derivational approach to abstract interpretation that yields novel and
transparently sound static analyses when applied to well-established abstract machines. To …

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

In this article we present a general method for achieving global static analyzers that are
precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques …

Big-step abstract interpreters are an approach to build static analyzers based on big-step
interpretation. While big-step interpretation provides a number of benefits for the definition of …

In a functional language, the dominant control-flow mechanism is function call and return.
Most higher-order flow analyses, including k-CFA, do not handle call and return well: they …

Low-level program analysis is a fundamental problem, taking the shape of" flow analysis" in
functional languages and" points-to" analysis in imperative and object-oriented languages …

In this functional pearl, we examine the use of definitional interpreters as a basis for abstract
interpretation of higher-order programming languages. As it turns out, definitional …

We describe, implement and benchmark EigenCFA, an algorithm for accelerating higher-
order control-flow analysis (specifically, 0CFA) with a GPU. Ultimately, our program …