기본 콘텐츠로 건너뛰기

Unsigned-Numeric-overflow

Unsigned-Numeric-overflow

부호 없는 정수 경계

오버플로우

정수 오버플로우 예

u_char *make_table(unsigned int width, unsigned int height, u_char *init_row)
{
	unsigned int n;
	int i;
	u_char *buf;

	n = width * height;
	buf = (char *)malloc(n);
	if (!buf)
		return (NULL);

	for (i = 0; i < height; i++)
		memcpy(&buf[i*width], init_row, width);

	return buf;
}

make_table() 함수의 목적은 너비와 높이, 초기 배열을 받아들여 각 행이 init_row 값과 동일한 값으로 초기화된 테이블을 메모리에 생성하는 것이다. 만약 사용자에게 widthheight에 대한 제어권을 갖고 있다면 오버플로우 공격을 일으킬 가능성이 있다.

너비가 1,000,000이고 높이가 3,000 같은 큰 값을 지정한다면 malloc()함수를 호출하여 3,000,000,000 바이트를 할당하는 과정에서 에러를 감지하고 실패할 확률이 높다. 하지만 결과 값에서 1 비트만 큰 산술 오버플로우를 유도한다면 성공할 가능성이 높다. 실제 초기화는 for루프에서 이루어지기 때문이다.

사용자가 width를 0x400으로, height를 0x1000001로 할당한다면 곱셈 결과 0x400000400이며, 이 값의 모듈로 0x100000000은 0x00000400 또는 1024가 된다. 그러므로 1024바이트가 할당되고 for루프에서 init_row를 약 천육백만 번 정도 더 많이 복사하게 된다.

OpenSSH 시도 응답 정수 오버플로우 예

이 예제는 OpenSSH 실제 코드에서 발생한 취약점으로 auth2-chall.c의 input_userauth_info_response()함수에 있는 시도 응답 인증 코드이다.

u_int nresp;
...
nresp = packet_get_int();
if (nresp > 0) {
	response = xmalloc(nresp * sizeof(char*));
	for (i = 0; i < nresp; i++)
		response[i] = packet_get_string(NULL);
}
packet_check_eom();

사용자가 제어할 수 있는 부호 없는 정수 변수 nresp는 얼마나 많은 응답을 기대하는지 서버에게 알려주기 위해 사용된다. uresp 값을 이용해 response[] 배열을 할당하고 네트워크 데이터를 채운다. xmalloc() 호출을 이용해 response[] 배열을 할당할 때 nresp는 보통 4 바이트인 sizeof(char *) 값을 곱한다. 사용자가 nresp 값을 충분히 큰 값으로 설정한다면 정수 오버플로우가 발생할 수 있다.

예를 들어 nresp가 0x40000020라면 여기에 4를 곱한 값은 0x80이 된다. 그러므로 0x80바이트가 할당되고 뒤의 for루프는 이 패킷에서 0x40000020 문자열을 가져오려고 한다.

언더플로우

Unsigned integer 언더플로우 예

struct header {
	unsigned int length;
	unsigned int message_type;
};

char *read_packet(int sockfd)
{
	int n;
	unsigned int length;
	struct header hdr;
	static char buffer[1024];

	if(full_read(sockfd, (void *)&hdr, sizeof(hdf)) <= 0) {
		error("full_read: %m");
		return NULL;
	}

	legnth = ntohl(hdr.length);

	if(length > (1024 + sizeof(struct header) - 1)) {
		error("not enough room in buffer\n");
		return NULL;
	}

	if(full_read(sockfd, buffer, length - sizeof(struct header)) <= 0) {
		error("read: %m");
		return NULL;
	}
	
	buffer[sizeof(buffer) - 1] = '\0';

	return strdup(buffer);
}

이 코드는 네트워크에서 패킷 헤더를 읽어 들여 32비트 필드를 length 변수에 저장한다. length변수는 패킷의 전체 바이트의 숫자이며, 프로그램은 오버플로우를 방지하기 위해 먼저 패킷의 데이터 부분이 1024보다 길지 않는지 검사한다. 그런 다음 (length - sizeof(struct header)) 바이트를 버퍼에 읽음으로써 네트워크에서 패킷의 나머지를 읽어 들이려고 한다.

취약점은 바로 사용자가 sizeof(struct header)보다 작은 length를 제공할 때 발생된다. 이때 (length - sizeof(struct header))에서 정수 언더플로루악 발생하고 full_read()에 굉장히 큰 size 값을 매개변수로 넘기게 된다.

이 에러는 커넥션이 종료될 때까지 read()가 데이터를 버퍼에 복사하는 지점에서 버퍼 오버플로우를 발생시키고, 이로 인해 공격자가 프로세스 제어를 넘겨주게 된다.

이 블로그의 인기 게시물

X-Frame-Options-Test

X-Frame-Options 테스트하기 X-Frame-Options 페이지 구성 시 삽입된 프레임의 출처를 검증하여 허용하지 않는 페이지 URL일 경우 해당 프레임을 포함하지 않는 확장 응답 헤더이다. 보안 목적으로 사용되는 확장 헤더로 아직 적용되지 않은 사이트들이 많지만 앞으로 점차 적용될 것으로 보인다. X-Frame OptionsDENY, SAMEORIGIN, ALLOW-FROM 옵션을 이용하여 세부 정책을 설정한다. 옵션 설명 DENY Frame 비허용 SAMEORIGIN 동일한 ORIGIN에 해당하는 Frame만 허용 ALLOW-FROM 지정된 ORIGIN에 해당하는 Frame만 허용 크롬 4.1 , IE 8 , 오페라 10.5 , 사파리 4.0 , 파이어폭스 3.6.9 이상에서는 DENY , SAMEORIGIN 이 적용되며, ALLOW-FROM 은 각 브라우저 마다 지원 현황이 다르다. https://developer.mozilla.org/ko/docs/Web/HTTP/Headers/X-Frame-Options 해당 확장헤더는 브라우저에서 처리하는 응답 헤더이므로 미지원 브라우저 사용 시 설정과 무관하게 페이지 내 포함된 모든 Frame을 출력한다. (검증 테스트: Opera 5.0.0) 테스트 코드 DENY <!DOCTYPE html> < html lang = "en" > < head > < meta http-equiv = "X-Frame-Options" content = "deny" /> < title > Deny option Test </ title > </ head > < bod

C-lang-vulnerabilities

C 언어 공통 취약점 해당 글은 CERN Computer Security의 Common vulnerabilities guide for C programmers 글을 참고하여 작성하였습니다. C언어에서 발생하는 대부분의 취약점은 버퍼 오버플로우와 문자열 처리 미흡과 관련되어 있다. 이는 segmentation fault를 유발하고 입력 값을 조작할 경우 임의 코드 실행으로 이어질 수 있다. 이에 대부분의 에러와 조치 방안을 살펴보자고 한다. gets stdio gets() 함수는 버퍼 길이를 검증하지 않아 사용 시 항상 취약성을 야기한다. Vulnerable Code #include<stdio.h> int main() { char username[ 8 ]; int allow = 0 ; printf ( "Enter your username, please: " ); gets(username); //악의적인 값 삽입 if (grantAccess(username)) { allow = 1 ; } if (allow != 0 ) { //username을 오버플로우하여 덮어씀 privilegeAction(); } return 0 ; } Mitigation fgets() 함수 사용 및 동적 메모리 할당 #include <stdio.h> #include <stdlib.h> #define LENGTH 8 int main () { char * username, *nlptr; int allow = 0 ; username = malloc (LENGTH * sizeof (*username)); if (!username) return EXIT_FAILURE; printf ( "Enter your username, please:

HTML/CSS를 활용하여 카카오톡 클론 만들기

시간을 내어 HTML과 CSS를 공부한 것은 대학생 때가 마지막이었던 것으로 기억한다. 그 동안 사이드 프로젝트로 진행했던 여러 아이디어들을 결국 서비스하지 못했던 결정적인 이유는 프론트 엔드 기술 부족이었다고 생각하고 우선 HTML과 CSS 학습을 진행하였다. 프론트 엔드 기술은 많은 발전을 거듭하여 예전에 비해 큰 복잡성을 가지게 되었다. 빠른 시간 안에 숙지하지 못한 기법들에 대해서 알아보고 구현하고자 하는 아이디어에 활용할 수 있을 정도로 진행해보고자 한다. 또한 보안적 관점에서 발생할 수 있는 프론트 엔드 위협에 대해 파악할 수 있는 좋은 밑거름이 되길 기대해본다. 우선적으로 진행한 카카오 톡 디자인 클론은 노마드 아카데미의 강의를 수강하며 진행하였고 결과는 아래의 링크에서 확인할 수 있다. 소스코드 저장소 구현된 웹 페이지