基于分支混淆算法的符号执行技术

摘要：

符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一.通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题.该策略使用实时的约束求解,及时地剪除不可达的混淆分支.结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym.初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率.

关键词：符号执行、软件测试、数组混淆、约束求解

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：南京大学计算机软件新技术国家重点实验室开放课题KFKT2010B22;天津市科技攻关项目08ZCKFGX01100

在线出版日期：2012-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：115-119