汇编和c只有一步之近----小话c语言(19)
作者：陈曦
日期：2012-6-810:50:13
环境：[Ubuntu11.04 Intel-based x64 gcc4.5.2 CodeBlocks10.05 AT&T汇编 Intel汇编]
转载请注明出处
Q：举个例子吧。
A：下面的代码的目标是计算1+2的值，最后放到变量temp中，并输出：
[cpp] view plaincopy
#include
#include
#define PRINT_D(longValue) printf(#longValue" is %ld\n",((long)longValue));
#define PRINT_STR(str) printf(#str" is %s\n",(str));
static void assemble_func()
{
int temp;
__asm__("mov $1, %eax");
__asm__("mov $2, %ebx");
__asm__("add %ebx, %eax"); // 1 + 2
__asm__("mov %%eax, %0":"=r"(temp)); // mov the value of register eax to the var"temp"
PRINT_D(temp) // print temp
}
int main()
{
assemble_func();
return 0;
}
运行结果：
[plain] view plaincopy
temp is 3
Q： assemble_func函数的汇编代码形式是什么？
A：
[cpp] view plaincopy
0x08048404 : push ebp
0x08048405 : mov ebp,esp
0x08048407 : push ebx
0x08048408 : sub esp,0x24
=> 0x0804840b : mov eax,0x1
0x08048410 : mov ebx,0x2
0x08048415 : add eax,ebx
0x08048417 : mov ebx,eax
0x08048419 : mov DWORD PTR [ebp-0xc],ebx
0x0804841c : mov eax,0x8048510
0x08048421 : mov edx,DWORD PTR [ebp-0xc]
0x08048424 : mov DWORD PTR [esp+0x4],edx
0x08048428 : mov DWORD PTR [esp],eax
0x0804842b : call 0x8048340
0x08048430 : add esp,0x24
0x08048433 : pop ebx
0x08048434 : pop ebp
0x08048435 : ret
上面的汇编是在调试运行到assemble_func函数的开始时，使用disassemble命令得到的数据。注意第五行左侧的箭头符号是调试状态显示正在运行的行数。
Q：上面的汇编是内嵌到c代码中的，单独完全的汇编代码，如何实现hello world的功能？
A：从本质上说，只用汇编的形式需要对于底层更了解，c代码从编译的角度来说和汇编没什么区别，只是写的格式以及调用的东西看起来不一致罢了。
如下，是实现标准控制台输出功能的代码：
[cpp] view plaincopy
.section .rodata
str:
.ascii "Hello,world.\n"
.section .text
.globl _main
_main:
movl $4, %eax # the number of system call
movl $1, %ebx # file descriptor, 1 means stdout
movl $str, %ecx # string address
movl $13, %edx # string length
int $0x80
保存为hello.s.
Q：如何编译它，使用gcc吗？
A：当然可以，不过这个文件显然不需要预处理了，它已经是汇编格式了，不需要单纯狭义的编译过程了，只需要从汇编过程开始了。
它可以直接生成目标文件hello.o
Q：接下来做什么？可以直接执行它吗？
A：试试。
此时，给hello.o添加可执行权限再执行：
Q：这是为什么？
A：继续观察hello.o文件的属性。
可以看出，它还不是可执行文件。其实很简单，hello.o只是目标文件，并没有链接成可执行文件。
Q：这又是为什么？没有找到入口符号_start, ld默认的入口符号是_start?
A：是的。在代码中使用的是_main, 所以应该让链接器明白，入口符号是_main.
Q：现在应该可以运行了吧。运行一下：
Hello,world是输出了，为什么后面会出现段错误呢？
A：我们首先看看上面的运行返回了什么。
返回值为139，它代表什么？
Q：从系统的errno.h头文件以及相关文件中查找，得到所有系统错误码：
/usr/include/asm-generic/errno-base.h文件：
[cpp] view plaincopy
#ifndef _ASM_GENERIC_ERRNO_BASE_H
#define _ASM_GENERIC_ERRNO_BASE_H
#define EPERM 1 /* Operation not permitted */
#define ENOENT 2 /* No such file or directory */
#define ESRCH 3 /* No such process */
#define EINTR 4 /* Interrupted system call */
#define EIO 5 /* I/O error */
#define ENXIO 6 /* No such device or address */
#define E2BIG 7 /* Argument list too long */
#define ENOEXEC 8 /* Exec format error */
#define EBADF 9 /* Bad file number */
#define ECHILD 10 /* No child processes */
#define EAGAIN 11 /* Try again */
#define ENOMEM 12 /* Out of memory */
#define EACCES 13 /* Permission denied */
#define EFAULT 14 /* Bad address */
#define ENOTBLK 15 /* Block device required */
#define EBUSY 16 /* Device or resource busy */
#define EEXIST 17 /* File exists */
#define EXDEV 18 /* Cross-device link */
#define ENODEV 19 /* No such device */
#define ENOTDIR 20 /* Not a directory */
#define EISDIR 21 /* Is a directory */
#define EINVAL 22 /* Invalid argument */
#define ENFILE 23 /* File table overflow */
#define EMFILE 24 /* Too many open files */
#define ENOTTY 25 /*Not a typewriter */
#define ETXTBSY 26 /* Text file busy */
#define EFBIG 27 /* File too large */
#define ENOSPC 28 /* No space left on device */
#define ESPIPE 29 /* Illegal seek */
#define EROFS 30 /* Read-only file system */
#define EMLINK 31 /* Too many links */
#define EPIPE 32 /* Broken pipe */
#define EDOM 33 /* Math argument out of domain of func */
#define ERANGE 34 /* Math result not representable */
#endif
/usr/include/asm-generic/errno.h文件：
[cpp] view plaincopy
#ifndef _ASM_GENERIC_ERRNO_H
#define _ASM_GENERIC_ERRNO_H
#include
#define EDEADLK 35 /* Resource deadlock would occur */
#define ENAMETOOLONG 36 /*File name too long */
#define ENOLCK 37 /* No record locks available */
#define ENOSYS 38 /* Function not implemented */
#define ENOTEMPTY 39 /*Directory not empty */
#define ELOOP 40 /* Too many symbolic links encountered */
#define EWOULDBLOCK EAGAIN /* Operation would block */
#define ENOMSG 42 /* No message of desired type */
#define EIDRM 43 /* Identifier removed */
#define ECHRNG 44 /* Channel number out of range */
#define EL2NSYNC 45 /* Level 2 not synchronized */
#define EL3HLT 46 /* Level 3 halted */
#define EL3RST 47 /* Level 3 reset */
#define ELNRNG 48 /* Link number out of range */
#define EUNATCH 49 /* Protocol driver not attached */
#define ENOCSI 50 /* No CSI structure available */
#define EL2HLT 51 /* Level 2 halted */
#define EBADE 52 /* Invalid exchange */
#define EBADR 53 /* Invalid request descriptor */
#define EXFULL 54 /* Exchange full */
#define ENOANO 55 /* No anode */
#define EBADRQC 56 /* Invalid request code */
#define EBADSLT 57 /* Invalid slot */
#define EDEADLOCK EDEADLK
#define EBFONT 59 /* Bad font file format */
#define ENOSTR 60 /* Device not a stream */
#define ENODATA 61 /* No data available */
#define ETIME 62 /* Timer expired */
#define ENOSR 63 /* Out of streams resources */
#define ENONET 64 /* Machine is not on the network */
#define ENOPKG 65 /* Package not installed */
#define EREMOTE 66 /* Object is remote */
#define ENOLINK 67 /* Link has been severed */
#define EADV 68 /* Advertise error */
#define ESRMNT 69 /* Srmount error */
#define ECOMM 70 /* Communication error on send */
#define EPROTO 71 /* Protocol error */
#define EMULTIHOP 72 /*Multihop attempted */
#define EDOTDOT 73 /* RFS specific error */
#define EBADMSG 74 /* Not a data message */
#define EOVERFLOW 75 /*Value too large for defined data type */
#define ENOTUNIQ 76 /* Name not unique on network */
#define EBADFD 77 /* File descriptor in bad state */
#define EREMCHG 78 /* Remote address changed */
#define ELIBACC 79 /* Can not access a needed shared library */
#define ELIBBAD 80 /* Accessing a corrupted shared library */
#define ELIBSCN 81 /* .lib section in a.out corrupted */
#define ELIBMAX 82 /* Attempting to link in too many shared libraries */
#define ELIBEXEC 83 /* Cannot exec a shared library directly */
#define EILSEQ 84 /* Illegal byte sequence */
#define ERESTART 85 /* Interrupted system call should be restarted */
#define ESTRPIPE 86 /* Streams pipe error */
#define EUSERS 87 /* Too many users */
#define ENOTSOCK 88 /* Socket operation on non-socket */
#define EDESTADDRREQ 89 /* Destination address required */
#define EMSGSIZE 90 /* Message too long */
#define EPROTOTYPE 91 /*Protocol wrong type for socket */
#define ENOPROTOOPT 92 /* Protocol not available */
#define EPROTONOSUPPORT 93 /* Protocol not supported */
#define ESOCKTNOSUPPORT 94 /* Socket type not supported */
#define EOPNOTSUPP 95 /*Operation not supported on transport endpoint */
#define EPFNOSUPPORT 96 /* Protocol family not supported */
#define EAFNOSUPPORT 97 /* Address family not supported by protocol */
#define EADDRINUSE 98 /*Address already in use */
#define EADDRNOTAVAIL 99 /*Cannot assign requested address */
#define ENETDOWN 100 /* Network is down */
#define ENETUNREACH 101 /* Network isunreachable */
#define ENETRESET 102 /* Network dropped connection because ofreset */
#define ECONNABORTED 103 /* Software caused connection abort*/
#define ECONNRESET 104 /* Connection reset by peer */
#define ENOBUFS 105 /* No buffer space available */
#define EISCONN 106 /* Transport endpoint is alreadyconnected */
#define ENOTCONN 107 /* Transport endpoint is not connected*/
#define ESHUTDOWN 108 /* Cannot send after transport endpointshutdown */
#define ETOOMANYREFS 109 /* Too many references: cannot splice*/
#define ETIMEDOUT 110 /* Connection timed out */
#define ECONNREFUSED 111 /* Connection refused */
#define EHOSTDOWN 112 /* Host is down */
#define EHOSTUNREACH 113 /* No route to host */
#define EALREADY 114 /* Operation already in progress*/
#define EINPROGRESS 115 /* Operation now inprogress */
#define ESTALE 116 /* Stale NFS file handle */
#define EUCLEAN 117 /* Structure needs cleaning */
#define ENOTNAM 118 /* Not a XENIX named type file */
#define ENAVAIL 119 /* No XENIX semaphores available*/
#define EISNAM 120 /* Is a named type file */
#define EREMOTEIO 121 /* Remote I/O error */
#define EDQUOT 122 /* Quota exceeded */
#define ENOMEDIUM 123 /* No medium found */
#define EMEDIUMTYPE 124 /* Wrong mediumtype */
#define ECANCELED 125 /* Operation Canceled */
#define ENOKEY 126 /* Required key not available */
#define EKEYEXPIRED 127 /* Key has expired*/
#define EKEYREVOKED 128 /* Key has beenrevoked */
#define EKEYREJECTED 129 /* Key was rejected by service */
/* for robust mutexes */
#define EOWNERDEAD 130 /* Owner died */
#define ENOTRECOVERABLE 131 /* State notrecoverable */
#define ERFKILL 132 /* Operation not possible due toRF-kill */
#endif
就是没有找到139.
A：看来，系统已经发生一些诡异的情况，错误码已经不正确了。为了确定139错误码确实不存在，我们在/usr/include目录下递归搜索139这个字符。
[plain] view plaincopy
grep -R '139' *
结果比较长，这里不列出来来。依然没有能找到系统对应的139错误定义。
那么，我们来看看系统日志吧，到底哪里可能有问题。
Q：使用如下命令得到了错误信息：
最后的地方确实看到hello应用程序运行错误的系统日志。应该是指针访问出错。原因是否是汇编代码大最后没有恰当地设置堆栈寄存器等寄存器的值呢？
A：在这里，很有可能。为了更容易看出问题可能在哪里，写一个类似功能的c代码，得到它的汇编代码，和上面的汇编代码进行比较。
Q：写了如下的hello_1.c代码如下：
[cpp] view plaincopy
#include
int main()
{
printf("Hello,world!\n");
return 0;
}
查看它的汇编代码：
[cpp] view plaincopy
.file "hello_1.c"
.section .rodata
.LC0:
.string "Hello,world!"
.text
.globl main
.type main, @function
main:
pushl %ebp
movl %esp, %ebp
andl $-16, %esp
subl $16, %esp
movl $.LC0, (%esp)
call puts
movl $0, %eax
leave
ret
.size main, .-main
.ident "GCC: (Ubuntu/Linaro4.5.2-8ubuntu4) 4.5.2"
.section .note.GNU-stack,"",@progbits
果然，和hello.s代码确实有不一样。这里，开始执行时对ebp, esp进行了处理，最后使用了leave和ret命令。就是它们引起的吗？
A：不过在实际中，不管是加入pushl %ebp之类代码，还是加入leave, ret指令，最终执行依然是段错误。这个地方笔者一直没明白，如果有谁知道的，希望能不吝赐教。不过，可以调用exit系统调用实现结束应用程序，这样就不会出现段错误。如下：
[cpp] view plaincopy
.section .rodata
str:
.ascii "Hello,world.\n"
.section .text
.globl _main
_main:
movl $4, %eax # the number of system call
movl $1, %ebx # file descriptor, 1 means stdout
movl $str, %ecx # string address
movl $13, %edx # string length
int $0x80
movl $1, %eax
movl $0, %ebx
int $0x80
运行结果：
Q：进行0x80软中断进行系统调用，参数在哪里保存，就在上面写的寄存器里面吗？
A：是的。linux下，功能号和返回值在eax中保存，参数一般在5个以下，就按照ebx, ecx, edx, esi, edi来传递，如果参数过多，就会使用堆栈。可以看到上面两次系统调用，均是在使用ebx,ecx, edx这些寄存器。
Q： 4号系统调用是什么？在哪里能知道？
A：可以在/usr/include/asm/unistd_32.h或者/usr/include/asm/unistd_64.h中看到平台所有系统调用，下面为unistd_32.h文件中开始一部分：
[cpp] view plaincopy
#define __NR_restart_syscall 0
#define __NR_exit 1
#define __NR_fork 2
#define __NR_read 3
#define __NR_write 4
#define __NR_open 5
#define __NR_close 6
#define __NR_waitpid 7
#define __NR_creat 8
#define __NR_link 9
#define __NR_unlink 10
#define __NR_execve 11
#define __NR_chdir 12
#define __NR_time 13
#define __NR_mknod 14
#define __NR_chmod 15
#define __NR_lchown 16
#define __NR_break 17
可以看到，1号系统调用为exit, 4号为write, 正是上面代码使用的。
Q：汇编如何调用c库函数？
A：使用call指令，不过调用前要传好参数。如下代码，调用c库printf函数：
[cpp] view plaincopy
.section .rodata
str:
.ascii "Hello,world.\n"
.section .text
.globl main
main:
pushl $str
call printf
pushl $0
call exit
保存为printf.s, 编译：
运行：
Q：可以使用as, ld来汇编以及链接吗？
A：可以的。不过需要注意，因为它使用c库，需要指定链接c库: -lc;
Q： 乘法运算mul后面只跟着一个数，另一个数存哪里？
A：另一个数存储在al, ax或者eax寄存器中，这取决于使用的是mulb, mulw还是mull指令。结果将按照高位到地位的顺序保存在dx和ax中。
同理，除法运算div后面也只跟一个除数，被除数保存在ax， dx:ax或者edx:eax中。除数的最大长度只能是被除数的一半。商和余数将根据被除数占用大小来确定：
如果被除数在ax中，商在al, 余数在ah; 如果被除数在eax中，商在ax, 余数在dx; 如果被除数在edx:eax中，商在eax, 余数在edx.
如下是测试代码：
[cpp] view plaincopy
#include
#include
#define PRINT_D(longValue) printf(#longValue" is %ld\n",((long)longValue));
#define PRINT_STR(str) printf(#str" is %s\n",(str));
static void assemble_func()
{
int result_high, result_low;
short result, remainder;
//mul
__asm__("mov $10, %eax");
__asm__("mov $10, %ebx");
__asm__("mull %ebx");
__asm__("mov %%edx, %0":"=r"(result_high));
__asm__("mov %%eax, %0":"=r"(result_low));
PRINT_D(result_high)
PRINT_D(result_low)
// div
__asm__("mov $0, %dx");
__asm__("mov $100, %ax"); // the divident is dx:ax
__asm__("mov $9, %bx");
__asm__("div %bx"); // the divisor is bx
__asm__("movw %%ax, %0":"=r"(result));
__asm__("movw %%dx, %0":"=r"(remainder));
PRINT_D(result)
PRINT_D(remainder)
}
int main()
{
assemble_func();
return 0;
}
输出结果：
[plain] view plaincopy
result_high is 0
result_low is 100
result is 11
remainder is 1
Q： 对于数据比较指令cmp，它是如何配合jmp相关的指令？
A： cmp指令将进行两个数据的差计算，如果得到的是0,jz成立； 如果不是0, jnz成立。如下例子：
[cpp] view plaincopy
#include
#include
#define PRINT_D(longValue) printf(#longValue" is %ld\n",((long)longValue));
#define PRINT_STR(str) printf(#str" is %s\n",(str));
#define PRINT(str) printf(#str"\n");
static void assemble_func()
{
__asm__("mov $10, %eax");
__asm__("cmp $10, %eax ");
__asm__("jz end");
PRINT("below jz")
__asm__("end:");
PRINT("the end")
}
int main()
{
assemble_func();
return 0;
}
显然，jz会成立，输出如下：
[plain] view plaincopy
"the end"
Q：对于某些时候，加法可能导致溢出，如何判断出来？
A： CPU内部有一个寄存器，它内部会保存溢出标志位OF, 可以通过jo或者jno判断。
[cpp] view plaincopy
#include
#include
#define PRINT_D(longValue) printf(#longValue" is %ld\n",((long)longValue));
#define PRINT_STR(str) printf(#str" is %s\n",(str));
#define PRINT(str) printf(#str"\n");
static void assemble_func()
{
__asm__("movw $0x7FFF, %ax");
__asm__("movw $0x7FFF, %bx");
__asm__("addw %bx, %ax");
__asm__("jo overflow_set");
__asm__("movl $1, %eax");
__asm__("movl $0, %ebx");
__asm__("int $0x80");
__asm__("overflow_set:");
PRINT("overflow flag is set...")
}
int main()
{
assemble_func();
return 0;
}
运行结果：
[plain] view plaincopy
"overflow flag is set..."
Q：对于溢出，到底应该判断？
A：以加法举例，如果两个相同符号的数相加得到的结果符号相反，那么一定溢出了。
Q： OF和CF标志位有什么区别？
A： CF代表进位标志。进位不一定是溢出，比如有符号整形最小值加1,虽然进位，但是没溢出。因为计算机补码的理论允许进位，但是结果却正确。
[cpp] view plaincopy
#include
#include
#define PRINT_D(longValue) printf(#longValue" is %ld\n",((long)longValue));
#define PRINT_STR(str) printf(#str" is %s\n",(str));
#define PRINT(str) printf(#str"\n");
static void assemble_func()
{
__asm__("movw $0xFFFF, %ax");
__asm__("movw $0x1, %bx");
__asm__("addw %bx, %ax");
__asm__("je carry_set");
__asm__("movl $1, %eax");
__asm__("movl $0, %ebx");
__asm__("int $0x80");
__asm__("carry_set:");
PRINT("carry flag is set...")
}
int main()
{
assemble_func();
return 0;
}
运行结果：
[plain] view plaincopy
"carry flag is set..."
当然，我们可以用jo来测试上面的加法是否溢出。
[cpp] view plaincopy
#include
#include
#define PRINT_D(longValue) printf(#longValue" is %ld\n",((long)longValue));
#define PRINT_STR(str) printf(#str" is %s\n",(str));
#define PRINT(str) printf(#str"\n");
static void assemble_func()
{
__asm__("movw $0xFFFF, %ax");
__asm__("movw $0x1, %bx");
__asm__("addw %bx, %ax");
__asm__("jo overflow_set");
__asm__("movl $1, %eax");
__asm__("movl $0, %ebx");
__asm__("int $0x80");
__asm__("overflow_set:");
PRINT("overflow flag is set...")
}
int main()
{
assemble_func();
return 0;
}
执行结果：
它什么也没输出，这就意味着OF没有被置位。
作者：陈曦
日期：2012-6-810:50:13
环境：[Ubuntu11.04 Intel-based x64 gcc4.5.2 CodeBlocks10.05 AT&T汇编 Intel汇编]
转载请注明出处:#32�=3>�2查看某个函数的汇编形式，怎么办？
A： 可以使用-p参数来指定查看的函数。如下：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image020.gif
上面查看了hello中的main函数的汇编形式(注意，虽然代码中是main函数，但是在可执行文件的符号表中，可能会被改变，这依赖编译器).
Q： 有的可执行文件支持不止一种硬件架构的代码，如何查看包含哪些？
A： 可以使用file命令查看。如上，查看上面的hello文件的信息：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image022.gif
可以看到它是64位运行于x64平台上的可执行文件。
Q： 如何编译得到一个可执行文件，它是通用的，可以包含几种架构代码的？
A： 使用gcc的-arch参数功能来实现。依然使用上面的hello.c代码：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image024.gif
再运行file命令：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image026.gif
可以看到，文件包含了两种架构体系代码。
Q： 看到很多逆向工具，可以修改特定的目标文件实现特定的目的，是否可以修改hello文件来得到希望的执行效果？
A： 是的。我并不善于修改汇编代码，我们可以修改数据段来查看效果。
修改上面的hello.c代码如下：
1. #include
2.
3. int g_i = 0xAA;
4. const int g_j = 0xBB;
5. char *str = "hello";
6.
7. int main()
8. {
9. int i = 2;
10. printf("%s %d\n", str, i);
11. return 0;
12. }
编译成hello.并查看执行效果：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image028.gif
下面就使用vi来修改可执行文件的hello字符串为iello,最后查看执行效果。使用vi打开hello文件，定位到hello字符串的位置：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image030.gif
修改hello的h为i:
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image032.gif
保存，然后执行hello:
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image034.gif
可以看到，执行结果已经变了。
Q： 有时，需要查看一个目标文件中各个段的大小，如何查看？
A： 可以使用size命令。
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image036.gif
Q： 有时，需要查看目标文件中可打印的字符串有哪些，如何查看？
A： 可以使用strings命令。
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image038.gif
Q： 很多编译好的程序，里面包含了符号表或者一些调试信息，如何去除它们？
A： 可以使用strip命令。
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image040.gif
使用strip命令后：
file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image042.gif
可以看到，符号信息确实少了。
Q： 上面提到的nm命令，它是做什么的？
A： 它是可以查看目标文件中包含的符号信息的。
xichen
2012-5-2512:50:52
[本帖最后由 tiankai001 于 2012-12-15 07:59 编辑]
