Khan's Notebook GCC/GNU/Linux Delphi/Window Java/Anywhere

路漫漫,长修远,我们不能没有钱

关于delphi 的函数调用和参数传递方式深入研究之疑惑

希望大家帮忙解答. delphi的函数 的参数传递方式 从我反汇编的代码来看好像不光是简单的压栈,涉及到了多个寄存器

关于delphi 的函数调用和参数传递方式深入研究

 

delphi 代码如下:

program Project1;

uses windows, SysUtils;


function a(d, dd: word; s, j, f: string): word;
begin
  d := d - 1;
  result := d + dd;
  messagebox(0, pchar(inttostr(d) + s), pchar(inttostr(dd)), $0);
end;

var s: string;

begin
  s := 'sssssssssss';
 { asm
    mov dx,$11
    mov ax,$33
    call a;
  end; }
  a($33, $11, 'sssss', s, s);
end.

 

汇编代码:
00407CA8   . 447C4000       DD Project1.00407C44
00407CAC > $ 55             PUSH EBP     //保存栈顶
00407CAD   . 8BEC           MOV EBP,ESP  //初始化堆栈
00407CAF   . 83C4 F0        ADD ESP,-10  //开辟10个字节的栈
00407CB2   . B8 6C7C4000    MOV EAX,Project1.00407C6C
00407CB7   . E8 34C7FFFF    CALL Project1.004043F0
00407CBC   . 33C0           XOR EAX,EAX  //EAX清0
00407CBE   . 55             PUSH EBP     //保存栈顶
00407CBF   . 68 037D4000    PUSH Project1.00407D03  //保存返回地址
00407CC4   . 64:FF30        PUSH DWORD PTR FS:[EAX]  //
00407CC7   . 64:8920        MOV DWORD PTR FS:[EAX],ESP  //
00407CCA   . B8 48984000    MOV EAX,Project1.00409848 
00407CCF   . BA 187D4000    MOV EDX,Project1.00407D18                ;  ASCII "sssssssssss"  //初始化局部变量
00407CD4   . E8 2FB9FFFF    CALL Project1.00403608  
00407CD9   . 68 2C7D4000    PUSH Project1.00407D2C                   ;  ASCII "jjjjjjjjjj" 
00407CDE   . 68 407D4000    PUSH Project1.00407D40                   ;  ASCII "ffffffffffff"
00407CE3   . B9 587D4000    MOV ECX,Project1.00407D58                ;  ASCII "sssss"
00407CE8   . 66:BA 1100     MOV DX,11
00407CEC   . 66:B8 3300     MOV AX,33
00407CF0   . E8 9BFEFFFF    CALL Project1.00407B90                   //调用函数
00407CF5   . 33C0           XOR EAX,EAX
00407CF7   . 5A             POP EDX
00407CF8   . 59             POP ECX
00407CF9   . 59             POP ECX
00407CFA   . 64:8910        MOV DWORD PTR FS:[EAX],EDX
00407CFD   . 68 0A7D4000    PUSH Project1.00407D0A
00407D02   > C3             RETN                                     ;  RET used as a jump to 00407D0A

00407D03   .^E9 D4B2FFFF    JMP Project1.00402FDC
00407D08   .^EB F8          JMP SHORT Project1.00407D02
00407D0A     E8             DB E8
00407D0B     B5             DB B5
00407D0C     B7             DB B7
00407D0D     FF             DB FF
00407D0E     FF             DB FF
00407D0F     00             DB 00
00407D10   . FFFFFFFF       DD FFFFFFFF
00407D14   . 0B000000       DD 0000000B
00407D18   . 73 73 73 73 73>ASCII "sssssssssss",0
00407D24   . FFFFFFFF       DD FFFFFFFF
00407D28   . 0A000000       DD 0000000A
00407D2C   . 6A 6A 6A 6A 6A>ASCII "jjjjjjjjjj",0
00407D37     00             DB 00
00407D38   . FFFFFFFF       DD FFFFFFFF
00407D3C   . 0C000000       DD 0000000C
00407D40   . 66 66 66 66 66>ASCII "ffffffffffff",0
00407D4D     00             DB 00
00407D4E     00             DB 00
00407D4F     00             DB 00
00407D50   . FFFFFFFF       DD FFFFFFFF
00407D54   . 05000000       DD 00000005
00407D58   . 73 73 73 73 73>ASCII "sssss",0


function a(d, dd: word; s, j, f: string): word;
函数的代码:

00407B90  /$ 55             PUSH EBP
00407B91  |. 8BEC           MOV EBP,ESP
00407B93  |. 6A 00          PUSH 0
00407B95  |. 6A 00          PUSH 0
00407B97  |. 6A 00          PUSH 0
00407B99  |. 53             PUSH EBX
00407B9A  |. 56             PUSH ESI
00407B9B  |. 57             PUSH EDI
00407B9C  |. 894D FC        MOV DWORD PTR SS:[EBP-4],ECX
00407B9F  |. 8BF2           MOV ESI,EDX
00407BA1  |. 8BD8           MOV EBX,EAX
00407BA3  |. 8B45 FC        MOV EAX,DWORD PTR SS:[EBP-4]
00407BA6  |. E8 49BDFFFF    CALL Project1.004038F4
00407BAB  |. 8B45 0C        MOV EAX,DWORD PTR SS:[EBP+C]
00407BAE  |. E8 41BDFFFF    CALL Project1.004038F4
00407BB3  |. 8B45 08        MOV EAX,DWORD PTR SS:[EBP+8]
00407BB6  |. E8 39BDFFFF    CALL Project1.004038F4
00407BBB  |. 33C0           XOR EAX,EAX
00407BBD  |. 55             PUSH EBP
00407BBE  |. 68 317C4000    PUSH Project1.00407C31
00407BC3  |. 64:FF30        PUSH DWORD PTR FS:[EAX]
00407BC6  |. 64:8920        MOV DWORD PTR FS:[EAX],ESP
00407BC9  |. 4B             DEC EBX
00407BCA  |. 8D3C1E         LEA EDI,DWORD PTR DS:[ESI+EBX]
00407BCD  |. 6A 00          PUSH 0
00407BCF  |. 8D55 F8        LEA EDX,DWORD PTR SS:[EBP-8]
00407BD2  |. 0FB7C6         MOVZX EAX,SI
00407BD5  |. E8 5AD6FFFF    CALL Project1.00405234
00407BDA  |. 8B45 F8        MOV EAX,DWORD PTR SS:[EBP-8]
00407BDD  |. E8 22BDFFFF    CALL Project1.00403904
00407BE2  |. 50             PUSH EAX
00407BE3  |. 8D55 F4        LEA EDX,DWORD PTR SS:[EBP-C]
00407BE6  |. 0FB7C3         MOVZX EAX,BX
00407BE9  |. E8 46D6FFFF    CALL Project1.00405234
00407BEE  |. 8D45 F4        LEA EAX,DWORD PTR SS:[EBP-C]
00407BF1  |. 8B55 FC        MOV EDX,DWORD PTR SS:[EBP-4]
00407BF4  |. E8 33BCFFFF    CALL Project1.0040382C
00407BF9  |. 8B45 F4        MOV EAX,DWORD PTR SS:[EBP-C]
00407BFC  |. E8 03BDFFFF    CALL Project1.00403904
00407C01  |. 50             PUSH EAX                                 ; |Text
00407C02  |. 6A 00          PUSH 0                                   ; |hOwner = NULL
00407C04  |. E8 23C9FFFF    CALL <JMP.&user32.MessageBoxA>           ; \MessageBoxA  //这里stdcall方式调用messagebox
00407C09  |. 33C0           XOR EAX,EAX
00407C0B  |. 5A             POP EDX
00407C0C  |. 59             POP ECX
00407C0D  |. 59             POP ECX
00407C0E  |. 64:8910        MOV DWORD PTR FS:[EAX],EDX
00407C11  |. 68 387C4000    PUSH Project1.00407C38
00407C16  |> 8D45 F4        LEA EAX,DWORD PTR SS:[EBP-C]
00407C19  |. BA 03000000    MOV EDX,3
00407C1E  |. E8 B5B9FFFF    CALL Project1.004035D8
00407C23  |. 8D45 08        LEA EAX,DWORD PTR SS:[EBP+8]
00407C26  |. BA 02000000    MOV EDX,2
00407C2B  |. E8 A8B9FFFF    CALL Project1.004035D8
00407C30  \. C3             RETN

 

 

debug registers :
eax 00000000
ecx 00010101
edx ffffffff
ebx 7ffdf000
esp 0012ffc0  
ebp 0012fff0
esi 00000000
edi 0012d870
eip 00407cad project1.<ModuleEntryPoint>

00407CCA . B8 48984000 MOV EAX,Project1.00409848
00407CCF . BA 187D4000 MOV EDX,Project1.00407D18 ; ASCII "sssssssssss" //初始化局部变量
00407CD4 . E8 2FB9FFFF CALL Project1.00403608
00407CD9 . 68 2C7D4000 PUSH Project1.00407D2C ; ASCII "jjjjjjjjjj"
00407CDE . 68 407D4000 PUSH Project1.00407D40 ; ASCII "ffffffffffff"
00407CE3 . B9 587D4000 MOV ECX,Project1.00407D58 ; ASCII "sssss"
00407CE8 . 66:BA 1100 MOV DX,11
00407CEC . 66:B8 3300 MOV AX,33
00407CF0 . E8 9BFEFFFF CALL Project1.00407B90 //调用函数

函数原型为function a(d, dd: word; s, j, f: string): word;
他的执行顺序是 先把J ,f 压栈 , 把 s 存入 ecx ,然后,将 dd,d 分别存入 dx 和 ax ,delphi到底按照什么顺序来处理参数d啊

Directive Parameter order Clean-upPasses parameters in registers?
register Left-to-right Routine Yes
pascal Left-to-right Routine No
cdecl Right-to-left Caller No
stdcall Right-to-left Routine No
safecall Right-to-left Routine No

参数传递方式:
Delphi中有自己的参数传递方式,而Windows API也有自己的参数传递方式,那么他们之间有什么不同呢,要如何做到兼容呢,尤其是在编写动态库时?
(1)cdecl:
通常是C/C++所使用的参数传递方式,它的传递方式是由右到左,而且当被调用的函数结束之后,将会由调用函数本身来清除堆栈上的参数数据.
(2)stdcall:
参数传递方式,也是由右到左,但是当被调用的函数结束之后,则是由被调用函数来清除堆栈上的参数数据,Win32API所有的输出函数都是采用此中参数传递方式
(3)pascal:
是Delphi1.0与win16API所使用的参数传递方式,它的传递方式是由左到右,而且由被调用函数来清除堆栈上的参数数据.
(4)fastcall:
是Delphi默认所使用的参数传递方式,此种方式在传递参数时把前三个参数放在CPU的EAX,EDX,ECX三个缓存器种,剩下的参数则会由左到右地被取出放到堆栈中,而当被调用的函数结束之 后,则是由被调用函数来清除堆栈上的参数数据.
注:所以在引用C++动态库中的函数时,要注意参数的传递方式,一般使用stdcall.还要注意字符串类型,C++在传递字符串时,都是采用字符指针的 类型(Char *),所以你在Delphi的程序中就必 须使用PCHAR类型,而不是string类型.

Delphi编译代码和一般的C编译代码不太一样,比如调用约定中,C的thiscall用ECX传递this指针,而Delphi的thiscall用 EAX传递this指针;C的fastcall一般用ECX/EDX两个寄存器用于参数传递,而Delphi则用三个EAX/EDX/ECX;在使用浮点 数时,C通过压栈两个DWORD传递double参数,而Delphi则用FLD和FSTP直接通过FPU传递参数。修饰名也不一样,这里不加叙述。



关于调用约定参考 http://baby.homeip.net/patrick/archives/000142.php



目前的IDA尚不支持加载.MAP/.SYM符号信息,根据DataRescue网站的说明,可以通过.IDC脚本加载(http://www.ccso.com/faq.html)。DeDe的IDA/Softice符号输出中据说可以自动检测运行的Soft-ICE并向其导入符号,但实际使用时不是很灵光,根据.MAP文件格式可以写一个程序将其转换成.IDC脚本:



#!/usr/bin/perl

use strict;

sub dump_idc;



my $hex_pat = "[0-9A-Fa-f]+";



my $start;

my @entries;



while (<>) {

chop;

if ($start eq ''--fetch-next'') {

# start, length, name, class

($start) = m/$hex_pat:($hex_pat)\s+($hex_pat)H\s+(\w+)\s+(\w+)/;

if (!$start) {

print STDERR "Invalid .map file format!";

exit -1;

}

$start = hex($start);

next;

}



if (m/Start\s+Length\s+Name\s+Class/) {

$start = ''--fetch-next'';

next;

}



if (m/$hex_pat:($hex_pat)\s*(.*)$/) {

my ($offset, $entry) = (hex($1), $2);

my $rva = $offset + $start;

push @entries, [$rva, $entry];

}

}



@entries = sort { $a->[0] cmp $b->[0] } @entries;



&dump_idc;



sub dump_idc {

print "static main() {\n";



foreach (@entries) {

my ($rva, $entry) = @$_;

#$rva = hex($rva);



$entry =~ s/^\*/\$/;

$entry =~ s/^[<>\-]*//;

$entry =~ s/\(.*$//;

$entry =~ s/:.*$//;

$entry =~ s/\./?/;

$entry =~ s/\[([0-9]+)\]/_$1/g;

$entry =~ s/\[.*$/_$rva/;

$entry =~ s/;.*$//;



$entry =~ s/^\s *//;

next if !$entry;



printf "MakeName(0x%x, \"$entry\");\n", $rva, $entry;

}



print "}\n";

}



1;



有些程序在检验注册码时通过抛出异常等行为确定是否注册成功,关于异常Matt Pietrek有一篇著名文章http://www.microsoft.com/msj/0197/Exception/Exception.aspx值得一读。从汇编代码上看,所有try/catch块都有类似的结构:



CODE:004BDE4C xor eax, eax

CODE:004BDE4E push ebp

CODE:004BDE4F push offset loc_4BDE92

CODE:004BDE54 push dword ptr fs:[eax] ; 保存上一个handler

CODE:004BDE57 mov fs:[eax], esp



CODE:004BDE92 loc_4BDE92:

CODE:004BDE92 jmp _Any2_Handler_DevErr?

CODE:004BDE97 jmp short loc_4BDE89



CODE:004BDEEA pop edx ; 上一个handler

CODE:004BDEEB pop ecx

CODE:004BDEEC pop ecx

CODE:004BDEED mov fs:[eax], edx ; 恢复



注意到4BDE97H处代码未被执行,这是怎么回事呢?原来它是finally对应的块,SEH内核会根据push offset loc_4BDE92自动得到4BDE97H的finally入口地址。因此在调试有异常处理的程序时,有时需要在handler和finally的处理 程序处也设置断点。



今天先到这里,可能的话下次再贴。

在周爱民的著作《DELPHI源代码分析》中,对此有描述。

posted on 2004-11-22 22:14 Khan 阅读(2258) 评论(0)  编辑 收藏 引用 所属分类: Delphi


只有注册用户登录后才能发表评论。
【推荐】超50万行VC++源码: 大型组态工控、电力仿真CAD与GIS源码库
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


<2006年1月>
25262728293031
1234567
891011121314
15161718192021
22232425262728
2930311234

导航

统计

公告

短信大全 for android 1.5
豌豆荚一键安装

现在时刻

IM在线情况:
点击这里给我发消息

常用链接

留言簿(33)

随笔分类(218)

随笔档案(163)

相册

技术

友情链接

最新随笔

搜索

积分与排名

最新随笔

最新评论

阅读排行榜

评论排行榜