基于變量關聯(lián)規(guī)則的緩沖區(qū)溢出檢測方法

基本信息

申請?zhí)?/td> CN202010012878.2 申請日 -
公開（公告）號 CN111382427A 公開（公告）日 2020-07-07
申請公布號 CN111382427A 申請公布日 2020-07-07
分類號 G06F21/52(2013.01)I 分類 -
發(fā)明人 李煉;李廣威;張馨元;高琳 申請（專利權）人 寧波中科天齊信息技術有限公司
代理機構(gòu) 北京君恒知識產(chǎn)權代理有限公司 代理人 寧波中科天齊信息技術有限公司
地址 315000浙江省寧波市江北區(qū)江北大道99號61幢10-1
法律狀態(tài) -

摘要

摘要 本發(fā)明所述方法先識別代碼中的緩沖區(qū)變量和其它預定義的關聯(lián)規(guī)則，并在代碼中傳播和緩沖區(qū)容量相關聯(lián)的變量及對應的關聯(lián)函數(shù)。在得到關聯(lián)關系后，本發(fā)明所述方法在緩沖區(qū)的訪問點依據(jù)訪問偏移量和緩沖區(qū)容量的關聯(lián)關系來判斷該緩沖區(qū)訪問是否可能溢出。本發(fā)明中的預定義的關聯(lián)規(guī)則可以簡單清晰地表示出結(jié)構(gòu)體的不同域間的關聯(lián)關系，因此能夠有效地檢測出涉及結(jié)構(gòu)體域?qū)ο蟮木彌_區(qū)訪問溢出情況；[CALL]規(guī)則可以簡潔地傳播通過函數(shù)參數(shù)傳遞的關聯(lián)關系，因此能夠簡單有效地檢測出跨函數(shù)的緩沖區(qū)溢出情況。??