CVE-2026-11108 – 메모리 할당기(Integer Overflow)의 정수 오버플로우 (kmalloc Sim)

프로그램 코드 (C)

// alloc_sim.c - Vulnerable memory allocator
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define MAX_BLOCK 1024

void *my_malloc(size_t size) {
    size_t total = size + sizeof(size_t); // header
    if (total > MAX_BLOCK) return NULL;
    void *ptr = malloc(total);
    if (!ptr) return NULL;
    *(size_t *)ptr = size;
    return ptr + sizeof(size_t);
}

void my_free(void *p) {
    if (!p) return;
    size_t *header = (size_t *)(p - sizeof(size_t));
    free(header);
}

int main() {
    // Craft size that causes integer overflow: 0xFFFFFFFF - sizeof(size_t) + 1 wraps to small number
    size_t huge = 0xFFFFFFFF;  // 4GB - 1
    char *buf = my_malloc(huge - sizeof(size_t) + 1); // overflow: total becomes 0?
    if (buf) {
        // Write far beyond allocated buffer, heap overflow
        memset(buf, 'A', 1000);
        printf("Wrote 1000 bytes to tiny buffer\n");
        my_free(buf);
    }
    return 0;
}

CVE-2026-11108 – 메모리 할당기의 정수 오버플로우

개요

사용자 정의 메모리 할당기가 헤더 크기를 더할 때 오버플로우 검사를 수행하지 않아 전체 할당 크기를 잘못 계산합니다. UINT_MAX에 가까운 크기를 전달하면 총합이 작은 값으로 래핑되어 아주 작은 버퍼가 할당되지만 큰 쓰기가 가능해져 힙 오버플로우가 발생합니다.

취약점 세부 정보

유형: 정수 오버플로우 / 힙 오버플로우
영향: 임의 코드 실행, 메모리 손상.
근본 원인: 할당 함수가 사용자 요청 크기에 헤더 크기를 더할 때 오버플로우를 검사하지 않습니다.

익스플로잇 데모

컴파일 및 실행:

gcc -o alloc_sim alloc_sim.c -fno-stack-protector
./alloc_sim

프로그램은 할당된 버퍼보다 훨씬 많은 바이트를 기록하여 힙 메타데이터를 손상시키고 충돌할 가능성이 높습니다.

CVE-2026-11108-Integer-Overflow-in-Memory-Allocator-kmalloc-Sim-

인기