Refactor analysis framework for pluggable abstract domains / Add `TypeCheckSmallTest`

es-meta / esmeta

ECMAScript Specification (ECMA-262) Metalanguage

BSD 3-Clause "New" or "Revised" License

188 stars 12 forks source link

Refactor analysis framework for pluggable abstract domains / Add `TypeCheckSmallTest` #212

Closed jhnaldo closed 7 months ago

jhnaldo commented 7 months ago

The existing framework does not support changing abstract domains for different analyses during a single execution. To support pluggable abstract domains, this PR refactored the analysis framework. Then, it also introduced TypeCheckSmallTest to test the type analysis fo ECMA-262.