1. Importar APK
Esta etapa apenas recebe, limita e valida a estrutura ZIP/APK. Não descompila automaticamente.
Projeto atual
- Estado
- Selecione ou importe uma APK.
2. Descompilar APK
Só fica disponível depois do upload. A desofuscação Smali é uma operação separada e opcional na etapa de análise.
X1_ENABLE_APK_TOOLING=1 num container/VM de análise.
Log de descompilação
Aguardando...
3. Editar & Personalizar
Qualquer alteração invalida automaticamente um build anterior. O APK terá de ser reconstruído novamente.
Identidade & Manifest
URLs / Portais
Uma substituição por linha no formato URL_ANTIGA => URL_NOVA.
Cores Android
Uma entrada por linha: nome_do_recurso => #RRGGBB. Só recursos existentes são alterados.
Strings Android
Uma entrada por linha: nome_do_recurso => novo texto. Útil para títulos, labels e mensagens existentes.
Ícone / Logo
Só substitui recursos com o mesmo formato do ficheiro enviado. PNG não é gravado dentro de WebP.
Acessos rápidos
4. Analisar & Auditar
Esta área identifica riscos e indicadores. Não aplica “bypass” de root/TLS automaticamente.
Security Scan Android
Manifest: debuggable, cleartext, backup, permissões sensíveis e componentes exportados. Smali/XML: indicadores de pinning, root, integridade e WebView.
Desofuscação Smali opcional
Executa depois da descompilação; nunca automaticamente no upload.
Aguardando...
Pesquisa rápida no projeto
5. Build, Assinar & Exportar
O preflight valida ferramentas, Manifest e keystore. O resultado só é disponibilizado depois de apksigner verify.
Build log
Aguardando preflight...
Inspector de Recursos
Recarregável, inclusive ao retomar projetos antigos.
Dados indexados
Aguardando...
Smali / XML IDE
Nenhum ficheiro aberto.
Pesquisa Global Smali/XML
Layout Studio
Gera um XML Android real com título, subtítulo, cor, ID e android:tag. A integração no layout da APK é explícita pelo IDE — não é simulada.
Resultado
Nenhum preview gerado.
Project Recovery
Diz ao X1 o que queres analisar. O pipeline trata automaticamente de preservação, inventário, recuperação, validação, arquitetura, segurança, relatório e exportação do projeto completo. Os detalhes técnicos ficam no laboratório avançado.
Recuperar e estudar projeto
Um clique. O X1 preserva o original, recupera source verificável, reconstrói o projeto, pesquisa PHP/JS/TS/binários, liga evidência num knowledge graph e prepara um Research Bundle para outro agente.
Advanced / Laboratory — controlos manuais, evidência e diagnóstico
1. Importar PHP / ZIP
O upload é guardado como original e copiado para um workspace privado. ZIPs passam pelas mesmas proteções contra traversal, symlink e zip bomb.
Snapshot de software instalado
Só funciona dentro das roots configuradas em X1_PHP_SOURCE_ROOTS. O X1 copia ficheiros regulares, ignora symlinks e não altera nem executa a instalação.
2. Inventário
Descobre framework, Composer, entrypoints, routes, classes, funções e composição do projeto sem executar PHP.
Aguardando projeto...
3. Source Recovery Gate
Só source textual verificável entra em recovered/. Estados: SOURCE_PRESENT_ORIGINAL, SOURCE_RECOVERED, SOURCE_MAP_RECOVERED, PARTIALLY_RECOVERED ou PROTECTED_SOURCE_NOT_RECOVERED. SourceGuardian/ionCube sem source real ficam apenas em analysis/.
Aguardando inventário...
4. Explorer / Diff / Proveniência / Blocos
Selecione um ficheiro.
Selecione um ficheiro.
—
—
—
—
5. Architecture Lab — mapa por secções e blocos
Depois da recuperação, constrói um mapa navegável ligado a evidência concreta: API/routing, CORS/headers, auth, sessão, RBAC, CSRF, database, filesystem, rede, uploads, process execution, serialization, crypto/secrets, templates/output, jobs, configuração e proteção. Cada secção aponta para ficheiros, blocos e linhas observáveis.
—
Selecione uma secção para ver ficheiros, blocos, routes e sinais.
6. Auditoria da qualidade da ofuscação
Mostra o que o artefacto continua a expor: fingerprints da proteção, wrappers reversíveis, URLs, símbolos, SQL, paths e metadata. O objetivo é aprender o que não devemos deixar exposto quando protegermos o X1.
—
6. Security Scan PHP
Análise estática taint-lite: inputs HTTP → command execution, SQL, output/XSS, paths/includes, unserialize, uploads, redirects/headers e outbound requests. Os achados são hipóteses para confirmação manual.
Análise de API
Extrai routes reconhecidas do código normalizado e gera uma visão OpenAPI heurística para estudo da superfície HTTP.
—
Dynamic Analysis Sandbox opcional
Só depois do inventário estático. Executa um entrypoint autorizado num container descartável; nunca no processo Flask. Rede desligada, projeto read-only, rootfs read-only, cap-drop ALL, no-new-privileges e quotas.
Semantic Equivalence — original ↔ projeto recuperado
Uma autorização, uma fixture e um clique. O X1 executa duas cópias isoladas — original e projeto reconstruído — com a mesma imagem/fixture e compara apenas comportamento realmente observado. Não chama isto de equivalência semântica universal.
Nenhuma caracterização pareada executada.
Sandbox ainda não executada.
—
8. Relatório & aprendizagem para o X1
Consolida inventário, desofuscação e findings e traduz cada classe de risco numa ação defensiva para o teu próprio software. Não copia implementação de terceiros.
Aguardando análise...
Universal Source Recovery — PHP / JS / TS / binários
Entrada universal v42. O download final recebe automaticamente X1 Provenance Seal Ed25519 + fingerprint único por exportação; não existe botão adicional. Cria source/, recovered/, project/, analysis/ e runtime/. project/ mantém os mesmos paths do original e sobrepõe apenas source realmente recuperado no respetivo path. Pode trabalhar por upload/ZIP ou diretamente sobre um snapshot read-only de uma pasta instalada no servidor. JS/TS com sourcemaps podem recuperar sourcesContent; binários ficam como representação de análise e nunca como source original.
Server Folder — sem ZIP / sem upload
A pasta tem de estar dentro de X1_LOCAL_SOURCE_ROOTS. O perfil Source Study exclui data/cache/log/tmp/run e outros diretórios mutáveis, regista unreadable/oversized/excluded em provenance e não requer root nem parar o serviço alvo. A instalação original não é executada nem modificada.
Aguardando ficheiro ou pasta autorizada. O download final será uma árvore completa do projeto, não uma coleção de fragmentos.Descarregar projeto recuperado · X1 Signed
Acceptance-aware Semantic Twin Lab v32
Analisa software autorizado por dentro e enquanto executa: funções/CFG, XREFs de strings/constantes, GOT/PLT, relocations x86/AArch64, endereços static↔runtime, stack symbolization, sampled execution evidence, processo, ELF/módulos, memory maps, filesystem, rede, IPC e comportamento. A v32 acrescenta CFG path-window bounded em torno de cada instruction site selecionado: poucos hops predecessor/successor derivados apenas de edges persistidas e block starts exatos, com ciclos/revisitas, limites e truncation explícitos e path_completeness=not-claimed. Mantém AVX-512/SVE, provenance externa e os mesmos guardrails read-only.
Host Runtime Acceptance Matrix
Probe host-only: confirma procfs, roots configuradas, binutils, presença de perf/strace/eu-stack e políticas kernel relevantes. Não faz attach a nenhum processo e não confunde ferramenta instalada com acceptance target-specific.
Ainda sem acceptance probe.
Target-specific Acceptance
Valida o PID autorizado contra procfs e /proc/PID/mem em modo O_RDONLY. Os probes de attach via eu-stack/perf/strace só correm se marcares explicitamente a opção e se cada feature estiver ativada.
Ainda sem target acceptance.
Runtime layout shape probe
Opt-in para corroborar um layout candidato conhecido. Lê apenas palavras selecionadas e devolve classes como null/pointer/scalar; não devolve valores brutos, strings nem bytes apontados.
Ainda sem shape probe.
1. Autorizar alvo e descobrir processos
Só são aceites processos que tenham executable, cwd, argumento absoluto ou módulo mapeado dentro de X1_RUNTIME_SOURCE_ROOTS. A confirmação abaixo não alarga essa allowlist.
Ainda sem discovery.
2. Snapshot de runtime
Observação read-only de identidade do processo, cmdline com segredos redigidos, namespaces/cgroups, módulos, maps, FDs, sockets, ambiente só pelas chaves, análise ELF e hardening.
Aguardando alvo...
3. Recuperar representação executável em memória
Opt-in separado. Lê apenas mappings executáveis e não graváveis do alvo autorizado. Heap, stack e regiões mutáveis ficam fora. Guarda hashes, strings/categorias, evidência runtime-only e desmontagem best-effort.
Ainda sem captura.
4. Trace comportamental limitado
Quando ativado, usa strace apenas para metadata de file/network/process/IPC. Não captura payloads de read/write. O attach pode alterar ligeiramente timings; usa uma VM/lab quando isso for crítico.
Ainda sem trace.
5. Stack sample & symbolization
Opt-in separado. Quando eu-stack está disponível, recolhe um snapshot bounded das stacks de utilizador e resolve cada PC para módulo → função → basic block. O attach usa ptrace e pode pausar threads por instantes; não escreve memória nem altera código.
Ainda sem stack sample.
6. Sampled execution coverage
Opt-in separado. Quando perf está disponível, recolhe PCs por amostragem estatística e correlaciona-os com módulo → função → basic block. É um lower bound observado, não coverage exaustivo, e não escreve memória do alvo.
Ainda sem execution sampling.
7. Reconstrução semântica + XREF
Recupera funções/callsites, CFG, call graph, XREFs de strings/constantes, relocations PIE, papéis arquiteturais, endereços static↔runtime, candidatos de data-flow, protocolos, crypto/trust, estados e timeline. Não chama disassembly de source e não chama co-ocorrência de source/sink de taint provado.
Ainda sem reconstrução semântica.
8. Evidence Navigator
Navega a evidência já persistida sem voltar a tocar no processo. Pesquisa URL/string/estado/função/role ou resolve um endereço runtime para o componente, função e basic block responsáveis.
Aguardando semantic.json.
Nenhum instruction site selecionado.
Basic block ainda não provado para o site selecionado.
Contexto predecessor/successor ainda não provado.
CFG path-window bounded ainda não provado.
9. Digital twin + vulnerabilidades + padrões bons
Consolida arquitetura, funções, relações, trust boundaries, comportamento, findings e lições. Observado, estático, inferido e não provado permanecem separados.
Aguardando snapshot...Descarregar caso completo
10. Differential Semantic Analysis
Compara dois casos sem voltar a tocar nos processos: binários/módulos, funções, fingerprints, CFG/branches, call graph, endpoints, sockets observados, estados, syscalls, findings, strengths e digital twin. Funções stripped alteradas podem ser alinhadas por similaridade, sempre marcadas como heurísticas.
Ainda sem comparação diferencial.
11. Repeated-run Behavioural Confidence
Agrupa várias execuções da mesma condição. Um evento ausente numa única janela nunca é tratado como comportamento removido; a confiança usa frequência observada entre runs e mantém as labels como metadata fornecida pelo operador.
Ainda sem análise repetida.
12. Multi-run Sampled Execution Consensus
Agrega vários coverage.json/semantic.json do mesmo tipo de experiência. Mostra funções/blocos/edges explícitas observadas em quantas runs, novidade cumulativa e um sinal de saturação recente. Saturação de amostragem não significa full coverage; ausência continua sem provar não-execução.
Ainda sem consenso de execution sampling.
13. Multi-run Shape-only Consensus
Agrega apenas classificações já persistidas em shape.json. Mostra estabilidade ou desacordo por layout/offset entre várias runs, sem guardar base pointers, raw words, strings ou bytes apontados.
Ainda sem consenso shape-only.
Âmbito do mapa
Não é um “License Lab”. O mesmo caso indexa licenciamento/entitlements, auth, RBAC, update/supply-chain, rede/TLS, crypto/secrets, DB/storage, filesystem, processos, IPC, parsing/inputs, configuração, logging/telemetria, privilégios/sandboxing, anti-analysis e memória executável.
READ → TRACE → SAMPLE → XREF → SYMBOLIZE → RECONSTRUCT → CORRELATE → MODEL → AUDIT → X1 LESSONS\n\nSem patching, injection, keygen ou bypass automático.
Comparador Diff
Original
Limpo
Ferramentas de Código
AST beautify, call graph, ORM, OpenAPI e reflection stubs existentes no backend.
PHP AST Beautify
Call Graph
ORM Generator
OpenAPI Workspace Scan
Reflection Stubs
Hex Disassembler x86-64
Executado através de objdump num subprocesso limitado.
Telemetria do Host
Informação operacional do servidor.
Telegram
Alterar palavra-passe
Diagnósticos limitados
Não existe terminal arbitrário. Só comandos allowlisted quando X1_ENABLE_DIAGNOSTICS=1.
⚡ Desofuscação Direta & Auditoria de Eficácia
Processamento em 1 clique sem burocracia de manifests ou assinaturas. Suporta PHP (ionCube stubs, multi-pass unpack) e JavaScript/TypeScript.
1. Carregar ou Colar Código Ofuscado
2. Código Limpo / Desofuscado
⚖️ Auditoria de Eficácia: Comparar com o seu Código Real
Coloque o código real para testar o que a ofuscação realmente protegeu e onde o desofuscador encontrou as suas falhas.