JavaScript Static Slicing Tool

doi:10.3969/j.issn.1006-2475.2016.08.010

Abstract

Abstract: Program slicing is a traditional decomposition technique in program analysis. Program slicing is aimed to get relative codes for some target by removing unrelated codes. Program slicing is widely used in many software engineering activities such as code understanding, software testing, and program debugging. As the development of network technology, JavaScript has been widely used. However, there are few slicing tools for JavaScript. This paper proposes an algorithm for slicing JavaScript programs based on program dependence graphs, which focuses on specific features of JavaScript language. This paper also discusses the implementation of the proposed algorithm by using WALA program analysis framework. The experimental result shows the effectiveness of the proposed algorithm in the sense that the slicing tool can generate slicing codes with 70% size of original code, and also only 19% larger than the slicing generated by hand writing.

Key words: program slicing, static analysis, program debugging

CLC Number:

TP311

TIAN Sheng. JavaScript Static Slicing Tool[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2016.08.010.

References

[1] 韩继登. 基于Android系统组件劫持的漏洞分析[D]. 北京:北京邮电大学, 2015.

[2] 姜淑娟,王兴亚,张艳梅,等. 空指针异常的自动故障定位方法[J]. 通信学报, 2015,36(1):18-29.

[3] Zhang Peng, Mao Xiaoguang, Lei Yan, et al. Fault localization based on dynamic slicing via JSlice for Java programs[C]// Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS). 2014:565-568.

[4] 张锋. 程序切片技术在软件测试中的应用[J]. 电子技术与软件工程, 2014(17):70-70.

[5] 王志文,黄小龙,王海军,等. 基于程序切片的测试用例生成系统研究与实现[J]. 计算机科学, 2014,41(9):71-74.

[6] Zhao Binglin, Wang Yinhao, Shan Zheng, et al. Software behavior model based on functional slicing[C]// Proceedings of the 2015 International Conference on Intelligent Systems Research and Mechatronics Engineering. Atlantis Press, 2015.

[7] Weiser M. Program slicing[C]// Proceedings of the 5th International Conference on Software Engineering. 1981:439-449.

[8] Korel B, Laski J. Dynamic program slicing[J]. Information Processing Letters, 1988,29(3):155-163.

[9] Krishnaswamy A. Program Slicing: An Application of Object-oriented Program Dependency Graphs[R]. Technical Report TR94-108, Clemson University, 1994.

[10] Cheng Jingde. Slicing concurrent programs: A graph-theoretical approach[C]// Proceedings of the 1st International Workshop on Automated and Algorithmic Debugging. 1993:223-240.

[11] Jackson D, Rollins E J. Abstraction mechanisms for pictorial slicing[C]// Proceedings of the 3rd IEEE Workshop on Program Comprehension. 1994:82-88.

[12] Jayaraman G, Ranganath V P, Hatcliff J. Kaveri: Delivering the Indus Java program slicer to eclipse[M]// Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2005:269-272.

[13] 钱巨,陶彬贤. Slithice: 一个基于系统依赖图的Java程序切片工具[J]. 计算机工程与应用, 2014,50(2):31-34.

[14] WalaWiki. T J Watson Libraries for Analysis[EB/OL]. http://wala.sourceforge.net/wiki/index.php/Main_Page, 2015-06-14.

[15] Gevargizian J M. Executables from Program Slices for Java Programs[D]. University of Kansas, 2010.

[16] Microsoft. Mozilla Rhino: JavaScript Engine (Java)[EB/OL]. http://www.mozilla.org/rhino/, 2015-10-27.

[17] GitHub. YUI Compressor[EB/OL]. http://yui.github.io/yuicompressor/, 2015-11-02.