[發明專利]一種基于注解的模糊測試方法在審
| 申請號: | 202011547538.6 | 申請日: | 2020-12-24 |
| 公開(公告)號: | CN112506801A | 公開(公告)日: | 2021-03-16 |
| 發明(設計)人: | 王慶賀;劉元 | 申請(專利權)人: | 中科信息安全共性技術國家工程研究中心有限公司 |
| 主分類號: | G06F11/36 | 分類號: | G06F11/36;G06F8/73 |
| 代理公司: | 暫無信息 | 代理人: | 暫無信息 |
| 地址: | 100080 北京市海淀區*** | 國省代碼: | 北京;11 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 一種 基于 注解 模糊 測試 方法 | ||
1.一種基于注解的模糊測試方法,其特征在于:模糊測試方法包括:
利用fuzzer識別用當前技術很難進行模糊測試的有問題的代碼結構;
根據識別的代碼結構,模糊測試器根據識別的代碼結構提供反饋機制;
根據反饋機制對代碼添加注解;
執行測試輸入,fuzzer檢查共享位圖和共享內存是否有新的覆蓋并更新調度測試策略。
2.如權利要求1所述的一種基于注解的模糊測試方法,其特征在于:所述有問題的代碼結構主要包括:
已知的相關狀態值,如果只有一小部分狀態是有意義且能夠識別值,直接使用所述相關狀態值來指導模糊測試;
已知狀態變化,根據歷史狀態變化作為更復雜狀態的抽象以指導模糊狀態;
缺少中間狀態,既沒有包含狀態的變量也沒有改變狀態的代碼時用以指導模糊測試。
3.如權利要求1所述的一種基于注解的模糊測試方法,其特征在于:所述注解包括:
IJON-ENABLE,該注解來啟用和禁用覆蓋反饋,可以有效地排除代碼庫的某些部分,或者引導fuzzer只在滿足特定條件的情況下探索代碼;
IJON-INC和IJON-SET,上述兩個注解可用于遞增或設置位圖中的特定條目,使得狀態中的新值等同于新的代碼覆蓋率;
IJON-STATE,該注解能夠改變邊覆蓋本身的計算,每當虛擬狀態改變時,任何邊都會觸發新的覆蓋;
IJON-MAX,該注解將fuzzer變成一個通用的基于爬山的黑盒優化器。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于中科信息安全共性技術國家工程研究中心有限公司,未經中科信息安全共性技術國家工程研究中心有限公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/202011547538.6/1.html,轉載請聲明來源鉆瓜專利網。





