成果信息
盡管市場(chǎng)上有大量缺陷查找工具,,對(duì)于重要的內(nèi)存修復(fù)缺陷,現(xiàn)在的工具只能報(bào)告缺陷的位置,,不能自動(dòng)進(jìn)行修復(fù)。本工具就填補(bǔ)了這一空缺,,不但準(zhǔn)確的查找出有內(nèi)存泄露的代碼,,并且能自動(dòng)地修復(fù)缺陷。 由于本工具和市場(chǎng)上原有產(chǎn)品的互補(bǔ)特性,,本工具和這些產(chǎn)品不構(gòu)競(jìng)爭(zhēng),,而是作為這些工具的重要補(bǔ)充:開(kāi)發(fā)人員可以首先運(yùn)行我們的工具來(lái)自動(dòng)地檢測(cè)和修復(fù)內(nèi)存泄露,然后對(duì)于剩下我們工具無(wú)法檢測(cè)和修復(fù)的泄露,,運(yùn)行其他產(chǎn)品進(jìn)行查找和手動(dòng)修復(fù),。)
背景介紹
C語(yǔ)言?xún)?nèi)存泄露修復(fù)工具是一個(gè)可以自動(dòng)發(fā)現(xiàn)和修復(fù)C語(yǔ)言中內(nèi)存泄露的工具。在航空航天,高鐵動(dòng)車(chē)等安全攸關(guān)系統(tǒng)中,,對(duì)軟件的質(zhì)量有非常高的要求,,軟件的任何一點(diǎn)微小的錯(cuò)誤都可能導(dǎo)致災(zāi)難性的后果。軟件錯(cuò)誤中的一個(gè)典型種類(lèi)就是內(nèi)存泄露錯(cuò)誤,。因?yàn)槠潆y以發(fā)現(xiàn),,長(zhǎng)期危害大等特點(diǎn),內(nèi)存泄露一直是安全攸關(guān)軟件測(cè)試和調(diào)試的難點(diǎn),。 現(xiàn)在雖然有一些靜態(tài)分析工具可以通過(guò)分析發(fā)現(xiàn)程序中的內(nèi)存泄露,,但在發(fā)現(xiàn)之后,進(jìn)一步修復(fù)內(nèi)存泄露仍然非常困難,。在實(shí)踐中,,因?yàn)樾迯?fù)的難度而放棄的修復(fù)的事情時(shí)有發(fā)生,為社會(huì)生產(chǎn)和人民生活埋下了安全隱患,。)
應(yīng)用前景
待添加)