检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学技术大学计算机科学与技术学院,合肥230026 [2]中国科学技术大学先进技术研究院中国科大一国创高可信软件工程中心,合肥230027
出 处:《小型微型计算机系统》2018年第3期401-405,共5页Journal of Chinese Computer Systems
基 金:国家自然科学基金项目(61379039,61632005)资助.
摘 要:符号执行技术以其良好的精确度控制被广泛应用于程序分析领域,它将程序中变量的值用抽象的符号表示,模拟真实的程序执行.由于其路径敏感,在分析过程中会带来严重的状态爆炸问题.提出针对缺陷的程序切片方法来缓解这一问题,首先根据用户关心的缺陷生成源程序的切片准则,然后分析源代码生成数据依赖图和控制依赖图,由两者构成程序依赖图,再根据切片准则做程序切片,将源程序规模缩小,最后将切片后的程序交给程序分析工具分析.在符号执行分析工具ShapeChecker上的实验结果表明,提出的方法具有良好的效果.Symbolic execution is widely used in program analysis for its well-controlled precision. It denotes the value of variables as abstract symbols and simulates the execution of programs. Because our tool is path-sensitive, we suffer the path-explosion problem when analyzing source code. We present a program slicing method for defects to alleviate the problem. Firstly, we generate the slicing criterion of source programs according to defects that users concern about. Then we analyze the source code to generate Data Depend- ence Graph and Control Dependence Graph, which constitute Program Dependence Graph. Next, the program is sliced according to the slicing criterion so that the source code could be reduced. Finally, we use the program analyzer to analyze the sliced program. The ex- perimental results on ShapeChecker, our symbolic execution tool, show that the method is effective.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249