kirancodes.me
To Proof Maintenance & Beyond!

Practical static analysis of JavaScript applications in the presence of frameworks and libraries

Magnus Madsen, Benjamin Livshits, Michael Fanning

Abstract

JavaScript is a language that is widely-used for both web- based and standalone applications such as those in the upcoming Windows 8 operating system. Analysis of JavaScript has long been known to be challenging due to its dynamic nature. On top of that, most JavaScript applications rely on large and complex libraries and frameworks, often written in a combination of JavaScript and native code such as C and C++. Stubs have been commonly employed as a partial specification mechanism to address the library problem; however, they are tedious to write, incomplete, and occasionally incorrect.

BibTeX
@inproceedings{Madsen-al:FSE13,
  author    = {Magnus Madsen and
               Benjamin Livshits and
               Michael Fanning},
  title     = {Practical static analysis of {JavaScript} applications in the presence of frameworks and libraries},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {499--509},
  publisher = {{ACM}},
  year      = {2013},
}

Related papers