SPLASH 2020 (series) / ECOOP 2020 (series) / Artifacts /
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
This artifact runs TAJS extended with the three instantiations of value partitioning presented in the paper: ”Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript”.