C函数和汇编

C代码

（编译工具gcc (Ubuntu 5.4.0-6ubuntu1~16.04.11) 5.4.0 20160609平台ubuntu i386 32位）

int bar(int c , int d){

    int e = c +d;

    return e;

}

int foo (int a , int b){

    return bar(a,b);

}

int main (void){

    foo(2,3);

    return 0;

}

gcc -S -masm=intel function_asm.c 生成一个intel风格的汇编代码文件

        .file   "function_asm.c"

        .intel_syntax noprefix

        .text

        .globl  bar

        .type   bar, @function

bar:

.LFB0:

        .cfi_startproc

        push    ebp

        .cfi_def_cfa_offset 8

        .cfi_offset 5, -8

        mov     ebp, esp

        .cfi_def_cfa_register 5

        sub     esp, 16

        mov     edx, DWORD PTR [ebp+8]

        mov     eax, DWORD PTR [ebp+12]

        add     eax, edx

        mov     DWORD PTR [ebp-4], eax

        mov     eax, DWORD PTR [ebp-4]

        leave

        .cfi_restore 5

        .cfi_def_cfa 4, 4

        ret

        .cfi_endproc

.LFE0:

        .size   bar, .-bar

        .globl  foo

        .type   foo, @function

foo:

.LFB1:

        .cfi_startproc

        push    ebp

        .cfi_def_cfa_offset 8

        .cfi_offset 5, -8

        mov     ebp, esp

        .cfi_def_cfa_register 5

        push    DWORD PTR [ebp+12]

        push    DWORD PTR [ebp+8]

        call    bar

        add     esp, 8

        leave

        .cfi_restore 5

        .cfi_def_cfa 4, 4

        ret

        .cfi_endproc

.LFE1:

        .size   foo, .-foo

        .globl  main

        .type   main, @function

main:

.LFB2:

        .cfi_startproc

        push    ebp

        .cfi_def_cfa_offset 8

        .cfi_offset 5, -8

        mov     ebp, esp

        .cfi_def_cfa_register 5

        push    3

        push    2

        call    foo

        add     esp, 8

        mov     eax, 0

        leave

        .cfi_restore 5

        .cfi_def_cfa 4, 4

        ret

        .cfi_endproc

.LFE2:

        .size   main, .-main

        .ident  "GCC: (Ubuntu 5.4.0-6ubuntu1~16.04.11) 5.4.0 20160609"

        .section        .note.GNU-stack,"",@progbits

objdump -M intel -S -d a.out 将生成的二进制文件用intel格式反汇编，我们关心的如下：

080483db <bar>:

 80483db:       55                      push   ebp

 80483dc:       89 e5                   mov    ebp,esp

 80483de:       83 ec 10                sub    esp,0x10

 80483e1:       8b 55 08                mov    edx,DWORD PTR [ebp+0x8]

 80483e4:       8b 45 0c                mov    eax,DWORD PTR [ebp+0xc]

 80483e7:       01 d0                   add    eax,edx

 80483e9:       89 45 fc                mov    DWORD PTR [ebp-0x4],eax

 80483ec:       8b 45 fc                mov    eax,DWORD PTR [ebp-0x4]

 80483ef:       c9                      leave

 80483f0:       c3                      ret

080483f1 <foo>:

 80483f1:       55                      push   ebp

 80483f2:       89 e5                   mov    ebp,esp

 80483f4:       ff 75 0c                push   DWORD PTR [ebp+0xc]

 80483f7:       ff 75 08                push   DWORD PTR [ebp+0x8]

 80483fa:       e8 dc ff ff ff          call   80483db <bar>

 80483ff:       83 c4 08                add    esp,0x8

 8048402:       c9                      leave

 8048403:       c3                      ret

08048404 <main>:

 8048404:       55                      push   ebp

 8048405:       89 e5                   mov    ebp,esp

 8048407:       6a 03                   push   0x3

 8048409:       6a 02                   push   0x2

 804840b:       e8 e1 ff ff ff          call   80483f1 <foo>

 8048410:       83 c4 08                add    esp,0x8

 8048413:       b8 00 00 00 00          mov    eax,0x0

 8048418:       c9                      leave

 8048419:       c3                      ret

 804841a:       66 90                   xchg   ax,ax

 804841c:       66 90                   xchg   ax,ax

 804841e:       66 90                   xchg   ax,ax

函数有几个关键点调用函数、参数传递、返回值、调用后会返回计息执行下面的指令

其中参数和返回地址都是通过栈来实现的。平衡栈的动作根据不同的调用约定来实现的。C编译器符合

参数从右到左入栈

int main (void){

    foo(2,3);

    return 0;

}

main函数调用foo函数（2，3）作为参数被传递

8048407:       6a 03                   push   0x3

8048409:       6a 02                   push   0x2

804840b:       e8 e1 ff ff ff          call   80483f1 <foo>

8048410:       83 c4 08                add    esp,0x8

先将3入栈，再将2入栈

call foo 函数（跳转到80483f1 <foo>执行）

call指令

call首先将它的下一条指令入栈（也就是8048410地址）将它调用的函数地址（foo函数地址复制到EIP寄存器当中）

下条指令CPU会执行EIP中地址，现在进入foo函数当中

080483f1 <foo>:

 80483f1:       55                      push   ebp

 80483f2:       89 e5                   mov    ebp,esp

 80483f4:       ff 75 0c                push   DWORD PTR [ebp+0xc]

 80483f7:       ff 75 08                push   DWORD PTR [ebp+0x8]

 80483fa:       e8 dc ff ff ff          call   80483db <bar>

 80483ff:       83 c4 08                add    esp,0x8

 8048402:       c9                      leave

 8048403:       c3                      ret

 foo调用了bar进入bar

 int bar(int c , int d){

    int e = c +d;

    return e;

}

int foo (int a , int b){

    return bar(a,b);

}

================================================================================

 080483db <bar>:

 80483db:       55                      push   ebp

 80483dc:       89 e5                   mov    ebp,esp

 80483de:       83 ec 10                sub    esp,0x10

 80483e1:       8b 55 08                mov    edx,DWORD PTR [ebp+0x8]

 80483e4:       8b 45 0c                mov    eax,DWORD PTR [ebp+0xc]

 80483e7:       01 d0                   add    eax,edx

 80483e9:       89 45 fc                mov    DWORD PTR [ebp-0x4],eax

 80483ec:       8b 45 fc                mov    eax,DWORD PTR [ebp-0x4]

 80483ef:       c9                      leave

 80483f0:       c3                      ret

 其中

 80483f1:       55                      push   ebp；保存ebp现场

 80483f2:       89 e5                   mov    ebp,esp；将esp的值赋给ebp现在是参数、参数、返回地址、ebp现场。

 ebp是用来取调用者传过来的参数的也可以用来引用局部变量（在栈上分配）。为啥呢？因为esp总是指向栈顶，刚进入被调用函数的时候将esp赋值给ebp这个时候好找前面压过栈的参数。编译器好实现。

 EBP：高级语言通过 EBP 来引用堆栈中的函数参数和局部变量。除了高级编程，它不用于一般算术运算和数据传输。

 取参数

 80483e1:       8b 55 08                mov    edx,DWORD PTR [ebp+0x8]

 80483e4:       8b 45 0c                mov    eax,DWORD PTR [ebp+0xc]

 所有函数都是通过eax来返回值的

 80483ec:       8b 45 fc                mov    eax,DWORD PTR [ebp-0x4]

 leave是下面函数开始的时候的逆操作重新将ebp赋值给esp，然后pop ebp;ebp又恢复到维护foo函数的了，前面的数据还在栈上但是我已经不维护了，没有意义了。

 80483db:       55                      push   ebp

 80483dc:       89 e5                   mov    ebp,esp

 ret指令是call指令的逆操作，pop现在的esp的保存的数据给EIP（也就是foo函数调用bar函数前call保存的地址），然后esp值-4

 其中EBP总是指向当前栈帧的栈底、返回值通过EAX传递。

在逆向中将重点放在函数的识别和参数的传递上是节省体力的方法，函数是一个程序模块，程序就是由这样一个模块一个模块组成的。

逆向--C函数和汇编的更多相关文章

strlen函数的汇编实现分析
[原创][老刘谈算法001]这位运算玩的真溜—strlen函数的汇编实现分析-『密码算法』-看雪安全论坛 https://bbs.pediy.com/thread-229243.htm
【黑客免杀攻防】读书笔记14 - 面向对象逆向-虚函数、MFC逆向
虚函数存在是为了克服类型域解决方案的缺陷,以使程序员可以在基类里声明一些能够在各个派生类里重新定义的函数. 1 识别简单的虚函数代码示例: #include "stdafx.h" ...
Linux的.a、.so和.o文件 windows下obj,lib,dll,exe的关系动态库内存管理动态链接库搜索顺序符号解析和绑定 strlen函数的汇编实现分析
Linux的.a..so和.o文件 - chlele0105的专栏 - CSDN博客 https://blog.csdn.net/chlele0105/article/details/23691147 ...
【安卓逆向】ARM常见汇编指令总结
跳转指令 B 无条件跳转 BL 带链接的无条件跳转 BX 带状态切换的无条件跳转 BLX 带链接和状态的无条件跳转存储器与寄存器交互数据指令(核心) 存储器:主存和内存寄存器中放的数据:可以是字符 ...
iOS 逆向之ARM汇编
最近对iOS逆向工程很感兴趣. 目前iOS逆向的书籍有: <Hacking and Securing IOS Applications>, <iOS Hacker's Handboo ...
从linux0.11中起动部分代码看汇编调用c语言函数
上一篇分析了c语言的函数调用栈情况,知道了c语言的函数调用机制后,我们来看一下,linux0.11中起动部分的代码是如何从汇编跳入c语言函数的.在LINUX 0.11中的head.s文件中会看到如下一 ...
从汇编看c++成员函数指针(二)
下面先看一段c++源码: #include <cstdio> using namespace std; class X { public: virtual int get1() { ; } ...
从汇编看c++中成员函数指针(一)
下面先来看c++的源码: #include <cstdio> using namespace std; class X { public: int get1() { ; } virtual ...
C语言与汇编的嵌入式编程：main中模拟函数的调用（两数交换）
编写一个两数交换函数swap,具体代码如下: #include<stdio.h> void swap(int *p1,int *p2) { int temp; temp = *p1; *p ...

随机推荐

Python print（）函数
#输出单个数据,会自动输出回车换行 print(1) print(2) #输出 1 2 #输出换行 print('\n') #防止换行 for x in range(0, 5): print(x, e ...
JavaScript中的变量定义和声明
变量声明旨在分配内存,定义为这个分配的内存分配一个值.
Zabbix在Docker中的应用和监控
目录 Zabbix在Docker中的应用和监控一.如何使Zabbix跑在Docker里 1.Docker基础环境配置 2.Docker-compose安装配置 3.启动zabbix server 4 ...
web页面的JS部分乱码了！！
在引用的地方给出编码即可 <script type='text/javascript' src='/zbjc/resources/normal/index_page.js' charset=&q ...
关于C/C++的各种优化
一.常量声明常量可以方便代码的修改,提高复用性. ; +; ; 同时,声明常量也可以减少重复运算,提高代码速度,例子如下: string s; cin>>s; ;i<len;i++ ...
「NOIP2015」斗地主
传送门 Luogu 解题思路给你们一张搜索顺序图,然后就大力模拟就好. 细节注意事项爆搜题,你们懂的... 参考代码写的有点丑了,洛谷上只能过加强版的88分,会T六个点 #include < ...
[转载]JDK自带的实用工具——native2ascii.exe
做Java开发的时候,常常会出现一些乱码,或者无法正确识别或读取的文件,原因是编码方式的不一致.native2ascii是sun java sdk提供的一个工具.用来将别的文本类文件(比如*.txt, ...
题解 P2801 【教主的魔法】
分块入门题,不错的,建议大家做一做开始学习先看一下数列分块入门 2 这道题想让我们求区间[l,r]>=c的个数,然后我们可以看到"数列分块入门 2"是求区间[l,r]&l ...
BUU easyre
拖入ida中shift+F12查找字符串就可以看到flag
YOLO V1、V2、V3算法精要解说
前言之前无论是传统目标检测,还是RCNN,亦或是SPP NET,Faste Rcnn,Faster Rcnn,都是二阶段目标检测方法,即分为“定位目标区域”与“检测目标”两步,而YOLO V1,V2 ...

逆向--C函数和汇编

C函数和汇编

逆向--C函数和汇编的更多相关文章

随机推荐

热门专题