• Pithus 
• AndroTotal
• Appknox
• AVC UnDroid
• Virustotal 
• Fraunhofer App-ray 
• NowSecure Lab Automated 
• App Detonator

Análisis estático de código, se trata de la auditoría de aplicaciones en Android. Una aplicación en Android está programada en JAVA por lo que se podría pensar (equivocadamente) que en esencia el análisis de código es un análisis tradicional de JAVA. Esto no es así ya que han de tenerse en cuenta tanto la arquitectura de Android (Intents, Broadcast, Estados, etc) como la API SDK de interacción con los dispositivos (funciones de GPS, SMS, 3G, Escritura en SD, etc). Es decir, cambian dos aspectos fundamentales respecto al análisis tradicional de JAVA: los sinks y el dataflow.

Muy pocas aplicaciones en el Market oficial son OpenSource, por lo que el código no está disponible. Sin embargo si que podemos acceder a los ficheros apk, ya que son copiados a los dispositivos en la ruta “/data/apk“.

Apktool

APKtool, es una herramienta para la ingeniería inversa de binarios de aplicaciones Android. Puede decodificar los recursos de forma casi original y reconstruirlos, después de hacer algunas modificaciones, que hace posible depurar código smali paso a paso. También hace más fácil trabajar con la aplicación debido a la estructura de archivos en proyectos y con la automatización de algunas tareas repetitivas como la construcción de apk.

Características principales de Apktool:

• Desmontaje de recursos de forma casi original (incluidos resources.arsc , classes.dex , 9.png. y XMLs ).
• Reconstrucción de recursos decodificados de nuevo a APK binario/JAR.
• Organización y manejo de APKs que dependen de los recursos del Framework.
• Smali Debugging (Eliminado en 2.1.0 a favor de IdeaSmali).
• Ayuda con tareas repetitivas con componentes de automatización de tareas.

 
Tenemos por tanto acceso a la aplicación apk, ¿de qué nos sirve? la extensión apk es una variante de jar, por lo que podemos extraerla con la genial herramienta apktool. Para ello seguiremos los siguientes pasos:

• 1. Obtención del fichero AndroidManifest.xml
  Para obtener este fichero a través del apk utilizamos la herramienta apktool con la opción b.
  Este fichero contiene información esencial acerca de la aplicación. Para nuestra tarea la parte que nos interesa es la referente a los permisos que requiere, contenidos en el apartado uses-permission. Para una completa comprensión recomiendo leer la amplia documentación oficial al respecto.
• 2. Adquirir el fichero jar
  Para ello nos servimos de la herramienta dex2jar. El funcionamiento de esta herramienta es el siguiente: traduce el fichero .dex (ejecutable de dalvik byetcode) a un fichero jar corriente.
• 3. Extraer el fichero jar
  Es tan sencillo como utilizar un descompresor normal y corriente.
• 4. Acceso al código fuente

Al seguir el paso tres tendremos un directorio con ficheros .class de JAVA, los cúales pueden traducirse en sus .java correspondientes a través de herramientas como JAD, o incluso visualizarse directamente mediante herramientas como JD-GUI.

Hay que destacar que al hacer la decompilación se pierde mucha información, como nombre de variables, lo que dificulta el análisis manual del código. Normalmente se suele empezar por identificar ciertas funciones susceptibles de mal uso (funciones sink) y seguir el dataflow manualmente a través de entornos de desarrollo (Eclipse, NetBeans, etc).

Las aplicaciones de Android utilizan código y recursos que se encuentran en el propio sistema operativo Android. Estos son conocidos como recursos Framework y Apktool se basa en estos para decodificar correctamente y construir apks. Cada versión de Apktool contiene internamente el framework más actualizado de AOSP. Esto le permite decodificar y construir la mayoría de los archivos apk sin ningún problema. Sin embargo, los fabricantes agregan sus propios archivos de Framework además de los AOSP regulares. Para utilizar Apktool contra estos fabricantes de aplicaciones primero debe instalar los archivos framework del fabricante.

Fuente:
https://buguroo.com/es/como-ejecutar-analisis-estatico-de-aplicaciones-apk-en-android

Mobile-Security-Framework (MobSF)

Puede ser utilizado para el análisis de seguridad eficaz y rápida de Android y iOS Aplicaciones y es compatible con los binarios (APK y IPA) y el código fuente comprimido. MobSF también puede realizar la Web API Pruebas de seguridad con su Fuzzer API que puede hacer de recopilación de información, análisis de cabeceras de seguridad, identificar vulnerabilidades específicas de la API móvil como la XXE, FRSS, de traspaso de rutas, IDOR, y otras cuestiones lógicas relacionadas con la Sesión y la API de limitación de velocidad.


Mobile Security Framework, es una herramienta de código abierto para realizar test de penetración automatizado en aplicaciones Android y iOS, capaz de realizar análisis estático y dinámico.  Esta herramienta pretende minimizar el tiempo, que con un conjunto de herramientas llevaría realizar: la decodificación, la depuración, revisión de código y el test de penetración. Mobile Security Framework se puede utilizar para el análisis de seguridad rápido y eficaz, siendo compatible con los binarios (APK y IPA) y el código fuente comprimido.
 
Mobile Security Framework realiza dos tipos de análisis:

• El analizador estático es capaz de realizar: la revisión de código automático, detección de permisos y configuraciones inseguras, detectar código inseguro SSL, derivación SSL, cifrado débil, códigos ofuscados, permisos incorrectos, secretos codificados, el uso indebido de APIs peligrosas, fugas de  información sensible y el almacenamiento de archivos inseguros.
• El analizador dinámico ejecuta la aplicación en una máquina virtual o en un dispositivo configurado y detecta los problemas en tiempo de ejecución. Se realiza un análisis más detallado en los paquetes de red capturados descifrando: el tráfico HTTPS, los informes de registros, informes de error, la información de depuración y seguimiento de la pila. Sobre los activos de aplicaciones como: archivos de configuración, las preferencias y bases de datos. https://mobsf.github.io/docs/#/dynamic_analyzer

Mobile Security Framework es altamente escalable, permite agregar  reglas personalizadas con facilidad. Permite generar al final del test de penetración informes de una forma rápida y concisa.



Más información y descarga de  Mobile Security Framework:
https://github.com/MobSF/Mobile-Security-Framework-MobSF