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