在linux平台上创建超小的ELF可执行文件(修订版)
作者:breadbox <> 原文《A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux 》 整理翻译:alert7 <> 来源: http://www.xfocus.org/ 时间:2001-9-4
前言: 有些时候,文件的大小是很重要的,从这片文章中,也探讨了ELF文件格式内部的工作情况与LINUX的操作系统。该篇文章向我们展示了如何构造一个超小的ELF可执行文件。
文章中给出的这些example都是运行在intel 386体系的LINUX上。其他系统体系上或许也有同样的效果,但我不敢肯定。
我们的汇编代码使用的是Nasm写的,它的风格类似于X86汇编风格。 NASM软件是免费的,可以从下面得到
-----------------------------------------------------------------
看看下面一个很小的程序例子,它唯一做的事情就是返回一个数值到操作系统中。 UNIX系统通常返回0和1,这里我们使用42作为返回值。
[alert7@redhat]# set -o noclobber && cat > tiny.c << EOF /* tiny.c */ int main(void) { return 42; } EOF
[alert7@redhat]# gcc -Wall tiny.c [alert7@redhat]# ./a.out ;echo $? 42
再用gdb看看,这个程序实在很简单吧 [alert7@redhat]# gdb -q a.out (gdb) disass main Dump of assembler code for function main: 0x80483a0 : push %ebp 0x80483a1 : mov %esp,%ebp 0x80483a3 : mov $0x2a,%eax ; 0x2a = 42 0x80483a8 : jmp 0x80483b0 0x80483aa : lea 0x0(%esi),%esi 0x80483b0 : leave 0x80483b1 : ret
看看有多大 [alert7@redhat]# wc -c a.out 11648 a.out
在原作者的机子上是3998,在我的rh 2.2.14-5.0上就变成11648,好大啊,我们需要使它变的更小。
[alert7@redhat]# gcc -Wall -s tiny.c [alert7@redhat]# ./a.out ;echo $? 42 [alert7@redhat]# wc -c a.out 2960 a.out 现在变成2960,小多了.
gcc -Wall -s tiny.c 实际上等价于下面2条命令: gcc -Wall tiny.c strip a.out 抛弃所有的标号
[alert7@redhat]# gcc -Wall tiny.c [alert7@redhat]# wc -c a.out 11648 a.out [alert7@redhat]# strip a.out [alert7@redhat]# wc -c a.out 2960 a.out
下一步,我们来进行优化。 [alert7@redhat]# gcc -Wall -s -O3 tiny.c [alert7@redhat]# wc -c a.out 2944 a.out
我们看到,只比上面的小16个字节,所以使用优化指令来减小大小是比较困难的。
很不幸,C程序在编译的时候,编译器会增加一些额外的代码,所以接下来我们使用汇编来写程序。
如上一个程序,我们需要返回代码为42,我们只需要把eax设置为42就可以了。程序的返回状态就是存放在eax中的,从上面一段disass main出来的汇编代码我们也应该知道。
[alert7@redhat]# set -o noclobber && cat > tiny.asm << EOF ; tiny.asm BITS 32 GLOBAL main SECTION .text main: mov eax, 42 ret EOF
编译并测试 [alert7@redhat]# nasm -f elf tiny.asm [alert7@redhat]# gcc -Wall -s tiny.o [alert7@redhat]# ./a.out ; echo $? 42
现在看看汇编代码有什么不同,看看它的大小 [alert7@redhat]# wc -c a.out 2892 a.out
这样又减小了(2944-2892)52个字节. 但是,只要我们使用main()接口,就还会有许多额外的代码。连接器linker 会自动为我们附加一段OS和main()之间的接口代码。事实上就是调用main()。所以我们如何来去掉我们不需要的代码呢。
linker默认使用的实际入口是标号_start。gcc联接时,它会自动包括一个_start的例程,设置argc和argv,....,最后调用main()。 #《before main() 分析》 如果应用程序里包含关于动态链接器的描述段(.interp section),内核首先加载应用程序的段,紧接着加载动态链接器的段,2者都加载进用户空间.然后从内核系统调用返回到用户空间,跳转到动态链接器(/lib/ld-2.2.4.so)的入口(动态连接器里定义的全局符号_start处)。如果应用程序里没有包含关于动态链接器的描述段,就直接跳转到应用程序入口(start.s里定义的全局符号_start处)。
所以让我们来看看,是否可以跳过这个,自己定义_start例程。
[alert7@redhat]# set -o noclobber && cat > tiny.asm << EOF ; tiny.asm BITS 32 GLOBAL _start SECTION .text _start: mov eax, 42 ret EOF
[alert7@redhat]# nasm -f elf tiny.asm [alert7@redhat]# gcc -Wall -s tiny.o tiny.o: In function `_start': tiny.o(.text+0x0): multiple definition of `_start' /usr/lib/crt1.o(.text+0x0): first defined here /usr/lib/crt1.o: In function `_start': /usr/lib/crt1.o(.text+0x18): undefined reference to `main' collect2: ld returned 1 exit status
如何做才可以编译过去呢? GCC有一个编译选项--nostartfiles 允许当连接程序时,不使用标准的启动文件。(连接器连接程序时,通常是使用标准启动文件的。)
我们要的就是这个,再来:
[alert7@redhat]# nasm -f elf tiny.asm [alert7@redhat]# gcc -Wall -s -nostartfiles tiny.o [alert7@redhat]# ./a.out ; echo $? Segmentation fault (core dumped) 139
gcc没有报错,但是程序core dump了,到底发生了什么?
错就错在我们把_start看成了一个C的函数,然后试着从它(_start)返回(ret)。事实上它根本不是一个函数。 它仅仅是一个标号,它只是被linker使用的一个程序入口点。当程序运行时,内核系统调用sys_execve()加载用户程序和解释器程序(如果有的话)到用户空间。最后把所保存用户现场中的eip改成了新的地址(_start),使得CPU在返回用户空间时进入新的程序入口(_start)。如果有解释器映像存在,那么这就是解释器映像的程序入口,否则就是目标映像的程序入口。参考:《漫谈兼容内核之八 ELF映像的装入(一)》 如果我们看1下汇编程序执行到_start时的堆栈,将看到(ret返回时)在堆栈顶部的数值为1(实际上是argc),它的确不象一个地址。事实上,堆栈顶部那个数值应该是用户程序的argc变量,之后是argv数组(结尾包含NULL元素),接下来是envp环境变量。所以,那个根本就不是返回地址。 (# _start 是个标号, 它不是一个函数 _start(), 内核系统调用sys_execve()结束时,从内核堆栈和内核EIP直接返回到用户空间_start标号处执行。并非是call/ret关系。如果是call调用函数, 肯定先要将返回地址EIP压入堆栈, 以便供 ret 指令返回. )
因此,_start要退出,就要调用exit()函数。
事实上,我们实际调用的是 _exit()函数,因为exit()函数所要做的额外事情太多了,因为我们跳过了lib库的启动代码,所以我们也可以跳过lib库的shutdown代码。
好了,再让我们试试。调用 _exit()函数,它唯一的参数就是一个整形。所以我们需要push一个数到堆栈里,然后调用_exit().
[alert7@redhat]# set -o noclobber && cat > tiny.asm << EOF ; tiny.asm BITS 32 EXTERN _exit GLOBAL _start SECTION .text _start: push dword 42 call _exit EOF
[alert7@redhat]# nasm -f elf tiny.asm [alert7@redhat]# gcc -Wall -s -nostartfiles tiny.o [alert7@redhat]# ./a.out ; echo $? 42
yeah~~,成功了,来看看多大
[alert7@redhat]# wc -c a.out 1312 a.out
不错不错,又减少了将近一半,:),还有没有其他我们感兴趣的gcc选项呢?
GCC有一个编译选项 -nostdlib 在连接器连接程序的时候,不使用标准的lib库和启动文件。那些东西都需要自己指定传给linker. 这个值得研究一下:
[alert7@redhat]# gcc -Wall -s -nostdlib tiny.o tiny.o: In function `_start': tiny.o(.text+0x6): undefined reference to `_exit' collect2: ld returned 1 exit status
原因: _exit()是一个库函数,加了-nostdlib 就不能使用了。所以我们必须自己处理,首先,必须知道在linux下如何制造一个系统调用。
-----------------------------------------------------------------
象其他操作系统一样,linux通过系统调用来向程序提供基本的服务。 这包括打开文件,读写文件句柄,等等......
LINUX系统调用接口只有一个指令:int 0x80。所有的系统调用都是通过该接口。 为了制造一个系统调用,eax应该包含一个数字(即系统调用号,要使用哪个系统调用),其他寄存器保存着系统调用的参数。 假如系统调用使用一个参数,那么参数在ebx中; 假如使用两个参数,那么在ebx,ecx中 假如使用三个,四个,五个参数,那么使用ebx,ecx,esi
系统调用结束返回时, eax 将包含了一个返回值。 假如错误发生,eax将是一个负值,它的绝对值表示错误的类型。
在/usr/include/asm/unistd.h中列出了不同的系统调用。快速浏览一下,可以看到exit的系统调用号为1。它只有一个参数,该值被放到ebx中,系统调用结束时该值会放在eax中作为返回值 返回给父进程。
好了,现在又可以开工了:)
[alert7@redhat]# set -o noclobber && cat > tiny.asm << EOF ; tiny.asm BITS 32 GLOBAL _start SECTION .text _start: mov eax, 1 mov ebx, 42 int 0x80 EOF
[alert7@redhat]# nasm -f elf tiny.asm [alert7@redhat]# gcc -Wall -s -nostdlib tiny.o [alert7@redhat]# ./a.out ; echo $? 42
看看大小
[alert7@redhat]# wc -c a.out 416 a.out
现在可真是tiny,呵呵,那么还能不能更小呢?
使用更短的汇编指令,看看下面两段汇编代码:
00000000 B801000000 mov eax, 1 00000005 BB2A000000 mov ebx, 42 0000000A CD80 int 0x80
00000000 31C0 xor eax, eax 00000002 40 inc eax 00000003 B32A mov bl, 42 00000005 CD80 int 0x80
很明显从功能上讲是等价的,但是下面一个比上面一个节约了5个字节。
[alert7@redhat]# set -o noclobber && cat > tiny.asm << EOF ; tiny.asm BITS 32 GLOBAL _start SECTION .text _start: xor eax,eax inc eax mov bl,42 int 0x80
EOF [alert7@redhat]# nasm -f elf tiny.asm [alert7@redhat]# ld -s tiny.o # 使用gcc大概已经不能减少大小了,我们直接使用linker--ld [alert7@redhat]# wc -c a.out 412 a.out
只小了4个字节,应该是5个字节的,原因是另外的一个字节被用来"按字节对齐"去了。
是否到达了极限了呢,能否更小?
hm.我们的程序代码现在只有7个字节长。ELF文件中其余405字节是否还有额外的负载呢 ?他们都是些什么?
使用objdump来看看文件的内容:
[alert7@redhat]# objdump -x a.out | less a.out: no symbols
a.out: file format elf32-i386 a.out architecture: i386, flags 0x00000102: EXEC_P, D_PAGED start address 0x08048080
Program Header: LOAD off 0x00000000 vaddr 0x08048000 paddr 0x08048000 align 2**12 filesz 0x00000087 memsz 0x00000087 flags r-x
Sections: Idx Name Size VMA LMA File off Algn 0 .text 00000007 08048080 08048080 00000080 2**4 CONTENTS, ALLOC, LOAD, READONLY, CODE 1 .bss 00000001 08049087 08049087 00000087 2**0 CONTENTS 2 .comment 0000001c 00000000 00000000 00000088 2**0 CONTENTS, READONLY
[译者注:在我的机子上多了个.bss节,我想可能是跟ld版本有关。所以在我系统上演示的一直比原作者上面的大:( 看来要想更小的话,还是可以考虑找个低版本的编译:) ]
如上,完整的.text节为7个字节大,刚好如我们刚才所说。
但是还有其他的节,例如".comment",谁安排它的呢?".comment"节大小为28(0x1c)个字节。我们现在不知道.comment节到底是什么东西,但是可以大胆的说,它不是必须的。
.comment节在文件偏移量为00000087 (16进制) 我们来看看是什么东西
[alert7@redhat]# objdump -s a.out
a.out: file format elf32-i386
Contents of section .text: 8048080 31c040b3 2acd80 1.@.*.. Contents of section .bss: 8049087 00 . Contents of section .comment: 0000 00546865 204e6574 77696465 20417373 .The Netwide Ass 0010 656d626c 65722030 2e393800 embler 0.98.
哦,是nasm自己的一段信息,或许我们应该使用gas.......
假如我们: [alert7@redhat]# set -o noclobber && cat > tiny.s << EOF .globl _start .text _start: xorl %eax, %eax incl %eax movb $42, %bl int $0x80 EOF
[alert7@redhat]# gcc -s -nostdlib tiny.S [alert7@redhat]# ./a.out ; echo $? 42 [alert7@redhat]# wc -c a.out 368 a.out
[译者注:在作者机子上这里大小没有变化,但在我的系统上,这里变成了368(跟作者的机子上一样了),比前面的所有的都要小 ]
再用一下objdump,会有些不同:
Sections: Idx Name Size VMA LMA File off Algn 0 .text 00000007 08048074 08048074 00000074 2**2 CONTENTS, ALLOC, LOAD, READONLY, CODE 1 .data 00000000 0804907c 0804907c 0000007c 2**2 CONTENTS, ALLOC, LOAD, DATA 2 .bss 00000000 0804907c 0804907c 0000007c 2**2 ALLOC
没有了.comment节,但是还有两个无用的节:.data和.bss,用来存储不存在的数据。而且那些节居然还是0长度。他们使文件大小变大。
所以它们都是没有用的,我们如何来去掉它们呢?
我们需要准备一些elf文件格式的知识。虽然我也已经翻译过《ELF文件格式》, 在http://www.xfocus.org/上可以找到,但是翻译的很垃圾,早已招人唾骂过了,所以还是推荐大家看英文原版文档,而且是强烈推荐。
--------------------------------------------------------------------elf文件格式英文文档下载地址: 或者
基本上,我们需要知道如下知识:
每一个elf文件都是以一个ELF header的结构开始的。该结构为52个字节长,描述了文件的内容和结构。例如,前16个字节包含了一个“标识符”,它包含了ELF文件的魔术数,标识信息表明系统是32位的还是64位的,小端序还是大端序,等等。
在elf header包含的其他的信息还有,例如:目标体系;ELF文件是否是可执行的(*.exe)\还是objedt文件(*.o)\还是一个共享库(*.so);程序的开始地址;program header table和section header table 在文件中的偏移量。
两个表可以出现在文件的任何地方, 但是以前经常是直接紧跟在ELF HEADER后面,现今可以位于文件的末尾或许是靠近末尾。两个表有相似的功能,显示了文件的不同构成视图。但是,section header table更关注的是识别在硬盘文件中不同部分的位置或偏移量,然而,program header table描述的是把硬盘文件里各个部分加载到内存中的哪个位置上。
简单的说,section header table 是被编译器(compiler)和连接器(linker)使用,program header table是被程序加载器(loader)使用。对object文件(*.o),program header talbe是 可选的,实际上也从来没有这个表。对于可执行文件(*.exe)来说,section header table 是可选的,但是它却总是存在于可执行文件中。
因此,对于我们的程序来说,seciton header table是完全没有用的,那些sections也不会影响到程序在内存中的映象。
那么,到底如何去掉它们呢?
我们必须自己来构造程序的ELF HEADER.
你也可以查看ELF文档和/usr/include/linux/elf.h得到相关信息,一个空的ELF可执行文件应该象下面这样:
BITS 32
org 0x08048000
ehdr: ; Elf32_Ehdr db 0x7F, "ELF", 1, 1, 1 ; e_ident times 9 db 0 dw 2 ; e_type dw 3 ; e_machine dd 1 ; e_version dd _start ; e_entry dd phdr - $$ ; e_phoff # $$ 表示程序起始位置 org 0x08048000 dd 0 ; e_shoff dd 0 ; e_flags dw ehdrsize ; e_ehsize dw phdrsize ; e_phentsize dw 1 ; e_phnum dw 0 ; e_shentsize dw 0 ; e_shnum dw 0 ; e_shstrndx
ehdrsize equ $ - ehdr # $表示程序当前位置
phdr: ; Elf32_Phdr dd 1 ; p_type dd 0 ; p_offset dd $$ ; p_vaddr # $$ 表示程序起始位置 org 0x08048000 dd $$ ; p_paddr dd filesize ; p_filesz dd filesize ; p_memsz dd 5 ; p_flags dd 0x1000 ; p_align
phdrsize equ $ - phdr
_start:
; your program here
filesize equ $ - $$
该映象包含了1个ELF header ,没有section header table , 有1个program header table 仅包含了1个表项目。该表项目指示程序加载器loader把完整的文件装载到内存(一般的是包含自己的ELF header 和 program header table)开始地址为0x08048000(这是可执行文件装载的默认地址)的地方,并且开始执行_start处代码,_start紧跟在program header table之后。没有.data段,没有.bss段,没有.comment段。
好了,现在我们的程序就变成这样了:
[alert7@redhat]# cat tiny.asm ; tiny.asm org 0x08048000
ehdr: ; Elf32_Ehdr db 0x7F, "ELF", 1, 1, 1 ; e_ident times 9 db 0 dw 2 ; e_type dw 3 ; e_machine dd 1 ; e_version dd _start ; e_entry dd phdr - $$ ; e_phoff dd 0 ; e_shoff dd 0 ; e_flags dw ehdrsize ; e_ehsize dw phdrsize ; e_phentsize dw 1 ; e_phnum dw 0 ; e_shentsize dw 0 ; e_shnum dw 0 ; e_shstrndx
ehdrsize equ $ - ehdr
phdr: ; Elf32_Phdr dd 1 ; p_type dd 0 ; p_offset # 段 在文件中偏移量 dd $$ ; p_vaddr # 段 加载到内存中的虚拟地址 dd $$ ; p_paddr dd filesize ; p_filesz # 段 在文件中的大小 dd filesize ; p_memsz # 段 加载到内存中的大小 dd 5 ; p_flags dd 0x1000 ; p_align
phdrsize equ $ - phdr _start: mov bl, 42 xor eax, eax inc eax int 0x80
filesize equ $ - $$
[alert7@redhat]# nasm -f bin -o a.out tiny.asm [alert7@redhat]# chmod +x a.out [alert7@redhat]# ./a.out ; echo $? 42
再看看大小:
[alert7@redhat]# wc -c a.out 93 a.out
真是奇迹,才93个字节大小了。
假如我们明白在可执行文件中的每个字节,我们或许还可以更小,也许很是极限了哦:)
-------------------------------------------------------------------
你可能已经注意到了: 1)ELF文件的不同部分允许被放在文件中任何地方(除了ELF header,它必须放在文件的开始),并且它们可以交叠。 2)事实上有一些字段到目前还没有被用到。
在鉴别文件字段(16字节)最后有9个字节为0,我们的代码只有7个字节长,所以我们试图把代码放入鉴别文件字段最后9个字节中,还有2个字节剩余。 (但是考虑到指令的对齐,代码实际是从第9字节开始,所以只有1个字节剩余)
(DB 字节; DW 字; DD 双字)
[alert7@redhat]# cat tiny.asm ; tiny.asm
BITS 32
org 0x08048000
ehdr: ; Elf32_Ehdr db 0x7F, "ELF" ; e_ident # 0x7F , "E","L","F" 占4个db db 1, 1, 1, 0 # 1, 1, 1, 0 占4个db _start: mov bl, 42 # 代码从第9字节开始, 占7个字节 xor eax, eax inc eax int 0x80 db 0 # 剩余1个字节 dw 2 ; e_type dw 3 ; e_machine dd 1 ; e_version dd _start ; e_entry dd phdr - $$ ; e_phoff dd 0 ; e_shoff dd 0 ; e_flags dw ehdrsize ; e_ehsize dw phdrsize ; e_phentsize dw 1 ; e_phnum dw 0 ; e_shentsize dw 0 ; e_shnum dw 0 ; e_shstrndx
ehdrsize equ $ - ehdr
phdr: ; Elf32_Phdr dd 1 ; p_type dd 0 ; p_offset # 段 在文件内偏移量 dd $$ ; p_vaddr # 段 加载到内存中的虚拟地址 dd $$ ; p_paddr dd filesize ; p_filesz # 段 在文件内的大小 dd filesize ; p_memsz # 段 加载到内存中的大小 dd 5 ; p_flags dd 0x1000 ; p_align
phdrsize equ $ - phdr
filesize equ $ - $$
[alert7@redhat]# nasm -f bin -o a.out tiny.asm [alert7@redhat]# chmod +x a.out [alert7@redhat]# ./a.out ; echo $? 42 [alert7@redhat]# wc -c a.out 84 a.out
现在我们的程序只有1个elf header和1个program header table表项目,为了装载和运行程序,这些是我们必需的。所以现在我们不能减少了!除非....
我们使elf header和program header table一部分重合或者说是交叠,有没有可能呢?
答案当然是有的,注意我们的程序,就会注意到在elf header最后8个字节和program header table 前8个字节是一样的,所以...
(DB 字节; DW 字; DD 双字)
[alert7@redhat]# cat tiny.asm ; tiny.asm
BITS 32
org 0x08048000
ehdr: # elf header 开始 db 0x7F, "ELF" ; e_ident db 1, 1, 1, 0 _start: mov bl, 42 xor eax, eax inc eax int 0x80 db 0 dw 2 ; e_type dw 3 ; e_machine dd 1 ; e_version dd _start ; e_entry dd phdr - $$ ; e_phoff dd 0 ; e_shoff dd 0 ; e_flags dw ehdrsize ; e_ehsize dw phdrsize ; e_phentsize phdr: dd 1 ; e_phnum ; p_type # program header table 开始 ; e_shentsize dd 0 ; e_shnum ; p_offset ; e_shstrndx ehdrsize equ $ - ehdr # elf header 结尾 dd $$ ; p_vaddr dd $$ ; p_paddr dd filesize ; p_filesz dd filesize ; p_memsz dd 5 ; p_flags dd 0x1000 ; p_align phdrsize equ $ - phdr # program header table 结尾
filesize equ $ - $$
[alert7@redhat]# nasm -f bin -o a.out tiny.asm [alert7@redhat]# chmod +x a.out [alert7@redhat]# ./a.out ; echo $? 42 [alert7@redhat]# wc -c a.out 76 a.out
现在已经不能够再更多的重叠那两个结构了,因为两个结构的字节没有再相同的了。
但是,我们可以再构造这两个结构,使它们有更多的相同部分。
到底linux实际会检查多少字段呢?例如,它会检查e_machine字段吗?
事实上很令人惊讶,一些字段居然被默默的忽略了。
因此:哪些东西才是ELF header中最重要的呢?最前的四个字节当然重要,它包含了一个魔术数,否则linux的exec()系统调用不会继续处理它。但e_ident字段的其他3个字节却不会被检查,这就意味着有不少于12个连续的字节 可供我们设置为任意的值。e_type必须被设置为2(用来表明是个可执行文件),e_machine必须为3。就象e_ident中的版本号一样,e_version被完全的忽略。(这样做可以理解,因为现在只有一个版本的ELF标准)。e_entry当然要设置为正确的值,因为它指向程序的开始。毫无疑问,e_phoff应该是program header table在文件中的正确偏移量,e_phnum是program header table中所包含的正确的入口数。然而,e_flags 没有被当前的Intel体系使用,所以我们应该可以重新利用。e_ehsize用来校验elf header 所期望的大小,但是LINUX忽略了它。e_phentsize用来校验program header table表项的大小。但是只有在2.2.17以后的2.2系列内核中这个字段才是被检查的。早于2.2的和2.4.0的内核是忽略它的。
program header table又如何呢? p_type必须是1(即PT_LOAD),表明这是个可载入的段。p_offset是开始装载的文件内偏移量。同样的,p_vaddr是正确的内存装载地址,可用的地址为0-0x80000000,并且要页对齐。文档上说p_paddr被忽略,因此这个字段是我们可用的。p_filesz 指示了从文件中装载到内存中有多少字节,p_memsz指示了需要多大的内存段。因此,他们的值应该是相关的。p_flags指示了给于内存段什么权限。可设置读,写,执行,其他位也可能被设置,但是我们只需要最小权限。最后,p_align给出了对齐需求。该字段主要使用在当重定位段包含了与位置无关的代码时,岂今为止,对于可执行文件 LINUX忽略该字段。
根据分析,我们从中可以看出一些必要的字段,一些无用的字段,这样,我们就可以重叠更多的字数了。
[alert7@redhat]# cat tiny.asm ; tiny.asm
BITS 32
org 0x00200000
db 0x7F, "ELF" ; e_ident <----- # ELF header 开始 db 1, 1, 1, 0 _start: mov bl, 42 xor eax, eax inc eax int 0x80 db 0 dw 2 ; e_type dw 3 ; e_machine dd 1 ; e_version dd _start ; e_entry dd phdr - $$ ; e_phoff phdr: dd 1 ; e_shoff ; p_type <------ # program header table 开始 e_shoff 忽略 p_type=1 dd 0 ; e_flags ; p_offset # e_flags 忽略 p_offset=0 dd $$ ; e_ehsize ; p_vaddr # e_ehsize 忽略 p_vaddr = 0x00200000 ; e_phentsize # e_phentsize = 0x0020 (program header table的1个表项大小为0x20可以计算出来) dw 1 ; e_phnum ; p_paddr # e_phnum = 1 p_paddr 忽略 dw 0 ; e_shentsize dd filesize ; e_shnum ; p_filesz # e_shnum忽略 e_shstrndx 忽略 ; e_shstrndx <------- # ELF header 结束. linux 不检查ELF header长度,因此不用计算e_ehsize dd filesize ; p_memsz dd 5 ; p_flags dd 0x1000 ; p_align <------ # program header table 结束
filesize equ $ - $$
正如你看到的,program header table的前12个字节重叠在ELF header的最后12个字节里。 相当的吻合。重叠中只有两部分会有麻烦。 第一个是e_phnum字段,相对应的p_paddr 被忽略。 第二个是e_phentsize字段,它和p_vaddr前两个字节相一致,为了这个相一致, 使用了非标准的加载地址0x00200000,那么前面的两个字节就是0x0020。
[alert7@redhat]# nasm -f bin -o a.out tiny.asm [alert7@redhat]# chmod +x a.out [alert7@redhat]# ./a.out ; echo $? 42 [alert7@redhat]# wc -c a.out 64 a.out
well,现在大小为64字节了
如果我们使 program header table完全放在ELF header中,那么,呵呵,大小就可以更小了,但是这样做行吗?
是的,是可能的。使program header table从第四个字节就开始,精心构造可执行的ELF文件。
我们注意到: 第一, p_memsz指出了为内存段分配多少内存。明显的,它必须至少跟p_filesz一样大,当然更大是没有关系的。
第二, 可执行位可以从p_flags字段中丢弃,linux会为我们设置它的。为什么这样会工作呢? 作者说不知道,又猜测了原因说是否因为入口指针指向了该段?
[★译者注: 但我知道,linux根本就没有为我们设置p_flags字段中的可执行位,之所以可以工作, 只是因为Intel硬件体系上根本就不具有执行保护功能,就是这个原因,才使得有人有 必要设计了类似堆栈不可运行的内核补丁程序。]
[alert7@redhat]# cat tiny.asm ; tiny.asm
BITS 32
org 0x00001000
db 0x7F, "ELF" ; e_ident <---- # ELF header 开始, 0x7F , "E","L","F" 占4个db dd 1 ; p_type <---- # program header table 开始, 直接可以算出 e_phoff = 4 dd 0 ; p_offset # p_offset = 0 dd $$ ; p_vaddr # p_vaddr = $$ dw 2 ; e_type ; p_paddr # e_type =2 p_paddr 忽略 dw 3 ; e_machine dd filesize ; e_version ; p_filesz # e_version 忽略 p_filesz = filesize dd _start ; e_entry ; p_memsz # e_entry = _start p_memsz = _start 保证数值大于 p_filesz 即可 dd 4 ; e_phoff ; p_flags # e_phoff = 4 p_flags = 4 在intel 平台下, p_flags =4 仍然可以执行 _start: mov bl, 42 ; e_shoff ; p_align # e_shoff 忽略 p_align 忽略 xor eax, eax inc eax ; e_flags # e_flags 忽略 int 0x80 db 0 <----- # program header table 结束, 直接可以算出 e_phentsize = 0x20 dw 0x34 ; e_ehsize # e_ehsize 长度固定等于52字节 =0x34 dw 0x20 ; e_phentsize dw 1 ; e_phnum dw 0 ; e_shentsize dw 0 ; e_shnum dw 0 ; e_shstrndx <----- # ELF header 结束
filesize equ $ - $$
p_flags字段从5变为4,这个4也是e_phoff字段的值,它给出了program header table在文件中的偏移量。代码被放在从e_shoff 开始到e_flags内部结束。 (e_shoff和e_flags为dd,共8字节,刚好放下我们的代码)
注意:装载地址(0x1000)被设定的更低了。只是为了令e_entry的值是一个比较小的合适的数值,因为e_entry 的值也是p_mensz的值(保证p_memsz数值大于 p_filesz 即可, 但也不要大的太离谱)。
[alert7@redhat]# nasm -f bin -o a.out tiny.asm [alert7@redhat]# chmod +x a.out [alert7@redhat]# ./a.out ; echo $? 42 [alert7@redhat]# wc -c a.out 52 a.out [alert7@redhat]# readelf -a a.out ELF Header: Magic: 7f 45 4c 46 01 00 00 00 00 00 00 00 00 10 00 00 Class: ELF32 Data: none Version: 0 OS/ABI: UNIX - System V ABI Version: 0 Type: EXEC (Executable file) Machine: Intel 80386 Version: 0x34 Entry point address: 0x1020 Start of program headers: 4 (bytes into file) Start of section headers: -1070519629 (bytes into file) Flags: 0x80cd40 Size of this header: 52 (bytes) Size of program headers: 32 (bytes) Number of program headers: 1 Size of section headers: 0 (bytes) Number of section headers: 0 Section header string table index: 0
There are no sections in this file.
Program Header: Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align LOAD 0x000000 0x00001000 0x00030002 0x00034 0x01020 R 0xc0312ab3
There is no dynamic segment in this file.
There are no relocations in this file.
No version information found in this file. [alert7@redhat]# strings a.out # a.out 里面完全找不到字符串 [alert7@redhat]#
现在,程序代码本身和program header table完全嵌入了ELF header,我们的可执行文件现在和elf header一样大。而且可以正常运行。
最后,我们不禁还要问,是否到达了最小的极限呢?毕竟,我们需要一个完整的ELF header,否则linux不会给我们运行的机会。
真的是这样吗 ?
错了,我们还可以运用最后一招卑鄙的哄骗技术了。
如果文件大小还没有整个ELF header大的话,linux还是会运行它的。把那些少的字节填充为0。呵呵,在文件的最后还有7个0,可以丢弃。
[alert7@redhat]# cat tiny.asm ; tiny.asm ◆◆◆
BITS 32
org 0x00001000
db 0x7F, "ELF" ; e_ident dd 1 ; p_type dd 0 ; p_offset dd $$ ; p_vaddr dw 2 ; e_type ; p_paddr dw 3 ; e_machine dd filesize ; e_version ; p_filesz dd _start ; e_entry ; p_memsz dd 4 ; e_phoff ; p_flags _start: mov bl, 42 ; e_shoff ; p_align xor eax, eax inc eax ; e_flags int 0x80 db 0 dw 0x34 ; e_ehsize dw 0x20 ; e_phentsize db 1 ; e_phnum ; e_shentsize ; e_shnum ; e_shstrndx
filesize equ $ - $$
[alert7@redhat]# nasm -f bin -o a.out tiny.asm [alert7@redhat]# chmod +x a.out [alert7@redhat]# ./a.out ; echo $? 42 [alert7@redhat]# wc -c a.out 45 a.out
讨论到此,一个elf可执行文件最小大小为45 bytes,我们被迫终止我们的讨论了。
-------------------------------------------------------------------------------- 一个45字节大小的文件比一个用标准工具创建的最小可执行文件的1/8还要小,比用纯C代码创建的1/50还要小。
这片文章中的一半ELF字段变量违反了标准的ELF规范,
以上程序中打上◆ 的程序,会使readelf core dump [alert7@redhat]# readelf -a a.out ELF Header: Magic: 7f 45 4c 46 01 01 01 00 b3 2a 31 c0 40 cd 80 00 Class: ELF32 Data: 2's complement, little endian Version: 1 (current) OS/ABI: UNIX - System V ABI Version: 179 Type: EXEC (Executable file) Machine: Intel 80386 Version: 0x1 Entry point address: 0x200008 Start of program headers: 32 (bytes into file) Start of section headers: 1 (bytes into file) Flags: 0x0 Size of this header: 0 (bytes) Size of program headers: 32 (bytes) Number of program headers: 1 Size of section headers: 0 (bytes) Number of section headers: 64 Section header string table index: 0 readelf: Error: Unable to read in 0 bytes of section headers
Program Header: Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align LOAD 0x000000 0x00200000 0x00000001 0x00040 0x00040 R E 0x1000
There is no dynamic segment in this file. Segmentation fault (core dumped)
呵呵,居然出现了可爱的core dumped
[alert7@redhat]# ls -l /usr/bin/readelf -rwxr-xr-x 1 root root 132368 Feb 5 2000 /usr/bin/readelf
:(不是带s位的,也就懒的去看它到底哪里出问题了。
创建的这种超小的elf文件的确比较畸形,连objdump都不能dump它们了。 [alert7@redhat]# objdump -a a.out objdump: a.out: File format not recognized |