기본 콘텐츠로 건너뛰기

switch-case-default

switch-case-default

switch()/case/default

source

#include <stdio.h>

void f (int a)
{
    switch (a)
    {
        case 0: printf("zero\n"); break;
        case 1: printf("one\n"); break;
        case 2: printf("two\n"); break;
        default: printf("something unknown\n"); break;
    }
}

int main()
{
    f(2);
}

x86 MSVC

$SG5332 DB        'zero', 0aH, 00H
$SG5334 DB        'one', 0aH, 00H
$SG5336 DB        'two', 0aH, 00H
$SG5338 DB        'something unknown', 0aH, 00H
EXTRN   ___acrt_iob_func:PROC
EXTRN   ___stdio_common_vfprintf:PROC
_main   PROC
        push     ebp
        mov      ebp, esp
        push     2
        call     ?f@@YAXH@Z
        add      esp, 4
        xor      eax, eax
        pop      ebp
        ret      0
_main   ENDP
tv64 = -4                                         ; size = 4
_a$ = 8                                       ; size = 4
f PROC
        push     ebp
        mov      ebp, esp
        push     ecx
        mov      eax, DWORD PTR _a$[ebp]
        mov      DWORD PTR tv64[ebp], eax
        cmp      DWORD PTR tv64[ebp], 0
        je       SHORT $LN4@f
        cmp      DWORD PTR tv64[ebp], 1
        je       SHORT $LN5@f
        cmp      DWORD PTR tv64[ebp], 2
        je       SHORT $LN6@f
        jmp      SHORT $LN7@f
$LN4@f:
        push     OFFSET $SG5332
        call     _printf
        add      esp, 4
        jmp      SHORT $LN1@f
$LN5@f:
        push     OFFSET $SG5334
        call     _printf
        add      esp, 4
        jmp      SHORT $LN1@f
$LN6@f:
        push     OFFSET $SG5336
        call     _printf
        add      esp, 4
        jmp      SHORT $LN1@f
$LN7@f:
        push     OFFSET $SG5338
        call     _printf
        add      esp, 4
$LN1@f:
        mov      esp, ebp
        pop      ebp
        ret      0
f ENDP

x86 MSVC (최적화: 옵션 /Ox)

$SG5332 DB        'zero', 0aH, 00H
$SG5334 DB        'one', 0aH, 00H
$SG5336 DB        'two', 0aH, 00H
$SG5338 DB        'something unknown', 0aH, 00H
EXTRN   ___acrt_iob_func:PROC
EXTRN   ___stdio_common_vfprintf:PROC
_main   PROC
        push     OFFSET $SG5336
        call     _printf
        add      esp, 4
        xor      eax, eax
        ret      0
_main   ENDP
_a$ = 8                                       ; size = 4
f PROC
        mov      eax, DWORD PTR _a$[esp-4]
        sub      eax, 0
        je       SHORT $LN4@f
        sub      eax, 1
        je       SHORT $LN5@f
        sub      eax, 1
        je       SHORT $LN6@f
        mov      DWORD PTR _a$[esp-4], OFFSET $SG5338
        jmp      _printf
$LN6@f:
        mov      DWORD PTR _a$[esp-4], OFFSET $SG5336
        jmp      _printf
$LN5@f:
        mov      DWORD PTR _a$[esp-4], OFFSET $SG5334
        jmp      _printf
$LN4@f:
        mov      DWORD PTR _a$[esp-4], OFFSET $SG5332
        jmp      _printf
f ENDP

설명

이 코드에서는 몇 가지 이해하기 난해한 트릭을 배울 수 있다. 우선 a변수의 값을 EAX에 저장한 후 여기서 0을 뺀다. 이상해 보이지만 EAX 레지스터의 값이 0이었는지 검사하기 위함이다. EAX가 0이었다면 ZF 플래그가 설정되며 첫 번째 조건부 점프 JE가 실행되었을 것이다.

두 번째로 이상한 부분은 printf() 호출이다. 문자열 포인터를 변수 a에 저장한 후 CALL이 아니라 JMP를 이용해서 printf()를 호출하고 있다. 이에 대한 설명은 다음과 같다. 호출자는 스택에 값을 푸시하고 CALL을 이용해서 함수를 호출한다. CALL 자신은 리턴 주소를 스택에 푸시하고 호출된 함수의 주소로 무조건적으로 점프한다. 호출된 함수의 스택 레이아웃은 함수 실행 내내 다음과 같다.

  • ESP: 리턴 주소를 가리킴
  • ESP + 4: 변수 a를 가리킴

예제 코드에서 printf()를 호출할 때 필요한 스택 레이아웃도 문자열을 가리키는 printf()의 첫 번째 인자만 제외하면 이와 똑같다. 코드는 마치 함수 f()를 애초에 호출하지 않고 바로 printf()를 호출한 것처럼 함수의 첫 번째 인자를 문자열의 주소로 대체한 다음 printf()로 점프한다. printf()는 문자열을 stdout으로 출력한 후 RET명령어를 실행한다. 이 명령어는 스택에서 리턴 주소를 꺼낸 후 제어 흐름을 f()가 아닌 f()의 호출자로 넘긴다. 결과적으로 f() 함수의 끝부분은 건너뛰게 된다.

이 블로그의 인기 게시물

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