michaekang / android_s2e Goto Github PK

Run android with S2E

License: GNU General Public License v2.0

Makefile 0.03% C 88.27% Shell 0.27% C++ 9.79% Python 0.06% Assembly 0.33% Objective-C 0.87% R 0.02% Rebol 0.01% Logos 0.01% Perl 0.01% Haxe 0.35% Lua 0.01%

android_s2e's Issues

Can it analyze binary programs?

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!

The architecture of android_s2e

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.

Build android_s2e

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.

Recommend Projects