버퍼 오버플로우

프로세스 메모리 영역 중 버퍼에 초과값을 입력하여 시스템을 중지시키거나 원하는 동작을 하도록 조작할 수 있다.

종류

스택 버퍼 오버플로우

Stack Buffer Overflow

• 주로 SetUID가 설정된(루트 권한으로 실행되는) 프로그램들을 타겟으로 한다.
• 입력값에 수용 가능한 버퍼보다 큰 값을 입력하여 임의의 공격코드를 루트 권한으로 실행시킨다.

• 원리
  • 프로그램에서 특정 함수를 실행시키면 스택에 이전 함수로 돌아가기 위한 주소가 기록된다. (함수에서 return이 호출되면 그 값과 함께 돌아갈 주소)
  • 버퍼에 큰 값을 넣게 되면 이 스택 영역을 침범하게 된다.
  • 리턴 주소가 들어갈 곳에 쉘코드나 다른 프로그램의 주소를 넣으면 그것이 실행되게 된다.

힙 버퍼 오버플로우

Heap Buffer Overflow

• 힙 데이터 영역에서 일어나는 버퍼 오버플로이다.
• 스택 오버플로우만큼 흔히 사용가능한 공격은 아니다.
• 동적 메모리 할당 연결(malloc 상위 수준 데이터)을 덮어씀으로써 프로그램 함수 포인터를 조작한다.

방어 기법

• 스택가드
  • 카나리(canary)라고 불리는 무결성 체크용 값을 복귀주소와 변수 사이에 삽입해 둔다.
  • 버퍼 오버플로 시 카나리값이 변하게 되는데, 이 경우 복귀주소를 호출하지 않는다.
  • gcc등 각종 컴파일러에 이 기법이 반영되어 업데이트 되었다.
• 스택쉴드
  • 함수 시작 시 복귀주소를 Global RET라는 특수 스택에 저장해 둔다.
  • 함수 종료 시 저장된 값과 스택의 RET값을 비교해 다를 경우 오버플로우로 간주하고 프로그램 실행을 중단한다.
• ASLR(Address Space Layout Randomization)
  • 메모리 공격을 방어하기 위해 주소 공간 배치를 난수화 한다.
  • 실행 시 마다 메모리 주소를 변경시켜 버퍼 오버플로우를 통한 특정주소 호출을 차단한다.
  • 리눅스에서 다음과 같이 설정할 수 있다.

echo 2 > /proc/sys/kernel/randomize_va_space

• 실행 불가능한 영역
  • Solaris 2.7이상 버전에서 /etc/system 파일에 noexec_user_stack, noexec_user_stack_log를 1로 set하여 활성화시킨다
  • 스택과 힙을 실행 불가능(No Executable)한 영역으로 만든다.

• 안전한 개발
  • 프로그램 개발 시 입력값에 대한 크기 검증을 적절히 수행하거나 취약하지 않은 함수만을 사용한다면 어느정도 방지할 수 있다.
  • 참고
    • 버퍼 오버플로우에 취약한 언어들 : C, C++
    • 버퍼 오버플로우에 취약한 함수들 : strcat(), strcpy(), gets(), scanf(), sscanf(), vscanf(), vsscanf(), sprintf(), vsprintf(), gethostbyname()
    • 대신 사용이 권장되는 함수들 : strncat(), strncpy(), fgets(), fscanf(), vfscanf(),snprintf(), vsnprintf()