基于条件值的C/C++预处理测试算法

摘要：

传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的.为降低时间复杂度,提出一种快速符号执行算法.源代码通过词法分析器得到顶处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值.实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度.

关键词：符号执行、预处理变量、条件值、条件表达式

所属期刊栏目：37

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

资助基金：南京航空航天大学基本科研业务费专项科研基金资助项目NS2010069

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

页数：共3页

页码：68-69,72