Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis
Abstract
JavaScript is one of the most dominant programming languages. However, despite its popularity, it is a challenging task to correctly understand the behaviors of JavaScript programs because of their highly dynamic nature. Researchers have developed various static analyzers that strive to conform to ECMA-262, the standard specification of JavaScript. Unfortunately, all the existing JavaScript static analyzers require manual updates for new language features. This problem has become more critical since 2015 because the JavaScript language itself rapidly evolves with a yearly release cadence and open development process.
BibTeX
@inproceedings{Park-al:FSE22,
author = {Jihyeok Park and
Seungmin An and
Sukyoung Ryu},
title = {Automatically deriving {JavaScript} static analyzers from specifications using Meta-level static analysis},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {1022--1034},
publisher = {{ACM}},
year = {2022},
}