C程序分析工具中程序切片的设计与实现

作     者：蒋刚 李兆鹏 JIANG Gang;LI Zhao-peng

作者机构：中国科学技术大学计算机科学与技术学院合肥230026 中国科学技术大学先进技术研究院中国科大一国创高可信软件工程中心合肥230027 

基　　金：国家自然科学基金项目(61379039 61632005)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2018年第39卷第3期

页      码：401-405页

摘      要：符号执行技术以其良好的精确度控制被广泛应用于程序分析领域,它将程序中变量的值用抽象的符号表示,模拟真实的程序执行.由于其路径敏感,在分析过程中会带来严重的状态爆炸问题.提出针对缺陷的程序切片方法来缓解这一问题,首先根据用户关心的缺陷生成源程序的切片准则,然后分析源代码生成数据依赖图和控制依赖图,由两者构成程序依赖图,再根据切片准则做程序切片,将源程序规模缩小,最后将切片后的程序交给程序分析工具分析.在符号执行分析工具ShapeChecker上的实验结果表明,提出的方法具有良好的效果.

主 题 词：缺陷检测 程序切片 静态分析 符号执行 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-1220.2018.03.001

馆 藏 号：203282892...