JSAVER: JavaScript Static Analyzer via ECMAScript Representation

JSAVER is a JavaScript Static Analyzer via ECMAScript Representation. It is the first tool that automatically derives JavaScript static analyzers from language specifications using an interpreter-based approach called meta-level static analysis instead of a traditional compiler-based approach. This artifact extends JISET to extract JavaScript definitional interpreters written in Intermediate Representations for ECMAScript Specifications (IRES) from diverse versions of ECMA-262