我們來演示一下如何制造一起崩潰事件:
我把這個試驗的源代碼列出來:
const int x =10000;
int main(int argc, char* argv[])
{
int *y=0;
y=(int*)&x;
*y=10;
return 0;
}
我們用Microsoft Visual C++ 6.0(SP5)編譯出一個Debug版本的EXE。雙擊運行它。在Windows 2000 Server下,你將會得到這樣一個對話框:
標題:“Pointer.exe ? 應用程序錯誤”;
正文:“”0x00401279”指令引用的”0x0043101c”內存。該內存不能為”written”。
要終止程序,請單擊”確定”。
要調試程序,請單擊”取消”。”
知道了這些信息后,如何找到錯誤發生策源地呢?
請記住這個地址“0x00401279”,它是崩潰發生地。
如何找到崩潰的源頭:
有兩種情況:
μ 一是我們擁有源代碼,可以現場調試;
μ 二是現場絕對不可以安裝VC,無法調試,但是我們有它的MAP文件。
第一種情況,有源代碼,這被叫做“事后調試”:
首先我們用VC IDE裝載這個工程,按F11執行它,切換至反匯編窗口(Disassembly)。
按下Ctrl+G熱鍵。
你就會得到一個“Go To”的窗口。默認選擇是“Address”。在“Enter address expression”編輯框中輸入崩潰發生地0x00401279。然后點擊“Go To”按鈕。你就來到了這個地方:
00401279 mov dword ptr [eax],0Ah
好了,我們看到了發生崩潰時執行的是這行反匯編代碼,但是為什么會崩潰呢?
我們在這里設置一個斷點,按F5來到這里。
在Watch窗口中鍵入“@EAX”察看EAX寄存器,得到的數值是“0xcccccccc”。顯然這是因為向一個空指針指向的地址復制一個數據,從而造成了崩潰。
好了,針對這個問題,你已經調試成功了。
還有一個問題,對于Release版本的EXE,也可以這么調試嗎?
當然可以。同樣是這個例子,運行它的Release版本,得到的崩潰地址是0x0040108a。
我們在VC中裝載這個工程的Release版本,按F11運行它。
來到它的反匯編代碼的0x004018a處,我們看到:
0040108A mov dword ptr ds:[40B0D0h],0Ah
第二種情況,有映射文件Pointer.map:
值得注意的是,如果你只在VC Project Setting對話框中打開Generate mapfile,還是不夠的。因為你一定還要輸出程序代碼地址和源代碼行號!!這非常的重要!
要得到這些信息,請在Project Options對話框中鍵入“/mapinfo:lines /mapinfo:exports”。請你一定要養成這種習慣!因為這不是默認設置。
我們得到的map文件大致如下,我刪節了大多數輸出:
Pointer
(應用程序名)
Timestamp is 3d4407a7 (Sun Jul 28 23:03:03 2002)
(時間戳)
Preferred load address is 00400000
(最佳裝載基地址。非常重要的一個數據。不過一般都是這個數。)
Address Publics by Value Rva+Base Lib:Object
0001:00000250 _main 00401250 f Pointer.obj
(_main的虛地址)
Line numbers for .\Debug\Pointer.obj(E:\ Pointer\Pointer.cpp) segment .text
12 0001:00000250 14 0001:00000268 15 0001:0000026f 16 0001:00000276
18 0001:0000027f 20 0001:00000291 23 0001:000002a4 24 0001:000002a6
(這就是我們的Pointer.cpp所對應的程序代碼行號和相對虛擬地址的對應表)
我們可以從中看到,最佳裝載基地址是0x00400000,_main的虛地址是0x00401250,而0001:00000250又是什么意思呢?
0x00000250就是_main的相對虛擬地址(RVA)。
0x00010000就是PE頭文件的大小,一般都是這個數。
所以虛地址就是這么算出來的:
0x00401250 = 0x00400000 + 0x00010000 + 0x00000250
虛地址 = 最佳裝載基地址 + PE頭文件的大小 + 相對虛擬地址(RVA)
通過_main的RVA的計算,我們也就知道了怎么計算崩潰地址0x00401279的RVA,是0x00000279,對吧?
然后,在這個MAP映射文件的“Line numbers for .\Debug\Pointer.obj(E:\ Pointer\Pointer.cpp) segment .text”這個行號段中查找這個地址。如你所看到的,只有16行對應的00000276和18行對應的0000027F,沒有00000279呀?
沒有17行的對應關系,說明17行是空行。
那么00000279就一定是16行的了!這樣你不用看那個程序員的代碼,就可以通知他:崩潰發生在你的Pointer.cpp的第16行了!很酷吧!