hammer/examples/dns.c
2013-01-16 16:41:23 +01:00

474 lines
14 KiB
C

#include <sys/socket.h>
#include <netinet/in.h>
#include <err.h>
#include <string.h>
#include "../src/hammer.h"
#include "dns_common.h"
#include "dns.h"
#include "rr.h"
#define false 0
#define true 1
///
// Semantic Actions and Validations
///
bool is_zero(HParseResult *p) {
if (TT_UINT != p->ast->token_type)
return false;
return (0 == p->ast->uint);
}
/**
* Every DNS message should have QDCOUNT entries in the question
* section, and ANCOUNT+NSCOUNT+ARCOUNT resource records.
*/
bool validate_dns(HParseResult *p) {
if (TT_SEQUENCE != p->ast->token_type)
return false;
dns_header_t *header = H_FIELD(dns_header_t, 0);
size_t qd = header->question_count;
size_t an = header->answer_count;
size_t ns = header->authority_count;
size_t ar = header->additional_count;
HParsedToken *questions = p->ast->seq->elements[1];
if (questions->seq->used != qd)
return false;
HParsedToken *rrs = p->ast->seq->elements[2];
if (an+ns+ar != rrs->seq->used)
return false;
return true;
}
uint8_t* get_cs(const HCountedArray *arr) {
uint8_t *ret = h_arena_malloc(arr->arena, sizeof(uint8_t)*arr->used);
for (size_t i=0; i<arr->used; ++i)
ret[i] = arr->elements[i]->uint;
return ret;
}
uint8_t** get_txt(const HCountedArray *arr) {
uint8_t **ret = h_arena_malloc(arr->arena, sizeof(uint8_t*)*arr->used);
for (size_t i=0; i<arr->used; ++i) {
uint8_t *tmp = h_arena_malloc(arr->arena, sizeof(uint8_t)*arr->elements[i]->seq->used);
for (size_t j=0; j<arr->elements[i]->seq->used; ++j)
tmp[j] = arr->elements[i]->seq->elements[j]->uint;
}
return ret;
}
void set_rr(struct dns_rr rr, HCountedArray *rdata) {
uint8_t *data = h_arena_malloc(rdata->arena, sizeof(uint8_t)*rdata->used);
for (size_t i=0; i<rdata->used; ++i)
data[i] = rdata->elements[i]->uint;
// Mapping numeric RR types (as indices) to parsers
const HParser *parsers[] = {
NULL, // there is no type 0
init_a(), // 1
init_ns(),
init_md(),
init_mf(),
init_cname(), // 5
init_soa(),
init_mb(),
init_mg(),
init_mr(),
init_null(), // 10
init_wks(),
init_ptr(),
init_hinfo(),
init_minfo(),
init_mx(), // 15
init_txt()
};
// Parse rdata if possible.
const HParseResult *p = NULL;
if (rr.type < sizeof(parsers)) {
const HParser *parser = parsers[rr.type];
if (parser)
p = h_parse(parser, (const uint8_t*)data, rdata->used);
}
// If the RR doesn't parse, set its type to 0.
if (!p)
rr.type = 0;
// Pack the parsed rdata into rr.
switch(rr.type) {
case 1: // A
rr.a = p->ast->seq->elements[0]->uint;
break;
case 2: // NS
rr.ns = *H_FIELD(dns_domain_t, 0);
break;
case 3: // MD
rr.md = *H_FIELD(dns_domain_t, 0);
break;
case 4: // MF
rr.md = *H_FIELD(dns_domain_t, 0);
break;
case 5: // CNAME
rr.cname = *H_FIELD(dns_domain_t, 0);
break;
case 6: // SOA
rr.soa.mname = *H_FIELD(dns_domain_t, 0);
rr.soa.rname = *H_FIELD(dns_domain_t, 1);
rr.soa.serial = p->ast->seq->elements[2]->uint;
rr.soa.refresh = p->ast->seq->elements[3]->uint;
rr.soa.retry = p->ast->seq->elements[4]->uint;
rr.soa.expire = p->ast->seq->elements[5]->uint;
rr.soa.minimum = p->ast->seq->elements[6]->uint;
break;
case 7: // MB
rr.mb = *H_FIELD(dns_domain_t, 0);
break;
case 8: // MG
rr.mg = *H_FIELD(dns_domain_t, 0);
break;
case 9: // MR
rr.mr = *H_FIELD(dns_domain_t, 0);
break;
case 10: // NULL
rr.null = h_arena_malloc(rdata->arena, sizeof(uint8_t)*p->ast->seq->used);
for (size_t i=0; i<p->ast->seq->used; ++i)
rr.null[i] = p->ast->seq->elements[i]->uint;
break;
case 11: // WKS
rr.wks.address = p->ast->seq->elements[0]->uint;
rr.wks.protocol = p->ast->seq->elements[1]->uint;
rr.wks.len = p->ast->seq->elements[2]->seq->used;
rr.wks.bit_map = h_arena_malloc(rdata->arena, sizeof(uint8_t)*p->ast->seq->elements[2]->seq->used);
for (size_t i=0; i<rr.wks.len; ++i)
rr.wks.bit_map[i] = p->ast->seq->elements[2]->seq->elements[i]->uint;
break;
case 12: // PTR
rr.ptr = *H_FIELD(dns_domain_t, 0);
break;
case 13: // HINFO
rr.hinfo.cpu = get_cs(p->ast->seq->elements[0]->seq);
rr.hinfo.os = get_cs(p->ast->seq->elements[1]->seq);
break;
case 14: // MINFO
rr.minfo.rmailbx = *H_FIELD(dns_domain_t, 0);
rr.minfo.emailbx = *H_FIELD(dns_domain_t, 1);
break;
case 15: // MX
rr.mx.preference = p->ast->seq->elements[0]->uint;
rr.mx.exchange = *H_FIELD(dns_domain_t, 1);
break;
case 16: // TXT
rr.txt.count = p->ast->seq->elements[0]->seq->used;
rr.txt.txt_data = get_txt(p->ast->seq->elements[0]->seq);
break;
default:
break;
}
}
const HParsedToken* act_header(const HParseResult *p) {
HParsedToken **fields = p->ast->seq->elements;
dns_header_t header_ = {
.id = fields[0]->uint,
.qr = fields[1]->uint,
.opcode = fields[2]->uint,
.aa = fields[3]->uint,
.tc = fields[4]->uint,
.rd = fields[5]->uint,
.ra = fields[6]->uint,
.rcode = fields[7]->uint,
.question_count = fields[8]->uint,
.answer_count = fields[9]->uint,
.authority_count = fields[10]->uint,
.additional_count = fields[11]->uint
};
dns_header_t *header = H_MAKE(dns_header_t);
*header = header_;
return H_MAKE_TOKEN(dns_header_t, header);
}
const HParsedToken* act_label(const HParseResult *p) {
dns_label_t *r = H_MAKE(dns_label_t);
r->len = p->ast->seq->used;
r->label = h_arena_malloc(p->arena, r->len + 1);
for (size_t i=0; i<r->len; ++i)
r->label[i] = p->ast->seq->elements[i]->uint;
r->label[r->len] = 0;
return H_MAKE_TOKEN(dns_label_t, r);
}
const HParsedToken* act_question(const HParseResult *p) {
dns_question_t *q = H_MAKE(dns_question_t);
HParsedToken **fields = p->ast->seq->elements;
// QNAME is a sequence of labels. Pack them into an array.
q->qname.qlen = fields[0]->seq->used;
q->qname.labels = h_arena_malloc(p->arena, sizeof(dns_label_t)*q->qname.qlen);
for(size_t i=0; i<fields[0]->seq->used; i++) {
q->qname.labels[i] = *H_SEQ_INDEX(dns_label_t, fields[0], i);
}
q->qtype = fields[1]->uint;
q->qclass = fields[2]->uint;
return H_MAKE_TOKEN(dns_question_t, q);
}
const HParsedToken* act_message(const HParseResult *p) {
h_pprint(stdout, p->ast, 0, 2);
dns_message_t *msg = H_MAKE(dns_message_t);
dns_header_t *header = H_FIELD(dns_header_t, 0);
msg->header = *header;
HParsedToken *qs = p->ast->seq->elements[1];
struct dns_question *questions = h_arena_malloc(p->arena,
sizeof(struct dns_question)*(header->question_count));
for (size_t i=0; i<header->question_count; ++i) {
questions[i] = *H_SEQ_INDEX(dns_question_t, qs, i);
}
msg->questions = questions;
HParsedToken *rrs = p->ast->seq->elements[2];
struct dns_rr *answers = h_arena_malloc(p->arena,
sizeof(struct dns_rr)*(header->answer_count));
for (size_t i=0; i<header->answer_count; ++i) {
answers[i].name = *H_SEQ_INDEX(dns_domain_t, rrs+i, 0);
answers[i].type = rrs[i].seq->elements[1]->uint;
answers[i].class = rrs[i].seq->elements[2]->uint;
answers[i].ttl = rrs[i].seq->elements[3]->uint;
answers[i].rdlength = rrs[i].seq->elements[4]->seq->used;
set_rr(answers[i], rrs[i].seq->elements[4]->seq);
}
msg->answers = answers;
struct dns_rr *authority = h_arena_malloc(p->arena,
sizeof(struct dns_rr)*(header->authority_count));
for (size_t i=0, j=header->answer_count; i<header->authority_count; ++i, ++j) {
authority[i].name = *H_SEQ_INDEX(dns_domain_t, rrs+j, 0);
authority[i].type = rrs[j].seq->elements[1]->uint;
authority[i].class = rrs[j].seq->elements[2]->uint;
authority[i].ttl = rrs[j].seq->elements[3]->uint;
authority[i].rdlength = rrs[j].seq->elements[4]->seq->used;
set_rr(authority[i], rrs[j].seq->elements[4]->seq);
}
msg->authority = authority;
struct dns_rr *additional = h_arena_malloc(p->arena,
sizeof(struct dns_rr)*(header->additional_count));
for (size_t i=0, j=header->answer_count+header->authority_count; i<header->additional_count; ++i, ++j) {
additional[i].name = *H_SEQ_INDEX(dns_domain_t, rrs+j, 0);
additional[i].type = rrs[j].seq->elements[1]->uint;
additional[i].class = rrs[j].seq->elements[2]->uint;
additional[i].ttl = rrs[j].seq->elements[3]->uint;
additional[i].rdlength = rrs[j].seq->elements[4]->seq->used;
set_rr(additional[i], rrs[j].seq->elements[4]->seq);
}
msg->additional = additional;
return H_MAKE_TOKEN(dns_message_t, msg);
}
#define act_hdzero act_ignore
#define act_qname act_index0
///
// Parser / Grammar
///
const HParser* init_parser() {
static const HParser *ret = NULL;
if (ret)
return ret;
H_RULE (domain, init_domain());
H_ARULE(hdzero, h_attr_bool(h_bits(3, false), is_zero));
H_ARULE(header, h_sequence(h_bits(16, false), // ID
h_bits(1, false), // QR
h_bits(4, false), // opcode
h_bits(1, false), // AA
h_bits(1, false), // TC
h_bits(1, false), // RD
h_bits(1, false), // RA
hdzero, // Z
h_bits(4, false), // RCODE
h_uint16(), // QDCOUNT
h_uint16(), // ANCOUNT
h_uint16(), // NSCOUNT
h_uint16(), // ARCOUNT
NULL));
H_RULE (type, h_int_range(h_uint16(), 1, 16));
H_RULE (qtype, h_choice(type,
h_int_range(h_uint16(), 252, 255),
NULL));
H_RULE (class, h_int_range(h_uint16(), 1, 4));
H_RULE (qclass, h_choice(class,
h_int_range(h_uint16(), 255, 255),
NULL));
H_RULE (len, h_int_range(h_uint8(), 1, 255));
H_ARULE(label, h_length_value(len, h_uint8()));
H_ARULE(qname, h_sequence(h_many1(label),
h_ch('\x00'),
NULL));
H_ARULE(question, h_sequence(qname, qtype, qclass, NULL));
H_RULE (rdata, h_length_value(h_uint16(), h_uint8()));
H_RULE (rr, h_sequence(domain, // NAME
type, // TYPE
class, // CLASS
h_uint32(), // TTL
rdata, // RDLENGTH+RDATA
NULL));
H_ARULE(message, h_attr_bool(h_sequence(header,
h_many(question),
h_many(rr),
h_end_p(),
NULL),
validate_dns));
ret = message;
return ret;
}
///
// Program Logic for a Dummy DNS Server
///
int start_listening() {
// return: fd
int sock;
struct sockaddr_in addr;
sock = socket(PF_INET, SOCK_DGRAM, 0);
if (sock < 0)
err(1, "Failed to open listning socket");
addr.sin_family = AF_INET;
addr.sin_port = htons(53);
addr.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
int optval = 1;
setsockopt(sock, SOL_SOCKET, SO_REUSEADDR, &optval, sizeof(optval));
if (bind(sock, (struct sockaddr*)&addr, sizeof(addr)) < 0)
err(1, "Bind failed");
return sock;
}
const int TYPE_MAX = 16;
typedef const char* cstr;
const char* TYPE_STR[17] = {
"nil", "A", "NS", "MD",
"MF", "CNAME", "SOA", "MB",
"MG", "MR", "NULL", "WKS",
"PTR", "HINFO", "MINFO", "MX",
"TXT"
};
const int CLASS_MAX = 4;
const char* CLASS_STR[5] = {
"nil", "IN", "CS", "CH", "HS"
};
void format_qname(struct dns_qname *name, uint8_t **dest) {
uint8_t *rp = *dest;
for (size_t j = 0; j < name->qlen; j++) {
*rp++ = name->labels[j].len;
for (size_t k = 0; k < name->labels[j].len; k++)
*rp++ = name->labels[j].label[k];
}
*rp++ = 0;
*dest = rp;
}
int main(int argc, char** argv) {
const HParser *parser = init_parser();
// set up a listening socket...
int sock = start_listening();
uint8_t packet[8192]; // static buffer for simplicity
ssize_t packet_size;
struct sockaddr_in remote;
socklen_t remote_len;
while (1) {
remote_len = sizeof(remote);
packet_size = recvfrom(sock, packet, sizeof(packet), 0, (struct sockaddr*)&remote, &remote_len);
// dump the packet...
for (int i = 0; i < packet_size; i++)
printf(".%02hhx", packet[i]);
printf("\n");
HParseResult *content = h_parse(parser, packet, packet_size);
if (!content) {
printf("Invalid packet; ignoring\n");
continue;
}
dns_message_t *message = content->ast->user;
(void)message;
for (size_t i = 0; i < message->header.question_count; i++) {
struct dns_question *question = &message->questions[i];
printf("Recieved %s %s request for ", CLASS_STR[question->qclass], TYPE_STR[question->qtype]);
for (size_t j = 0; j < question->qname.qlen; j++)
printf("%s.", question->qname.labels[j].label);
printf("\n");
}
printf("%p\n", content);
// Not much time to actually implement the DNS server for the talk, so here's something quick and dirty.
// Traditional response for this time of year...
uint8_t response_buf[4096];
uint8_t *rp = response_buf;
// write out header...
*rp++ = message->header.id >> 8;
*rp++ = message->header.id & 0xff;
*rp++ = 0x80 | (message->header.opcode << 3) | message->header.rd;
*rp++ = 0x0; // change to 0 for no error...
*rp++ = 0; *rp++ = 1; // QDCOUNT
*rp++ = 0; *rp++ = 1; // ANCOUNT
*rp++ = 0; *rp++ = 0; // NSCOUNT
*rp++ = 0; *rp++ = 0; // ARCOUNT
// encode the first question...
{
struct dns_question *question = &message->questions[0];
format_qname(&question->qname, &rp);
*rp++ = (question->qtype >> 8) & 0xff;
*rp++ = (question->qtype ) & 0xff;
*rp++ = (question->qclass >> 8) & 0xff;
*rp++ = (question->qclass ) & 0xff;
// it's a cname...
format_qname(&question->qname, &rp);
*rp++ = 0; *rp++ = 5;
*rp++ = (question->qclass >> 8) & 0xff;
*rp++ = (question->qclass ) & 0xff;
*rp++ = 0; *rp++ = 0; *rp++ = 0; *rp++ = 0; // TTL.
//const char cname_rd[14] = "\x09spargelze\x02it";
*rp++ = 0; *rp++ = 14;
memcpy(rp, "\x09spargelze\x02it", 14);
rp += 14;
}
// send response.
sendto(sock, response_buf, (rp - response_buf), 0, (struct sockaddr*)&remote, remote_len);
}
return 0;
}