{{위키데이터 속성 추적}}
{{다른 뜻|오버플로}}
[[파일:Buffer overflow basicexample.svg|섬네일|소프트웨어 버퍼 오버플로 시각화. 데이터가 A에 기록되지만 너무 커서 A에 맞지 않아 B로 오버플로된다.]]
'''버퍼 오버플로'''({{llang|en|buffer overflow}}) 또는 '''버퍼 오버런'''({{lang|en|buffer overrun}})은 메모리를 다루는 데에 오류가 발생하여 잘못된 동작을 하는 프로그램 취약점이다. [[컴퓨터 보안]]과 [[프로그래밍]]에서는 [[프로세스]]가 [[데이터]]를 [[버퍼 (컴퓨터 과학)|버퍼]]에 저장할 때 프로그래머가 지정한 곳 바깥에 저장하는 것을 의미한다. 벗어난 데이터는 인접 메모리를 덮어 쓰게 되며 이때 다른 데이터가 포함되어 있을 수도 있는데, 손상을 받을 수 있는 데이터는 프로그램 변수와 프로그램 흐름 제어 데이터도 포함된다. 이로 인해 잘못된 프로그램 거동이 나타날 수 있으며, 메모리 접근 오류, 잘못된 결과, 프로그램 종료, 또는 시스템 보안 누설이 발생할 수 있다.

버퍼 오버플로가 코드를 실행시키도록 설계되거나 프로그램 작동을 변경시키도록 설계된 입력에 의해 촉발될 수 있다. 따라서 이는 많은 [[소프트웨어 취약점]]의 근간이 되며 악의적으로 [[이용]]<!--exploit-->될 수 있다. [[경계 검사]]로 버퍼 오버플로를 방지할 수 있다.

버퍼 오버플로는 보통 데이터를 저장하는 과정에서 그 데이터를 저장할 메모리 위치가 유효한지를 검사하지 않아 발생한다. 이러한 경우 데이터가 담긴 위치 근처에 있는 값이 손상되고 그 손상이 프로그램 실행에 영향을 미칠 수도 있다. 특히, 악의적인 공격으로 인해 프로그램에 취약점이 발생할 수도 있다.

흔히 버퍼 오버플로와 관련되는 프로그래밍 언어는 C와 C++로, 어떤 영역의 메모리에서도 내장된 데이터 접근 또는 덮어쓰기 보호 기능을 제공하지 않으며 어떤 배열에 기록되는 데이터가 그 배열의 범위 안에 포함되는지 자동으로 검사하지 않는다.

== 기술적인 설명 ==
버퍼 오버플로는 불충분한 [[경계 검사]]에 의해 버퍼에 쓰인 [[데이터]]가 버퍼에 이미 할당된 근접한 [[메모리 주소]]에 있는 데이터 값을 오염시킬 때 발생한다. 대부분 이는 [[문자열]]을 하나의 버퍼에서 다른 버퍼로 복사할 때 발생한다.

=== 기본 예제 ===
아래의 예제에서, 프로그램은 메모리에서 인접해 있는 두 아이템을 정의하였다: 8 바이트 길이 스트링 버퍼, A. 그리고 2 바이트 정수형, B. 우선, A는 8바이트 모두 숫자 0값만 포함하고 B는 숫자 3을 포함한다. 문자들은 1바이트 크기이다.

{| border="1"
 | align="center" colspan="8" bgcolor="#ddddff" | A
 | align="center" colspan="2" bgcolor="#ffdddd" | B
 |-
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ddddff" | 0
 | align="center" width="30" bgcolor="#ffdddd" | 0
 | align="center" width="30" bgcolor="#ffdddd" | 3
 |}

이제, 프로그램은 문자열 "excessive"를 A 버퍼에 저장한다. 한 바이트짜리 0값이 스트링의 끝임을 알리기 위해 따라온다. 스트링의 길이를 확인하지 않음으로 B의 값을 덮어쓴다.

{| border="1"
 | align="center" colspan="8" bgcolor="#ddddff" | A
 | align="center" colspan="2" bgcolor="#ffdddd" | B
 |-
 | align="center" width="30" bgcolor="#ddddff" | 'e'
 | align="center" width="30" bgcolor="#ddddff" | 'x'
 | align="center" width="30" bgcolor="#ddddff" | 'c'
 | align="center" width="30" bgcolor="#ddddff" | 'e'
 | align="center" width="30" bgcolor="#ddddff" | 's'
 | align="center" width="30" bgcolor="#ddddff" | 's'
 | align="center" width="30" bgcolor="#ddddff" | 'i'
 | align="center" width="30" bgcolor="#ddddff" | 'v'
 | align="center" width="30" bgcolor="#ddddff" | 'e'
 | align="center" width="30" bgcolor="#ddddff" | 0
 |}

비록 프로그래머가 B가 바뀌는 것을 전혀 의도하지 않았다 하더라도, B의 값은 문자열의 한 부분을 구성하는 숫자로 바뀌었다. 이 예제에서 [[ASCII]]를 사용하는 [[빅 엔디언]] 시스템에서 "e" "0"는 숫자 25856가 될 수 있다. B가 프로그램이 정의한 유일한 다른 변수였다면, B의 끝을 지나가는 긴 스트링을 쓰는 것은 [[세그멘테이션 오류]], 프로세스 종료와 같은 오류를 발생시켰을 것이다.

== 이용 ==
버퍼 오버플로 취약점을 이용하는 기술은 [[구조]], [[운영 체제]], 메모리 영역에 따라 다르다. 예를 들어 [[힙]](heap, 동적 메모리 할당에 사용됨) 을 이용하는 방법은 [[함수 호출 스택]]을 이용하는 방법과 매우 다르다.

=== 스택 기반 이용 ===
기술적 성향을 가진 악의적 사용자가 스택 기반 버퍼 오버플로를 이용하여 프로그램을 아래와 같이 조작할 수 있다:
* 스택에 가까운 지역 변수를 덮어씀으로써 프로그램의 거동을 공격자에게 혜택을 주는 방향으로 바꾼다.
* [[스택 프레임]]안의 귀환 주소를 덮어쓴다. 함수가 귀환하면 실행이 공격자가 지정한 귀환 주소로부터 재개되는데 보통 사용자 입력으로 채워진 버퍼이다.<!--데이터 메모리와 프로그램 메모리가 분리되는 경우 이런 문제를 피할 수 있게 되는지?  그렇다면 Harvard 구조가 더 안전하게 되는 것인지? -->
* [[함수 포인터]] 또는 예외 핸들러를 덮어씀으로써 이후에 실행되는 부분을 가로챈다.

트램폴라이닝(trampolining)이라 불리는 방법을 사용하면,<!--얼마나 널리 사용되는 방법인지??--> 사용자가 지정한 데이터의 주소를 모르더라도, 레지스터에 그 주소가 저장되어 있다면, 실행 흐름을 사용자 제공 데이터로 도약하도록하는 어떤 실행코드의 주소로 귀환 주소를 덮어쓸 수 있다. 위치가 레지스터 R에 저장되어 있다면 jump R이나 call R과 같이 R에 저장되어 있는 주소로 건너뛰는 작동코드 opcode 로 사용자 제공 데이터가 실행되도록 할 수 있다. 적당한 작동코드 또는 바이트<!--정확히 어떤 의미인지??-->의 위치는 [[동적 링크 라이브러리|DLL]]이나 실행 파일 자체 안에서 찾을 수 있다. 그러나 작동 코드의 주소는 전형적으로는 어떠한 [[무효 문자]]도 포함할 수 없고, 이러한 작동 코드의 위치는 응용 프로그램마다, 운영 체제 버전에 따라 달라질 수 있다. [[메타스플로잇 프로젝트]]는 그러한 적당한 작동코드의 데이터베이스로 [[마이크로소프트 윈도우|윈도우]] 운영 체제에 관한 것이 나열되어 있다.

==== 스택 기반 이용 예 ====

아래의 예에서 "X"는 프로그램이 실행될 때 [[스택]]에 있게 되는 데이터이다. 프로그램은 그 다음 작은 양의 저장공간만 필요한 [[함수]] "Y"를 호출한다. 그리고 "Y"는 그 다음 많은 버퍼를 필요로 하는 "Z"를 호출한다.

{| border="1"
 | align="center" colspan="6" bgcolor="#ffdddd" | Z
 | align="center" width="30" bgcolor="#ddffdd" | Y
 | align="center" colspan="3" bgcolor="#ddddff" | X
 |-
 | align="center" width="30" bgcolor="#ffdddd" | &nbsp;
 | align="center" width="30" bgcolor="#ffdddd" | &nbsp;
 | align="center" width="30" bgcolor="#ffdddd" | &nbsp;
 | align="center" width="30" bgcolor="#ffdddd" | &nbsp;
 | align="center" width="30" bgcolor="#ffdddd" | &nbsp;
 | align="center" width="30" bgcolor="#ffdddd" | &nbsp;
 | align="center" width="30" bgcolor="#ddffdd" | :
 | align="center" width="30" bgcolor="#ddddff" | /
 | align="center" width="30" bgcolor="#ddddff" | /
 | align="center" width="30" bgcolor="#ddddff" | /
 |}

만약 함수 Z가 오버플로를 발생시키면, 그것은 함수 Y나 주 프로그램에 포함된 데이터를 덮어 쓸 수도 있다:

{| border="1"
 | align="center" colspan="6" bgcolor="#ffdddd" | Z
 | align="center" width="30" bgcolor="#ddffdd" | Y
 | align="center" colspan="3" bgcolor="#ddddff" | X
 |-
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ffdddd" | .
 | align="center" width="30" bgcolor="#ddddff" | /
 | align="center" width="30" bgcolor="#ddddff" | /
 |}

이것은 대부분의 시스템에서 현재의 프로세스가 호출되기 전 실행되고 있던 프로그램 부분의 위치인 반환값을 스택이 갖고 있기 때문에 특히나 심각하다. 함수가 끝날 때 임시 저장소는 스택에서 제거되고 실행은 반환 주소로 되돌아간다. 그런데 반환 주소를 버퍼 오버플로가 덮어쓰면 어떤 다른 위치를 가리킬 것이다. 처음 예제에서와 같은 버퍼 오퍼플로가 우연히 발생하는 경우 거의 틀림없이 쓸모없는 위치일 것이다. 어떠한 프로그램 명령어 위치가 아닌 이상, 프로세스는 망가질 것이다. 그리고 악의적인 공격자가 시스템 보안과 충돌할 수 있는 임의 위치로 반환 주소를 바꿀 수 있다.

=== 힙 기반 이용 ===
힙 데이터 영역에서 일어나는 버퍼 오버플로를 힙 오버플로라 부르며 스택 기반 오버플로와는 다른 방법으로 이용할 수 있다. 힙 상의 메모리는 동적으로 응용 프로그램에 의해 실행시간 중에 할당되고 보통 프로그램 데이터를 보관하고 있다. 이용하는 방법은 이 데이터를 특정한 방법으로 오염시켜 응용 프로그램이 연결 리스트 포인터(linked list pointer)등과 같은 내부 자료 구조를 덮어쓰게 한다. 기본적인 힙 오버플로 기술은 동적 메모리 할당 연결([[malloc]] 상위 수준 데이터)을 덮어씀으로써 프로그램 함수 포인터를 조작한다. [[마이크로소프트]] [[JPEG]] [[GDI+]] 취약점은 힙 오버플로도 컴퓨터 사용자에 위험이 될 수 있다는 예이다.

=== 이용당하는 것을 막는 장벽 ===
읽히거나 실행되기 전에 버퍼를 조작하면 이용하려는 시도를 막을 수도 있다. 이러한 조작은 이용당할 위협을 완화시켜줄 수는 있지만 불가능하게 만들지는 못한다. 조작에는 대문자로 또는 소문자로 변환, 제어 부호 제거, 숫자 영문자 제거 등이 포함된다. 이러한 방지 수단을 회피하는 기술도 존재한다: [[숫자 영문자 코드]], [[다형성 코드]], [[자체 수정 코드]], [[libc 귀환 공격]] 등. 같은 방법을 [[침입 감지 시스템]]에 의한 피탐지를 회피하는 데도 사용할 수 있다. 어떤 경우에는, 유니코드 변환의 경우도 포함되지만, 서비스 거부만 가능한 것으로 취약점의 위협이 잘못 표현되었지만 사실은 임의 코드의 원격 실행이 가능할 수도 있다.

=== 이용의 실제 ===
실세계 이용에서는 다양한 이슈를 극복해야 공격을 신뢰성 있게 수행할 수 있다. 이러한 요소에는 주소에서의 무효값 바이트, 셸 코드 위치 가변성, 환경간 상이성, 그리고 다양한 대응수단이다.

==== NOP 슬라이드 기법 ====
NOP 슬라이드 기법은 가장 오래되고 가장 널리 알려진 스택 버퍼 오버플로 공격 기법이다. 버퍼의 정확한 주소를 찾는 문제를 해결하는 것으로, 표적 영역의 크기를 효과적으로 증대시킨다. 이를 위하여 훨씬 큰 영역의 스택을 NOP 기계어 코드 (컴퓨터가 이 명령을 읽으면 그 클럭 싸이클에는 아무 일도 하지 않는다)로 오염시킨다. 공격자 제공 데이터 끝, 즉 NOP 명령어 이후에 버퍼의 최상위 위치, 셸 코드가 있는 곳으로 상대적 jump 명령어를 둔다. NOP 명령어의 모음이 "NOP 슬라이드"라고 불린다. 왜냐하면 귀환 주소를 덮어 쓸 때 NOP 영역 내의 주소값 어디를 써도 결국 NOP 명령어들을 따라 "미끄러져" 최후의 상대 jump로 실제 악성 코드에 도달하기 때문이다. 이 기법은 공격자가 상대적으로 작은 크기의 셸 코드의 위치 대신 스택에서 NOP 슬라이드의 위치를 추정하면 된다.

이 기법이 인기 있기 때문에 많은 [[침입 방지 시스템]] 업체에서 이러한 NOP 기계어 명령어 패턴을 탐색하여 사용중인 셸 코드를 검출할 것이다. 중요한 것은 NOP 슬라이드는 반드시 전통적인 NOP 기계어 코드만 담는 것은 아니며 어떤 명령이라도 셸 코드가 실행될 수 없을 만큼 기계 상태를 해치지 않으면 하드웨어로 지원되는 NOP자리에 사용할 수 있다. 결과적으로, 공격자가 NOP 슬라이드를 셸코드 실행에 사실상 지장이 없는 임의로 선택한 명령어로 채우는 관행이 널리 퍼지게 되었다.

한편, 이 방법이 어떤 공격이 성공적일 확률을 크게 높이는 반면, 문제가 없는 것은 아니다.
* 이 기법을 이용한 공격이라도 여전히 어느 정도 운에 의존, 스택 상의 거리 오프셋(offset)을 추정하여 NOP-슬라이드 영역에 들어가게 해야 한다. 부정확하게 추정하면 보통 표적 프로그램이 깨지고 시스템 관리자에게 공격자의 활동을 경보하게 된다.
* 또 한가지 문제가 될 수 있는 경우는 효과적인 NOP-슬라이드가 할당받을 수 있는 메모리에 비해 너무 큰 경우이다. 이것이 문제가 될 수 있는 경우는 할당된 버퍼 크기가 너무 작고 현재 스택의 깊이가 너무 얕을 때(즉, 현재 스택 프레임의 끝으로부터 시작점까지의 공간이 얼마 되지 않았을 때)이다. 그 문제점에도 불구하고 NOP-슬라이드는 주어진 플랫폼, 환경, 상황에 따라 유일하게 작동하는 방법으로 아직도 중요한 기법이다.

==== 레지스터에 저장된 주소로 건너뛰기 ====
레지스터로 건너뛰기 jump to register 기법은 NOP-슬라이드와 같은 추가 공간이나 스택 위치 오프셋을 추정하지 않아도 잘 작동한다. 전략은 복귀 포인터를 덮어써서 통제된 버퍼, 즉 셸코드를 담고 있는 레지스터의 위치로 프로그램이 건너뛰게 만드는 것이다. 예를 들어 레지스터 A가 어떤 버퍼의 시작점을 담고 있다면, 이 레지스터를 오퍼랜드(operand)로 삼은 어떠한 건너뛰기 또는 호출로 실행 흐름의 제어권을 얻을 수 있다. 실전에서는 어떤 프로그램이 의도적으로는 어떤 특정 레지스터에 저장된 주소로 건너뛰는 명령을 포함하지 않을 수도 있다. 전통적인 해법은 어떤 의도되지 않은 적당한 [[작동코드]] opcode 사례를 프로그램 메모리 어딘가 고정된 위치에서 찾는 것이다. 예를 들면, 뜻하지 않게 i386 [[JMP (x86 명령어)|JMP]] esp 명령이 포함된 경우가 ntdll.dll 안의 DbgPrint()함수에 있었다. 이 명령의 작동 코드는 FF E4이다. 이 연속 두 바이트 패턴이 call DbgPrint 명령에서 1Byte 떨어진 곳 주소 0x7C941EED에 나타났다. 공격자가 프로그램의 귀환 주소를 이 주소로 덮어 쓰면, 프로그램이 처음에는 0x7C941EED로 건너뛰어 실행 코드 FF E4를 [[JMP (x86 명령어)|JMP]] esp 명령으로 인식하여 스택의 정상 위치로 jump, 공격자의 코드를 실행할 것이다. 이 기법이 가능하다면 취약성의 심각성이 상당히 증가한다. 이는 왜냐하면 이용이 충분히 신뢰성 있게 작동하여 공격을 자동화, 실행하면 가상적으로 성공을 보증할 수 있게 되기 때문이다. 이러한 이유로, 이 기법이 [[인터넷 웜]]에서 가장 흔히 버퍼 오버플로 취약점을 이용하기 위해 사용된다. 이 방법은 또한 셸코드의 위치를 윈도 플랫폼 상에서 덮어씌어진 귀환 주소 뒤에 위치하더라고 가능하다. 실행 코드는 주소 0x00400000에 기반하고, x86은 [[리틀 엔디안]] 구조이므로 귀환 주소의 최후 바이트는 반드시 무효값이 되고, 이것이 버퍼 복사를 마감하며 그 이후에는 아무것도 씌지 않는다. 이로 하여 셸코드의 크기는 버퍼의 크기로 제한되며, 지나친 규제가 될 수 있다. 동적 연결 라이브러리 DLL은 고위 메모리 (0x01000000 이상)에 저장되며 따라서 무효 바이트가 없는 주소를 가지므로, 이 방법은 무효 바이트 (또는 다른 허용 안되는 문자)를 덮어씌어진 복귀 주소에서 제거할 수 있다. 이런 식으로 사용되면, 이 방법은 때때로 DLL 프램폴라이닝이라고 불린다.

== 보호 대응 수단 ==
다양한 기법이 버퍼 오버플로를 감지 또는 방지하기 위하여, 다양한 대가를 지불하며 사용되어 왔다. 가장 신뢰성 있는 버퍼 오버플로를 회피 또는 방지하기 위한 방법은 언어 수준에서 자동 보호를 사용하는 것이다. 그러나 이러한 종류의 보호는 [[기존 코드]]에 적용할 수 없고, 때때로 기술적, 상업적, 또는 문화적 제한으로 취약한 언어를 요구한다.

=== 프로그래밍 언어 선택 ===
프로그래밍 언어 선택은 버퍼 오버플로 발생에 깊이 있는 영향을 미칠 수 있다. 2008년 기준으로, C와 그로부터 발전된 C++는 가장 인기 있는 언어들에 포함되며, 거대한 양의 소프트웨어가 이러한 언어로 작성되었다. C와 C++는 메모리상 어떤 부분에서도 데이터 접근과 덮어쓰기에 대한 내장 보호 기능이 없다. 더 구체적으로, 데이터가 어떤 배열 (버퍼의 구현)에 씌어지는 데이터가 그 배열의 범위 안에 씌어지는지 검사하지 않는다. 그러나 표준 C++ 라이브러리는 데이터를 안전히 저장하는 많은 방법을 제공하고, C언어에서 버퍼 오버플로를 회피하기 위한 기술도 존재한다. 장기간 작동시키며 안정성을 유지해야 하는 프로그램을 작성해야 한다면 보다 데이터 타입과 오버플로 검사가 엄격한 C#과 자바를 사용할 수 있다.

많은 다른 프로그래밍 언어는 실행시간 검사를 제공하고, 어떤 경우에는 심지어 컴파일 시 검사하여 C 또는 C++가 데이터를 덮어쓰고 계속하여 더 많은 명령을 실행하여 잘못된 결과가 프로그램을 깨뜨릴 수도 있는 경우 경고 또는 [[예외]]를 제기할 수도 있다. 그러한 언어의 예는 [[에이다 (프로그래밍 언어)|에이다]], [[리스프]], [[모듈라-2]], [[스몰토크]], [[OCaml]] 그리고 C에서 발전된 [[사이클론 (프로그래밍 언어)|사이클론]]과 [[D]]이다.<!--이들 언어에는 또 다른 알려지지 않은 취약점이 없는지?--> [[자바 (프로그래밍 언어)|자바]]와 [[닷넷]] 바이트코드 환경도 경계 검사를 모든 배열에 대하여 요구한다. 거의 모든 [[인터프리터 언어]]는 잘 정의된 에러 조건에 신호를 보냄으로써 버퍼 오버플로에 대항 보호할 것이다. 어떤 언어가 충분한 형 정보(type information)를 제공하면 때때로 가능케 할것인지 불가능하게 할 것인지 정할 수 있게 해 준다. [[정적 코드 분석]]은 다수의 동적 경계 검사를 제거할 수 있지만, 잘못 구현되거나 부적절한 케이스(case)는 심각하게 성능을 저하시킬 수 있다. 소프트웨어 공학자는 반드시 조심스럽게 안전성과 성능 비용 사이의 조율을 고려하여 언어와 컴파일러 설정을 결정하여야 한다.

=== 안전한 라이브러리 사용 ===
버퍼 오버플로의 문제는 C와 C++언어에서는 일반적이다. 왜냐하면 이들 언어가 데이터 형을 보관 장소로서 버퍼의 저수준 표현상 상세를 노출시키기 때문이다. 버퍼 오버플로는 반드시 따라서 버퍼 관리 코드안에서의 높은 수준의 정확성을 유지함으로써 회피되어야 한다. 오래전부터 표준 라이브러리 함수 중 경계를 검사하지 않는 함수의 사용을 피할 것이 권고되어 왔다: [[gets]], [[scanf]], [[strcpy]] 등. [[모리스 웜]]은 [[핑거 데몬]] 안에서 호출되는 gets 함수를 이용하였다.

잘 씌어지고 검사된 추상 데이터형 라이브러리는 경계 검사를 포함한 버퍼 관리를 중앙집중화하고 자동적으로 실시하여 버퍼 오버플로 발생과 충격을 줄일 수 있다. 버퍼 오버플로가 일상적으로 일어나는 언어의 두가지 주요한 기본 데이터 형은 문자열과 배열이다; 따라서 버퍼 오버플로를 이러한 데이터 형에서 방지하는 라이브러리는 필요 영역 가운데 방대한 대다수를 담당해 줄 수 있다. 여전히 이러한 안전한 라이브러리를 사용하지 못한다면 버퍼 오버플로와 다른 취약점을 낳을 것이다; 자연스럽게 라이브러러 자체의 어떤 버그도 잠재적인 취약점이 된다. "안전한" 라이브러리 구현은 "개선된 문자열 라이브러리", Vstr, 어원을 포함한다.<!--정확한 의미는??--> [[오픈 BSD]] [[운영체제]]의 [[C 라이브러리]]는 strlcpy와 strlcat 함수를 제공하지만 이들은 전 안전 라이브러리 구현<!--full safe library impoementations인데 정확한 의미는? 오픈 BSD의 strlcpy와 strlcat 함수가 더 안전하다는 의미인지??-->보다 더 제한되어 있다.

2006년 9월 C 언어 표준 위원회 기술 보고서 24731이 공개되었다; 이는 표준 C 라이브러리의 문자열과 입출력 함수들에 기반하였으나 버퍼 크기 매개 변수를 추가로 가진 함수들을 명세하였다. 그러나 이런 함수들의 버퍼 오버플로 방지 효력은 논란의 여지가 있다. 프로그래머가 일부러 함수 호출 마다 개입하여야 하는데 이는 더 오래된 표준 라이브러리 함수의 버퍼 오버플로를 방지하게 만드는 것과 등가의 일이다.

가능한 더 안전한 기능을 제공하는 함수를 사용하는 것도 방법이다. 예를 들어 문자열의 길이를 구하는 C 함수 [[strlen]], [[wcslen]] 함수는 [[NULL]] 문자를 만날 때까지 계속 다음 메모리를 참조해 나가는 메커니즘으로 되어 있어서 원래의 문자열 끝에 NULL이 없으면 최악의 경우 메모리 영역 끝을 넘어서까지 메모리를 참조하려 시도할 것이다. 이 때에는 좀 더 개선된 함수 [[strlen s]]나 [[wcslen s]]를 사용하여 참조할 최대 메모리를 제한할 수 있다. 이 외에 기존의 문자열 함수 뒤에 _s가 붙은 이름의 함수를 사용하면 버퍼 오버플로 문제를 개선할 수 있다.<ref>[http://msdn.microsoft.com/ko-kr/library/tsbaswba%28VS.80%29.aspx Routine Mappings(CRT)]</ref>

=== 버퍼 오버플로 보호 ===
버퍼 오버플로 보호는 가장 일반적인 버퍼 오버플로를 검출하기 위해 사용되며 함수가 귀환할 때 스택이 변경되었는지 검사한다. 변경되었다면 프로그램이 [[세그멘테이션 오류]]를 발생 시키며 중단된다. 그러한 시스템의 세가지 예가 [[gcc]] 패치인 립세이프 LibSafe, [[스택 가드]], [[ProPolice|프로폴리스]]이다. 마이크로소프트의 [[데이터 실행 방지]] 모드는 명백히 SEH 예외 처리기를 가리키는 포인터를 덮어쓰기로부터 보호한다. 더 강력한 스택 보호는 스택을 두가지로 나눔으로써 가능하다: 하나는 데이터용이고 다른 하나를 함수 귀환에 사용하는 것이다. 이러한 구분은 [[포스 프로그래밍 언어]]에 비록 안전을 위한 기능은 아니지만 채택되어 있다. 어쨌든, 이는 버퍼 오버플로에 관한 완벽한 해결책은 아닌 것이, 귀환 주소가 아닌 민감한 데이터는 여전히 덮어씌어질 가능성이 있다.

=== 포인터 보호 ===
버퍼 오버플로는 포인터를 조작함으로써 (저장되어 있는 주소를 포함하여) 작동한다. 포인트 가드는 컴파일러 확장으로 제안되었는데, 공격자가 신뢰성 있게 포인터와 주소를 조작하는 것을 방지한다. 접근 방법은 컴파일러가 추가 코드를 삽입하여 자동적으로 포인터를 사용 전후에 XOR-인코딩하도록 하는 것이다. 공격자가 (이론적으로는) 어떤 값이 포인터를 인코드/디코드할 때 사용할지 알지 못하기 때문에 어떤 값으로 덮어 써야 원하는 효과를 거둘 수 있을지 알기 힘들게 된다. 포인트가드가 배포된 적은 없지만 마이크로소프트에서 비슷한 접근 방법을 구현하여 윈도우 XP SP2와 윈도 서버 2003 SP1 이후에 적용하였다. 포인터 보호를 자동 기능으로 구현하지는 않았고, API를 추가하여 프로그래머의 재량에 따라 호출하여 사용하도록 하였다. XOR이 선형이므로, 공격자가 암호화된 포인터를 조작하여 어떤 주소의 하위 바이트만 덮어쓸 수 있다. 이렇게 하면 공격자가 여러번 시도하거나 복수의 위치 (예를 들어 NOP 슬라이드 안의 어떤 위치)에 대해 시도함으로써 공격이 성공할 수 있다. 마이크로소프트는 임의로 암호화 방안을 변경함으로써 이 약점을 보완, 부분적으로만 덮어쓰기가 가능하게 하였다.

=== 실행 공간 보호 ===
실행 공간 보호는 버퍼 오버플로를 방지하기 위한 접근 방법으로 스택이나 힙 상의 코드가 실행되는 것을 막는다. 공격자는 버퍼 오버플로를 이용하여 임의의 코드를 프로그램의 메모리에 삽입할 수 있지만, 실행 영역 보호가 있다면, 그 코드를 실행하고자 하는 어떠한 시도도 예외를 발생시킬 것이다. 어떤 CPU는 [[실행 방지 비트|NX]] (No eXecute) 또는 [[실행 방지 비트|XD]] (eXecute Disabled)비트 라는 기능을 지원하는데 소프트웨어와 연계하여 [[페이징|데이터의 페이지]] (즉 스택이나 힙을 담고 있는)를 읽고 쓰기는 가능하나 실행 불가로 표시할 수 있다. 어떤 유닉스 운영 체제는 (예를 들어 [[OpenBSD|오픈 BSD]], [[OS X]]) 은 실행가능한 공간 보호와 함께 출시되었다. (예: [[W^X]]) 옵션 패키지에는 다음이 포함될 수 있다:
* [[PaX]]
* [[Exec Shield]]
* [[오픈월]]
새로운 마이크로소프트 변종도 실행 공간 보호를 지원하며 [[데이터 실행 방지]]라고 부른다. 상용 추가 기능은 다음과 같다:
* [[버퍼 실드]]
* [[스택 디펜더]]
실행 공간 보호로 [[libc로 귀환 공격]] 또는 공격자 코드 실행에 의지하지 않는 공격을 방지한다고 보증할 수는 없다. <!--그러나 [[ASLR]]을 사용한 [[64비트]] 시스템에서는 그러한 공격이 훨씬 어려워진다. Address Space Layout Randomization에 너무 기운 표현은 아닌지?-->

=== 주소 공간 배치 난수화 ===
[[주소 공간 배치 난수화]] (Address space layout randomization, ASLR)는 컴퓨터 보안 기능으로 중요 데이터 영역, 예를 들어 실행 코드의 기반 주소, 라이브러리, 힙, 스택 주소 등을 임의로 프로세서의 주소 공간에 배치하는 것이다. 함수와 변수를 찾을 수 있는 [[가상 메모리]] 주소의 난수화로 버퍼 오버플로 이용이 더 어려워지지만 불가능한 것은 아니다. 공격자가 이용 시도를 각각의 시스템에 따라 다르게 하도록 강요하므로 [[인터넷 웜]] 방어에 더 유용하다. 비슷하지만 덜 효과적인 방법은 프로세스와 라이브러리를 가상 주소 공간에 [[리베이스]]하는 것이다.

=== 심층 패킷 조사 ===
심층 패킷 조사로 네트워크 경계에서 아주 간단한 버퍼 오버플로 원격 시도를 공격 고유 신호과 경험적 방법으로 검출할 수 있다. 알려진 공격 고유 신호 또는 긴 NOP 명령이 검출되면 패킷을 막을 수 있으며, 공격 패킷 내용으 조금 달라도 사용할 수 있다. 패킷 스캐닝은 효과적이지 못한데, 그 까닭은 알려진 공격만 막을 수 있고 NOP 슬라이드는 다양한 방법으로 암호화 할 수 있기 때문이다. 공격자들은 경험론적 패킷 스캐너와 [[침입 감지 시스템]]의 탐지를 회피하기 위하여 [[영숫자]], [[탈바꿈]], [[자기 수정]] [[셸코드]]를 사용하기 시작하였다.

== 이용의 역사 ==
버퍼 오버플로는 1972년 컴퓨터 보안 기술 기획 연구에서 기법을 소개하였을 때부터 이해되었던 개념이다. "이 기능을 수행하는 코드는 출처와 목적지 주소를 적절히 검사하지 않으므로, 사용자가 모니터의 일부를 덮어쓰도록 허용한다. 이는 코드를 모니터에 삽입하여 제어권을 획득하는 데 사용될 수 있다." 오늘날 모니터는 커널이라고 불릴 것이다.

1980년대 개인용 컴퓨터의 확산으로 이 기법에 대해 아는 사람의 수가 증가하였다. [[코모도어 PET]] 상에서 예를 들어 흔히 두 번째 테이프 버퍼를 사용하여 어셈블리 언어 루틴을 저장하였다.{{모호}}<!--정확한 의미는?--> 어떤 프로그래머들은 최대 32KB인 컴퓨터의 주기억장소 공간에서 몇바이트를 절약하기 위해 베이직 언어의 번거로운 POKE 명령 사용 대신 프린트 버퍼의 시작점을 테이프 버퍼로 변경하여 6502 어셈블리 언어 코드(이상해 보이는 글자로 이루어진)를 직접 원하는 곳으로 출력하였다. 실제로는 프린터 버퍼가 테이프 버퍼 보다 길었기 때문에, 베이직 문자열이 쉽게 1024 바이트를 넘어갔고, PET상의 마이크로소프트 베이직 인터프리터와 간섭하였다. 초기 맥, 코모도어, 아타리등 초기 개인용 컴퓨터 [[부트 이미지]] 로더와 95, 98까지의 [[마이크로소프트 윈도우]] 운영 체제는 버퍼 보호에 부적절하였고 많은 프로그래머들이 버퍼 오버플로에 대해 알게 되었다.
최초로 문서에 남은 적대적 버퍼 오버플로 이용은 1988년이었다. [[모리스 웜]]이 인터넷에서 자신을 퍼뜨리기 위해 사용했던 몇가지 공격 가운데 하나였다. 그 프로그램이 이용했던 것은 [[핑거]]라는 [[유닉스]] [[서버|서비스]]였다. 1995년 토마스 로파틱은 독립적으로 버퍼 오버플로를 재발견하였고 자신의 발견을 [[버그트랙]](Bugtraq) 보안 [[메일링 리스트]]에 공개하였다. 1년 후 1996년 [[엘리아스 레비]] (알레프 원으로 알려진)는 [[프랙]] 지에 "재미와 소득을 위해 스택 때리기"라는 제목의 기사에서 스택 기반 버퍼 오버플로 취약점을 공략하는 단계별 소개를 공개하였다.

그 이후에 최소한 두가지의 대규모 인터넷 웜이 버퍼 오버플로를 이용하여 많은 수의 시스템에 영향을 주었다. 2001년 [[코드 레드 웜]]은 마이크로소프트의 [[인터넷 정보 서비스]] 5.0의 버퍼 오버플로를 이용했고, 2003년의 [[SQL Slammer|SQL 슬래머]] 웜은 [[마이크로소프트 SQL 서버 2000]]을 실행시키는 컴퓨터에 영향을 주었다.

2003년 허가된 [[엑스박스]] 게임 안에 존재했던 버퍼 오버플로가 이용되어 [[자작 게임]]을 포함한 허가 받지 않은 소프트웨어도 콘솔에서 [[모드칩]]이라고 알려진 하드웨어 변경 없이 이용할 수 있게 되었다. [[PS2 독립 공격]]도 버퍼 오버플로를 사용하여 같은 작용을 [[플레이스테이션 2]]에 일으켰다. [[황홍 공격]]은 [[Wii|닌텐도 위]]에서 같은 효과를 거두었는데, [[젤다의 전설 황혼의 공주]]의 버퍼 오버플로를 이용하였다.

== 예제 소스 코드 ==

아래의 C 소스 코드는 일반적인 프로그래밍 실수를 보여준다. 일단 컴파일 되면, 너무 긴 커맨드라인 인자 문자열을 가지고 실행하면 프로그램은 버퍼 오버플로 오류를 발생할 것이다. 왜냐하면 이 인자의 길이를 체크하지 않고 버퍼를 채우는 데 사용하기 때문이다.<ref name="saferC">Safer C: Developing Software for High-integrity and Safety-critical Systems ({{ISBN|0-07-707640-0}})</ref>

<syntaxhighlight lang="c">
/* overflow.c - 버퍼 오버플로를 설명한다 */

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

int main(int argc, char *argv[])
{
  char buffer[10];
  if (argc < 2)
  {
    fprintf(stderr, "사용법: %s 문자열\n", argv[0]);
    return 1;
  }
  strcpy(buffer, argv[1]);
  return 0;
}
</syntaxhighlight>

9개 이하의 문자 스트링은 버퍼 오버플로를 일으키지 않는다. 10 이상의 문자들은 오버플로를 일으킨다. 이것은 언제나 부정확하지만 프로그램 오류나 세그먼트 폴트를 일으키지는 않는다. [[strncpy]]는 버퍼에 쓰일 문자의 개수를 제한할 수 있다.

이 프로그램은 [[strncpy]]를 이용해 아래와 같이 안전하게 다시 쓸 수 있다:<ref name="saferC" />

<syntaxhighlight lang="c">
/* better.c - 문제 해결 방법 하나를 설명한다 */

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

int main(int argc, char *argv[])
{
  char buffer[10];
  if (argc < 2)
  {
    fprintf(stderr, "사용법: %s 문자열\n", argv[0]);
    return 1;
  }
  strncpy(buffer, argv[1], sizeof(buffer));
  buffer[sizeof(buffer) - 1] = '\0';  /* 문자열의 끝을 분명히 맺는다 */
  return 0;
}
</syntaxhighlight>

== 같이 보기 ==
* 데이터 전송
** [[버퍼 언더런]]
* 버퍼 오버플로
** [[힙 오버플로]]
* 보안 취약점
** [[형식 문자열 공격]]
* 운영 체제
** [[보안 중심 운영 체제]]
* [[컴퓨터 보안]]
** [[컴퓨터 비보안]]
** [[죽음의 핑]]
** [[Return-to-libc 공격]]
* 프로그램 분석
** [[정적 코드 분석]]
* [[스택 버퍼 오버플로]]
* [[셸코드]]
* [[자기 수정 코드]]
* [[포트 스캐닝]]
* [[파일 끝]]

== 참조 ==
<references/>

== 외부 링크 ==
* {{언어링크|en}} [https://www.softwareresearch.net/fileadmin/src/docs/teaching/WS17/IT-Sicherheit/Buffer_overflow_-_Wikipedia.pdf An Overview and Example of the Buffer-Overflow Exploit] {{웨이백|url=https://www.softwareresearch.net/fileadmin/src/docs/teaching/WS17/IT-Sicherheit/Buffer_overflow_-_Wikipedia.pdf |date=20210228121544 }}
* {{언어링크|en}} [https://www.securecoding.cert.org CERT Secure Coding Standards]
* {{언어링크|en}} [http://www.cert.org/secure-coding CERT Secure Coding Initiative]
* {{언어링크|en}} [http://www.cert.org/books/secure-coding Secure Coding in C and C++]
* {{언어링크|en}} [https://www.sans.org/reading-room/whitepapers/securecode/paper/386 SANS: inside the buffer overflow attack]
* {{언어링크|en}} [https://inst.eecs.berkeley.edu/~cs161/fa08/papers/stack_smashing.pdf "Smashing the Stack for Fun and Profit"] by [[Aleph One]]
* {{언어링크|en}} [http://www.blackhat.com/presentations/bh-usa-04/bh-us-04-silberman/bh-us-04-silberman-paper.pdf A Comparison of Buffer Overflow Prevention Implementations and Weaknesses]

{{메모리 관리}}
{{정보 보안}}
{{전거 통제}}

[[분류:소프트웨어 버그]]
[[분류:취약점 공격]]
[[분류:컴퓨터 메모리]]
[[분류:컴퓨터 보안]]