基于扩展符号执行的动态内存故障静态分析方法研究
在C/C++等支持动态内存的程序中普遍存在各种各样的内存故障，采用动态测试方法难以保证覆盖所有分支且很难定位故障源，而现有的静态分析方法存在漏报和误报过多的情况。针对此问题，提出了扩展符号执行的方法。该方法记录路径条件并利用约束求解判断路径的可行性。通过指针映射集合全面跟踪指针与内存之间的映射关系以及堆内存的状态，最后根据动态内存故障模式，自动检测出多种内存故障。实验证实，该方法取得了比较理想的效果。
动态内存 内存故障模式 指针映射集 扩展符号执行 静态分析
姬秀娟 杨巨峰 许静 过辰楷
南开大学信息技术科学学院 天津 300071 南京大学计算机软件新技术国家重点实验室 南京 210093
国内会议
长春
中文
107-111,128
2011-10-28（万方平台首次上网日期，不代表论文的发表时间）