符號化執行引擎對比

隨着fuzz技術的發展，發現以AFL爲代表coverage-guided的fuzz引擎達到一個瓶頸，因爲是盲目的，所以現在有很流行的方法——加入符號化執行。比如Driller、QSYM、和我講過的SAVIOR，這三個都很大的提高了fuzz的效率。但是符號化執行也是和fuzz一樣複雜而內容豐富的領域，這裏就把最近看的一個文章跟大家分享下，簡單介紹幾個流行的符號化執行。 [1]Roberto Bald

>>阅读原文<<