JISET: JavaScript IR-based Semantics Extraction Toolchain

Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu

Abstract

JavaScript was initially designed for client-side programming in web browsers, but its engine is now embedded in various kinds of host software. Despite the popularity, since the JavaScript semantics is complex especially due to its dynamic nature, understanding and reasoning about JavaScript programs are challenging tasks. Thus, researchers have proposed several attempts to define the formal semantics of JavaScript based on ECMAScript, the official JavaScript specification. However, the existing approaches are manual, labor-intensive, and error-prone and all of their formal semantics target ECMAScript 5.1 (ES5.1, 2011) or its former versions. Therefore, they are not suitable for understanding modern JavaScript language features introduced since ECMAScript 6 (ES6, 2015). Moreover, ECMAScript has been annually updated since ES6, which already made five releases after ES5.1.

BibTeX

@inproceedings{Park-al:ASE20,
  author    = {Jihyeok Park and
               Jihee Park and
               Seungmin An and
               Sukyoung Ryu},
  title     = {{JISET:} {JavaScript} {IR-based} Semantics Extraction Toolchain},
  booktitle = {ASE},
  pages     = {647--658},
  publisher = {{IEEE}},
  year      = {2020},
}

JISET: JavaScript IR-based Semantics Extraction Toolchain

Abstract

Related papers