/android_s2e

Run android with S2E

Primary LanguageCGNU General Public License v2.0GPL-2.0

   The project of Android on S2E

About S2E

S2E is a symbol execution based on full system simulator. Want to know more information about S2E, please visit https://github.com/dslab-epfl/s2e

About Android

Android is a popular mobile phone OS. Its home page is located at http://www.android.com/

The current status of Android_S2E

Now One simple native android program can be analysis by android_s2e project. You can see it lively by the following video: http://youtu.be/3cTaeo8_izs Or on the Chinese video site: http://v.youku.com/v_show/id_XNzMxNTE5MzE2.html

How to setup?

https://github.com/michaekang/android_s2e/wiki/Android-on-S2E

About author.

The project maintainer is Michael.Kang (ksh@skyeye.org): http://cn.linkedin.com/in/kangshuo/