DocumentCode :
3658473
Title :
Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals
Author :
Astrid Younang;Lunjin Lu
Author_Institution :
Comput. Sci. &
Volume :
3
fYear :
2015
fDate :
7/1/2015 12:00:00 AM
Firstpage :
441
Lastpage :
446
Abstract :
Interpretation has been a promising approach for static analysis of Java Script programs. Static analysis is used for security auditing, debugging, optimization and error checking. Java Script is dynamically typed, uses prototype-based inheritance and first class functions. It supports reflective calls, access to object fields and allows object fields to be dynamically added and deleted. These dynamic features make Java Script flexible to use. At the same time, they make Java Script applications more susceptible to programming errors. The challenge that comes with the analysis of such programs is the design of abstract domains that will precisely track properties of interest without affecting performance. This paper presents our work on improving analysis precision of Java Script programs. We used an extended domain of intervals to track ranges of numeric values of variables. This is the first time interval domain has been applied to the analysis of the full Java Script language. We implemented the new abstract domain within a Java Script abstract interpreter. Our experiments show that the new abstract domain enables the abstract interpreter to infer more precise type information for most of the benchmark programs and strikes a good balance between analysis precision and cost. While the analysis of some benchmarks take more time as expected, some other benchmarks actually take less time.
Keywords :
"Benchmark testing","Optimization","Concrete","Security","Browsers","Lattices","Sensitivity"
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual
Electronic_ISBN :
0730-3157
Type :
conf
DOI :
10.1109/COMPSAC.2015.175
Filename :
7273400
Link To Document :
بازگشت