程序代码级内存缺陷漏报分析及解决方法

摘要

本发明公开一种程序中代码级内存缺陷漏报的解决方案，本方法能够实现对程序中所有代码级内存缺陷的检测。该方法包括：A、充分的总结代码级内存缺陷模式；B、全面的描述内存对象的存储状态，采用抽象域表示表达式的取值，采用抽象内存模型描述表达式间的各种关联；C、可靠的数据流分析，分析获得每个程序点上每个内存对象取值的上近似，以及表达式间的各种可能关联；D、完全的识别代码级内存缺陷检测对象；E、根据总结的代码级内存缺陷模式规则以及数据流分析的结果，准确的检测每一个代码级内存缺陷检测对象是否违背了对内存读写的正确语义规则。本发明的代码级内存缺陷漏报解决方案方法，能够实现对程序中代码级内存缺陷检测的充分性。