Buffer - 편집 역사

2025년 6월 9일 (월) 11:18에 Pinkgo님의 편집

2025-06-09T11:18:25Z

← 이전 판		2025년 6월 9일 (월) 11:18 판
39번째 줄:		39번째 줄:
	위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다. 이때, 동일하게 8바이트 버퍼를 초과한 입력 "0123456789ABCDE"은 괜찮고, "0123456789ABCDEF"에서 비로소 오류가 생기는 이유는 아래 어셈블리 코드를 관찰하여 알 수 있다:		위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다. 이때, 동일하게 8바이트 버퍼를 초과한 입력 "0123456789ABCDE"은 괜찮고, "0123456789ABCDEF"에서 비로소 오류가 생기는 이유는 아래 어셈블리 코드를 관찰하여 알 수 있다:
	[[파일:Stack Frame Layout.png\|대체글=Figure 1. Stack Frame Layout\|섬네일\|'''Figure 1. Stack Frame Layout''' ]]		[[파일:Stack Frame Layout.png\|대체글=Figure 1. Stack Frame Layout\|섬네일\|'''Figure 1. Stack Frame Layout''' ]]
	<syntaxhighlight lang="c">		<syntaxhighlight lang="bash">
	(gdb) disassemble echo		(gdb) disassemble echo
	0x401136: sub $0x18,%rsp		0x401136: sub $0x18,%rsp
48번째 줄:		48번째 줄:
	0x40114e: call 0x401030 <puts@plt>		0x40114e: call 0x401030 <puts@plt>
	0x401153: add $0x18,%rsp		0x401153: add $0x18,%rsp
	0x401157: ret		0x401157: ret
			</syntaxhighlight>
			<syntaxhighlight lang="bash">
	(gdb) disassemble main		(gdb) disassemble main
	0x401158: sub $0x8,%rsp		0x401158: sub $0x8,%rsp

2025년 6월 9일 (월) 11:17에 Pinkgo님의 편집

2025-06-09T11:17:23Z

← 이전 판		2025년 6월 9일 (월) 11:17 판
2번째 줄:		2번째 줄:

	==개요==		==개요==
	버퍼(Buffer)란 데이터를 임시로 저장하는 ~~배열이다~~. 예를 들면, 동영상 스트리밍 시, 끊김없는 재생을 위해서 일부 데이터를 저장하는 경우가 있으며, 이를 비디오 버퍼링(vedio buffering)이라고 한다. C언어에서는 보통 <code>char buf[256];</code>과 같이 선언되는 문자 배열을 의미하며, 사용자의 입력 문자열을 저장하는데 자주 사용된다.		'''버퍼(Buffer)란 데이터를 임시로 저장하는 배열'''이다. 예를 들면, 동영상 스트리밍 시, 끊김없는 재생을 위해서 일부 데이터를 저장하는 경우가 있으며, 이를 비디오 버퍼링(vedio buffering)이라고 한다. C언어에서는 보통 <code>char buf[256];</code>과 같이 선언되는 문자 배열을 의미하며, 사용자의 입력 문자열을 저장하는데 자주 사용된다.

	==Classic Buffer Overflow==		==Classic Buffer Overflow==
	스택 기반 오버플로우(Stack-based buffer overflow)란 스택 메모리에 존재하는 버퍼에 데이터가 초과되어 쓰이면서, 다른 메모리 영역까지 덮어쓰는 ~~오류이다~~.<ref>이를 stack smashing이라 부르기도 한다.</ref> 해당 오류의 주된 원인은 <code>gets(), scanf("%s"), strcpy(), strcat()</code>와 같은 함수들을 배열 크기를 고려하기 않고 사용하는 것이다. 해당 오류는 해커가 이를 이용해 시스템을 공격하거나 악성코드를 주입할 수 있어서 보안상 매우 위험하다.		'''스택 기반 오버플로우(Stack-based buffer overflow)란 스택 메모리에 존재하는 버퍼에 데이터가 초과되어 쓰이면서, 다른 메모리 영역까지 덮어쓰는 오류'''이다.<ref>이를 stack smashing이라 부르기도 한다.</ref> 해당 오류의 주된 원인은 <code>'''gets(), scanf("%s"), strcpy(), strcat()'''</code>와 같은 함수들을 배열 크기를 고려하기 않고 사용하는 것이다. 해당 오류는 해커가 이를 이용해 시스템을 공격하거나 악성코드를 주입할 수 있어서 보안상 매우 위험하다.

	===Example Program with BOF===		===Example Program with BOF===

Pinkgo: /* Real-world Example: Morris Worm */

2025-05-20T01:33:49Z

Real-world Example: Morris Worm

← 이전 판		2025년 5월 20일 (화) 01:33 판
81번째 줄:		81번째 줄:
	$ finger "<long string>+<new return address>"		$ finger "<long string>+<new return address>"
	</syntaxhighlight>		</syntaxhighlight>
	이렇게 하면 서버에 BOF가 발생해 return address가 해커가 지정한 위치로 덮어쓰기 되고, 결과적으로 서버에서 웜이 실행되어 control hijack가 발생한다.		이렇게 하면 서버에 BOF가 발생해 return address가 해커가 지정한 위치로 덮어쓰기 되고, 결과적으로 서버에서 웜이 실행되어 control hijack가 발생한다. 감염된 컴퓨터는 다른 컴퓨터를 자동으로 스캔하고 감염시키는 작업을 반복한다. 감염 속도는 매우 빨랐고, 당시 전체 인터넷에 연결된 컴퓨터의 약 10%(6000대)가 그 영향을 받았다.

	==각주==		==각주==
	[[분류:컴퓨터 시스템]]		[[분류:컴퓨터 시스템]]

Pinkgo: /* Real-world Example: Morris Worm */

2025-05-20T01:05:44Z

Real-world Example: Morris Worm

← 이전 판		2025년 5월 20일 (화) 01:05 판
72번째 줄:		72번째 줄:
	위 예시가 말하고 있는 것은 해커가 입력값을 어떻게 주느냐에 따라 return address의 값이 그대로 바뀌므로, 악의적인 해커에 의해서 control flow가 바뀔 수 있다는 것이다. 이와 같이 해커가 control flow를 탈취하는 것을 control flow라고 한다. 이는 매우 치명적이고도 고전적인 문제이므로, 프로그램을 설계할 때 이와 같은 문제를 야기할 수 있는 함수들의 사용은 가급적이면 피해야 한다.		위 예시가 말하고 있는 것은 해커가 입력값을 어떻게 주느냐에 따라 return address의 값이 그대로 바뀌므로, 악의적인 해커에 의해서 control flow가 바뀔 수 있다는 것이다. 이와 같이 해커가 control flow를 탈취하는 것을 control flow라고 한다. 이는 매우 치명적이고도 고전적인 문제이므로, 프로그램을 설계할 때 이와 같은 문제를 야기할 수 있는 함수들의 사용은 가급적이면 피해야 한다.

	==Real-world Example: Morris Worm==		===Real-world Example: Morris Worm===
			BOF는 1988년에 배포된 최초의 인터넷 멀웨어(malware)인 모리스 웜(morris worm)을 구현하는 데 사용된 보안 취약점이라고 알려져있다. 해당 멀웨어는 사용자 정보<ref>로그인 여부, 메일 등이 있다.</ref>를 조회하는 finger 유틸리티를 대상으로 하였다. 이때 finger 유틸리티는 정상적으로는 아래와 같이 입력한다:
			<syntaxhighlight lang="bash">
			$ finger jschoi@cspro.sogang.ac.kr
			</syntaxhighlight>
			이때 문제는 구형의 finger 서버가 네트워크 입력을 안전하게 처리하지 못했다는 것이고, 이 때문에 BOF가 발생할 수 있었다. 모리스 웜은 이를 악용하여 아래와 같이 finger 요청에 매우긴 문자열과, 조작된 return address를 포함시킨 입력을 포함시켰다:
			<syntaxhighlight lang="bash">
			$ finger "<long string>+<new return address>"
			</syntaxhighlight>
			이렇게 하면 서버에 BOF가 발생해 return address가 해커가 지정한 위치로 덮어쓰기 되고, 결과적으로 서버에서 웜이 실행되어 control hijack가 발생한다.

	==각주==		==각주==
	[[분류:컴퓨터 시스템]]		[[분류:컴퓨터 시스템]]

Pinkgo: /* Example Program with BOF */

2025-05-20T00:58:57Z

Example Program with BOF

@@ 57번째 줄: / 57번째 줄: @@
 x40116a:	ret
 </syntaxhighlight>
-이때 해당 코드는 figure 1과 같이 스택 프레임을 형성한다.
+이때 해당 코드는 figure 1과 같이 스택 프레임을 형성한다. 어셈블리 코드에서 <code>call 0x401040 <gets@plt></code> 명령어가 호출되면 입력된 문자열의 각 문자들은 lower address 부터 순차적으로 char buf[8]에 저장된다. 먼저, "Hello"가 입력된다면 아래와 같이 메모리에 저장된다:
 ==각주==
 [[분류:컴퓨터 시스템]]

Pinkgo: /* Example Program with BOF */

2025-05-20T00:32:04Z

Example Program with BOF

@@ 21번째 줄: / 21번째 줄: @@
+}
 </syntaxhighlight>
 <syntaxhighlight lang="bash">
 jschoi@ubuntu:~$ ./bof
@@ 38번째 줄: / 37번째 줄: @@
 Segmentation fault
 </syntaxhighlight>
-위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다. 이때, 동일하게 8바이트 버퍼를 초과한 입력 "0123456789ABCDE"은 괜찮고, "0123456789ABCDEF"에서 비로소 오류가 생기는 이유는 아래 어셈블리 코드를 관찰하여 알 수 있다.
+위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다. 이때, 동일하게 8바이트 버퍼를 초과한 입력 "0123456789ABCDE"은 괜찮고, "0123456789ABCDEF"에서 비로소 오류가 생기는 이유는 아래 어셈블리 코드를 관찰하여 알 수 있다:
 ==각주==
 [[분류:컴퓨터 시스템]]

Pinkgo: /* Example Program with BOF */

2025-05-20T00:29:50Z

Example Program with BOF

← 이전 판		2025년 5월 20일 (화) 00:29 판
21번째 줄:		21번째 줄:
	}		}
	</syntaxhighlight>		</syntaxhighlight>
			[[파일:Stack Frame Layout.png\|대체글=Figure 1. Stack Frame Layout\|섬네일\|'''Figure 1. Stack Frame Layout''' ]]
	<syntaxhighlight lang="bash">		<syntaxhighlight lang="bash">
	jschoi@ubuntu:~$ ./bof		jschoi@ubuntu:~$ ./bof

Pinkgo: /* Example Program with BOF */

2025-05-15T01:15:53Z

Example Program with BOF

← 이전 판		2025년 5월 15일 (목) 01:15 판
37번째 줄:		37번째 줄:
	Segmentation fault		Segmentation fault
	</syntaxhighlight>		</syntaxhighlight>
	위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다.		위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다. 이때, 동일하게 8바이트 버퍼를 초과한 입력 "0123456789ABCDE"은 괜찮고, "0123456789ABCDEF"에서 비로소 오류가 생기는 이유는 아래 어셈블리 코드를 관찰하여 알 수 있다.

	==각주==		==각주==
	[[분류:컴퓨터 시스템]]		[[분류:컴퓨터 시스템]]

Pinkgo: /* Example Program with BOF */

2025-05-15T01:03:02Z

Example Program with BOF

← 이전 판		2025년 5월 15일 (목) 01:03 판
12번째 줄:		12번째 줄:
	void echo(void) {		void echo(void) {
	char buf[8];		char buf[8];
	gets(buf);		gets(buf); //Never use this function. 너무 많은 BOF의 원인
	puts(buf);		puts(buf);
	}		}
37번째 줄:		37번째 줄:
	Segmentation fault		Segmentation fault
	</syntaxhighlight>		</syntaxhighlight>
	위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다.		위 코드에서 <code>gets(buf)</code>는 입력 크기를 검사하지 않으므로, 8바이트 초과 입력 시 버퍼를 넘쳐서 다른 데이터를 덮어 쓴다.

	==각주==		==각주==
	[[분류:컴퓨터 시스템]]		[[분류:컴퓨터 시스템]]

2025년 5월 15일 (목) 00:39에 Pinkgo님의 편집

2025-05-15T00:39:24Z

@@ 2번째 줄: / 2번째 줄: @@
 ==개요==
 ==각주==
 [[분류:컴퓨터 시스템]]