An operational semantics for JavaScript
File(s)
Published version
Author(s)
Maffeis, Sergio
Mitchell, John C
Taly, Ankur
Type
Report
Abstract
We de ne a small-step operational semantics for the ECMAScript
standard language corresponding to JavaScript, as a basis for analyzing security
properties of web applications and mashups. The semantics is based on the
language standard and a number of experiments with di erent implementations
and browsers. Some basic properties of the semantics are proved, including a
soundness theorem and a characterization of the reachable portion of the heap.
standard language corresponding to JavaScript, as a basis for analyzing security
properties of web applications and mashups. The semantics is based on the
language standard and a number of experiments with di erent implementations
and browsers. Some basic properties of the semantics are proved, including a
soundness theorem and a characterization of the reachable portion of the heap.
Date Issued
2008-01-01
Citation
Departmental Technical Report: 08/13, 2008, pp.1-28
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
28
Journal / Book Title
Departmental Technical Report: 08/13
Copyright Statement
© 2008 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published
Article Number
08/13