JavaScript静态切片工具

doi:10.3969/j.issn.1006-2475.2016.08.010

计算机与现代化

JavaScript静态切片工具

(上海交通大学软件学院，上海 200240)

收稿日期:2016-01-22 出版日期:2016-08-18 发布日期:2016-08-11
作者简介:田生(1990-)，男，天津人，上海交通大学软件学院硕士研究生，研究方向：程序分析与测试。

JavaScript Static Slicing Tool

(School of Software, Shanghai Jiao Tong University, Shanghai 200240, China)

Received:2016-01-22 Online:2016-08-18 Published:2016-08-11

摘要/Abstract

摘要： 程序切片是一种传统的程序分析方法：通过去掉无关代码，获取可能影响某行代码的子集。程序切片在程序理解、软件测试和程序调试等众多领域有着广泛的应用。随着互联网技术的发展，JavaScript语言得到广泛应用，但针对该语言的切片工具非常有限。本文针对JavaScript语言的特殊性，提出一种基于程序依赖图的JavaScript程序切片算法，并基于WALA程序分析框架实现了该切片算法。试验结果表明，本文的切片算法可以得到较为理想的切片结果。试验中切片平均大小约为原程序代码的70%，较手工切片仅有约19%冗余。

关键词: 程序切片, 静态分析, 程序调试

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

中图分类号:

TP311

田生. JavaScript静态切片工具[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2016.08.010.

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

参考文献

[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.

JavaScript静态切片工具

JavaScript Static Slicing Tool

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics

本文评价

[1]	韩静丹,孙磊，王帅丽，王泽武. 基于BPSO-NB算法的Android恶意应用检测方法[J]. 计算机与现代化, 2017, 0(4): 109-113.
[2]	叶家彬，于海波. JavaScript程序动态切片技术的研究[J]. 计算机与现代化, 2016, 0(5): 100-105.
[3]	陈泓旭. 基于LLVM的程序关注点影响分析[J]. 计算机与现代化, 2014, 0(4): 203-207.
[4]	徐路路;张丽萍;郭越. 代码分析中的层次式静态检测方法[J]. 计算机与现代化, 2013, 1(9): 58-61,6.
[5]	刘艳;李龙澍. 基于逆向程序流和函数依赖集的程序切片算法[J]. 计算机与现代化, 2013, 1(8): 122-124,.
[6]	夏嘉斌. 基于概率推演的动态程序切片优先度计算方法[J]. 计算机与现代化, 2013, 1(3): 12-16.
[7]	李金诺. 一种基于约束分析精简控制流图方法[J]. 计算机与现代化, 2013, 218(10): 55-61.
[8]	陈才. 一种区间型程序不变量检测方法[J]. 计算机与现代化, 2010, 1(3): 184-4.