裸函数naked解析

先分享一个案例：

 1 #include <stdio.h>

 2 

 3 __declspec(naked) void Test()

 4 {

 5     int x;

 6     x = 3;

 7     __asm ret;

 8 }

 9 

10 int main(int argc, char* argv[])

11 {

12     int x = 1;

13     Test();

14     printf("%d\n",x);

15     return 0;

16 }

猜猜输出什么？输出3，而不是1。

看下反汇编代码：

有疑问先留着。下面讲解下naked：

MSDN中关于naked关键字的介绍：

For functions declared with the naked attribute, the compiler generates code without prolog and epilog code. You can use this feature to write your own prolog/epilog code sequences using inline assembler code. Naked functions are particularly useful in writing virtual device drivers. Note that thenaked attribute is only valid on x86, and is not available on x64 or Itanium.

我们知道VC++和gcc都支持naked函数，即所谓的“裸函数”，对于使用 naked 特性声明的函数，编译器将生成编码，而无需 prolog 和 epilog 代码。而一般性函数，编译器会主动加上很多prilog和epilog代码，还会做一些优化，有些是赘余的。而使用内联汇编，可以写完全按自己意愿跑的函数。可以使用此功能来编写使用汇编程序代码的自己的 prolog/epilog 代码顺序。 裸函数尤为用在编写虚拟设备驱动程序。请注意 naked 特性仅适用于 x86和ARM，并不用于 x64 。关于自己编写prolog 和 epilog 代码，在后面有讲到。

VC++的声明语法：__declspec(naked)

gcc的声明语法：__attribute__((naked))

因为编译器不会生成入口代码和退出代码，所以写naked函数的时候要分外小心。进入函数代码时，父函数仅仅会将参数和返回地址压栈，亦即只有esp寄存器和eip寄存器会发生变化。

 

一般来说，使用naked函数时需要注意以下问题：（以VC++编译器为例）

1、函数必须显式返回。

一般通过__asm ret的内嵌汇编指令返回。

2、不可以通过任何方式使用局部变量。

若声明一个局部变量，并在代码中为其赋值，则会更改父函数中相应位置的局部函数的值。

3、只能通过esp引用参数。

因为子函数继承了父函数的ebp寄存器，所以只能通过esp引用参数。

4、naked 属性仅与函数的定义相关，不能在函数原型中指定。不能用于函数指针，不能用于数据定义。

 

官方给出的naked的规则限制：

• 不允许使用 return 语句。

• 不允许结构化异常处理和 C++ 异常处理构造，因为它们必须在堆栈帧中展开。

• 出于同一原因，禁止任何形式的 setjmp。

• 禁止使用 _alloca 函数。

• 若要确保局部变量的初始化代码不在 prolog 序列之前出现，函数范围中不允许存在初始化的局部变量。 具体而言，函数范围中不允许有 C++ 对象的声明。 但是，嵌套的范围中可能有初始化的数据。

• 不建议使用帧指针优化（/Oy 编译器选项），但会自动为裸函数将其取消。

• 不能在函数词法范围中声明 C++ 类对象。 但是，可以在嵌套的块中声明对象。

• 在使用 /clr 进行编译时，将忽略 naked 关键字。

• 对于 __fastcall 裸函数，只要 C/C++ 代码中存在对某个寄存器参数的引用，prolog 代码就应将该寄存器的值存储到该变量的堆栈位置中。 例如：

   1 // nkdfastcl.cpp
  
   2 // compile with: /c
  
   3 // processor: x86
  
   4 __declspec(naked) int __fastcall  power(int i, int j) {
  
   5    // calculates i^j, assumes that j >= 0
  
   6 
  
   7    // prolog
  
   8    __asm {
  
   9       push ebp
  
  10       mov ebp, esp
  
  11       sub esp, __LOCAL_SIZE
  
  12      // store ECX and EDX into stack locations allocated for i and j
  
  13      mov i, ecx
  
  14      mov j, edx
  
  15    }
  
  16 
  
  17    {
  
  18       int k = 1;   // return value
  
  19       while (j-- > 0) 
  
  20          k *= i;
  
  21       __asm { 
  
  22          mov eax, k 
  
  23       };
  
  24    }
  
  25 
  
  26    // epilog
  
  27    __asm {
  
  28       mov esp, ebp
  
  29       pop ebp
  
  30       ret
  
  31    }
  
  32 }

 

编写 Prolog/Epilog 代码的注意事项

堆栈帧布局：

此示例显示了可能出现在 32 位函数中的标准 prolog 代码：

push        ebp                ; Save ebp

mov         ebp, esp           ; Set stack frame pointer

sub         esp, localbytes    ; Allocate space for locals

push        <registers>        ; Save registers

localbytes 变量表示局部变量堆栈上所需的字节数，<registers> 变量是表示要保存在堆栈上的寄存器列表的占位符。 推入寄存器后，您可以将任何其他适当的数据放置在堆栈上。 下面是相应的 epilog 代码：

pop         <registers>   ; Restore registers

mov         esp, ebp      ; Restore stack pointer

pop         ebp           ; Restore ebp

ret                       ; Return from function

堆栈始终向下增长（从高内存地址到低内存地址）。 基指针 (ebp) 指向 ebp 的推入值。 本地区域开始于 ebp-4。 若要访问局部变量，可通过从 ebp 中减去适当的值来计算ebp 的偏移量。

 

__LOCAL_SIZE ：

编译器提供符号 __LOCAL_SIZE 以用于函数 prolog 代码的内联汇编程序块中。 此符号用于在自定义 prolog 代码中的堆栈帧上为局部变量分配空间。

编译器确定 __LOCAL_SIZE 的值。 其值是所有用户定义的局部变量和编译器生成的临时变量的总字节数。 __LOCAL_SIZE 只能用作即时操作数；它不能在表达式中使用。 不得更改或重新定义此符号的值。 例如：

mov        eax, __LOCAL_SIZE           ;Immediate operand--Okay

mov        eax, [ebp - __LOCAL_SIZE]   ;Error

以下包含自定义 prolog 和 epilog 序列的裸函数的示例在 prolog 序列中使用 __LOCAL_SIZE 符号：

// the__local_size_symbol.cpp

// processor: x86

__declspec ( naked ) int main() {

   int i;

   int j;



   __asm {      /* prolog */

      push   ebp

      mov      ebp, esp

      sub      esp, __LOCAL_SIZE

      }

      

   /* Function body */

   __asm {   /* epilog */

      mov      esp, ebp

      pop      ebp

      ret

      }

}

 

最初的案例现在看起来简单多了，编译器不主动加prolog 和 epilog 代码，子函数用父函数的ebp，所以这里修改了main函数的栈，后面结果出错了。后面的ret是必须写蛤，要自己维持栈平衡。