一句话：提出利用元级静态分析从规范自动派生 JavaScript 静态分析器，以应对语言快速演进。
JavaScript 高度动态，正确理解程序行为困难；研究者开发了多种静态分析器并努力符合 ECMA-262 标准。然而，现有 JavaScript 静态分析器在新语言特性出现时都需要人工更新。自 2015 年以来，JavaScript 以年度发布节奏和开放开发流程快速演进，使这一问题更加突出。本文提出利用元级静态分析，从规范自动派生 JavaScript 静态分析器，旨在避免为每个新特性手动维护分析器。摘要未报告具体评估结果，但该工作针对分析器与标准同步这一核心挑战，为持续演进的 JavaScript 提供自动生成分析器的途径。
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.
DOI 原文 ·
@inproceedings{paperbot6962,
title = {Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis},
author = {Jihyeok Park and Seungmin An and Sukyoung Ryu},
booktitle = {FSE},
year = {2022},
doi = {10.1145/3540250.3549097}
}