处理符号执行中数组元素混淆的一种新方法

摘要

符号执行并不是一项新的技术,它采用符号（如变量的名称）而不是实际的值来代表系统的输入。作为结果,执行过程中系统所有的变量及输出为符号或关于符号的表达式。该项技术在软件测试中可以用来自动生成完备的测试用例。但符号执行还存着许多内在的缺陷,如数组元素的混淆、对循环的处理等。文中提出了一种新的源码到源码的转换算法“混淆算法”,使转换后的代码不需任何专用工具就可以被一般的符号执行工具运行,很好的解决了数组元素混淆问题。