Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

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.

REFERENCES

• 1: Alfred V. Aho , Monica S. Lam , Ravi Sethi , Jeffrey D. Ullman, Compilers: Principles, Techniques, and Tools (2nd Edition), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2006
• 2: L. Andersen. Program analysis and specialization for the C programming language. PhD thesis, University of Cophenhagen, 1994.
• 3: C. Anderson, P. Giannini, and S. Drossopoulou. Towards type inference for JavaScript. 19th European Conference on Object-Oriented Programming, pages 428--453, 2005.
• 4: Patrick Cousot , Radhia Cousot, Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form, Proceedings of the 7th International Conference on Computer Aided Verification, p.293-308, July 03-05, 1995
• 5: Manuvir Das, Unification-based pointer analysis with directional assignments, Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, p.35-46, June 18-21, 2000, Vancouver, British Columbia, Canada
• 6: ECMA International. ECMAScript language specification. Stardard ECMA-262, 3rd Edition, Dec 1999. http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf.
• 7: J. Garrett. Ajax: A new approach to web applications, 2005.
• 8: Nevin Charles Heintze, Set based program analysis, Carnegie Mellon University, Pittsburgh, PA, 1992
• 9: Nevin Heintze, Set-based analysis of ML programs, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.306-317, July-Sept. 1994
• 10: Michael Hind , Anthony Pioli, Which pointer analysis should I use?, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.113-123, Sept. 2000
• 11: A. Le Hors, P. Le Hégaret, L. Wood, G. Nicol, J. Robie, M. Champion, and S. Byrne. Document object model (DOM) level 3 core specification (W3C recommendation), 2004. http://www.w3.org/TR/DOM-Level-3-Core.
• 12: Atanas Rountev , Ana Milanova , Barbara G. Ryder, Points-to analysis for Java using annotated constraints, Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.43-55, October 14-18, 2001, Tampa Bay, FL, USA
• 13: Bjarne Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.32-41, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237727]
• 14: The Webkit Open Source Project. Sunspider JavaScript benchmark, 2007. http://webkit.org/perf/sunspider-0.9/sunspider.html/.
• 15: The Mozilla Organization. Rhino: JavaScript for Java, 2004. http://www.mozilla.org/rhino/.
• 16: P. Thiemann. Towards a type system for analyzing JavaScript programs. European Symposium On Programming, pages 408--422, 2005.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Specialized application languages

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Program analysis

General Terms:
Algorithms, Design, Experimentation, Languages

Keywords:
JavaScript, pointer analysis, points-to analysis, program analysis, scripting language