基于动态协同双向映射的相似执行路径生成方法.pdfVIP

第 11期 电 子 学 报 Vo1．42 No．11 2014年 l1月 ACrAELECTR0NICASINICA NOV． 2014 基于动态协同双向映射的相似执行路径生成方法 郭 曦 ，王 盼 ， (1．华中农业大学信息学院计算机科学系，湖北武汉430070；2．武汉电力职业技术学院，湖北武汉430079 3．武汉大学电气工程学院，湖北武汉430072) 摘 要： 相似执行路径的生成是代码分析和检测的基础性工作之一，现有的方法通常以程序的行为序列或结构 为分析对象，通过改变关键谓词的取值等方法来进行分析，但由于缺乏必要的引导信息导致生成的相似路径的有效性 较低，另外由于路径的谓词集合较长而难以求解也降低了分析的精度 ．提出基于动态协同双向映射的分析方法，通过 对程序控制流图的表示形式进行扩展，结合后向符号分析的方法生成候选路径的最弱前置条件，并以此为引导信息使 用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合 ．实验结果表明，与现有的方法相比，该 方法的准确性和效率有明显的优势． 关键词： 静态分析；控制流图；最弱前置条件；相似执行路径 中图分类号： TP311 文献标识码： A 文章编号： 0372—2112(2014)11-2168—06 电子学报URL：http：／／www．ejourna1．org．cn DOI：10．3969／j．issn．0372—2112．2014．11．007 A TechniqueofSimilarExecutionPathsGenerationBasedon DynamicSynergyBidirectionalMapping GUO Xi．WANG P粕 ， (1．DepartmentofComputerScience，CollegeofInformatics，HuazhongAgr~ tureUniversity，Wuhan，Hubei430070，China； 2．WuhanElectricPowerTechnicalCoaeg~，Wuhan，Hubei430079，hC ina； 3．Sch~lofElectricalEngineering，WuhanUniversity，Wuhan，Hubei，430072，China) Abstract： Similarexecutionpathsgeneration isoneoftheftmdamentaltasksincodeanalysisanddetcetion．Thecurrent methodsusuallytargettotheprogram behaviorO1program structure，nadchangehtevalueofkeypredicates，buthtesemehtodshas alow effectivenessduetohtelackofhtenceessaryguidanceinformation，Meanwhile，htepredicatesesthasalargesizenadusually hardtosolve，htusitwillreducetheanalyzeprecisionas wel1．A tcehniqueofsimilarexceutionpathsgenerationbasedondynamic synergybidirectionalmappingisproposedni thispaper．Accordingot extendtheshapeofControlFlowGraphnadusethebackwrad symbolicnaal