Android的全系统符号执行工具-Android_S2E

概要
本次分享介绍：1、符号执行的介绍和应用领域；2、全系统符号执行S2E；3、移植全系统符号子执行平台S2E到安卓的过程和方法；4、演示一个在Android_S2E上符号执行Android的本地程序的例子。

个人简介

康烁，清华大学软件学院老师，开源项目SkyEye和kaffe的维护者之一。曾任ADI公司系统工程师，自由软件爱好者。

HelloGCC工作组由自由软件爱好者于2007年成立，旨在营造一个自由，开放，共享的技术社区，讨论和学习开源工具和开源工具链。我们每年都会举办一次这样的技术讨论会，希望通过自由，开放，共享的方式来增进大家相互的交流。