Performs primitive Dalvik symbolic execution

Tools for patching smali constructors

Static analyser for Dalvik bytecode using Androguard

Powerful, yet easy to use, python library for instrumenting(and eventually writing) dex files.

Android parameter annotator for Dalvik/Smali disassembly

Fork of https://github.com/androguard/androguard w/ bug fixes tests

基于动态加载的解密脚本

Katalina is like Unicorn but for Dalvik bytecode. It provides an environment that can execute Android bytecode one instruction at a time.

DCC (Dex-to-C Compiler) is method-based aot compiler that can translate DEX code to C code.

Reverse engineering and pentesting for Android applications