基于缺陷模式的內存泄漏靜態(tài)檢測方法研究.pdf

1、隨著軟件規(guī)模的不斷擴大以及復雜度不斷提升，以此帶來的軟件潛在缺陷檢測已成為學術界研究的熱點問題。對于內存泄漏缺陷檢測，多采用靜態(tài)檢測方法來分析查找程序源代碼中潛在的缺陷。此類方法多存在著所耗時間過長、無法有效發(fā)現(xiàn)漏洞等問題。因此，研究高效率、高準確性的內存泄漏檢測方法是實際應用所需要的，具有較強的研究價值和實際意義。
　　針對于內存泄漏檢測，設計了一種基于缺陷模式的內存泄漏靜態(tài)檢測方法。在分析現(xiàn)有的內存泄漏缺陷模式的基礎上，總結了

2、內存泄漏缺陷模式中存在的內存操作行為（內存分配、內存釋放和內存轉移），并設計了相應的內存操作行為狀態(tài)機模型，以此作為內存泄漏靜態(tài)檢測的基礎。該方法利用基于正則表達式的模糊匹配算法來查找待檢測代碼中存在的內存操作行為，進而分析內存操作行為狀態(tài)機的變化情況，來查找源代碼中存在的漏洞。同時，為了提高檢測的效率，解決函數(shù)調用點函數(shù)重復展開檢測的問題，提出了針對于內存操作行為的函數(shù)摘要，并設計了相應的函數(shù)摘要生成算法和函數(shù)摘要更新算法。