JavaScript静态切片工具.pdf

计 算 机 与 现 代 化 2016年第8期 JISUANJIYUXIANDAIHUA 总第252期 文章编号：1006-2475(2016)08-0046-06 JavaScript静态切片工具 田 生 (上海交通大学软件学院，上海 200240) 摘要：程序切片是一种传统的程序分析方法：通过去掉无关代码 ，获取可能影响桌行代码的子集。程序切片在程序理解、 软件测试和程序调试等众多领域有着广泛的应用。随着互联网技术的发展 ，JavaScript语言得到广泛应用，但针对该语言 的切片工具非常有限。本文针对JavaScfipt语言的特殊性，提出一种基于程序依赖图的JavaScript程序切片算法，并基于 wALA程序分析框架实现了该切片算法。试验结果表明，本文的切片算法可以得到较为理想的切片结果。试验 中切片 平均大小约为原程序代码的7O％，较手工切片仅有约19％冗余。 关键词 ：程序切片；静态分析；程序调试 中图分类号：TP3l1 文献标识码：A doi：10．3969／j．issn．1006-2475．2016．08．010 JavaScriptStaticSlicingTool TIAN Sheng (SchoolofSoftware，ShanghaiJiaoTongUniversity，Shanghm200240，China) Abstract：Program slicingisatraditionaldecompositiontechniqueinprogram analysis．Prorgam slicingisaimedtogetrelative codesforsometargetbyremovingunrelatedcodes．Prorgam slicingiswidelyusedinmanysoftwraeengineeringactivitiessuchas codeunderstanding，softwaretesting，andprogram debugging．Asthedevelopmentofnetworktechnology，JavaScripthasbeen widelyused．However，thereraefewslicingtoolsforJavaScript．ThispaperproposesanalgorithmforslicingJavaScriptprorgma s basedonprorgam dependencegraphs，whichfocusesonspecificfeaturesofJavaScriptlanguage．Thispaperalsodiscussestheim- plementationof theproposedalgorithm byusingWALA program analysisframework．Th eexperimentalresultshowstheeffective— nessof theproposedalgorithm inthesensethattheslicingtoolcangenerateslicingcodeswith70％ sizeoforiginalcode，andalso 0nly19％ largerthanhteslicinggeneratedbyhandwriting． Keywords：program slicing；staticanalysis；prorgam debugging 的切片工具 。Indus是美国堪萨斯州立大学开发 0 引 言 的针对Java语言的切片工具 12]。Slithice是南京航