Introduction to x64
Last updated
Last updated
Aprenda e pratique Hacking AWS:HackTricks Training AWS Red Team Expert (ARTE) Aprenda e pratique Hacking GCP: HackTricks Training GCP Red Team Expert (GRTE)
x64, também conhecido como x86-64, é uma arquitetura de processador de 64 bits predominantemente usada em computação de desktop e servidor. Originada da arquitetura x86 produzida pela Intel e posteriormente adotada pela AMD com o nome AMD64, é a arquitetura prevalente em computadores pessoais e servidores hoje.
x64 expande a arquitetura x86, apresentando 16 registradores de uso geral rotulados como rax
, rbx
, rcx
, rdx
, rbp
, rsp
, rsi
, rdi
, e r8
a r15
. Cada um deles pode armazenar um valor de 64 bits (8 bytes). Esses registradores também possuem sub-registradores de 32 bits, 16 bits e 8 bits para compatibilidade e tarefas específicas.
rax
- Tradicionalmente usado para valores de retorno de funções.
rbx
- Frequentemente usado como um registrador base para operações de memória.
rcx
- Comumente usado para contadores de loop.
rdx
- Usado em várias funções, incluindo operações aritméticas estendidas.
rbp
- Ponteiro base para o quadro de pilha.
rsp
- Ponteiro de pilha, mantendo o controle do topo da pilha.
rsi
e rdi
- Usados para índices de origem e destino em operações de string/memória.
r8
a r15
- Registradores adicionais de uso geral introduzidos no x64.
A convenção de chamada x64 varia entre sistemas operacionais. Por exemplo:
Windows: Os primeiros quatro parâmetros são passados nos registradores rcx
, rdx
, r8
e r9
. Parâmetros adicionais são empurrados para a pilha. O valor de retorno está em rax
.
System V (comumente usado em sistemas semelhantes ao UNIX): Os primeiros seis parâmetros inteiros ou ponteiros são passados nos registradores rdi
, rsi
, rdx
, rcx
, r8
e r9
. O valor de retorno também está em rax
.
Se a função tiver mais de seis entradas, o restante será passado na pilha. RSP, o ponteiro de pilha, deve estar alinhado a 16 bytes, o que significa que o endereço que ele aponta deve ser divisível por 16 antes de qualquer chamada ocorrer. Isso significa que normalmente precisaríamos garantir que RSP esteja devidamente alinhado em nosso shellcode antes de fazermos uma chamada de função. No entanto, na prática, chamadas de sistema funcionam muitas vezes mesmo que esse requisito não seja atendido.
Swift tem sua própria convenção de chamada que pode ser encontrada em https://github.com/apple/swift/blob/main/docs/ABI/CallConvSummary.rst#x86-64
As instruções x64 têm um conjunto rico, mantendo compatibilidade com instruções x86 anteriores e introduzindo novas.
mov
: Mover um valor de um registrador ou local de memória para outro.
Exemplo: mov rax, rbx
— Move o valor de rbx
para rax
.
push
e pop
: Empurrar ou retirar valores da pilha.
Exemplo: push rax
— Empurra o valor em rax
para a pilha.
Exemplo: pop rax
— Retira o valor do topo da pilha para rax
.
add
e sub
: Operações de adição e subtração.
Exemplo: add rax, rcx
— Adiciona os valores em rax
e rcx
, armazenando o resultado em rax
.
mul
e div
: Operações de multiplicação e divisão. Nota: essas têm comportamentos específicos em relação ao uso de operandos.
call
e ret
: Usados para chamar e retornar de funções.
int
: Usado para acionar uma interrupção de software. Ex.: int 0x80
era usado para chamadas de sistema no Linux x86 de 32 bits.
cmp
: Comparar dois valores e definir as flags da CPU com base no resultado.
Exemplo: cmp rax, rdx
— Compara rax
com rdx
.
je
, jne
, jl
, jge
, ...: Instruções de salto condicional que alteram o fluxo de controle com base nos resultados de um cmp
ou teste anterior.
Exemplo: Após uma instrução cmp rax, rdx
, je label
— Salta para label
se rax
for igual a rdx
.
syscall
: Usado para chamadas de sistema em alguns sistemas x64 (como Unix modernos).
sysenter
: Uma instrução de chamada de sistema otimizada em algumas plataformas.
Empurre o antigo ponteiro base: push rbp
(salva o ponteiro base do chamador)
Mova o ponteiro de pilha atual para o ponteiro base: mov rbp, rsp
(configura o novo ponteiro base para a função atual)
Alocar espaço na pilha para variáveis locais: sub rsp, <size>
(onde <size>
é o número de bytes necessários)
Mova o ponteiro base atual para o ponteiro de pilha: mov rsp, rbp
(desaloca variáveis locais)
Retire o antigo ponteiro base da pilha: pop rbp
(restaura o ponteiro base do chamador)
Retorne: ret
(retorna o controle para o chamador)
Existem diferentes classes de syscalls, você pode encontrá-las aqui:
Então, você pode encontrar cada número de syscall neste url:
Então, para chamar a syscall open
(5) da classe Unix/BSD, você precisa adicioná-la: 0x2000000
Assim, o número da syscall para chamar open seria 0x2000005
Para compilar:
Para extrair os bytes:
Aprenda e pratique Hacking AWS:HackTricks Treinamento AWS Red Team Expert (ARTE) Aprenda e pratique Hacking GCP: HackTricks Treinamento GCP Red Team Expert (GRTE)