없음 SEG_FAULT 없습니다 내가 다음과 같이 정수 오버 플로우 버그 및 작은 코드를 작성하여 그 결과를 증명하기 위해 노력하고있어

Question

:

이

int main(int argc, char** argv) 
{ 
    size_t len = 0; 
    sscanf (argv[1], "%lu", &len); 
    char* buffer = malloc(len + 5); 
    strcpy (buffer, argv[2]); 
    printf("str = \'%s\'\n", buffer) 
    return 0; 
} 

이 프로그램에 대한 안전 입력이됩니다 같은 :

./program 16 "This is a string" 

안전하지 않은 입력이 정수 오버 플로우 데모 위치를 다음과 같이이다 :

./program 18446744073709551613 "`perl -e 'print "This is a very very large string "x20'`" 

그러나 놀랍게도 정수 오버플로가 발생하고 아주 작은 버퍼가 할당 되어도 프로그램은 분할 오류를 생성하지 않으며 프로그램은 문제없이 정상적으로 실행됩니다!

이유가 무엇인지 설명 할 수 있습니까?

나는 이것을 GCC-5.2.1로 컴파일하고 64 비트 우분투 시스템에서 실행합니다.

코드의 더 완전한 버전은 viewed here 일 수 있습니다.

Answer 1

여기 보이는 것은 정의되지 않은 동작입니다. 하지만 실제로는 무작위로 작동 할 수도 있지만 실제로는 다른 버퍼를 할당하고 나중에 둘 다 해제하는 등의 복잡한 시나리오에서는 실패 할 수 있습니다.

특히 C 라이브러리는 더 큰 메모리 덩어리를 할당하고 필요에 따라 분할합니다. 즉, 버퍼 뒤의 메모리가 여전히 존재하고 OS 관점에서 볼 때 유효합니다. 그러나 거기에 쓰기는 조만간 또 다른 버퍼 또는 링크를 손상시키고 오류 또는 예기치 않은 내용을 초래합니다.