S2E

S2E：一个具备选择性符号执行功能的多路径程序分析平台。