基于扩展符号执行的动态内存故障静态分析方法研究

摘要

在C/C++等支持动态内存的程序中普遍存在各种各样的内存故障，采用动态测试方法难以保证覆盖所有分支且很难定位故障源，而现有的静态分析方法存在漏报和误报过多的情况。针对此问题，提出了扩展符号执行的方法。该方法记录路径条件并利用约束求解判断路径的可行性。通过指针映射集合全面跟踪指针与内存之间的映射关系以及堆内存的状态，最后根据动态内存故障模式，自动检测出多种内存故障。实验证实，该方法取得了比较理想的效果。