论文信息 - Points-to analysis for JavaScript

Points-to analysis for JavaScript

JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is evident. Points-to analysis for JavaScript is to determine the set of objects to which a reference variable or an object property may point. Points-to analysis for JavaScript is a basis for further program analyses for JavaScript. It has a wide range of applications in code optimization and software engineering tools. However, points-to analysis for JavaScript has not yet been developed. JavaScript has dynamic features such as the runtime modification of objects through addition of properties or updating of methods. We propose a points-to analysis for JavaScript which precisely handles the dynamic features of JavaScript. Our work is the first attempt to analyze the points-to behavior of JavaScript. We evaluate the analysis on a set of JavaScript programs. We also apply the analysis to a code optimization technique to show that the analysis can be practically useful.

Kwang-Moo Choe | Dongseok Jang

[1] Peter Thiemann. Towards a Type System for Analyzing JavaScript Programs , 2005, ESOP.

[2] Manuvir Das,et al. Unification-based pointer analysis with directional assignments , 2000, PLDI '00.

[3] Nevin Charles Heintze,et al. Set based program analysis , 1992 .

[4] Sophia Drossopoulou,et al. Towards Type Inference for JavaScript , 2005, ECOOP.

[5] Patrick Cousot,et al. Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form , 1995, CAV.

[6] Nevin Heintze,et al. Set-based analysis of ML programs , 1994, LFP '94.

[7] Jesse James Garrett. Ajax: A New Approach to Web Applications , 2007 .

[8] Bjarne Steensgaard,et al. Points-to analysis in almost linear time , 1996, POPL '96.

[9] Lars Ole Andersen,et al. Program Analysis and Specialization for the C Programming Language , 2005 .

[10] Barbara G. Ryder,et al. Points-to analysis for Java using annotated constraints , 2001, OOPSLA '01.

[11] Jonathan Robie,et al. Editors , 2003 .

[12] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13] Michael Hind,et al. Which pointer analysis should I use? , 2000, ISSTA '00.