1. 通过Fuzz挖掘包含复杂编码过程软件的漏洞

  2. 做想做的事情----利用S2E强制发掘CTF题目中的漏洞