ELF文件格式解析
ELF文件格式的相关知识是Linux下进行pwn以及reverse的基础,是二进制可执行文件的一种形式,下面我们通过一个ELF文件的生成,并结合其ELF文件结构分析一下一个二进制文件在系统中执行时与权限相关的一些ELF结构知识点。文章内容较为浅显,大佬可略过,文章有不足之处,也恳请批评指正。
ELF文件的生成
一个main.c的文件,在linux系统上,经过gcc编译后可以生成一个可以执行的文件,以hello.c为例
#include<stdio.h>
int main(){
printf("Hello World \n");
return 0;
}
一个ELF的生成,最开始是在系统中编写的一个源文件,依次会经过预处理,编译,汇编,链接过程后,会生成一个ELF格式的可以执行的文件。我们往往通过gcc hello.c -o hello即可生成一个文件名为hello的可执行文件,该程序会输出Hello World。
在如上中,我们通过gcc 一条命令将hello.c编译成能够执行的二进制文件,但在这一条命令中,同时包含了预处理,编译,汇编,链接的过程。下面分别来看这几个过程
预处理
主要是处理头文件,预编译主要是处理那些源代码中的以"#"开始的预编译指令,会删除注释
gcc -E hello.c -o hello.i
编译
编译,经过编译后,可以生成.s的汇编文件
gcc -S hello.i -o hello.s
汇编
汇编,经过汇编后,生成机器指令
as hello.s -o hello.o
or
gcc -c hello.s -o hello.o
链接
经过汇编后生成的是目标文件,编译器编译源代码后生成的文件叫目标文件,在目标文件中,其本身是按照ELF文件的格式存储的,但是其中的一些符号以及地址还没有被调整,再经过链接后,其生成的即是hello的二进制的可执行文件。
ld -s -o hello hello.o
ELF文件内容解析
一个标准的ELF文件,是由文件头(ELF Header),程序头(Segment Header),节头(Section Header),符号表( Symbol Table),动态符号表(Dynamic Symbol Table)等组成,我们在010editor中,通过ELF Template来看一下hello的文件格式,如下图
ELF Header
在ELF Header中的 file_identification 指明该文件类型为ELF的二进制文件
在ELF File Header中通(e_phoff e_shoff两个变量,我们可以找到Segment Header和 Section Header的位置,从而找到程序头和节表头的位置,在这两个表中,有对各自段以及节的详细的介绍。
在程序实际中,我们可以看到start的位置也在0x400430的位置处。
ELF程序头
ELF程序头,是程序装载不可缺少的一部分,可以分为以下几个段
PT_LOAD ,即可以装载到系统中的段
PT_DYNAMIC, 动态段时动态链接的文件所必须的,包含着动态链接所需要的信息。
PT_NOTE,保存一些系统相关的附加信息
PT_INTERP,段只将位置和大小信息存放在一个以null 为终止符的字符串 中,是对程序解释器位置的描述
PT_PHDR 段保存了程序头表本身的位置和大小
memsz的值对应的时1788,hex(1788)=0x6fc,所以该段的权限是读和可执行的权限,在0x400238到0x4006fc只有只读权限,这是由于节表中权限的设置导致的。
在ELF节表中的权限
ELF 节表头
ELF中,包含很多的节表,我们可以通过readelf -S hello来查看
我们可以看到各种节表信息,常用以下几项
.text 该节保存了程序代码
.bss 该节主要保存
.data 保存了初始化的全局变量
.plt 包含了动态链接器调用从共享库导入的函数必需的相关的代码
.got.plt 保存了全局的偏移表等表,got表位于该节
在ELF 的描述节表的相关的数据结构中,s_flags的标志用于描述该节的权限,不同的数值,分别对应了不同的权限,具体如下图
攻击相关got表劫持原理
在CTF的pwn相关题目中,我们可以通过栈溢出,以及堆溢出来实现shell权限的获取,获取权限往往可以通过劫持got表来实现,而这个实现的前提需要got表(.got.plt)权限为可写权限。首先看一下什么是plt表和got表
plt表,是过程链接表,程序动态调用的符号在可执行文件中是位置无关的符号,当程序调用时,会通过plt表将符号转移到绝对地址。
got表中保存了ELF文件在共享库中的绝对地址,在程序一开始运行的时候,got表是空的,当符号第一次调用的时候,会动态解析符号的绝对地址并填充到got表中,在第二次调用同一符号的时候,直接通过got表跳转。
#include<stdio.h>
int main(){
printf("hello world");
printf("Hello");
return 0;
}
这里是call <0x400400>
可以看到是跳转到0x601018处,在下图中我们可以看到在0x601018处的值为0x00007ffff7a62800
下面我们通过单步调试s跟进程序,可以看到rip指向了0x00007ffff7a62800
防御相关
可以通过复写got表,实现got表劫持,当我们设置got表不可写的时候,该攻击也就失效了,RELRO技术可以实现该保护。在程序编译的时候,我们可以通过如下命令,实现got表不可写,需要注意的是,RELRO保护可分为 Partial RELRO 和Full RELRO,当编译的时候,我们指定 Partial RELRO 的时候,其got表仍旧可写
#Partial RELRO,gcc 默认也是Partial RELRO
gcc -z lazy -o test test.c
#Full RELRO
gcc hello.c -o -z now
合天网安实验室相关实验:ELF
http://www.hetianlab.com/expc.do?ec=ECID9d6c0ca797abec2016111111063500001
(长按做实验)
别忘了投稿哦
大家有好的技术原创文章
欢迎投稿至邮箱:aaa@qq.com
合天会根据文章的时效、新颖、文笔、实用等多方面评判给予200元-800元不等的稿费哦
有才能的你快来投稿吧!
了解投稿详情点击——重金悬赏 | 合天原创投稿涨稿费啦!
上一篇: 递归、动态规划、回溯法解决整数划分问题,并输出所有划分情况
下一篇: 专题训练--分数规划&整数划分