The project of Android on 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
Android is a popular mobile phone OS. Its home page is located at http://www.android.com/
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
https://github.com/michaekang/android_s2e/wiki/Android-on-S2E
The project maintainer is Michael.Kang (ksh@skyeye.org): http://cn.linkedin.com/in/kangshuo/