Tengo algo de experiencia en explotar. Participé en algunos CTF y tengo suficiente conocimiento en técnicas de explotación de Linux. Conozco a Arm y sé cómo funcionan los montones y las pilas.
Mi objetivo es avanzar en la plataforma Android, pero lo primero que me bloqueó es la herramienta que debo usar. En Linux con IDA puedo hacer análisis estáticos y con GDb puedo hacer algunos errores y verificar el diseño del montón, el diseño de la pila y el estado del registro para tener una idea clara de cómo manipulo la memoria.
En Android está el AOSP y no necesito algo como IDA, pero ¿cómo puedo verificar el diseño de la memoria, los registros, etc. (como GDB)? ¿Qué enfoque debo usar?