Software

An Analytic Framework for JavaScript

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 168.94 KB