首页
社区
课程
招聘
[原创]漏洞挖掘之个人见解
发表于: 2011-9-26 10:02 10044

[原创]漏洞挖掘之个人见解

2011-9-26 10:02
10044

漏洞挖掘是每个想成为顶级黑客高手的必修课,但是这门技术一直被各个顶级的黑客高手私藏着,很少有人在公开场合讨论这个技术。而小菜我经过几个星期的苦思冥想,在如何实现高效与快速的挖掘漏洞上给出了自己的方案,希望各位大牛们不要见笑,给个评价。小菜我感激不尽。(本文只讨论基于二进制的反汇编漏洞挖掘技术)

漏洞可利用的本质:
要能够利用一个程序,改变它的执行流程,那么唯一的方法是我们能够控制EIP,而目前能够改变EIP的指令有哪些呢?
在win32的平台上目前就三个指令:ret,jxx(跳转指令),call,这三个指令改变EIP的原理我就不多说了,我们可以按打进EIP的值的来源把它们分为三类:
1.EIP来自立即数:因为立即数无法改变,所以我们没有讨论的空间。
2.EIP来自寄存器:如,jmp eax,call eax等指令。
3.EIP来自内存:如,jmp [eax] call [eax]等指令,当然ret指令的默认操作数是内存(ESP指向)。
由上可知,我们要改变程序的流程,就必须能够控制相应的寄存器和内存。所以判别一个jxx,
call,ret能否被利用就是看我们输入的数据能否影响到相应的寄存器和内存。
寄存器:
在判定我们输入的数据能否影响到相应寄存器方面我们可以使用静态反汇编和动态调试相结合,这里就是反汇编技术问题了。我就不讨论了。
内存:
在内存方面我们输入的数据只要能够改变jxx、call和ret所使用的内存,那么我们就能控制程序的流程。所以我们关键是要看操作内存的指令和API,看它能否实现我们的愿望。
关键指令:
在汇编语言中操作内存的指令很多,但是根据我对很多漏洞的分析,发现最容易引起漏洞的
指令不外乎就是rep movsb、rep movsd和mov [reg],xx,前面两个指令是最容易溢出的,而mov [reg],xxz如果与jxx back(会跳循环)结合也常引发溢出,mov [reg],xx还可引发向任意内存写数据的漏洞。
关键API:
我们只需关注那些操做内存API,有内存的申请,内存的使用,内存的释放,在内存申请的时候我们如果能够控制申请的内存大小,就可能产生溢出,内存使用API最常见的就是溢出了如wsprintf,在内存释放的时候我们如果能够控制释放内存的大小那也可以产生溢出。

漏洞挖掘:
由上分析可知,我们在进行漏洞挖掘时只需要关注的指令有:rep movsd,rep movsb和mov [reg],xx,jxx reg ,call reg。
关注的函数有,操作内存的函数,特权函数。
在这里我说一下我挖漏洞的方法:
1.使用IDA进行静态反汇编。
2.查找输入接口,如:createfile、recv、recvfrom等。可以使用动态调试下断点。
3.使用IDA从输入接口一直往下看,查找关键的指令和操作内存的API。
4.动静结合分析关键指令和内存操作函数,如:如果指令是 rep movsd我们可以反汇编看ESI是否指向我们的字符串,是否能够溢出,如果是有判断,我们可以查看是否存在绕过,如整形溢出。如果是mov [reg],xx的话我们可以查看是否可以控制reg而达到向任意内存写数据,而如果mov [reg],xx在循环中,我们看是否可以产生溢出。如果是jxx reg和 call reg我们可以查看我们是否可以控制reg。如果是API我们可以查看是否是内存操作API,如果是我们可以查看是否可以引发漏洞。
技巧:
1.使用IDA脚本给关键的指令加注释,这样就没有必要查看每条指令了。如我写的查找rep movsd脚本:
//本程序为查找rep movsd
#include <idc.idc>
static main() {
auto ea,x,count;
auto fstart,fend;
auto forword;
auto last;
count=0;
Message("**************************************************程序开始执行*************************************************\n");
//列举所以的函数
 for ( ea=NextFunction(0);ea!=BADADDR;ea=NextFunction(ea) ) {
  fstart=GetFunctionAttr(ea,FUNCATTR_START);
  fend=GetFunctionAttr(ea,FUNCATTR_END);
  //对每个函数进行搜索
  while(fstart<fend){
        fstart=FindCode(fstart,SEARCH_DOWN|SEARCH_NEXT);
        if(fstart==BADADDR){
                break;
        }else{  
    if(Byte(fstart)==0xF3&&Byte(fstart+1)==0xA5)
    {
                Message("rep movsd:bp 0x%x hack\n",fstart);
                MakeComm(fstart,"***********HACK***********");//加注释,方便查找
    count++;
    }      

       }
                    }
  }  
  Message("程序执行完毕,一共找到%i个\n",count);
  
}
2.使用IDA的图形和动态调试器比较方便。
3.大部分的mov指令是mov [esp+xx],xx,一般因为esp我们是无法控制的所有这些指令可以忽略,其他指令只要我们多去实践分析也可以总结出规律,而不必每条指令都去分析。但是API还是自己去分析。
总结:
本漏洞挖掘的优点是比较全面,漏洞挖掘的关键是我们能否突破各种条件的限制,使其执行关键的指令和API,在IE漏洞比较常见的是call eax,而eax又是突破了各种条件以后被我们控制。所有关键的是如何突破条件使我们的关键指令和函数引发漏洞


[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课

收藏
免费 7
支持
分享
最新回复 (20)
雪    币: 72
活跃值: (60)
能力值: ( LV7,RANK:100 )
在线值:
发帖
回帖
粉丝
2
顶!大牛好帖
2011-9-26 10:25
0
雪    币: 215
活跃值: (90)
能力值: ( LV3,RANK:30 )
在线值:
发帖
回帖
粉丝
3
不错的文章!
2011-9-26 10:45
0
雪    币: 220
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
4
学习学习~~~~
2011-9-26 14:34
0
雪    币: 35
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
5
学习,有所启发!
2011-9-26 19:35
0
雪    币: 992
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
6
太牛了~~~~~~
2011-9-26 19:46
0
雪    币: 146
活跃值: (182)
能力值: ( LV13,RANK:220 )
在线值:
发帖
回帖
粉丝
7
具体针对各种程序...不同的程序呈现出来的漏洞原型不一样...
找到某a**obe的潜在的堆溢出,结果却构造不出执行漏洞函 数的样本  囧....
2011-9-26 22:37
0
雪    币: 2503
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
8
不错 看看 学习学习 !!!
2011-9-26 23:19
0
雪    币: 116
活跃值: (70)
能力值: ( LV10,RANK:170 )
在线值:
发帖
回帖
粉丝
9
思路是不错,只是能否自动化分析的问题,感觉难点就在于如何自动化后给出可能出现漏洞的地方,然后再加上人工分析看是否可以利用
2013-6-18 17:01
0
雪    币: 420
活跃值: (77)
能力值: ( LV13,RANK:500 )
在线值:
发帖
回帖
粉丝
10
Fuzzing+for+software+vulnerability.pdf  搜这本书看看吧。。书里面总结的还是不错的。。
2013-6-18 17:29
0
雪    币: 155
活跃值: (20)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
11
上来第一句话就错了,谁说控制程序流程只能改变eip?
2013-6-20 09:11
0
雪    币: 4
活跃值: (170)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
12
写的不错呀,期待楼主更新啊
2018-5-3 20:37
0
雪    币: 31
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
13
太厉害了,学习!
2018-5-5 14:55
0
雪    币: 9
活跃值: (67)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
14
不错,作为入门级的启发挺好的
2018-5-12 21:33
0
雪    币: 201
活跃值: (15)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
15
2018-5-18 18:52
0
雪    币: 146
活跃值: (13)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
16
学习
2018-7-11 10:06
0
雪    币: 15187
活跃值: (16852)
能力值: (RANK:730 )
在线值:
发帖
回帖
粉丝
17
学习了
2018-7-11 10:31
0
雪    币: 237
活跃值: (55)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
18
学习了,启发不错
2018-8-10 09:30
0
雪    币: 52
活跃值: (10)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
19
其实这是一篇劝退文,哈哈哈~~~
2018-8-21 10:17
0
雪    币: 206
活跃值: (108)
能力值: ( LV6,RANK:90 )
在线值:
发帖
回帖
粉丝
20
启发好文
2018-11-13 17:17
0
雪    币: 630
活跃值: (95)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
21
思路清晰!
有几个问题:漏洞的成因不仅有通过控制流相关东东来形成;即使改变控制流路径,也不是漏洞的典型特征;作为二进制代码分析,个人认为这样的分析不错。

仅供交流,欢迎讨论。
2018-11-28 09:06
0
游客
登录 | 注册 方可回帖
返回
//