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 …

User interface (UI) interactions are essential to Android applications, as many Activities
require UI interactions to be triggered. This kind of UI interactions could also help malicious …

While Apple has checked every app available on the App Store, Google takes another
approach that allows anyone to publish apps on the Android Market. The openness of the …

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

Formal models serve in many roles in the programming language community. In its primary
role, a model communicates the idea of a language design; the architecture of a language …

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 …

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 …

In the static analysis of functional programs, pushdown flow analysis and abstract garbage
collection skirt just inside the boundaries of soundness and decidability. Alone, each method …

Due to the rapid increase of Android apps and their wide usage to handle personal data, a
precise and large-scaling checker is in need to validate the apps' permission flow before …

Context-free approaches to static analysis gain precision over classical approaches by
perfectly matching returns to call sites---a property that eliminates spurious interprocedural …