面向常量檢查和校驗碼的模糊測試優(yōu)化研究

本文主要是介紹哈爾濱工業(yè)大學碩士學位論文，探討軟件漏洞挖掘領(lǐng)域中的模糊測試技術(shù)，特別是灰盒變異式模糊測試技術(shù)的應(yīng)用與改進。研究發(fā)現(xiàn)，該技術(shù)在處理常量檢查和校驗碼檢查時存在局限性，尤其是在目標程序?qū)斎胛募袷接袊栏褚蟮那闆r下。論文通過深入分析各種文件格式，歸納出常量約束、長度約束、校驗碼約束三種字段語義約束，并建立了用于描述文件格式的約束集合模型。提出了自動提取約束條件的方法，包括基于后綴自動..