gcc 2.95 버젼이상으로 컴파일된 어셈 관련 질문입니다.
GCC로 Hello world program을 컴파일해봤습니다.
어셈블리어를 보니
다음과 같이 컴파일 되네요
main:
pushl %ebp
movl %esp, %ebp
subl $8, %esp
andl $-16, %esp
movl $0, %eax
subl %eax, %esp
subl $12, %esp
pushl $.LC0
call printf
addl $16, %esp
movl $1, %eax
leave
ret
이중 세번째 줄 부터 이해가 좀 안되서 네x버 형님께 물어보니
gcc 2.95 부터 stack 구조가 바뀌었다고 하네요.
그래서 mpreferred-stack-boundary =2 로 하고 컴파일 하고나니
다음과 같은 코드가 나왔습니다.
main:
pushl %ebp
movl %esp, %ebp
pushl $.LC0
call printf
addl $4, %esp
movl $1, %eax
leave
ret
비교해 보니 다음과 같은 코드가 추가 되었는데요
subl $8, %esp
andl $-16, %esp
movl $0, %eax
subl %eax, %esp
subl $12, %esp
각각의 라인이 무슨역활을 하는지 알고싶습니다.
우선 스택을 늘릴 필요가 없는 단순한 Hello world 프로그램인데
왜 subl $8, %esp 를 하는지
그리고 esp 를 다시 -16과 and 연산 하면 결국에는 nothing 아닌가요? esp 는 subl $8, %esp 를 하기 전 주소로 되고요.
원래 stack 값이 그대로 유지되는것같은데
더 나아가 GCC 2.95 부터 바뀐 스택의 자세한 내용을 알고자 합니다.
자답입니다.
자답입니다. man gcc 에 나오는군요.
정리하자면 성능과 관련된 bytes align 이군요~
-mpreferred-stack-boundary=num
Attempt to keep the stack boundary aligned to a 2 raised to num
byte boundary. If -mpreferred-stack-boundary is not specified, the
default is 4 (16 bytes or 128 bits), except when optimizing for
code size (-Os), in which case the default is the minimum correct
alignment (4 bytes for x86, and 8 bytes for x86-64).
On Pentium and PentiumPro, "double" and "long double" values should
be aligned to an 8 byte boundary (see -malign-double) or suffer
significant run time performance penalties. On Pentium III, the
Streaming SIMD Extension (SSE) data type "__m128" suffers similar
penalties if it is not 16 byte aligned.
To ensure proper alignment of this values on the stack, the stack
boundary must be as aligned as that required by any value stored on
the stack. Further, every function must be generated such that it
keeps the stack aligned. Thus calling a function compiled with a
higher preferred stack boundary from a function compiled with a
lower preferred stack boundary will most likely misalign the stack.
It is recommended that libraries that use callbacks always use the
default setting.
This extra alignment does consume extra stack space, and generally
increases code size. Code that is sensitive to stack space usage,
such as embedded systems and operating system kernels, may want to
reduce the preferred alignment to -mpreferred-stack-boundary=2.
Dig it.
Dig it.
다른건 다 이해가
다른건 다 이해가 가는데
movl $0, %eax
subl %eax, %esp
이 두 라인이 도대체 이해가 안가네요.
없어도 아무 상관 없는 코드인데.
2.95 이상의 GCC 로 컴파일 하면 항상 생기는데 혹시 설명해주실 분 계신지요....
Dig it.
Dig it.
Re: BOF 공격 때문인것으로 들었습니다.
예전에 여기 포럼에서 해당 코드가 BOF 공격 때문이라고 하는 것을 본 적이 있는것 같습니다.
댓글 달기