技術總結
本發(fā)明公開一種程序中代碼級內存缺陷漏報的解決方案，本方法能夠實現(xiàn)對程序中所有代碼級內存缺陷的檢測。該方法包括：A、充分的總結代碼級內存缺陷模式；B、全面的描述內存對象的存儲狀態(tài)，采用抽象域表示表達式的取值，采用抽象內存模型描述表達式間的各種關聯(lián)；C、可靠的數(shù)據(jù)流分析，分析獲得每個程序點上每個內存對象取值的上近似，以及表達式間的各種可能關聯(lián)；D、完全的識別代碼級內存缺陷檢測對象；E、根據(jù)總結的代碼級內存缺陷模式規(guī)則以及數(shù)據(jù)流分析的結果，準確的檢測每一個代碼級內存缺陷檢測對象是否違背了對內存讀寫的正確語義規(guī)則。本發(fā)明的代碼級內存缺陷漏報解決方案方法，能夠實現(xiàn)對程序中代碼級內存缺陷檢測的充分性。

技術研發(fā)人員：董玉坤
受保護的技術使用者：中國石油大學（華東）
文檔號碼：201611119345
技術研發(fā)日：2016.12.08
技術公布日：2017.05.17