JuS: Squeezing the Sense out of JavaScript Programs

Authors

  • Philipa Gardner
  • Daiva Naudziuniene
  • Gareth Smith

Abstract

We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on examples from the Firefox test suite which illustrate the scoping mechanism of the JavaScript variable store.

Venue

2nd Annual Workshop on Tools for JavaScript Analysis (JSTools ’13)

Publication Date

Jul 2013

Source Materials