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

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

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