
Recuperação automatizada de RegisterNatives de JNI no Android, reconstrução de tipos de .so ARM64 com símbolos removidos, desofuscador de BR X8 do OLLVM e ponte universal LLM/MCP para Jadx, Ghidra e IDA Pro 9.0.
Preencha o abismo entre Java e código nativo na engenharia reversa de Android.
Recuperação automatizada de RegisterNatives, reconstrução de tipos em .so ARM64 sem símbolos, e um servidor MCP unificado Jadx + Ghidra ou IDA para análise de malware assistida por IA.
Início Rápido • Como Funciona • Ferramentas MCP • Agente Dobby Furtivo • Roteiro
Malware Android moderno, trojans bancários, spyware e packers comerciais escondem sua lógica central (criptografia C2, derivação de chaves, verificações de ambiente e rotinas de exploit) dentro de bibliotecas nativas C/C++ sem símbolos (lib*.so).
Ao fazer engenharia reversa através da fronteira JNI, os analistas enfrentam três barreiras:
native declarados em classes.dex não usam símbolos padrão Java_com_pkg_Class_method. Em vez disso, eles são vinculados dinamicamente em tempo de execução dentro de um JNI_OnLoad ofuscado via JNIEnv->RegisterNatives()..so sem símbolos no Ghidra ou IDA mostra milhares de funções sub_XXXX sem nome, onde chamadas de vtable de JNIEnv* parecem aritmética de ponteiro bruta ((**(code **)(*param_1 + 0x538))(param_1, param_2)).BroadcastReceiver Android em Java diretamente para uma rotina de criptografia ARM64 em libnative-lib.so.JNISleuth-MCP elimina a troca de contexto. Ele recupera automaticamente vinculações estáticas e dinâmicas de RegisterNatives, re-tipa funções ARM64 sem símbolos no Ghidra, e expõe um único servidor unificado Model Context Protocol (MCP) conectando bytecode DEX a assembly nativo.
| Capacidade | MCPs Jadx / Ghidra Padrão | JNISleuth-MCP |
|---|---|---|
Resolver exportações padrão Java_* | ✅ | ✅ |
Recuperar arrays de struct RegisterNatives sem símbolos estaticamente (.rodata / .data.rel.ro + CFG de JNI_OnLoad) | ❌ | ✅ |
Coleta furtiva de RegisterNatives no dispositivo via Dobby (contorna verificações anti-Frida) | ❌ | ✅ |
Aplicar automaticamente tipos de vtable JNIEnv* e reconstruir Call*Method / GetStringUTFChars no Ghidra | ❌ | ✅ |
Fluxo de dados entre fronteiras em uma única chamada (Java Caller ➔ JNI Bridge ➔ C++ ARM64 Descompilado) | ❌ | ✅ |
flowchart LR
subgraph Input["📦 Target APK / Malware"]
DEX["classes*.dex"]
ELF["Stripped lib/*.so (ARM64)"]
end
subgraph Harvester["🔍 Stage 1: JNI Bridge Harvester"]
StaticScan["Static ELF & DEX Scanner\n(LIEF + Capstone + Heuristic Triplets)"]
DobbyAgent["Stealth Native Agent\n(C++ / NDK / Dobby Inline Hook)"]
end
subgraph GhidraEngine["⚙️ Stage 2: Ghidra Headless Reconstructor"]
Renamer["Function Renamer & Signature Applier"]
VTable["JNIEnv* VTable & Struct Propagator"]
end
subgraph MCPServer["🤖 Stage 3: Unified FastMCP Server"]
CrossGraph["Cross-Boundary Callgraph\n(Jadx Java + Ghidra C/ARM64)"]
CallbackTrace["Upcall Tracer\n(Native -> Java Reflection)"]
end
DEX --> StaticScan
ELF --> StaticScan
ELF -. "Packed / OLLVM?" .-> DobbyAgent
StaticScan --> Renamer
DobbyAgent -- "register_natives.json" --> Renamer
Renamer --> VTable
VTable --> CrossGraph
VTable --> CallbackTrace
RegisterNatives Estático + Dinâmico via CLIExecute jnisleuth scan em um APK com bibliotecas nativas removidas:
$ jnisleuth scan --apk samples/banker_dropper.apk --arch arm64-v8a
[*] Parsing 3 DEX files... Found 14 declared `native` methods across 4 classes.
[*] Inspecting lib/arm64-v8a/libcore-crypto.so (Stripped ELF, 0 exported Java_* symbols)
[*] Running static JNINativeMethod triplet scanner on .rodata / .data.rel.ro...
[+] Resolved 11/14 methods via static struct table @ 0x0004d210
[!] 3 methods unresolved (constructed dynamically on stack in JNI_OnLoad).
[*] Launching headless Dobby collector on device (emulator-5554)...
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━┓
┃ Java Class & Method ┃ JNI Signature ┃ .so Offset (ARM64) ┃ Resolution Mode ┃
┡━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━┩
│ com.dropper.Core#initEngine │ (Landroid/content/.. │ libcore.so+0x001a40 │ Static (.rodata) │
│ com.dropper.Core#decryptPayload │ ([BLjava/lang/Stri.. │ libcore.so+0x0023c8 │ Static (.rodata) │
│ com.dropper.Core#signC2Beacon │ (Ljava/lang/String.. │ libcore.so+0x003f10 │ Dynamic (Dobby) │
│ com.dropper.net.SocketBridge#connectRaw │ (Ljava/lang/String.. │ libcore.so+0x004890 │ Dynamic (Dobby) │
└──────────────────────────────────────────┴──────────────────────┴─────────────────────┴──────────────────┘
[+] Synced 14 function signatures and JNIEnv* types to Ghidra project: banker_dropper.gpr
Antes do JNISleuth-MCP (FUN_000123c8):
long FUN_000123c8(long *param_1, undefined8 param_2, undefined8 param_3, undefined8 param_4) {
char *pcVar1;
long lVar2;
pcVar1 = (char *)(**(code **)(*param_1 + 0x548))(param_1, param_4, 0);
lVar2 = (**(code **)(*param_1 + 0x5c0))(param_1, param_3, 0);
sub_00014a00(lVar2, pcVar1);
(**(code **)(*param_1 + 0x550))(param_1, param_4, pcVar1);
return param_3;
}
Após JNISleuth-MCP (Java_com_dropper_Core_decryptPayload):
jbyteArray Java_com_dropper_Core_decryptPayload(
JNIEnv *env, jobject thiz, jbyteArray encryptedData, jstring rc4KeyStr)
{
const char *key_utf = (*env)->GetStringUTFChars(env, rc4KeyStr, NULL);
jbyte *payload_bytes = (*env)->GetByteArrayElements(env, encryptedData, NULL);
rc4_crypt_buffer(payload_bytes, key_utf);
(*env)->ReleaseStringUTFChars(env, rc4KeyStr, key_utf);
return encryptedData;
}
O JNISleuth-MCP é 100% agnóstico em relação ao modelo. Você pode conectá-lo a qualquer LLM em nuvem ou local através do Model Context Protocol padrão (stdio JSON-RPC 2.0) ou exportar esquemas nativos de function-calling OpenAI / Gemini / Ollama:
jnisleuth llm-tools --format openai|gemini|mcp) para LangChain, LlamaIndex, LiteLLM, OpenAI SDK ou google-genai.