DexHunter. General Automatic Unpacking Tool for Android Dex Files
klee. KLEE Symbolic Virtual Machine
android_s2e. Run android with S2E
paimei. A reverse engineering framework written in Python.
