어셈블리 코드 분석 3 - example 3 :: 조건문

 

* 이 게시글은 AT&T 문법에 따라 작성되었습니다.

(AT&T 와 Intel 차이 참고-

2020.07.08 - [SECURITY/REVERSING] - REVERSING 시작하기 - 기초 개념 4 :: 어셈블리 언어 )

REVERSING 시작하기 - 기초 개념 4 :: 어셈블리 언어

 

.file	"example3.c"
.section	.rodata
.LC0:
.string	"a is 10"
.LC1:
.string	"b is 10"
.LC2:
.string	"b is 20"
.LC3:
.string	"a=b"
.LC4:
.string	"a!=b"
.text
.globl	main
.type	main, @function
main:
.LFB0:
.cfi_startproc
pushq	%rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq	%rsp, %rbp
.cfi_def_cfa_register 6
subq	$16, %rsp
movl	$10, -8(%rbp)
movl	$20, -4(%rbp)
cmpl	$10, -8(%rbp)
jne	.L2
movl	$.LC0, %edi
call	puts
.L2:
cmpl	$10, -4(%rbp)
jne	.L3
movl	$.LC1, %edi
call	puts
jmp	.L4
.L3:
cmpl	$20, -4(%rbp)
jne	.L4
movl	$.LC2, %edi
call	puts
.L4:
movl	-8(%rbp), %eax
cmpl	-4(%rbp), %eax
jne	.L5
movl	$.LC3, %edi
call	puts
jmp	.L6
.L5:
movl	$.LC4, %edi
call	puts
.L6:
movl	$0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE0:
.size	main, .-main
.ident	"GCC: (Ubuntu 4.8.4-2ubuntu1~14.04.1) 4.8.4"
.section	.note.GNU-stack,"",@progbits

.LC0:
.string "a is 10"
.LC1:
.string "b is 10"
.LC2:
.string "b is 20"
.LC3:
.string "a=b"
.LC4:
.string "a!=b"

 

LC0, LC1, LC2, LC3, LC4 에 문자열 할당

 

 

movl $10, -8(%rbp) : -8(%rbp) 에 10 저장
movl $20, -4(%rbp) : -4(%rbp) 에 20 저장
cmpl $10, -8(%rbp) : -8(%rbp) 의 값(10) 과 10 비교

즉, ( -8(%rbp) - 10 )

 

jne .L2 : 비교 결과가 다르면 L2 로 점프.

즉, ZF 가 0 이어야 점프

movl $.LC0, %edi
call puts

 

.L2:

cmpl $10, -4(%rbp) : -4(%rbp) 의 값 (20) 과 10 비교

jne .L3 : 비교 결과가 다르면 L3 로 점프

movl $.LC1, %edi
call puts

 

jmp .L4 : L4 로 점프

.L3:
cmpl $20, -4(%rbp) : -4(%rbp) 의 값 (20) 과 20 비교

jne .L4 : 비교 결과가 다르면 L4 로 점프

movl $.LC2, %edi
call puts

.L4:
movl -8(%rbp), %eax
cmpl -4(%rbp), %eax

jne .L5
movl $.LC3, %edi
call puts
jmp .L6

.L5:
movl $.LC4, %edi
call puts

.L6:
movl $0, %eax

 

#include <stdio.h>

int main(){
    int a = 10;
    int b = 20;
    
    if (a == 10)
    	puts("a is 10");
    else if (b == 10)
    	puts("b is 10");
    else if (b == 20)
        puts("b is 20");
        
    if (a == b) puts("a=b");
    else puts("a!=b");
    
    return 0;
}  		

이상하다...

 

gcc 로 어셈블리 코드를 생성한 결과, 첫번째 분기에서 L3 로 점프한다. 

그래서 조건문의 순서가 L3 L4 가 아니라 L4 L3 가 된 것인거 같은데.. 

그럼 예제의 어셈블리 코드와 다르다.

 

 

 

어셈블리 코드에서 조건문은 cmp 와 대응되는데, JMP 는 else (if) 와 대응되는 것으로 생각하면 될 것 같다.

지금 L1 에서 마지막에 jmp 가 있는 걸로 보아 이후 단계를 코드를 따라 순차적으로 진행되는 것이 아니라 else (if) 를 통해서 점프해가는 경로가 있음을 알게 되었다. 

그러니까 if(a==10) 뒤에는 else if 가 오지 않아야 한다는 뜻이 된다.

 

 

그렇게 생각하고 코드를 수정하니, 다음과 같았고, 어셈블리 코드로 만드니 예제 코드와 같은 결과가 나왔다.!!

 

 

#include <stdio.h>

int main(){
    int a = 10;
    int b = 20;
    
    if (a == 10)
    	puts("a is 10");
    if (b == 10)
    	puts("b is 10");
    else if (b == 20)
        puts("b is 20");
        
    if (a == b) puts("a=b");
    else puts("a!=b");
    
    return 0;
}