기본 콘텐츠로 건너뛰기

Buffer-Overflows_1

Buffer-Overflows_1

버퍼 오버플로우 취약점은 힙 기반과 스택 기반 두 가지 종류로 분류한다. 힙 기반 오버플로우는 동적으로 메모리를 할당할 때 메모리 영역에 과도한 값을 채워 넣어 유발시키며 보통 프로그래머의 계산 실수로 발생된다. 스택 기반 오버플로우는 정적인 크기의 로컬 버퍼에서 저장하도록 의도된 것에 비해 많은 데이터를 의도적으로 삽입하여 발생시킨다.

Stack Based

다음은 스택 기반 오버플로우의 예시로 일반적으로 사용되는 IMAP 서버의 cyrus-imapd에서 발생된 오버플로우이다.

IMAP(Ineternet Message Access Protocol)
응용 계층 인터넷 프로토콜 중 하나로, 원격 서버로부터 TCP/IP 연결을 통해 이메일을 가져오는데 사용된다.
출처: 위키피디아

Cyrus IMAP Server
Cyrus IMAP Server는 카네기 멜론 대학교에서 개발한 이메일 서버 소프트웨어이다.

static int popd_canon_user(sasl_conn_t *conn, void *context,
               const char *user, unsigned ulen,
               unsigned flags, const char *user_realm,
               char *out, unsigned out_max, unsigned *out_ulen)
{
    char userbuf[MAX_MAILBOX_NAME+1], *p;
    size_t n;
    int r;
    if (!ulen) ulen = strlen(user);
    if (config_getswitch(IMAPOPT_POPSUBFOLDERS)) {  
     //if popsubfolders  
     //configed
    /* make a working copy of the auth[z]id */
    memcpy(userbuf, user, ulen); //사용자 변수 검증 없음
    userbuf[ulen] = '';
    user = userbuf;
... 
} 
  • 스택 위의 userbuf변수는 정적인 크기(MAX_MAILBOX_NAME + 1)로 할당되어 있다.
  • ulen변수는 사용자 인자 값의 문자열 길이를 저장한다.
  • memcpy함수를 이용하여 메모리 영역 복사 전 인자 값으로 전달 받은 복사 바이트 수에 대한 검증이 없다.
  • “if”문을 이용하여 popsubfolder설정을 확인하는 과정이 있기 때문에 popsubfolder 설정이 되어 있지 않다면 공격 벡터에 도달할 수 없다.

memcpy함수는 ulen변수를 이용하여 userbuf에서 몇 바이트를 복사할지 결정하는 데, ulenuserbuf에게 지정된 크기 MAX_MAILBOX_NAME + 1보다 큰지 검증하는 로직이 존재하지 않아 MAX_MAILBOX_NAME + 1보다 큰 유저 명을 popd_canon_user함수로 전달하면 오버플로우 취약점이 발생된다.

Heap Based

다음은 힙 기반 오버플로우의 예시로 유닉스/리눅스 용 미디어 플레이어인 MPlay에서 발생된 오버플로우이다.

ibmpdemux/http.c:http_build_request (line 178):  
   if( http_hdr->uri==NULL ) http_set_uri( http_hdr, "/");  
   else {  
      uri = (char*)malloc(strlen(http_hdr->uri)*2);  
      if( uri==NULL ) {  
         mp_msg(MSGT_NETWORK,MSGL_ERR,"Memory allocation failed\n");  
         return NULL;  
     }  
     url_escape_string( uri, http_hdr->uri );  

먼저 코드 목적에 대한 이해가 필요하다. 이 코드는 공간에 문자열을 할당한 후, 해당 문자열에서 특정 문자를 이스케이프하거나 변경하려 한다.

이스케이프
해당 프로그래밍 언어에서 가지는 문자에 대한 특별한 의미에서 벗어나서 해석하게 하는 것

malloc함수 호출 시 곱셈을 사용하는 것을 볼 수 있는 데, 이는 이스케이프 문자의 삽입을 고려한 조치임을 예상할 수 있다. 하지만 이러한 계산 방법은 URL 인코딩 문자열에 대한 고려가 없으므로 취약점이 발생하게 된다. 예를 들어 A를 표현한다면 %41로 인코딩될 것이다. (이와 같이 URL 인코딩 문자열은 세문자를 이용하여 한문자를 나타내게 된다.) 그러므로 url_escape_string함수의 결과 코드를 적재하기에 공간이 부족하게 되어 할당된 공간을 벗어나 버퍼 오버플로우가 발생한다.

이밖에도 좀 더 세분화하여 Off-by-one buffer overflow, Adjacent memory overflows, Miss matches size caculations 등으로 버퍼 오버플로우를 분류할 수 있다. 해당 내용은 다음 글에서 이어가도록 하자.

이 블로그의 인기 게시물

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 학습을 진행하였다. 프론트 엔드 기술은 많은 발전을 거듭하여 예전에 비해 큰 복잡성을 가지게 되었다. 빠른 시간 안에 숙지하지 못한 기법들에 대해서 알아보고 구현하고자 하는 아이디어에 활용할 수 있을 정도로 진행해보고자 한다. 또한 보안적 관점에서 발생할 수 있는 프론트 엔드 위협에 대해 파악할 수 있는 좋은 밑거름이 되길 기대해본다. 우선적으로 진행한 카카오 톡 디자인 클론은 노마드 아카데미의 강의를 수강하며 진행하였고 결과는 아래의 링크에서 확인할 수 있다. 소스코드 저장소 구현된 웹 페이지