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

基本信息

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

摘要

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