一種重構(gòu)CoSy中間表示的緩沖區(qū)溢出檢測(cè)方法

基本信息

申請(qǐng)?zhí)?/td> CN201210077106.2 申請(qǐng)日 -
公開(kāi)（公告）號(hào) CN102662834B 公開(kāi)（公告）日 2014-09-03
申請(qǐng)公布號(hào) CN102662834B 申請(qǐng)公布日 2014-09-03
分類(lèi)號(hào) G06F11/36(2006.01)I;G06F9/45(2006.01)I 分類(lèi) 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 張梅娟;阮園;黃嵩人;于宗光 申請(qǐng)（專(zhuān)利權(quán)）人 無(wú)錫電科物聯(lián)網(wǎng)科技有限公司
代理機(jī)構(gòu) 無(wú)錫市大為專(zhuān)利商標(biāo)事務(wù)所（普通合伙） 代理人 殷紅梅
地址 214035 江蘇省無(wú)錫市惠河路5號(hào)58所九部
法律狀態(tài) -

摘要

摘要 本發(fā)明旨在提供一種重構(gòu)CoSy中間表示的緩沖區(qū)溢出檢測(cè)方法，即對(duì)源代碼進(jìn)行分析來(lái)對(duì)緩沖區(qū)溢出進(jìn)行檢測(cè)的方法。該方法包括（1）CoSy編譯器分析掃描源程序，生成中間表示CCMIR；（2）重構(gòu)CCMIR文本，并為所有非靜態(tài)局部變量增加安全屬性，用于對(duì)緩沖區(qū)溢出進(jìn)行判定；（3）對(duì)最終的中間表示CCMIR進(jìn)行緩沖區(qū)溢出的判定。通過(guò)這樣的方法能夠快速的重構(gòu)代碼，重構(gòu)過(guò)程簡(jiǎn)單易行，具有良好的通用性，重構(gòu)后使得對(duì)程序中潛在的會(huì)造成緩沖區(qū)溢出的錯(cuò)誤的檢測(cè)更快速高效。