Another Dalvik Abstract Machine
This is an experimental static analysis based security checker for Android Apps.
Simplely cmake . && make
To enable/disable building a tool package cmake -Dbuild_<package_name>=yes|no .
To change the log level and the optimization level, L=<log-level> O=<opt-level> cmake .
Use make show-flags to print the compile flags
Prepare the test data, use make data to download a sample input of ADAM from http://www.cs.utah.edu/~haohou/adam/data.tar.gz.
Then run test cases make test
Currently only Adam Debugger is avaliable.
This package is enabled by default, if you want to enable it explicitly, run cmake - Dbuild_adb=yes . before compilation.
You can use ADB to test the analyzer if you compile adam with ADB package.
ADAM takes the output of dex2sex which produces S-Expression represention of dalvik disassmebly code.
You can get a compiled binary from here.
To disassmble a APK package, simple use dex2sex <apk-package>.
You can either extract doxygen documentation from the source code by make docs
or visit the online version documentation at http://www.cs.utah.edu/~haohou/adam/html/