本發明提供一種基于符號執行的模糊測試方法,模糊測試工具首先啟動符號執行和分析程序;所述符號執行和分析程序構建于二進制層面;符號執行和分析程序接收到請求后調用污點分析程序進行基于二進制符號的污點分析;污點分析程序完成污點分析后生成被污染指令的記錄文件,并存放記錄文件于模糊測試工具輸出目錄下的符號執行和分析程序中;符號執行和分析程序分析記錄文件通過啟發式算法識別記錄文件結構得到字段和數據塊信息,構建操作數依賴圖;符號執行和分析程序按照逆拓撲序遍歷操作數依賴圖,對每一條二進制指令建立符號化表達完成混合符號執行后回應模糊測試工具。本發明減少了污點分析和符號執行過程中信息的丟失,效率良好,準確度高。
聲明:
“基于符號執行的模糊測試方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)