JuS: Squeezing the Sense out of JavaScript Programs
Venue
2nd Annual Workshop on Tools for JavaScript Analysis (JSTools ’13)
Publication Year
2013
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.