【摘 要】
：
相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.
【机 构】
：
华中农业大学信息学院计算机科学系,武汉电力职业技术学院,SchoolofComputerScience
论文部分内容阅读
相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成近邻的路径集合,由于缺乏关键节点的路径引导信息,导致生成大量冗余或者无效的路径集合.提出采用协同式逆向分析的近邻路径生成方法,针对目标路径的后置条件,采用逆向符号分析方法产生程序各个基本块的前置条件作为执行路径的引导信息.同时,通过调整距离因子k的取值,可以有针对性地生成与目标路径的编辑距离不超过k的近邻
其他文献
在介绍XC型螺旋桨节能机理的基础上,比较、分析该螺旋桨与常用关刀型、B型桨实船测试结果,并用实例说明该螺旋桨推广使用后的节能效果,有利于节能型螺旋桨的推广应用.
范畴标注是组合范畴语法解析中的子任务之一，可用于提高解析器的效率和性能．传统的最大熵模型需要手工定义特征模板，神经网络则通过隐含层学习到离散特征的分布式表示，从而自动提
妊娠期糖尿病（gestational diabetes mellitus,GDM）是指妊娠期发生或首次发现的不同程度的糖代谢异常[1]。近年来,随着人们生活水平的不断提高,GDM的发病率呈逐年上升的趋势,各
静脉化疗是大部分乳腺癌患者规范治疗中不可缺少的环节,但由于化疗药物的毒性作用,易给静脉造成损伤,常表现为注射部位血管出现红、肿、灼热及疼痛。特别是乳腺癌患者静脉选
子宫肌瘤又称子宫平滑肌瘤,是女性生殖器最常见的一种良性肿瘤。由于子宫肌瘤生长较快,当供血不良时,可发生不同变性,肌瘤越大,缺血越严重,则继发变性越多,严重影响患者的生