About S2E

   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/

Name		Name	Last commit message	Last commit date
android		android
audio		audio
block		block
distrib		distrib
docs		docs
elff		elff
fpu		fpu
gdb-xml		gdb-xml
hw		hw
images		images
memcheck		memcheck
patch		patch
pc-bios/keymaps		pc-bios/keymaps
proxy		proxy
s2e		s2e
slirp-android		slirp-android
slirp		slirp
target-arm		target-arm
target-i386		target-i386
tcg		tcg
telephony		telephony
tests		tests
.gitignore		.gitignore
Android.mk		Android.mk
CHANGES.TXT		CHANGES.TXT
COPYING		COPYING
COPYING.LIB		COPYING.LIB
Changelog		Changelog
CleanSpec.mk		CleanSpec.mk
INSTALL		INSTALL
LICENSE		LICENSE
MODULE_LICENSE_GPL		MODULE_LICENSE_GPL
Makefile		Makefile
Makefile.android		Makefile.android
Makefile.common		Makefile.common
Makefile.target		Makefile.target
NOTICE		NOTICE
README		README
README.md		README.md
a.out.h		a.out.h
acl.c		acl.c
acl.h		acl.h
aes.c		aes.c
aes.h		aes.h
aio-android.c		aio-android.c
aio.c		aio.c
alpha.ld		alpha.ld
android-configure.sh		android-configure.sh
android-rebuild.sh		android-rebuild.sh
android-trace.h		android-trace.h
android-trace_common.h		android-trace_common.h
arch_init.c		arch_init.c
arch_init.h		arch_init.h
arm-dis.c		arm-dis.c
arm-semi.c		arm-semi.c
arm.ld		arm.ld
async.c		async.c
balloon.h		balloon.h
block.c		block.c
block.h		block.h
block_int.h		block_int.h
blockdev.c		blockdev.c
blockdev.h		blockdev.h
bswap.h		bswap.h
bt-host.c		bt-host.c
bt-host.h		bt-host.h
bt-vhci.c		bt-vhci.c
buffered_file.c		buffered_file.c
buffered_file.h		buffered_file.h
build_ophelper.sh		build_ophelper.sh
cache-utils.c		cache-utils.c
cache-utils.h		cache-utils.h
cbuffer.c		cbuffer.c
cbuffer.h		cbuffer.h
charpipe.c		charpipe.c
charpipe.h		charpipe.h
compatfd.c		compatfd.c
compatfd.h		compatfd.h
console.c		console.c
console.h		console.h
cpu-all.h		cpu-all.h
cpu-common.h		cpu-common.h
cpu-defs.h		cpu-defs.h
cpu-exec.c		cpu-exec.c
cpus.c		cpus.c
cpus.h		cpus.h
curses.c		curses.c
curses_keys.h		curses_keys.h
cutils.c		cutils.c
d3des.c		d3des.c
d3des.h		d3des.h
def-helper.h		def-helper.h
device_tree.c		device_tree.c
device_tree.h		device_tree.h
dis-asm.h		dis-asm.h
disas.c		disas.c
disas.h		disas.h
dma-helpers.c		dma-helpers.c
dma.h		dma.h
dyngen-exec.h		dyngen-exec.h

Navigation Menu

Repository files navigation

About S2E

About Android

The current status of Android_S2E

How to setup?

About author.

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

About S2E

About Android

The current status of Android_S2E

How to setup?

About author.

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages