Descargar darter - Descargar el código fuente de darter

darter

Otras categorias

1.0.0

Descargar

️ ADVERTENCIA: Este proyecto está desactualizado. El formato de las instantáneas de DART cambia constantemente, y cualquier herramienta de DART como esta necesita mantenimiento constante o dejan de trabajar con versiones más nuevas de Dart / Flutter. Las contribuciones son bienvenidas, pero actualmente no tengo tiempo para invertir en monitorear los cambios en la VM y mantener esto actualizado.

Entonces, si su instantánea fue producida por una versión razonablemente moderna, probablemente no analizará [correctamente]. Aún así, si quieres intentarlo, probablemente necesitarás al menos la solución en el #3.

Darter: Parser de Snapshot de Dart

darter es un módulo de Python que puede analizar completamente los datos dentro de una instantánea de DART (es decir, el archivo libapp.so en una aplicación Flutter de lanzamiento).

Características:

Analiza el 100% de los datos de la instantánea, incluidas las estructuras de memoria.
Admite muchas arquitecturas y los tres tipos de instantáneas (Old, AppJit y AppAoT).
Por lo general, cero-config: Autodetects Flags & Configuración de la instantánea.
Extrae los blobs de los archivos app.so o .snapshot automáticamente.
Almacena referencias de retroceso, por lo que puede navegar el gráfico fácilmente.
Controles de salida de depuración y modo estricto.
Desmonta y analiza el código compilado para encontrar referencias a los objetos de VM.

Ejemplos de lo que puede hacer con la información analizada:

Extraer la tabla de cadenas de la aplicación
Encontrar usos de cierto objeto
Metadatos de exportación para radare2
Desobfuscar una instantánea emparejándola con una referencia
Generar gráfico de llamadas, gráfico de dependencia de la biblioteca, etc.

Nota: Tenga en cuenta que esto es para analizar instantáneas binarias (es decir, dependiente de la arquitectura). . Los archivos .dill y algunos archivos .snapshot contienen ASTEL AST, que es un formato completamente diferente y actualmente no es compatible con darter . [Aprende más]

Cómo usar

La mayor parte del código es dependencia cero, excepto:

parse_elf_snapshot(...) requiere pyelftools
El módulo darter.asm (para analizar el código ensamblado) requiere Capstone (y su unión a Python)

darter en sí mismo es solo un módulo, no tiene un programa o CLI independiente.
La forma recomendada de usarlo es incluirlo en un cuaderno y jugar con los datos analizados.

Instale Jupyter y abra el cuaderno 1-introduction para un tutorial básico de los datos analizados; Luego dirígete a 2-playground que contiene ejemplos de uso más interesantes.

Se recomienda encarecidamente que juegue con una instantánea conocida (es decir, que se haya construido o tenga el código), antes de analizar la instantánea que busca.

Estado

El analizador todavía está en una etapa temprana y no funcionará en todos los casos.

Se ha probado fuertemente en las instantáneas de productos de Appaot en ARM y ARM64.
Se ha probado ligeramente en las instantáneas de lanzamiento de AppJit en X64.
El análisis de desmontaje depende de la arquitectura y actualmente admite ARM y ARM64.
El resto del código es principalmente independiente de la arquitectura, pero puede no funcionar en otras arquitecturas sin algunas modificaciones.

Este analizador fue escrito basado en Dart-SDK en 1ef83b86ae . El formato de instantánea es interno para la VM. Dobla algunos de los objetos a medida que aparecen en la memoria; Debe saber cómo se compiló la VM (arco, las banderas de compilación) para analizarlo. Puede cambiar con frecuencia entre versiones, ya que no hay una especificación estándar (AFAIK) para el formato.

Cualquier ayuda o donaciones es bienvenida.

Detalle técnico

Dada una sección de datos y una sección de instrucciones (y opcionalmente una base ):

Analice la sección de asignación de grupos, construyendo la tabla de referencia.
Analice la sección de llenados de grupos.
Analizar el objeto root.
Enlace las referencias entre objetos.
Analice las estructuras nativas ( OneByteString , CodeSourceMap , Instructions , etc.).
Se devuelven los objetos VM resultantes (y las descripciones de clúster).

La información se devuelve lo más posible, para que sea fácil de manipular. Las referencias de retroceso también se rastrean, de modo que es fácil saber de dónde se hace referencia a un determinado objeto.

darter puede analizar tanto las instantáneas 'VM' como las 'aislar' (las que nos importan).

El módulo darter.asm desmonta el código compilado y lo analiza. Esto es crucial para las instantáneas AOT, porque no obtenemos un código de bytes de alto nivel.