[ Rust ] 버퍼 오버플로우(buffer overflow)에 대해서 알아 보기

버퍼 오버플로우(Buffer Overflow)는 메모리 안전성 문제 중 하나로, 프로그램이 고정된 크기의 메모리 버퍼에 더 많은 데이터를 기록하려고 할 때 발생합니다. 이로 인해 버퍼를 초과한 메모리 영역이 덮어쓰여질 수 있으며, 이는 프로그램의 비정상 종료, 데이터 손상, 심지어 악의적인 코드 실행과 같은 심각한 문제를 초래할 수 있습니다.

버퍼 오버플로우 예제 (C 언어)

C 언어는 메모리 관리를 프로그래머에게 맡기기 때문에, 버퍼 오버플로우 문제가 발생하기 쉽습니다. 아래는 C에서 발생할 수 있는 버퍼 오버플로우의 예입니다:

#include <stdio.h>
#include <string.h>

int main() {
    char buffer[10];
    strcpy(buffer, "This is a very long string that exceeds the buffer size");

    printf("Buffer: %s\n", buffer);
    return 0;
}

이 코드에서는 buffer의 크기가 10이지만, strcpy 함수는 이 크기를 확인하지 않고 긴 문자열을 복사합니다. 이로 인해 버퍼 크기를 초과한 메모리 공간이 덮어쓰여져 버퍼 오버플로우가 발생합니다.

Rust에서의 버퍼 오버플로우 방지

Rust는 이러한 메모리 안전성 문제를 근본적으로 방지하는 언어입니다. 러스트에서는 메모리 접근이 안전하게 보장되며, 버퍼 오버플로우가 발생하지 않도록 설계되어 있습니다. 예를 들어, 배열이나 벡터에 접근할 때 범위 검사(bound checking)가 자동으로 이루어집니다.

예제: Rust에서 안전한 버퍼 접근

fn main() {
    let buffer = vec![0; 10];  // 크기가 10인 벡터 생성

    // 안전한 접근: 러스트는 이 접근이 안전한지 검사합니다.
    if let Some(value) = buffer.get(11) {
        println!("Value: {}", value);
    } else {
        println!("Index out of bounds!");
    }
}

위의 예제에서 벡터 buffer의 11번째 인덱스에 접근하려고 시도하면, Rust는 안전하게 접근이 불가능하다는 것을 인지하고 None을 반환합니다. 이 덕분에 프로그램은 비정상 종료되거나 예기치 않은 동작을 하지 않고, 안전하게 에러를 처리할 수 있습니다.

Rust는 이러한 메모리 안전성 기능을 통해 프로그래머가 의도치 않은 버그를 방지하고, 더욱 안정적인 프로그램을 작성할 수 있도록 돕습니다.