michaekang / android_s2e Goto Github PK

I had watched your video about Symbolic Execution and Android_S2E. The example you provided is a C-program. But I need to analyze the binary programs. Please tell me anything else I can do to prepare for this? Thanks!

I want to repeat your work and refer to the URL "https://github.com/michaekang/android_s2e/wiki/Android-on-S2E" for guidance. However, I have trouble in step 2.1( Build original arm_s2e) and step
2.2 (Modify Makefile.target to fit your build environment). Could you please teach me the specific steps? By now, I have set up S2E environment. And in step 2.2, I have modified the BUILD_S2E_PATH and S2E_PATH in Makefile.target. I don't understand the meaning of "original arm_s2e", how to build it and is there anything else should be modified in Makefile.target. Thank you very much! Looking forward to your reply.

I am confused with the the architecture of android_s2e. How is S2E transplanted to android emulator? I want to know how S2E platform and android image are organized.