Simplify

Desofuscador Genérico de Android

Simplify ejecuta virtualmente una aplicación para entender su comportamiento y luego intenta optimizar el código para que se comporte de manera idéntica pero sea más fácil de entender para un humano. Cada tipo de optimización es simple y genérico, por lo que no importa qué tipo específico de ofuscación se utilice.

Antes y Después

El código de la izquierda es una descompilación de una aplicación ofuscada, y el código de la derecha ha sido desofuscado.

Resumen

Hay tres partes en el proyecto: smalivm, simplify y la aplicación demo.

1. smalivm: Proporciona una caja de arena de máquina virtual para ejecutar métodos Dalvik. Después de ejecutar un método, devuelve un gráfico que contiene todos los valores posibles de registros y clases para cada ruta de ejecución. Funciona incluso si algunos valores son desconocidos, como E/S de archivos y red. Por ejemplo, cualquier condicional if o switch con un valor desconocido hace que se tomen ambas ramas.
2. simplify: Analiza los gráficos de ejecución de smalivm y aplica optimizaciones como propagación de constantes, eliminación de código muerto, desreflexión y algunas optimizaciones de mirilla. Son bastante simples, pero cuando se aplican juntas repetidamente, descifran cadenas, eliminan la reflexión y simplifican enormemente el código. No renombra métodos ni clases.
3. demoapp: Contiene ejemplos simples y muy comentados para usar smalivm en tu propio proyecto. Si estás construyendo algo que necesita ejecutar código Dalvik, échale un vistazo.

Uso

usage: java -jar simplify.jar <input> [options]
deobfuscates a dalvik executable
 -et,--exclude-types <pattern>   Exclude classes and methods which include REGEX, eg: "com/android", applied after include-types
 -h,--help                       Display this message
 -ie,--ignore-errors             Ignore errors while executing and optimizing methods. This may lead to unexpected behavior.
    --include-support            Attempt to execute and optimize classes in Android support library packages, default: false
 -it,--include-types <pattern>   Limit execution to classes and methods which include REGEX, eg: ";->targetMethod\("
    --max-address-visits <N>     Give up executing a method after visiting the same address N times, limits loops, default: 10000
    --max-call-depth <N>         Do not call methods after reaching a call depth of N, limits recursion and long method chains, default: 50
    --max-execution-time <N>     Give up executing a method after N seconds, default: 300
    --max-method-visits <N>      Give up executing a method after executing N instructions in that method, default: 1000000
    --max-passes <N>             Do not run optimizers on a method more than N times, default: 100
 -o,--output <file>              Output simplified input to FILE
    --output-api-level <LEVEL>   Set output DEX API compatibility to LEVEL, default: 15
 -q,--quiet                      Be quiet
    --remove-weak                Remove code even if there are weak side effects, default: true
 -v,--verbose <LEVEL>            Set verbosity to LEVEL, default: 0

Construcción

La construcción requiere que esté instalado el Java Development Kit 8 (JDK).

Debido a que este proyecto contiene submódulos para frameworks de Android, clone con --recursive:

git clone --recursive https://github.com/CalebFenton/simplify.git

O actualice los submódulos en cualquier momento con:

git submodule update --init --recursive

Luego, para construir un único jar que contenga todas las dependencias:

./gradlew fatjar

El jar de Simplify estará en simplify/build/libs/. Puede probar que funciona simplificando la aplicación de ejemplo ofuscada proporcionada. Así es como se ejecuta (puede que necesite cambiar simplify.jar):

java -jar simplify/build/libs/simplify.jar -it "org/cf/obfuscated" -et "MainActivity" simplify/obfuscated-app.apk

Para entender qué se está desofuscando, consulte el README de la Aplicación Ofuscada.

Solución de Problemas

Si Simplify falla, pruebe estas recomendaciones, en orden:

1. Apunte solo a unos pocos métodos o clases usando la opción -it.
2. Si el fallo se debe a que se excedió el máximo de visitas, intente usar valores más altos para --max-address-visits, --max-call-depth y --max-method-visits.
3. Pruebe con -v o -v 2 e informe el problema con los registros y un hash del DEX o APK.
4. Intente de nuevo, pero no rompa el contacto visual. Simplify puede sentir el miedo.

Si construye en Windows y la construcción falla con un error similar a:

Could not find tools.jar. Please check that C:\Program Files\Java\jre1.8.0_151 contains a valid JDK installation.

Esto significa que Gradle no puede encontrar una ruta JDK adecuada. Asegúrese de que el JDK esté instalado, establezca la variable de entorno JAVA_HOME en su ruta JDK y asegúrese de cerrar y volver a abrir el símbolo del sistema que usa para construir.

Contribuir

No seas tímido. Creo que la ejecución virtual y la desofuscación son problemas fascinantes. Cualquiera que esté interesado es automáticamente genial y las contribuciones son bienvenidas, incluso si es solo para corregir un error tipográfico. No dudes en hacer preguntas en los issues y enviar pull requests.

Reportar Problemas

Incluya un enlace al APK o DEX y el comando completo que está utilizando. Esto hace que sea mucho más fácil reproducir (y por lo tanto corregir) su problema.

Si no puede compartir la muestra, por favor incluya el hash del archivo (SHA1, SHA256, etc).

Estrategias de Optimización

Propagación de Constantes

Si una operación coloca un valor de un tipo que puede convertirse en una constante como una cadena, número o booleano, esta optimización reemplazará esa operación con la constante. Por ejemplo:

const-string v0, "VGVsbCBtZSBvZiB5b3VyIGhvbWV3b3JsZCwgVXN1bC4="
invoke-static {v0}, Lmy/string/Decryptor;->decrypt(Ljava/lang/String;)Ljava/lang/String;
# Decrypts to: "Tell me of your homeworld, Usul."
move-result v0

En este ejemplo, una cadena cifrada se descifra y se coloca en v0. Dado que las cadenas son "constanteables", el move-result v0 puede reemplazarse con un const-string:

const-string v0, "VGVsbCBtZSBvZiB5b3VyIGhvbWV3b3JsZCwgVXN1bC4="
invoke-static {v0}, Lmy/string/Decryptor;->decrypt(Ljava/lang/String;)Ljava/lang/String;
const-string v0, "Tell me of your homeworld, Usul."

Eliminación de Código Muerto