A Meta-Level Static Analysis for JavaScript

In this report, we formalize a meta-level static analysis for JavaScript as a defined-language with IRES as a defining-language. We first define IRES and a JavaScript definitional interpreter as an IRES program. Then, we define a meta-level static analysis for JavaScript with the abstract semantics of IRES in the abstract interpretation framework. In addition, we explain how to indirectly express abstract domains and analysis sensitivities for JavaScript