基于變量關(guān)聯(lián)規(guī)則的緩沖區(qū)溢出檢測方法
基本信息
| 申請?zhí)?/td> | CN202010012878.2 | 申請日 | - |
| 公開（公告）號 | CN111382427A | 公開（公告）日 | 2020-07-07 |
| 申請公布號 | CN111382427A | 申請公布日 | 2020-07-07 |
| 分類號 | G06F21/52(2013.01)I | 分類 | - |
| 發(fā)明人 | 李煉;李廣威;張馨元;高琳 | 申請（專利權(quán)）人 | 寧波中科天齊信息技術(shù)有限公司 |
| 代理機(jī)構(gòu) | 北京君恒知識產(chǎn)權(quán)代理有限公司 | 代理人 | 寧波中科天齊信息技術(shù)有限公司 |
| 地址 | 315000浙江省寧波市江北區(qū)江北大道99號61幢10-1 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明所述方法先識別代碼中的緩沖區(qū)變量和其它預(yù)定義的關(guān)聯(lián)規(guī)則，并在代碼中傳播和緩沖區(qū)容量相關(guān)聯(lián)的變量及對應(yīng)的關(guān)聯(lián)函數(shù)。在得到關(guān)聯(lián)關(guān)系后，本發(fā)明所述方法在緩沖區(qū)的訪問點(diǎn)依據(jù)訪問偏移量和緩沖區(qū)容量的關(guān)聯(lián)關(guān)系來判斷該緩沖區(qū)訪問是否可能溢出。本發(fā)明中的預(yù)定義的關(guān)聯(lián)規(guī)則可以簡單清晰地表示出結(jié)構(gòu)體的不同域間的關(guān)聯(lián)關(guān)系，因此能夠有效地檢測出涉及結(jié)構(gòu)體域?qū)ο蟮木彌_區(qū)訪問溢出情況；[CALL]規(guī)則可以簡潔地傳播通過函數(shù)參數(shù)傳遞的關(guān)聯(lián)關(guān)系，因此能夠簡單有效地檢測出跨函數(shù)的緩沖區(qū)溢出情況。?? |
