Points-to analysis for JavaScript

Authors:
Dongseok Jang;Kwang-Moo Choe
Affiliations:
Korea Advanced Institute of Science & Technology;Korea Advanced Institute of Science & Technology
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 10
Cited 15

Set based program analysis

Set based program analysis
Set-based analysis of ML programs

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Points-to analysis in almost linear time

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Which pointer analysis should I use?

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Unification-based pointer analysis with directional assignments

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Points-to analysis for Java using annotated constraints

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Towards a type system for analyzing javascript programs

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Towards type inference for javascript

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Type Analysis for JavaScript

SAS '09 Proceedings of the 16th International Symposium on Static Analysis
An analysis of the dynamic behavior of JavaScript programs

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Alias analysis for optimization of dynamic languages

Proceedings of the 6th symposium on Dynamic languages
Flexible in-lined reference monitor certification: challenges and future directions

Proceedings of the 5th ACM workshop on Programming languages meets program verification
TypeCastor: demystify dynamic typing of JavaScript applications

Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
The eval that men do: A large-scale study of the use of eval in javascript applications

Proceedings of the 25th European conference on Object-oriented programming
Tool-supported refactoring for JavaScript

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
ToMaTo: a trustworthy code mashup development tool

Proceedings of the 5th International Workshop on Web APIs and Service Mashups
Remedying the eval that men do

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Eval begone!: semi-automated removal of eval from javascript programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Type refinement for static analysis of JavaScript

Proceedings of the 9th symposium on Dynamic languages
AppMobiCloud: improving mobile web applications by mobile-cloud convergence

Proceedings of the 5th Asia-Pacific Symposium on Internetware
A trusted mechanised JavaScript specification

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Security Signature Inference for JavaScript-based Browser Addons

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization

Quantified Score

Hi-index	0.00

Visualization

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.