An Analytic Framework for JavaScript

As the programming language of the web, JavaScript deserves a principled yet robust framework for static analysis. To achieve both aims simultaneously, they start from an established reduction semantics for JavaScript and systematically derive its intensional abstract interpretation. The authors' first step is to transform the semantics into an equivalent low-level abstract machine: the JavaScript Abstract Machine (JAM). The authors then derive the systematic abstraction of the entire low-level machine. That process yields a finite-state, machine-based abstract interpretation for JavaScript.

Provided by: Northeastern University Topic: Software Date Added: Apr 2011 Format: PDF

Find By Topic