Matryoshka: Fuzzing Deeply Nested Branches

Abstract 灰盒fuzz近年來取得了令人矚目的進展，從基於啓發式的隨機變異進化到求解單個分支約束。但是，它們很難解決包含深度嵌套條件語句的路徑約束，這些條件語句在圖像和視頻解碼器、網絡包分析器和校驗和工具中很常見。我們提出瞭解決這個問題的方法。首先，我們識別目標條件語句的所有控制流相關條件語句。接下來，我們選擇污染流相關的條件語句。最後，我們使用三種策略來尋找同時滿足所有條件語句的輸入。我們

>>阅读原文<<