angralso supports symbolically executing Java code and Android apps! This also includes Android apps using a combination of compiled Java and native (C/C++) code.
pysootextracts a fully serializable interface from Android apps and Java code (unfortunately, as of now, it only works on Linux). For every class of the generated IR (for instance,
SootMethod), you can nicely print its instructions (in a format similar to
.APKfiles, containing Java code compiled to the
DEXformat) requires the Android SDK. Typically, it is installed in
XXis the Android SDK version used by the app you want to analyze (you may want to install all the platforms required by the Android apps you want to analyze).