內(nèi)存泄漏靜態(tài)檢測模型的設(shè)計與實現(xiàn).pdf

1、C程序中內(nèi)存泄漏的檢測是C程序軟件測試的重點和難點之一。由于C程序具有靈活高效的優(yōu)點，從C語言的誕生到現(xiàn)在，都作為一種主流程序設(shè)計語言一直被廣泛使用。C語言使得用戶能夠直接控制程序內(nèi)存資源的使用，這對于實現(xiàn)運行程序的高性能或提高計算機資源的利用率是至關(guān)重要的。但正是因為C語言中靈活的內(nèi)存管理機制，使C程序很容易產(chǎn)生內(nèi)存泄漏等內(nèi)存方面的程序錯誤。內(nèi)存泄漏故障在C中是非常危險的，通常難以觀察到的，但隨著故障的積累，程序的整體性能會下降，嚴(yán)重

2、時會導(dǎo)致死機或異常退出。因此內(nèi)存泄漏的檢測至關(guān)重要！ 本文首先研究了內(nèi)存泄漏檢測技術(shù)的發(fā)展情況以及內(nèi)存泄漏的特征和產(chǎn)生原因，并分析了國內(nèi)外常見的內(nèi)存泄漏檢測方法，包括靜態(tài)檢測法、動態(tài)檢測法等，并對比他們的優(yōu)缺點。之后本文實現(xiàn)了靜態(tài)檢測工具DTSC，實現(xiàn)了對程序的語法分析，詞法分析，生成符號表和控制流圖，并在此之上實現(xiàn)了對程序中各個變量的區(qū)間分析，使得分析的準(zhǔn)確性大大提高。之后實現(xiàn)了拓展性強的缺陷模式狀態(tài)機，搭建了一個針對故障的強