符號執行——從入門到上高速

前言 近期在研究符號執行相關的技術。近年利用符號執行進行分析的論文在安全的頂會中出現較爲頻繁，因此，筆者在本文中將做一份總結和近期學習的知識分享。會由淺入深的從符號執行的基礎講起，再延伸到目前科技的最前沿，帶領大家看看在符號技術利用方面，到底發展到什麼程度的。   符號執行入門 那麼什麼是符號執行（symbolic execution）技術呢？Wiki中的定義是：在計算機科學中，符號執行技術指的是

>>阅读原文<<