S2E

S2E：一個具備選擇性符號執行功能的多路徑程式分析平台。