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

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

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

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