kirancodes.me
To Proof Maintenance & Beyond!
FSE 2011

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications

Simon Holm Jensen, Magnus Madsen, Anders Møller

PDFDOI 10.1145/2025113.2025125dblp

Abstract

Developers of JavaScript web applications have little tool support for catching errors early in development. In comparison, an abundance of tools exist for statically typed languages, including sophisticated integrated development environments and specialized static analyses. Transferring such technologies to the domain of JavaScript web applications is challenging. In this paper, we discuss the challenges, which include the dynamic aspects of JavaScript and the complex interactions between JavaScript, HTML, and the browser. From this, we present the first static analysis that is capable of reasoning about the flow of control and data in modern JavaScript applications that interact with the HTML DOM and browser API.

BibTeX
@inproceedings{Jensen-al:FSE11,
  author    = {Simon Holm Jensen and
               Magnus Madsen and
               Anders M{\o}ller},
  title     = {Modeling the {HTML} {DOM} and browser {API} in static analysis of {JavaScript} web applications},
  booktitle = {FSE},
  pages     = {59--69},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers