Points-to analysis for JavaScript

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 1930-1937

  Jang, Dongseok ^a   Choe, Kwang Moo ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

JavaScript; Pointer analysis; Points to analysis; Program analysis; Scripting language

Indexed keywords

JAVASCRIPT; POINTER ANALYSIS; POINTS-TO ANALYSIS; PROGRAM ANALYSIS; SCRIPTING LANGUAGES;

HIGH LEVEL LANGUAGES; LINGUISTICS; SOFTWARE ENGINEERING;

JAVA PROGRAMMING LANGUAGE;

EID: 72949107345     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529711     Document Type: Conference Paper

References (16)

1. A. Aho, M. Lam, R. Sethi, and J. Ullman. Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 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. P. Cousot and R. Cousot. Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form. Lecture Notes in Computer Science, 939:293-308, 1995.
5. M. Das. Unification-based pointer analysis with directional assignments. Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pages 35-46, 2000.
6. ECMA International. ECMAScript language specification. Stardard ECMA-262, 3rd Edition,, Dec 1999. http://www.ecmainternational. org/publications/files/ ECMA-ST/Ecma-262.pdf.
7. J. Garrett. Ajax: A new approach to web applications, 2005.
8. N. Heintze. Set based program analysis. PhD thesis, Carnegie Mellon University, 1992.
9. N. Heintze. Set-based analysis of ML programs. ACM SIGPLAN Lisp Pointers, 7(3):306-317, 1994.
10. M. Hind and A. Pioli. Which pointer analysis should I use? ACM SIGSOFT Software Engineering Notes, 25(5):113-123, 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. A. Rountev, A. Milanova, and B. Ryder. Points-to analysis for Java using annotated constraints. Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 43-55, 2001.
13. B. Steensgaard. Points-to analysis in almost linear time. Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 32-41, 1996.
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.