Anotações e aprendizados sobre tecnologia — muitos redigidos com apoio de IA enquanto estudo. Novos textos entram aqui — assine o RSS para acompanhar.
26 artigos
Importe um ELF ARM/Thumb no Ghidra, aprenda a ler o decompilador, ligue o Ghidra a um modelo de linguagem pelo protocolo MCP e confira, com o código-fonte na mão, o que o modelo acertou, onde exagerou e onde só o decompilador enganou todo mundo.
· 17 min de leitura
O arm-box é um runner pronto. Mas o arm-jitter é uma biblioteca — dá para embutir num programa Java de 40 linhas, carregar um binário num AddressSpace, e andar instrução a instrução lendo os registradores. Este artigo faz isso e mostra o trace real de um laço de soma.
· 16 min de leitura
Entre o .s e o programa que roda há dois passos: montar (as) transforma texto em código-objeto com endereços relativos; ligar (ld) atribui os endereços finais, junta as seções e escolhe o ponto de entrada. Este artigo abre os dois, com um linker script de verdade e o objcopy que extrai os bytes crus.
· 13 min de leitura
Duas funções escritas do zero em assembly ARM — fibonacci iterativo e o máximo de dois números — montadas, ligadas e rodadas no arm-box, com o resultado provado pelo exit code. O max sai em três instruções, sem um único desvio.
· 16 min de leitura
Decodificar à mão é o começo. O arm-jitter faz o mesmo em Java, mas não para na DecodedInstruction: ele eleva blocos inteiros para uma representação intermediária imutável e roda um otimizador em cima. Este artigo segue os bytes de 0xe0810002 até virarem IrOp — e mostra o otimizador apagando código morto.
· 17 min de leitura
Em Thumb cada instrução tem 16 bits — metade do ARM. Não há campo de condição, os registradores livres são só r0–r7, e o formato muda conforme os bits do topo. Este artigo decodifica sete halfwords reais à mão e mostra o mapa de formatos que o ThumbDecoder do arm-jitter usa.
· 13 min de leitura
Uma função em C de cinco linhas vira 25 instruções ARM com -O0 e 12 com -O2. Este artigo compila a mesma função nos dois níveis, lê a desmontagem lado a lado e mostra o que são .text, .data, .bss e os símbolos num objeto ELF.
· 13 min de leitura
Um processador não "roda um programa": ele repete um ciclo de três passos — buscar, decodificar, executar. Este artigo mostra o ciclo, o pipeline que faz o PC parecer adiantado, e como tudo isso vira o método ArmCore.step() do arm-jitter — com um trace real que prova o offset de +8 do R15.
· 14 min de leitura
Toda instrução ARM de 32 bits segue o mesmo esqueleto: 4 bits de condição, um punhado de bits de opcode e um Operand2 de 12 bits que esconde o barrel shifter. Este artigo abre o formato campo a campo, com encodings reais do objdump, e mostra como o arm-jitter extrai exatamente esses campos em ArmDecoder.
· 14 min de leitura
O ARM de 32 bits tem 16 registradores visíveis — mas quantos existem de verdade depende do modo em que a CPU está. Este artigo destrincha R0–R15, o CPSR bit a bit, o register banking por modo e o SPSR, e mostra como o arm-jitter modela tudo isso em CpsrRegister, CpuMode e ArmCore.
· 14 min de leitura
Antes de decodificar binário, um acordo de notação: a sintaxe unificada (UAL) do GNU assembler, a ordem correta de S e condição (addsne), as diretivas dos listings e como ler a saída do objdump.
· 12 min de leitura
Escrever um emulador é o melhor laboratório de arquitetura que existe: você é obrigado a implementar a semântica exata de cada instrução, flag e modo. Esta é a abertura de uma trilha que ensina o ARM a partir de código real — o arm-jitter e os emuladores construídos sobre ele.
· 11 min de leitura
Semihosting é o contrato que deixa firmware sem sistema operacional imprimir e encerrar pedindo serviços ao depurador ou emulador: R0 traz a operação, R1 o parâmetro e uma instrução de captura (BKPT #0xAB no Cortex-M) dispara a chamada. Este artigo mostra os números corretos das operações, roda um exemplo no arm-box e explica o que o emulador implementa e onde ele diverge da especificação.
· 11 min de leitura
No ARM Thumb, os bits de um registrador são manipulados com AND, ORR, EOR, BIC, MVN e TST, com shifts e rotações e com os campos de bits UBFX, BFI e BFC. O artigo mostra os encodings reais de 16 e 32 bits, o read-modify-write de um periférico e a execução passo a passo no arm-jitter, e corrige a ideia de que os campos de bits são exclusivos do Thumb-2.
· 12 min de leitura
No Thumb original só o desvio é condicional; o Thumb-2 devolve a execução condicional com os blocos IT. Veja o mesmo if/else com e sem desvio, a decodificação do IT e a regra de que instruções de 16 bits não alteram flags dentro do bloco.
· 11 min de leitura
Thumb comprime instruções para 16 bits (e Thumb-2 mistura com 32 bits), reduzindo o tamanho do binário. Veja os bytes reais e como o arm-box os executa.
· 12 min de leitura
O CPSR guarda as flags N, Z, C, V que os desvios condicionais consultam. Entenda como cada flag é formada e por que o bge do nosso laço funciona.
· 12 min de leitura
Como chamar funções no ARM: BL salva o retorno em LR, BX volta, a pilha (PUSH/POP) preserva registradores, e a AAPCS define quem carrega o quê. Com decodificação bit a bit do objdump.
· 16 min de leitura
Pegue o ELF do laço de soma, rode o objdump e decodifique instruções ARM à mão: cond, opcode, registradores e offset — exatamente a leitura que o decodificador do arm-jitter faz.
· 13 min de leitura
O arm-box agora expõe o core como um stub GDB remoto: breakpoints, watchpoints, step e continue. Veja como usar para depurar e entender código ARM rodando de verdade.
· 15 min de leitura
Depois da teoria, mãos à obra: use LDR e STR para ler e escrever memória, monte seu primeiro laço com CMP/BNE e rode um programa que soma um vetor no arm-box.
· 12 min de leitura
Monte a bancada: JDK 25, Maven, toolchain ARM bare-metal e o armbox. Compile, monte e rode um binário ARM real, e confira a saída.
· 14 min de leitura
Monte a bancada: JDK 25, Maven, toolchain ARM bare-metal e os repositórios arm-jitter/arm-box para compilar e rodar binários ARM reais.
· 11 min de leitura
Mão na massa: escreva um hello world em assembly ARM, monte um ELF real e rode no arm-box (o runner sobre o arm-jitter).
· 10 min de leitura
Uma introdução prática ao sistema de reatividade baseado em signals e como ele muda a forma de escrever componentes.
· 7 min de leitura
Por que criei este site e como pretendo usá-lo para documentar meus estudos e projetos.
· 3 min de leitura