1.棧是什么？

棧是一種運算受限的線性表

其限制是僅允許在表的一端進行插入和刪除運算

這一端稱為棧頂(TOP)，相對的另一端稱為棧底(BASE)

向一個棧插入新元素，稱作進棧、入棧或壓棧(PUSH)

它是把新元素放到棧頂元素的上邊，使之成為新的棧頂元素；

從一個棧刪除元素，又稱出棧或退棧(POP)

它是把棧頂元素刪除掉，使其相鄰的元素成為新的棧頂元素

進程使用的內存可以分成4個部分

代碼區：存儲二進制機器碼，存儲器在這里取指令

數據區：用於存儲全局變量

堆區：動態分配和全局變量

棧區：動態存儲函數間的調用關系，保證被調用函數返回時恢復到母函數中繼續運行

寄存器與函數棧幀

ESP：棧頂指針寄存器，永遠指向系統棧頂

EBP：基址指針寄存器，永遠指向系統棧最上邊一個棧的棧底

ESP和EBP之間的內存空間為當前棧幀

2.棧的溢出

棧溢出是由於C語言系列沒有內置檢查機制來確保復制到緩沖區的數據不得大於緩沖區的大小

因此當這個數據足夠大的時候，將會溢出緩沖區的范圍

3.如何利用

通過程序的緩沖區寫超出其長度的內容，造成緩沖區的溢出，

從而破壞程序的堆棧，使程序轉而執行其它指令，以達到攻擊的目的

造成緩沖區溢出的原因是程序中沒有仔細檢查用戶輸入的參數

覆蓋鄰接變量

例如buffer大小是8字節

輸入8個字符，加上字符串截斷字符NULL字符，即可覆蓋相鄰變量，改變程序運行流程

修改函數返回地址

上述覆蓋相鄰變量的方法雖然很管用，但是漏洞利用對代碼環境很苛刻

更通用的攻擊緩沖區的方法是，瞄准棧幀最下方EBP和函數返回地址等棧幀的狀態值

如果繼續增加輸入字符，超出buffer[8]字符邊界

將依次淹沒相鄰變量、前棧幀EBP、返回地址

4.實例

1）創建一個password.txt文件，內容為1234

2）C語言實例代碼

#include <stdio.h>
#include <windows.h>
#define PASSWORD "1234567"
int verify_password (char *password) //密碼驗證函數
{
    int authenticated;
    char buffer[44];//緩沖區大小
    authenticated=strcmp(password,PASSWORD);
    strcpy(buffer,password);//over flowed here!    
    return authenticated;
}
main()
{
 int valid_flag=0;
 char password[1024];
 FILE *fp;
 LoadLibrary("user32.dll"); //准備¸messagebox
 if(!(fp=fopen("password.txt","rw+")))
 {
  exit(0);
 }
 fscanf(fp,"%s",password);
 valid_flag = verify_password(password);
 if(valid_flag)
 {
  printf("incorrect password!\n");
 }
 else
 {
  printf("Good password is OK,You Win!\n");
 }
 system("pause");
 fclose(fp);
}