Points-to analysis for context-oriented JavaScript programs

Abstract

The purpose of this work is to improve the results of analyzers that could use the points-to sets as an input such as type checking by improving the precision of a points-to analysis for context-oriented JavaScript programs. We implement points-to analysis for context-oriented JavaScript programs, that consider both dynamic capabilities of the language and functionalities of COP. To narrow down the problem, we implement the analyzer for a specific implementation of COP for JavaScript.