令人迷惑的AT&T的jmp:直接跳轉和間接跳轉 [轉]


最近看鏈接器源碼中,對位置無關代碼PIC(共享庫)的鏈接問題,發現對call和jmp很多不常用的用法,這里試驗並總結了一下各種用法。

我們最常用的jmp形式,就是 jmp后面跟個標簽!這個沒什么可說的!

假如標簽叫做mylabel,它的地址是0x8048377,而且有個全局變量b,b存儲的內容就是mylabel的地址,而b的地址是0x80494A8。
即有這樣的賦值(加載)語句:
movl$mylabel,%eax//把mylabel的地址加載到eax寄存器中
movl%eax,b//把mylabel的地址加載到b中
movl$b,%ebx//把b的地址加載到ebx寄存器中
 
我們考慮下面的語句:
1.jmpmylable
2.jmp0x8048377
3.jmp%eax
4.jmp*%eax
5.jmp*(%ebx)
6.jmp*0x80494A8
7.jmp*b
8.jmp$0x5
 
這7句jmp語句!分別都做了什么?
 
1.不用說,跳轉到mylabel標簽處繼續執行代碼,但是,是如何跳轉的呢?就是PC加上了mylabel標簽處對於jmp處的一個偏移地址!可執行的二進制代碼是這樣表示的:eb 03,就是說,pc+0x03就可以了。
 
2.這里,0x8048377是mylabel的地址,我以前研究過,標簽的作用,更他的地址的作用是等效的。所以,這里的執行效果跟1中的相同。但是,還有些不一樣!這里的二進制代碼成了:e9 03 00 00 00 這里用了32位表示了這個偏移,而在1中,只用了8位!
 
3.在編譯鏈接的時候,這句代碼會有警告:warning:indirect jmp without '*'。間接跳轉沒有‘*’符號,但是,執行起來,還是沒有錯。看一下二進制的可執行文件的代碼,發現,給補上了個‘*’號!而且二進制是:ff e0.
 
4.其實,4是3的補充版,正常的形式就是4,而三是有警告的被補充的版本。
 
5.%ebx是b的地址,那么(%ebx)表示ebx的值為地址,指向的地方。這里指向了b的內容,也就是mylabel的地址!於是,化簡后,5也就等效與2,但是,二進制表示是:ff 23。
 
6.0x80494A8是b的地址,這里看做內存數,那么實質上,b指向的值是mylabel的地址,於是,化簡后同2,二進制代碼是:ff 25 a8 94 04 08。
 
7.b是標簽,代表一個地址,所以,這里同6,二進制代碼也同6
 
8.這句話是錯誤的,jmp不支持立即數!
 
所以說,正確的寫法有:
 
1.jmpmylable//eb 03
2.jmp0x8048377//e9 03 00 00 00
 
3.jmp*%eax//ff e0
4.jmp*(%ebx)//ff 23
5.jmp*0x80494A8//ff 25 a8 94 04 08
6.jmp*b//ff 25 a8 94 04 08
 
1和2叫做間接尋址,就是算偏移量的。后面沒有‘*’號,而是直接一個標簽或者地址(標簽就可以看做是地址),所以說,就是一個直接的地址的值。間接跳轉的二進制代碼是eb或者e9,是e開頭的。
3,4,5,6叫做直接尋址,直接尋址的標識就是這個‘*’號!直接尋址,就是PC直接賦值某個地址,而不是加偏移量。所以,‘*’號后面的部分,其實是一個要付給PC的值,那么,取值的方式就好想象了!直接跳轉的二進制代碼是ff開頭的。
 
3是寄存器直接取值;4是寄存器間接取值;5是內存數取值;6是標簽取值(實質上同5)。
 
確實,有點意思~
call同jmp指令!
 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM