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

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

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