chiark / gitweb /
2eebe8de1b2175a48d1dd516ca99fd6d03304f88
[adns] / src / types.c
1 /*
2  * types.c
3  * - RR-type-specific code, and the machinery to call it
4  */
5 /*
6  *  This file is part of adns, which is
7  *    Copyright (C) 1997-2000,2003,2006  Ian Jackson
8  *    Copyright (C) 1999-2000,2003,2006  Tony Finch
9  *    Copyright (C) 1991 Massachusetts Institute of Technology
10  *  (See the file INSTALL for full details.)
11  *  
12  *  This program is free software; you can redistribute it and/or modify
13  *  it under the terms of the GNU General Public License as published by
14  *  the Free Software Foundation; either version 2, or (at your option)
15  *  any later version.
16  *  
17  *  This program is distributed in the hope that it will be useful,
18  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
19  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
20  *  GNU General Public License for more details.
21  *  
22  *  You should have received a copy of the GNU General Public License
23  *  along with this program; if not, write to the Free Software Foundation,
24  *  Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 
25  */
26
27 #include <stddef.h>
28 #include <stdlib.h>
29
30 #include <sys/types.h>
31 #include <sys/socket.h>
32 #include <netinet/in.h>
33 #include <arpa/inet.h>
34 #include <netdb.h>
35
36 #include "internal.h"
37
38 #define R_NOMEM       return adns_s_nomemory
39 #define CSP_ADDSTR(s) do {                      \
40     if (!adns__vbuf_appendstr(vb,(s))) R_NOMEM; \
41   } while (0)
42
43 /*
44  * order of sections:
45  *
46  * _string                    (pap)
47  * _textdata, _qstring        (csp)
48  * _str                       (mf,cs)
49  * _intstr                    (mf,csp,cs)
50  * _manyistr                  (mf,cs)
51  * _txt                       (pa)
52  * _inaddr                    (pa,cs,di, +search_sortlist, dip_genaddr)
53  * _in6addr                   (pa,cs,di)
54  * _addr                      (pap,pa,di,csp,cs,qs,  +search_sortlist_sa,
55  *                              dip_sockaddr, rrtypes)
56  * _domain                    (pap)
57  * _host_raw                  (pa)
58  * _hostaddr                  (pap,pa,dip,di,mfp,mf,csp,cs +pap_findaddrs)
59  * _mx_raw                    (pa,di)
60  * _mx                        (pa,di)
61  * _inthostaddr               (mf,cs)
62  * _ptr                       (pa)
63  * _strpair                   (mf,cs)
64  * _intstrpair                (mf,cs)
65  * _hinfo                     (pa)
66  * _mailbox                   (pap +pap_mailbox822)
67  * _rp                        (pa)
68  * _soa                       (pa,mf,cs)
69  * _srv*                      (qdpl,(pap),pa,mf,di,(csp),cs,postsort)
70  * _byteblock                 (mf)
71  * _opaque                    (pa,cs)
72  * _flat                      (mf)
73  *
74  * within each section:
75  *    qdpl_*
76  *    pap_*
77  *    pa_*
78  *    dip_*
79  *    di_*
80  *    mfp_*
81  *    mf_*
82  *    csp_*
83  *    cs_*
84  *    postsort_*
85  */
86
87 /*
88  * _qstring               (pap,csp)
89  */
90
91 static adns_status pap_qstring(const parseinfo *pai, int *cbyte_io, int max,
92                               int *len_r, char **str_r) {
93   /* Neither len_r nor str_r may be null.
94    * End of datagram (overrun) is indicated by returning adns_s_invaliddata;
95    */
96   const byte *dgram= pai->dgram;
97   int l, cbyte;
98   char *str;
99
100   cbyte= *cbyte_io;
101
102   if (cbyte >= max) return adns_s_invaliddata;
103   GET_B(cbyte,l);
104   if (cbyte+l > max) return adns_s_invaliddata;
105   
106   str= adns__alloc_interim(pai->qu, l+1);
107   if (!str) R_NOMEM;
108   
109   str[l]= 0;
110   memcpy(str,dgram+cbyte,l);
111
112   *len_r= l;
113   *str_r= str;
114   *cbyte_io= cbyte+l;
115   
116   return adns_s_ok;
117 }
118
119 static adns_status csp_qstring(vbuf *vb, const char *dp, int len) {
120   unsigned char ch;
121   char buf[10];
122   int cn;
123
124   CSP_ADDSTR("\"");
125   for (cn=0; cn<len; cn++) {
126     ch= *dp++;
127     if (ch == '\\') {
128       CSP_ADDSTR("\\\\");
129     } else if (ch == '"') {
130       CSP_ADDSTR("\\\"");
131     } else if (ch >= 32 && ch <= 126) {
132       if (!adns__vbuf_append(vb,&ch,1)) R_NOMEM;
133     } else {
134       sprintf(buf,"\\x%02x",ch);
135       CSP_ADDSTR(buf);
136     }
137   }
138   CSP_ADDSTR("\"");
139   
140   return adns_s_ok;
141 }
142
143 /*
144  * _str  (mf)
145  */
146
147 static void mf_str(adns_query qu, void *datap) {
148   char **rrp= datap;
149
150   adns__makefinal_str(qu,rrp);
151 }
152
153 /*
154  * _intstr  (mf)
155  */
156
157 static void mf_intstr(adns_query qu, void *datap) {
158   adns_rr_intstr *rrp= datap;
159
160   adns__makefinal_str(qu,&rrp->str);
161 }
162
163 /*
164  * _manyistr   (mf)
165  */
166
167 static void mf_manyistr(adns_query qu, void *datap) {
168   adns_rr_intstr **rrp= datap;
169   adns_rr_intstr *te, *table;
170   void *tablev;
171   int tc;
172
173   for (tc=0, te= *rrp; te->i >= 0; te++, tc++);
174   tablev= *rrp;
175   adns__makefinal_block(qu,&tablev,sizeof(*te)*(tc+1));
176   *rrp= table= tablev;
177   for (te= *rrp; te->i >= 0; te++)
178     adns__makefinal_str(qu,&te->str);
179 }
180
181 /*
182  * _txt   (pa,cs)
183  */
184
185 static adns_status pa_txt(const parseinfo *pai, int cbyte,
186                           int max, void *datap) {
187   adns_rr_intstr **rrp= datap, *table, *te;
188   const byte *dgram= pai->dgram;
189   int ti, tc, l, startbyte;
190   adns_status st;
191
192   startbyte= cbyte;
193   if (cbyte >= max) return adns_s_invaliddata;
194   tc= 0;
195   while (cbyte < max) {
196     GET_B(cbyte,l);
197     cbyte+= l;
198     tc++;
199   }
200   if (cbyte != max || !tc) return adns_s_invaliddata;
201
202   table= adns__alloc_interim(pai->qu,sizeof(*table)*(tc+1));
203   if (!table) R_NOMEM;
204
205   for (cbyte=startbyte, ti=0, te=table; ti<tc; ti++, te++) {
206     st= pap_qstring(pai, &cbyte, max, &te->i, &te->str);
207     if (st) return st;
208   }
209   assert(cbyte == max);
210
211   te->i= -1;
212   te->str= 0;
213   
214   *rrp= table;
215   return adns_s_ok;
216 }
217
218 static adns_status cs_txt(vbuf *vb, const void *datap) {
219   const adns_rr_intstr *const *rrp= datap;
220   const adns_rr_intstr *current;
221   adns_status st;
222   int spc;
223
224   for (current= *rrp, spc=0;  current->i >= 0;  current++, spc=1) {
225     if (spc) CSP_ADDSTR(" ");
226     st= csp_qstring(vb,current->str,current->i); if (st) return st;
227   }
228   return adns_s_ok;
229 }
230
231 /*
232  * _hinfo   (cs)
233  */
234
235 static adns_status cs_hinfo(vbuf *vb, const void *datap) {
236   const adns_rr_intstrpair *rrp= datap;
237   adns_status st;
238
239   st= csp_qstring(vb,rrp->array[0].str,rrp->array[0].i);  if (st) return st;
240   CSP_ADDSTR(" ");
241   st= csp_qstring(vb,rrp->array[1].str,rrp->array[1].i);  if (st) return st;
242   return adns_s_ok;
243 }
244
245 /*
246  * _inaddr   (pa,di,cs +search_sortlist, dip_genaddr)
247  */
248
249 static adns_status pa_inaddr(const parseinfo *pai, int cbyte,
250                              int max, void *datap) {
251   struct in_addr *storeto= datap;
252   
253   if (max-cbyte != 4) return adns_s_invaliddata;
254   memcpy(storeto, pai->dgram + cbyte, 4);
255   return adns_s_ok;
256 }
257
258 static int search_sortlist(adns_state ads, int af, const void *ad) {
259   const struct sortlist *slp;
260   const struct in6_addr *a6;
261   union gen_addr a;
262   int i;
263   int v6mappedp = 0;
264
265   if (af == AF_INET6) {
266     a6 = ad;
267     if (IN6_IS_ADDR_V4MAPPED(a6)) {
268       a.v4.s_addr = htonl(((unsigned long)a6->s6_addr[12] << 24) |
269                           ((unsigned long)a6->s6_addr[13] << 16) |
270                           ((unsigned long)a6->s6_addr[14] <<  8) |
271                           ((unsigned long)a6->s6_addr[15] <<  0));
272       v6mappedp = 1;
273     }
274   }
275
276   for (i=0, slp=ads->sortlist;
277        i<ads->nsortlist &&
278        !(af == slp->ai->af &&
279          slp->ai->matchp(ad, &slp->base, &slp->mask)) &&
280        !(v6mappedp && slp->ai->af == AF_INET &&
281          slp->ai->matchp(&a, &slp->base, &slp->mask));
282        i++, slp++);
283   return i;
284 }
285
286 static int dip_genaddr(adns_state ads, int af, const void *a, const void *b) {
287   int ai, bi;
288   
289   if (!ads->nsortlist) return 0;
290
291   ai= search_sortlist(ads,af,a);
292   bi= search_sortlist(ads,af,b);
293   return bi<ai;
294 }
295
296 static int di_inaddr(adns_state ads,
297                      const void *datap_a, const void *datap_b) {
298   return dip_genaddr(ads,AF_INET,datap_a,datap_b);
299 }
300
301 static adns_status cs_inaddr(vbuf *vb, const void *datap) {
302   const struct in_addr *rrp= datap, rr= *rrp;
303   const char *ia;
304
305   ia= inet_ntoa(rr); assert(ia);
306   CSP_ADDSTR(ia);
307   return adns_s_ok;
308 }
309
310 /*
311  * _in6addr   (pa,di,cs)
312  */
313
314 static adns_status pa_in6addr(const parseinfo *pai, int cbyte,
315                              int max, void *datap) {
316   struct in6_addr *storeto= datap;
317
318   if (max-cbyte != 16) return adns_s_invaliddata;
319   memcpy(storeto->s6_addr, pai->dgram + cbyte, 16);
320   return adns_s_ok;
321 }
322
323 static int di_in6addr(adns_state ads,
324                      const void *datap_a, const void *datap_b) {
325   return dip_genaddr(ads,AF_INET6,datap_a,datap_b);
326 }
327
328 static adns_status cs_in6addr(vbuf *vb, const void *datap) {
329   char buf[INET6_ADDRSTRLEN];
330   const char *ia;
331
332   ia= inet_ntop(AF_INET6, datap, buf, sizeof(buf)); assert(ia);
333   CSP_ADDSTR(ia);
334   return adns_s_ok;
335 }
336
337 /*
338  * _addr   (pap,pa,di,csp,cs,qs, +search_sortlist_sa, dip_sockaddr,
339  *              addr_rrtypes, addr_rrsz)
340  */
341
342 /* About CNAME handling in addr queries.
343  *
344  * A user-level addr query is translated into a number of protocol-level
345  * queries, and its job is to reassemble the results.  This gets tricky if
346  * the answers aren't consistent.  In particular, if the answers report
347  * inconsistent indirection via CNAME records (e.g., different CNAMEs, or
348  * some indirect via a CNAME, and some don't) then we have trouble.
349  *
350  * Once we've received an answer, even if it was NODATA, we set
351  * adns__qf_addr_answer on the parent query.  This will let us detect a
352  * conflict between a no-CNAME-with-NODATA reply and a subsequent CNAME.
353  *
354  * If we detect a conflict of any kind, then at least one answer came back
355  * with a CNAME record, so we pick the first such answer (somewhat
356  * arbitrarily) as being the `right' canonical name, and set this in the
357  * parent query's answer->cname slot.  We discard address records from the
358  * wrong name.  And finally we cancel the outstanding child queries, and
359  * resubmit address queries for the address families we don't yet have, with
360  * adns__qf_addr_cname set so that we know that we're in the fixup state.
361  */
362
363 static adns_status pap_addr(const parseinfo *pai, int rrty, size_t rrsz,
364                             int *cbyte_io, int max, adns_rr_addr *storeto)
365 {
366   const byte *dgram= pai->dgram;
367   int af, addrlen, salen;
368   struct in6_addr v6map;
369   const void *oaddr = dgram + *cbyte_io;
370   int avail = max - *cbyte_io;
371   int step = -1;
372   void *addrp = 0;
373
374   switch (rrty) {
375     case adns_r_a:
376       if (pai->qu->flags & adns_qf_domapv4) {
377         if (avail < 4) return adns_s_invaliddata;
378         memset(v6map.s6_addr +  0, 0x00, 10);
379         memset(v6map.s6_addr + 10, 0xff,  2);
380         memcpy(v6map.s6_addr + 12, oaddr, 4);
381         oaddr = v6map.s6_addr; avail = sizeof(v6map.s6_addr);
382         if (step < 0) step = 4;
383         goto aaaa;
384       }
385       af = AF_INET; addrlen = 4;
386       addrp = &storeto->addr.inet.sin_addr;
387       salen = sizeof(storeto->addr.inet);
388       break;
389     case adns_r_aaaa:
390     aaaa:
391       af = AF_INET6; addrlen = 16;
392       addrp = storeto->addr.inet6.sin6_addr.s6_addr;
393       salen = sizeof(storeto->addr.inet6);
394       break;
395   }
396   assert(addrp);
397
398   assert(offsetof(adns_rr_addr, addr) + salen <= rrsz);
399   if (addrlen < avail) return adns_s_invaliddata;
400   if (step < 0) step = addrlen;
401   *cbyte_io += step;
402   memset(&storeto->addr, 0, salen);
403   storeto->len = salen;
404   storeto->addr.sa.sa_family = af;
405   memcpy(addrp, oaddr, addrlen);
406
407   return adns_s_ok;
408 }
409
410 static adns_status pa_addr(const parseinfo *pai, int cbyte,
411                            int max, void *datap) {
412   int err = pap_addr(pai, pai->qu->answer->type & adns_rrt_typemask,
413                      pai->qu->answer->rrsz, &cbyte, max, datap);
414   if (err) return err;
415   if (cbyte != max) return adns_s_invaliddata;
416   return adns_s_ok;
417 }
418
419 static int search_sortlist_sa(adns_state ads, const struct sockaddr *sa)
420 {
421   const afinfo *ai = 0;
422
423   switch (sa->sa_family) {
424     case AF_INET: ai = &adns__inet_afinfo; break;
425     case AF_INET6: ai = &adns__inet6_afinfo; break;
426   }
427   assert(ai);
428
429   return search_sortlist(ads, sa->sa_family, ai->sockaddr_to_inaddr(sa));
430 }
431
432 static int dip_sockaddr(adns_state ads,
433                         const struct sockaddr *sa,
434                         const struct sockaddr *sb)
435 {
436   if (!ads->sortlist) return 0;
437   return search_sortlist_sa(ads, sa) > search_sortlist_sa(ads, sb);
438 }
439
440 static int di_addr(adns_state ads, const void *datap_a, const void *datap_b) {
441   const adns_rr_addr *ap= datap_a, *bp= datap_b;
442
443   return dip_sockaddr(ads, &ap->addr.sa, &bp->addr.sa);
444 }
445
446 static int div_addr(void *context, const void *datap_a, const void *datap_b) {
447   const adns_state ads= context;
448
449   return di_addr(ads, datap_a, datap_b);
450 }                    
451
452 static adns_status csp_addr(vbuf *vb, const adns_rr_addr *rrp) {
453   char buf[128];
454   int err;
455
456   switch (rrp->addr.inet.sin_family) {
457   case AF_INET:
458     CSP_ADDSTR("INET ");
459     goto ntop;
460   case AF_INET6:
461     CSP_ADDSTR("INET6 ");
462     goto ntop;
463   ntop:
464     err= getnameinfo(&rrp->addr.sa, rrp->len, buf, sizeof(buf), 0, 0,
465                      NI_NUMERICHOST); assert(!err);
466     CSP_ADDSTR(buf);
467     break;
468   default:
469     sprintf(buf,"AF=%u",rrp->addr.sa.sa_family);
470     CSP_ADDSTR(buf);
471     break;
472   }
473   return adns_s_ok;
474 }
475
476 static adns_status cs_addr(vbuf *vb, const void *datap) {
477   const adns_rr_addr *rrp= datap;
478
479   return csp_addr(vb,rrp);
480 }
481
482 static void addr_rrtypes(adns_state ads, adns_rrtype type,
483                          adns_queryflags qf,
484                          adns_rrtype *rrty, size_t *nrrty)
485 {
486   size_t n = 0;
487   adns_rrtype qtf = type & adns__qtf_deref;
488   adns_queryflags permitaf = 0, hackaf = 0;
489
490   if (!(type & adns__qtf_bigaddr) || !(type & adns__qtf_manyaf))
491     qf = (qf & adns__qf_afmask) | adns_qf_ipv4_only;
492   else if (ads->iflags & adns_if_afmask) {
493     if (ads->iflags & adns_if_af_v4only) {
494       permitaf |= adns_qf_ipv4_only;
495       hackaf |= adns_qf_domapv4;
496     }
497     if (ads->iflags & adns_if_af_v6only)
498       permitaf |= adns_qf_ipv6_only;
499     if (qf & permitaf)
500       qf &= hackaf | permitaf | ~adns__qf_afmask;
501   }
502
503
504   if (qf & adns_qf_ipv4_only) rrty[n++] = adns_r_a | qtf;
505   if (qf & adns_qf_ipv6_only) rrty[n++] = adns_r_aaaa | qtf;
506
507   *nrrty = n;
508 }
509
510 static size_t addr_rrsz(adns_query qu)
511 {
512   return qu->answer->type & adns__qtf_bigaddr ?
513     sizeof(adns_rr_addr) : sizeof(adns_rr_addr_v4only);
514 }
515
516 static adns_status append_addrs(adns_query qu, adns_query from, size_t rrsz,
517                                 adns_rr_addr **dp, int *dlen,
518                                 const adns_rr_addr *sp, int slen)
519 {
520   size_t drrsz = *dlen*rrsz, srrsz = slen*rrsz;
521   byte *p;
522
523   /* if (!slen) return adns_s_ok; */
524   p = adns__alloc_interim(qu, drrsz + srrsz);
525   if (!p) R_NOMEM;
526   if (*dlen) {
527     memcpy(p, *dp, drrsz);
528     adns__free_interim(qu, *dp);
529   }
530   memcpy(p + drrsz, sp, srrsz);
531   *dlen += slen;
532   *dp = (adns_rr_addr *)p;
533   if (from && qu->expires > from->expires) qu->expires = from->expires;
534   return adns_s_ok;
535 }
536
537 static void icb_addr(adns_query parent, adns_query child);
538
539 static void addr_subqueries(adns_query qu, struct timeval now,
540                             const byte *qd_dgram, int qd_dglen)
541 {
542   int i, err, id;
543   adns_query cqu;
544   adns_queryflags qf =
545     (qu->flags | adns__qf_senddirect) &
546     ~(adns_qf_search);
547   qcontext ctx;
548
549   if (!(qu->answer->type & adns__qtf_bigaddr))
550     qu->answer->rrsz = sizeof(adns_rr_addr_v4only);
551
552   /* This always makes child queries, even if there's only the one.  This
553    * seems wasteful, but there's only one case where it'd be safe -- namely
554    * IPv4-only -- and that's not the case I want to optimize.
555    */
556   memset(&ctx, 0, sizeof(ctx));
557   ctx.callback = icb_addr;
558   qu->t.addr.onrrty = qu->t.addr.nrrty;
559   for (i = 0; i < qu->t.addr.nrrty; i++) {
560     err = adns__mkquery_frdgram(qu->ads, &qu->vb, &id, qd_dgram, qd_dglen,
561                                 DNS_HDRSIZE, qu->t.addr.rrty[i], qf);
562     if (err) goto x_error;
563     err = adns__internal_submit(qu->ads, &cqu, qu->typei, qu->t.addr.rrty[i],
564                                 &qu->vb, id, qf, now, &ctx);
565     if (err) goto x_error;
566     cqu->answer->rrsz = qu->answer->rrsz;
567     cqu->parent = qu;
568     LIST_LINK_TAIL_PART(qu->children, cqu,siblings.);
569   }
570   qu->state = query_childw;
571   LIST_LINK_TAIL(qu->ads->childw, qu);
572   return;
573
574 x_error:
575   adns__query_fail(qu, err);
576 }
577
578 static adns_status addr_submit(adns_query parent, adns_query *query_r,
579                                vbuf *qumsg_vb, int id,
580                                const adns_rrtype *rrty, size_t nrrty,
581                                adns_queryflags flags, struct timeval now,
582                                const qcontext *ctx)
583 {
584   /* This is effectively a substitute for adns__internal_submit, intended for
585    * the case where the caller (possibly) only wants a subset of the
586    * available record types.  The memory management and callback rules are
587    * the same as for adns__internal_submit.
588    *
589    * Some differences: the query is linked onto the parent's children list
590    * before exit (though the parent's state is not changed, and it is not
591    * linked into the childw list queue).
592    */
593
594   adns_state ads = parent->ads;
595   adns_query qu;
596   adns_status err;
597   adns_rrtype type =
598     (adns_r_addr & adns_rrt_reprmask) |
599     (parent->answer->type & ~adns_rrt_reprmask);
600
601   err = adns__internal_submit(ads, &qu, adns__findtype(adns_r_addr),
602                               type, qumsg_vb, id, flags | adns__qf_nosend,
603                               now, ctx);
604   if (err) return err;
605
606   qu->parent = parent;
607   LIST_LINK_TAIL_PART(parent->children, qu, siblings.);
608
609   memcpy(qu->t.addr.rrty, rrty, nrrty*sizeof(*rrty));
610   qu->t.addr.nrrty = nrrty;
611   addr_subqueries(qu, now, parent->query_dgram, parent->query_dglen);
612   *query_r = qu;
613   return adns_s_ok;
614 }
615
616 static adns_status copy_cname_from_child(adns_query parent, adns_query child)
617 {
618   adns_answer *pans = parent->answer, *cans = child->answer;
619   size_t n = strlen(cans->cname) + 1;
620
621   pans->cname = adns__alloc_preserved(parent, n);
622   if (!pans->cname) R_NOMEM;
623   memcpy(pans->cname, cans->cname, n);
624   return adns_s_ok;
625 }
626
627 static void done_addr_type(adns_query qu, adns_rrtype type)
628 {
629   size_t i;
630
631   for (i = 0; i < qu->t.addr.nrrty && type != qu->t.addr.rrty[i]; i++);
632   assert(i < qu->t.addr.nrrty);
633   qu->t.addr.rrty[i] = qu->t.addr.rrty[--qu->t.addr.nrrty];
634   qu->t.addr.rrty[qu->t.addr.nrrty] = type;
635 }
636
637 static void icb_addr(adns_query parent, adns_query child)
638 {
639   adns_state ads = parent->ads;
640   adns_answer *pans = parent->answer, *cans = child->answer;
641   struct timeval tvbuf;
642   adns_status err;
643   const struct timeval *now = 0;
644   int id;
645
646   if (!(child->flags & adns__qf_addr_cname) &&
647       (parent->flags & adns__qf_addr_answer) &&
648       (!pans->cname != !cans->cname ||
649        (pans->cname && strcmp(pans->cname, pans->cname) != 0))) {
650     /* We've detected an inconsistency in CNAME records, and must deploy
651      * countermeasures.
652      */
653
654     if (!pans->cname) {
655       /* The child has a CNAME record, but the parent doesn't.  We must
656        * discard all of the parent's addresses, and substitute the child's.
657        */
658
659       assert(pans->rrsz == cans->rrsz);
660       adns__free_interim(parent, pans->rrs.bytes);
661       adns__transfer_interim(child, parent, cans->rrs.bytes);
662       pans->rrs.bytes = cans->rrs.bytes;
663       pans->nrrs = cans->nrrs;
664       parent->t.addr.nrrty = parent->t.addr.onrrty;
665       done_addr_type(parent, cans->type);
666       err = copy_cname_from_child(parent, child); if (err) goto x_err;
667     }
668
669     /* We've settled on the CNAME (now) associated with the parent, which
670      * already has appropriate address records.  Build a query datagram for
671      * this name so that we can issue child queries for the missing address
672      * families.  The child's vbuf looks handy for this.
673      */
674     err = adns__mkquery(ads, &child->vb, &id, pans->cname,
675                         strlen(pans->cname), adns__findtype(adns_r_addr),
676                         adns_r_addr, parent->flags);
677     if (err) goto x_err;
678
679     /* Now cancel the remaining children, and try again with the CNAME we've
680      * settled on.
681      */
682     adns__cancel_children(parent);
683     adns__must_gettimeofday(ads, &now, &tvbuf);
684     if (now) addr_subqueries(parent, *now, child->vb.buf, child->vb.used);
685     return;
686   }
687
688   if (cans->cname && !pans->cname) {
689     err = copy_cname_from_child(parent, child);
690     if (err) goto x_err;
691   }
692
693   if ((parent->flags & adns_qf_search) &&
694       !pans->cname && cans->status == adns_s_nxdomain) {
695     /* We're searching a list of suffixes, this is the first answer, and it
696      * tells us that the name doesn't exist.  Try the next one.
697      */
698
699     if (parent->expires > child->expires) parent->expires = child->expires;
700     adns__cancel_children(parent);
701     adns__free_interim(parent, pans->rrs.bytes);
702     pans->rrs.bytes = 0; pans->nrrs = 0;
703     adns__must_gettimeofday(ads, &now, &tvbuf);
704     if (now) adns__search_next(ads, parent, *now);
705     return;
706   }
707
708   if (cans->status && cans->status != adns_s_nodata)
709     { err = cans->status; goto x_err; }
710
711   assert(pans->rrsz == cans->rrsz);
712   err = append_addrs(parent, child, pans->rrsz,
713                      &pans->rrs.addr, &pans->nrrs,
714                      cans->rrs.addr, cans->nrrs);
715   if (err) goto x_err;
716   done_addr_type(parent, cans->type);
717
718   if (parent->children.head) LIST_LINK_TAIL(ads->childw, parent);
719   else if (!pans->nrrs) adns__query_fail(parent, adns_s_nodata);
720   else adns__query_done(parent);
721   parent->flags |= adns__qf_addr_answer;
722   return;
723
724 x_err:
725   adns__query_fail(parent, err);
726 }
727
728 static void qs_addr(adns_query qu, struct timeval now)
729 {
730   addr_rrtypes(qu->ads, qu->answer->type, qu->flags,
731                qu->t.addr.rrty, &qu->t.addr.nrrty);
732   addr_subqueries(qu, now, qu->query_dgram, qu->query_dglen);
733 }
734
735 /*
736  * _domain      (pap,csp,cs)
737  * _dom_raw     (pa)
738  */
739
740 static adns_status pap_domain(const parseinfo *pai, int *cbyte_io, int max,
741                               char **domain_r, parsedomain_flags flags) {
742   adns_status st;
743   char *dm;
744   
745   st= adns__parse_domain(pai->qu->ads, pai->serv, pai->qu, &pai->qu->vb, flags,
746                          pai->dgram,pai->dglen, cbyte_io, max);
747   if (st) return st;
748   if (!pai->qu->vb.used) return adns_s_invaliddata;
749
750   dm= adns__alloc_interim(pai->qu, pai->qu->vb.used+1);
751   if (!dm) R_NOMEM;
752
753   dm[pai->qu->vb.used]= 0;
754   memcpy(dm,pai->qu->vb.buf,pai->qu->vb.used);
755   
756   *domain_r= dm;
757   return adns_s_ok;
758 }
759
760 static adns_status csp_domain(vbuf *vb, const char *domain) {
761   CSP_ADDSTR(domain);
762   if (!*domain) CSP_ADDSTR(".");
763   return adns_s_ok;
764 }
765
766 static adns_status cs_domain(vbuf *vb, const void *datap) {
767   const char *const *domainp= datap;
768   return csp_domain(vb,*domainp);
769 }
770
771 static adns_status pa_dom_raw(const parseinfo *pai, int cbyte,
772                               int max, void *datap) {
773   char **rrp= datap;
774   adns_status st;
775
776   st= pap_domain(pai, &cbyte, max, rrp, pdf_quoteok);
777   if (st) return st;
778   
779   if (cbyte != max) return adns_s_invaliddata;
780   return adns_s_ok;
781 }
782
783 /*
784  * _host_raw   (pa)
785  */
786
787 static adns_status pa_host_raw(const parseinfo *pai, int cbyte,
788                                int max, void *datap) {
789   char **rrp= datap;
790   adns_status st;
791
792   st= pap_domain(pai, &cbyte, max, rrp,
793                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
794   if (st) return st;
795   
796   if (cbyte != max) return adns_s_invaliddata;
797   return adns_s_ok;
798 }
799
800 /*
801  * _hostaddr   (pap,pa,dip,di,mfp,mf,csp,cs +icb_hostaddr, pap_findaddrs)
802  */
803
804 static adns_status pap_findaddrs(const parseinfo *pai, adns_rr_hostaddr *ha,
805                                  adns_rrtype *rrty, size_t *nrrty_io,
806                                  size_t addrsz, int *cbyte_io, int count,
807                                  int dmstart) {
808   int rri, naddrs, j;
809   int type, class, rdlen, rdend, rdstart, ownermatched;
810   size_t nrrty = *nrrty_io;
811   unsigned long ttl;
812   adns_status st;
813   
814   for (rri=0, naddrs=0; rri<count; rri++) {
815     st= adns__findrr_anychk(pai->qu, pai->serv, pai->dgram,
816                             pai->dglen, cbyte_io,
817                             &type, &class, &ttl, &rdlen, &rdstart,
818                             pai->dgram, pai->dglen, dmstart, &ownermatched);
819     if (st) return st;
820     if (!ownermatched || class != DNS_CLASS_IN) continue;
821     for (j = 0; j < nrrty && type != (rrty[j] & adns_rrt_typemask); j++);
822     if (j >= nrrty) continue;
823     if (j < *nrrty_io) {
824       (*nrrty_io)--;
825       adns_rrtype t = rrty[j];
826       rrty[j] = rrty[*nrrty_io];
827       rrty[*nrrty_io] = t;
828     }
829     if (!adns__vbuf_ensure(&pai->qu->vb, (naddrs+1)*addrsz)) R_NOMEM;
830     adns__update_expires(pai->qu,ttl,pai->now);
831     rdend = rdstart + rdlen;
832     st= pap_addr(pai, type, addrsz, &rdstart, rdend,
833                  (adns_rr_addr *)(pai->qu->vb.buf + naddrs*addrsz));
834     if (st) return st;
835     if (rdstart != rdend) return adns_s_invaliddata;
836     naddrs++;
837   }
838   if (naddrs > 0) {
839     st = append_addrs(pai->qu, 0, addrsz, &ha->addrs, &ha->naddrs,
840                       (const adns_rr_addr *)pai->qu->vb.buf, naddrs);
841     if (st) return st;
842     ha->astatus= adns_s_ok;
843
844     if (!*nrrty_io) {
845       adns__isort(ha->addrs, naddrs, addrsz, pai->qu->vb.buf,
846                   div_addr, pai->ads);
847     }
848   }
849   return adns_s_ok;
850 }
851
852 static void icb_hostaddr(adns_query parent, adns_query child) {
853   adns_answer *cans= child->answer;
854   adns_rr_hostaddr *rrp= child->ctx.info.hostaddr;
855   adns_state ads= parent->ads;
856   adns_status st;
857   size_t addrsz = addr_rrsz(parent);
858
859   st= cans->status == adns_s_nodata ? adns_s_ok : cans->status;
860
861   if (st) goto done;
862   assert(addrsz == cans->rrsz);
863   st = append_addrs(parent, child, addrsz,
864                     &rrp->addrs, &rrp->naddrs,
865                     cans->rrs.addr, cans->nrrs);
866   if (st) goto done;
867   if (!rrp->naddrs) { st = adns_s_nodata; goto done; }
868
869   if (!adns__vbuf_ensure(&parent->vb, addrsz))
870     { st = adns_s_nomemory; goto done; }
871   adns__isort(rrp->addrs, rrp->naddrs, addrsz, parent->vb.buf,
872               div_addr, ads);
873
874 done:
875   if (st) {
876     adns__free_interim(parent, rrp->addrs);
877     rrp->naddrs= (st>0 && st<=adns_s_max_tempfail) ? -1 : 0;
878   }
879
880   rrp->astatus= st;
881   if (parent->children.head) {
882     LIST_LINK_TAIL(ads->childw,parent);
883   } else {
884     adns__query_done(parent);
885   }
886 }
887
888 static adns_status pap_hostaddr(const parseinfo *pai, int *cbyte_io,
889                                 int max, adns_rr_hostaddr *rrp) {
890   adns_status st;
891   int dmstart, cbyte;
892   qcontext ctx;
893   int id;
894   adns_query nqu;
895   adns_queryflags nflags;
896   adns_rrtype rrty[ADDR_MAXRRTYPES];
897   size_t nrrty;
898   size_t addrsz = addr_rrsz(pai->qu);
899
900   dmstart= cbyte= *cbyte_io;
901   st= pap_domain(pai, &cbyte, max, &rrp->host,
902                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
903   if (st) return st;
904   *cbyte_io= cbyte;
905
906   rrp->astatus= adns_s_ok;
907   rrp->naddrs= 0;
908   rrp->addrs= 0;
909
910   cbyte= pai->nsstart;
911
912   addr_rrtypes(pai->ads, pai->qu->answer->type,
913                pai->qu->flags, rrty, &nrrty);
914
915   st= pap_findaddrs(pai, rrp, rrty, &nrrty, addrsz,
916                     &cbyte, pai->nscount, dmstart);
917   if (st) return st;
918   if (!nrrty) return adns_s_ok;
919
920   st= pap_findaddrs(pai, rrp, rrty, &nrrty, addrsz,
921                     &cbyte, pai->arcount, dmstart);
922   if (st) return st;
923   if (!nrrty) return adns_s_ok;
924
925   st= adns__mkquery_frdgram(pai->ads, &pai->qu->vb, &id,
926                             pai->dgram, pai->dglen, dmstart,
927                             adns_r_addr, adns_qf_quoteok_query);
928   if (st) return st;
929
930   ctx.ext= 0;
931   ctx.callback= icb_hostaddr;
932   ctx.info.hostaddr= rrp;
933   
934   nflags= adns_qf_quoteok_query | (pai->qu->flags & adns__qf_afmask);
935   if (!(pai->qu->flags & adns_qf_cname_loose)) nflags |= adns_qf_cname_forbid;
936   
937   st= addr_submit(pai->qu, &nqu, &pai->qu->vb, id, rrty, nrrty,
938                   nflags, pai->now, &ctx);
939   if (st) return st;
940
941   return adns_s_ok;
942 }
943
944 static adns_status pa_hostaddr(const parseinfo *pai, int cbyte,
945                                int max, void *datap) {
946   adns_rr_hostaddr *rrp= datap;
947   adns_status st;
948
949   st= pap_hostaddr(pai, &cbyte, max, rrp);
950   if (st) return st;
951   if (cbyte != max) return adns_s_invaliddata;
952
953   return adns_s_ok;
954 }
955
956 static int dip_hostaddr(adns_state ads,
957                         const adns_rr_hostaddr *ap, const adns_rr_hostaddr *bp) {
958   if (ap->astatus != bp->astatus) return ap->astatus;
959   if (ap->astatus) return 0;
960
961   return dip_sockaddr(ads, &ap->addrs[0].addr.sa, &bp->addrs[0].addr.sa);
962 }
963
964 static int di_hostaddr(adns_state ads,
965                        const void *datap_a, const void *datap_b) {
966   const adns_rr_hostaddr *ap= datap_a, *bp= datap_b;
967
968   return dip_hostaddr(ads, ap,bp);
969 }
970
971 static void mfp_hostaddr(adns_query qu, adns_rr_hostaddr *rrp) {
972   void *tablev;
973   size_t sz = qu->answer->type & adns__qtf_bigaddr ?
974     sizeof(adns_rr_addr) : sizeof(adns_rr_addr_v4only);
975   adns__makefinal_str(qu,&rrp->host);
976   tablev= rrp->addrs;
977   adns__makefinal_block(qu, &tablev, rrp->naddrs*sz);
978   rrp->addrs= tablev;
979 }
980
981 static void mf_hostaddr(adns_query qu, void *datap) {
982   adns_rr_hostaddr *rrp= datap;
983
984   mfp_hostaddr(qu,rrp);
985 }
986
987 static adns_status csp_hostaddr(vbuf *vb, const adns_rr_hostaddr *rrp) {
988   const char *errstr;
989   adns_status st;
990   char buf[20];
991   int i;
992
993   st= csp_domain(vb,rrp->host);  if (st) return st;
994
995   CSP_ADDSTR(" ");
996   CSP_ADDSTR(adns_errtypeabbrev(rrp->astatus));
997
998   sprintf(buf," %d ",rrp->astatus);
999   CSP_ADDSTR(buf);
1000
1001   CSP_ADDSTR(adns_errabbrev(rrp->astatus));
1002   CSP_ADDSTR(" ");
1003
1004   errstr= adns_strerror(rrp->astatus);
1005   st= csp_qstring(vb,errstr,strlen(errstr));  if (st) return st;
1006   
1007   if (rrp->naddrs >= 0) {
1008     CSP_ADDSTR(" (");
1009     for (i=0; i<rrp->naddrs; i++) {
1010       CSP_ADDSTR(" ");
1011       st= csp_addr(vb,&rrp->addrs[i]);
1012     }
1013     CSP_ADDSTR(" )");
1014   } else {
1015     CSP_ADDSTR(" ?");
1016   }
1017   return adns_s_ok;
1018 }
1019
1020 static adns_status cs_hostaddr(vbuf *vb, const void *datap) {
1021   const adns_rr_hostaddr *rrp= datap;
1022
1023   return csp_hostaddr(vb,rrp);
1024 }
1025
1026 /*
1027  * _mx_raw   (pa,di)
1028  */
1029
1030 static adns_status pa_mx_raw(const parseinfo *pai, int cbyte,
1031                              int max, void *datap) {
1032   const byte *dgram= pai->dgram;
1033   adns_rr_intstr *rrp= datap;
1034   adns_status st;
1035   int pref;
1036
1037   if (cbyte+2 > max) return adns_s_invaliddata;
1038   GET_W(cbyte,pref);
1039   rrp->i= pref;
1040   st= pap_domain(pai, &cbyte, max, &rrp->str,
1041                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1042   if (st) return st;
1043   
1044   if (cbyte != max) return adns_s_invaliddata;
1045   return adns_s_ok;
1046 }
1047
1048 static int di_mx_raw(adns_state ads, const void *datap_a, const void *datap_b) {
1049   const adns_rr_intstr *ap= datap_a, *bp= datap_b;
1050
1051   if (ap->i < bp->i) return 0;
1052   if (ap->i > bp->i) return 1;
1053   return 0;
1054 }
1055
1056 /*
1057  * _mx   (pa,di)
1058  */
1059
1060 static adns_status pa_mx(const parseinfo *pai, int cbyte,
1061                          int max, void *datap) {
1062   const byte *dgram= pai->dgram;
1063   adns_rr_inthostaddr *rrp= datap;
1064   adns_status st;
1065   int pref;
1066
1067   if (cbyte+2 > max) return adns_s_invaliddata;
1068   GET_W(cbyte,pref);
1069   rrp->i= pref;
1070   st= pap_hostaddr(pai, &cbyte, max, &rrp->ha);
1071   if (st) return st;
1072   
1073   if (cbyte != max) return adns_s_invaliddata;
1074   return adns_s_ok;
1075 }
1076
1077 static int di_mx(adns_state ads, const void *datap_a, const void *datap_b) {
1078   const adns_rr_inthostaddr *ap= datap_a, *bp= datap_b;
1079
1080   if (ap->i < bp->i) return 0;
1081   if (ap->i > bp->i) return 1;
1082   return dip_hostaddr(ads, &ap->ha, &bp->ha);
1083 }
1084
1085 /*
1086  * _inthostaddr  (mf,cs)
1087  */
1088
1089 static void mf_inthostaddr(adns_query qu, void *datap) {
1090   adns_rr_inthostaddr *rrp= datap;
1091
1092   mfp_hostaddr(qu,&rrp->ha);
1093 }
1094
1095 static adns_status cs_inthostaddr(vbuf *vb, const void *datap) {
1096   const adns_rr_inthostaddr *rrp= datap;
1097   char buf[10];
1098
1099   sprintf(buf,"%u ",rrp->i);
1100   CSP_ADDSTR(buf);
1101
1102   return csp_hostaddr(vb,&rrp->ha);
1103 }
1104
1105 /*
1106  * _inthost  (cs)
1107  */
1108
1109 static adns_status cs_inthost(vbuf *vb, const void *datap) {
1110   const adns_rr_intstr *rrp= datap;
1111   char buf[10];
1112
1113   sprintf(buf,"%u ",rrp->i);
1114   CSP_ADDSTR(buf);
1115   return csp_domain(vb,rrp->str);
1116 }
1117
1118 /*
1119  * _ptr   (pa, +icb_ptr)
1120  */
1121
1122 static void icb_ptr(adns_query parent, adns_query child) {
1123   adns_answer *cans= child->answer;
1124   const union gen_addr *queried;
1125   const unsigned char *found;
1126   adns_state ads= parent->ads;
1127   int i;
1128
1129   if (cans->status == adns_s_nxdomain || cans->status == adns_s_nodata) {
1130     adns__query_fail(parent,adns_s_inconsistent);
1131     return;
1132   } else if (cans->status) {
1133     adns__query_fail(parent,cans->status);
1134     return;
1135   }
1136
1137   queried= &parent->ctx.info.ptr_parent_addr.addr;
1138   for (i=0, found=cans->rrs.bytes; i<cans->nrrs; i++, found += cans->rrsz) {
1139     if (!memcmp(queried,found,cans->rrsz)) {
1140       if (!parent->children.head) {
1141         adns__query_done(parent);
1142         return;
1143       } else {
1144         LIST_LINK_TAIL(ads->childw,parent);
1145         return;
1146       }
1147     }
1148   }
1149
1150   adns__query_fail(parent,adns_s_inconsistent);
1151 }
1152
1153 static adns_status pa_ptr(const parseinfo *pai, int dmstart,
1154                           int max, void *datap) {
1155   static const struct {
1156     const afinfo *ai;
1157     const char *const tail[3];
1158   } expectdomain[] = {
1159     { &adns__inet_afinfo, { DNS_INADDR_ARPA, 0 } },
1160     { &adns__inet6_afinfo, { DNS_IP6_ARPA, 0 } }
1161   };
1162   enum { n_ed = sizeof(expectdomain)/sizeof(expectdomain[0]) };
1163   
1164   char **rrp= datap;
1165   adns_status st;
1166   struct afinfo_addr *ap;
1167   findlabel_state fls;
1168   byte ipv[n_ed][32];
1169   int cbyte, i, j, foundj = -1, lablen, labstart, id, f, ac;
1170   const char *tp;
1171   adns_query nqu;
1172   qcontext ctx;
1173
1174   cbyte= dmstart;
1175   st= pap_domain(pai, &cbyte, max, rrp,
1176                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1177   if (st) return st;
1178   if (cbyte != max) return adns_s_invaliddata;
1179
1180   ap= &pai->qu->ctx.info.ptr_parent_addr;
1181   if (!ap->ai) {
1182     adns__findlabel_start(&fls, pai->ads, -1, pai->qu,
1183                           pai->qu->query_dgram, pai->qu->query_dglen,
1184                           pai->qu->query_dglen, DNS_HDRSIZE, 0);
1185
1186     f = (1 << n_ed) - 1; /* superposition of address types */
1187     for (i = 0;; i++) {
1188       st= adns__findlabel_next(&fls,&lablen,&labstart); assert(!st);
1189       if (lablen <= 0) break;
1190       for (j = 0; j < n_ed; j++) {
1191         if (!(f & (1 << j))) continue;
1192         if (i < expectdomain[j].ai->nrevcomp) {
1193           ac = expectdomain[j].ai->rev_parsecomp(
1194             pai->qu->query_dgram + labstart, lablen);
1195           if (ac < 0) goto mismatch;
1196           assert(i < sizeof(ipv[j]));
1197           ipv[j][i] = ac;
1198         } else {
1199           tp = expectdomain[j].tail[i - expectdomain[j].ai->nrevcomp];
1200           if (!tp ||
1201               strncmp(pai->qu->query_dgram + labstart, tp, lablen) != 0 ||
1202               tp[lablen] != 0)
1203             goto mismatch;
1204         }
1205         continue;
1206
1207       mismatch:
1208         f &= ~(1 << j);
1209         if (!f) return adns_s_querydomainwrong;
1210       }
1211     }
1212
1213     if (lablen < 0) return adns_s_querydomainwrong;
1214     for (j = 0; j < n_ed; j++) {
1215       if (!(f & (1 << j))) continue;
1216       if (i >= expectdomain[j].ai->nrevcomp &&
1217           !expectdomain[j].tail[i - expectdomain[j].ai->nrevcomp])
1218         { foundj = j; continue; }
1219       f &= ~(1 << j);
1220       if (!f) return adns_s_querydomainwrong;
1221     }
1222     assert(foundj >= 0 && f == (1 << foundj)); /* collapsed to a single type */
1223
1224     ap->ai = expectdomain[foundj].ai;
1225     ap->ai->rev_mkaddr(&ap->addr, ipv[foundj]);
1226   }
1227
1228   st= adns__mkquery_frdgram(pai->ads, &pai->qu->vb, &id,
1229                             pai->dgram, pai->dglen, dmstart,
1230                             ap->ai->rrtype, adns_qf_quoteok_query);
1231   if (st) return st;
1232
1233   ctx.ext= 0;
1234   ctx.callback= icb_ptr;
1235   memset(&ctx.info,0,sizeof(ctx.info));
1236   st= adns__internal_submit(pai->ads, &nqu, adns__findtype(ap->ai->rrtype),
1237                             ap->ai->rrtype, &pai->qu->vb, id,
1238                             adns_qf_quoteok_query, pai->now, &ctx);
1239   if (st) return st;
1240
1241   nqu->parent= pai->qu;
1242   LIST_LINK_TAIL_PART(pai->qu->children,nqu,siblings.);
1243   return adns_s_ok;
1244 }
1245
1246 /*
1247  * _strpair   (mf)
1248  */
1249
1250 static void mf_strpair(adns_query qu, void *datap) {
1251   adns_rr_strpair *rrp= datap;
1252
1253   adns__makefinal_str(qu,&rrp->array[0]);
1254   adns__makefinal_str(qu,&rrp->array[1]);
1255 }
1256
1257 /*
1258  * _intstrpair   (mf)
1259  */
1260
1261 static void mf_intstrpair(adns_query qu, void *datap) {
1262   adns_rr_intstrpair *rrp= datap;
1263
1264   adns__makefinal_str(qu,&rrp->array[0].str);
1265   adns__makefinal_str(qu,&rrp->array[1].str);
1266 }
1267
1268 /*
1269  * _hinfo   (pa)
1270  */
1271
1272 static adns_status pa_hinfo(const parseinfo *pai, int cbyte,
1273                             int max, void *datap) {
1274   adns_rr_intstrpair *rrp= datap;
1275   adns_status st;
1276   int i;
1277
1278   for (i=0; i<2; i++) {
1279     st= pap_qstring(pai, &cbyte, max, &rrp->array[i].i, &rrp->array[i].str);
1280     if (st) return st;
1281   }
1282
1283   if (cbyte != max) return adns_s_invaliddata;
1284   
1285   return adns_s_ok;
1286 }
1287
1288 /*
1289  * _mailbox   (pap,cs)
1290  */
1291
1292 static adns_status pap_mailbox822(const parseinfo *pai,
1293                                   int *cbyte_io, int max, char **mb_r) {
1294   int lablen, labstart, i, needquote, c, r, neednorm;
1295   const unsigned char *p;
1296   char *str;
1297   findlabel_state fls;
1298   adns_status st;
1299   vbuf *vb;
1300
1301   vb= &pai->qu->vb;
1302   vb->used= 0;
1303   adns__findlabel_start(&fls, pai->ads,
1304                         -1, pai->qu,
1305                         pai->dgram, pai->dglen, max,
1306                         *cbyte_io, cbyte_io);
1307   st= adns__findlabel_next(&fls,&lablen,&labstart);
1308   if (!lablen) {
1309     adns__vbuf_appendstr(vb,".");
1310     goto x_ok;
1311   }
1312
1313   neednorm= 1;
1314   for (i=0, needquote=0, p= pai->dgram+labstart; i<lablen; i++) {
1315     c= *p++;
1316     if ((c&~128) < 32 || (c&~128) == 127) return adns_s_invaliddata;
1317     if (c == '.' && !neednorm) neednorm= 1;
1318     else if (c==' ' || c>=127 || ctype_822special(c)) needquote++;
1319     else neednorm= 0;
1320   }
1321
1322   if (needquote || neednorm) {
1323     r= adns__vbuf_ensure(vb, lablen+needquote+4); if (!r) R_NOMEM;
1324     adns__vbuf_appendq(vb,"\"",1);
1325     for (i=0, needquote=0, p= pai->dgram+labstart; i<lablen; i++, p++) {
1326       c= *p;
1327       if (c == '"' || c=='\\') adns__vbuf_appendq(vb,"\\",1);
1328       adns__vbuf_appendq(vb,p,1);
1329     }
1330     adns__vbuf_appendq(vb,"\"",1);
1331   } else {
1332     r= adns__vbuf_append(vb, pai->dgram+labstart, lablen); if (!r) R_NOMEM;
1333   }
1334
1335   r= adns__vbuf_appendstr(vb,"@"); if (!r) R_NOMEM;
1336
1337   st= adns__parse_domain_more(&fls,pai->ads, pai->qu,vb,0, pai->dgram);
1338   if (st) return st;
1339
1340  x_ok:
1341   str= adns__alloc_interim(pai->qu, vb->used+1); if (!str) R_NOMEM;
1342   memcpy(str,vb->buf,vb->used);
1343   str[vb->used]= 0;
1344   *mb_r= str;
1345   return adns_s_ok;
1346 }
1347
1348 static adns_status pap_mailbox(const parseinfo *pai, int *cbyte_io, int max,
1349                                char **mb_r) {
1350   if (pai->qu->typei->typekey & adns__qtf_mail822) {
1351     return pap_mailbox822(pai, cbyte_io, max, mb_r);
1352   } else {
1353     return pap_domain(pai, cbyte_io, max, mb_r, pdf_quoteok);
1354   }
1355 }
1356
1357 static adns_status csp_mailbox(vbuf *vb, const char *mailbox) {
1358   return csp_domain(vb,mailbox);
1359 }
1360
1361 /*
1362  * _rp   (pa,cs)
1363  */
1364
1365 static adns_status pa_rp(const parseinfo *pai, int cbyte,
1366                          int max, void *datap) {
1367   adns_rr_strpair *rrp= datap;
1368   adns_status st;
1369
1370   st= pap_mailbox(pai, &cbyte, max, &rrp->array[0]);
1371   if (st) return st;
1372
1373   st= pap_domain(pai, &cbyte, max, &rrp->array[1], pdf_quoteok);
1374   if (st) return st;
1375
1376   if (cbyte != max) return adns_s_invaliddata;
1377   return adns_s_ok;
1378 }
1379
1380 static adns_status cs_rp(vbuf *vb, const void *datap) {
1381   const adns_rr_strpair *rrp= datap;
1382   adns_status st;
1383
1384   st= csp_mailbox(vb,rrp->array[0]);  if (st) return st;
1385   CSP_ADDSTR(" ");
1386   st= csp_domain(vb,rrp->array[1]);  if (st) return st;
1387
1388   return adns_s_ok;
1389 }  
1390
1391 /*
1392  * _soa   (pa,mf,cs)
1393  */
1394
1395 static adns_status pa_soa(const parseinfo *pai, int cbyte,
1396                           int max, void *datap) {
1397   adns_rr_soa *rrp= datap;
1398   const byte *dgram= pai->dgram;
1399   adns_status st;
1400   int msw, lsw, i;
1401
1402   st= pap_domain(pai, &cbyte, max, &rrp->mname,
1403                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1404   if (st) return st;
1405
1406   st= pap_mailbox(pai, &cbyte, max, &rrp->rname);
1407   if (st) return st;
1408
1409   if (cbyte+20 != max) return adns_s_invaliddata;
1410   
1411   for (i=0; i<5; i++) {
1412     GET_W(cbyte,msw);
1413     GET_W(cbyte,lsw);
1414     (&rrp->serial)[i]= (msw<<16) | lsw;
1415   }
1416
1417   return adns_s_ok;
1418 }
1419
1420 static void mf_soa(adns_query qu, void *datap) {
1421   adns_rr_soa *rrp= datap;
1422
1423   adns__makefinal_str(qu,&rrp->mname);
1424   adns__makefinal_str(qu,&rrp->rname);
1425 }
1426
1427 static adns_status cs_soa(vbuf *vb, const void *datap) {
1428   const adns_rr_soa *rrp= datap;
1429   char buf[20];
1430   int i;
1431   adns_status st;
1432   
1433   st= csp_domain(vb,rrp->mname);  if (st) return st;
1434   CSP_ADDSTR(" ");
1435   st= csp_mailbox(vb,rrp->rname);  if (st) return st;
1436
1437   for (i=0; i<5; i++) {
1438     sprintf(buf," %lu",(&rrp->serial)[i]);
1439     CSP_ADDSTR(buf);
1440   }
1441
1442   return adns_s_ok;
1443 }
1444
1445 /*
1446  * _srv*  (pa*2,di,cs*2,qdpl,postsort)
1447  */
1448
1449 static adns_status qdpl_srv(adns_state ads,
1450                             const char **p_io, const char *pe, int labelnum,
1451                             char label_r[DNS_MAXDOMAIN], int *ll_io,
1452                             adns_queryflags flags,
1453                             const typeinfo *typei) {
1454   int useflags;
1455   const char *p_orig;
1456   adns_status st;
1457
1458   if (labelnum < 2 && !(flags & adns_qf_quoteok_query)) {
1459     useflags= adns_qf_quoteok_query;
1460     p_orig= *p_io;
1461   } else {
1462     useflags= flags;
1463     p_orig= 0;
1464   }
1465   st= adns__qdpl_normal(ads, p_io,pe, labelnum,label_r, ll_io, useflags,typei);
1466   if (st) return st;
1467
1468   if (p_orig) {
1469     int ll= *ll_io;
1470     if (!ll || label_r[0]!='_')
1471       return adns_s_querydomaininvalid;
1472     if (memchr(p_orig+1, '\\', pe - (p_orig+1)))
1473       return adns_s_querydomaininvalid;
1474   }
1475   return adns_s_ok;
1476 }
1477
1478 static adns_status pap_srv_begin(const parseinfo *pai, int *cbyte_io, int max,
1479                                  adns_rr_srvha *rrp
1480                                    /* might be adns_rr_srvraw* */) {
1481   const byte *dgram= pai->dgram;
1482   int ti, cbyte;
1483
1484   cbyte= *cbyte_io;
1485   if ((*cbyte_io += 6) > max) return adns_s_invaliddata;
1486   
1487   rrp->priority= GET_W(cbyte, ti);
1488   rrp->weight=   GET_W(cbyte, ti);
1489   rrp->port=     GET_W(cbyte, ti);
1490   return adns_s_ok;
1491 }
1492
1493 static adns_status pa_srvraw(const parseinfo *pai, int cbyte,
1494                              int max, void *datap) {
1495   adns_rr_srvraw *rrp= datap;
1496   adns_status st;
1497
1498   st= pap_srv_begin(pai,&cbyte,max,datap);
1499   if (st) return st;
1500   
1501   st= pap_domain(pai, &cbyte, max, &rrp->host,
1502                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1503   if (st) return st;
1504   
1505   if (cbyte != max) return adns_s_invaliddata;
1506   return adns_s_ok;
1507 }
1508
1509 static adns_status pa_srvha(const parseinfo *pai, int cbyte,
1510                             int max, void *datap) {
1511   adns_rr_srvha *rrp= datap;
1512   adns_status st;
1513
1514   st= pap_srv_begin(pai,&cbyte,max,datap);       if (st) return st;
1515   st= pap_hostaddr(pai, &cbyte, max, &rrp->ha);  if (st) return st;
1516   if (cbyte != max) return adns_s_invaliddata;
1517   return adns_s_ok;
1518 }
1519
1520 static void mf_srvraw(adns_query qu, void *datap) {
1521   adns_rr_srvraw *rrp= datap;
1522   adns__makefinal_str(qu, &rrp->host);
1523 }
1524
1525 static void mf_srvha(adns_query qu, void *datap) {
1526   adns_rr_srvha *rrp= datap;
1527   mfp_hostaddr(qu,&rrp->ha);
1528 }
1529
1530 static int di_srv(adns_state ads, const void *datap_a, const void *datap_b) {
1531   const adns_rr_srvraw *ap= datap_a, *bp= datap_b;
1532     /* might be const adns_rr_svhostaddr* */
1533
1534   if (ap->priority < bp->priority) return 0;
1535   if (ap->priority > bp->priority) return 1;
1536   return 0;
1537 }
1538
1539 static adns_status csp_srv_begin(vbuf *vb, const adns_rr_srvha *rrp
1540                                    /* might be adns_rr_srvraw* */) {
1541   char buf[30];
1542   sprintf(buf,"%u %u %u ", rrp->priority, rrp->weight, rrp->port);
1543   CSP_ADDSTR(buf);
1544   return adns_s_ok;
1545 }
1546
1547 static adns_status cs_srvraw(vbuf *vb, const void *datap) {
1548   const adns_rr_srvraw *rrp= datap;
1549   adns_status st;
1550   
1551   st= csp_srv_begin(vb,(const void*)rrp);  if (st) return st;
1552   return csp_domain(vb,rrp->host);
1553 }
1554
1555 static adns_status cs_srvha(vbuf *vb, const void *datap) {
1556   const adns_rr_srvha *rrp= datap;
1557   adns_status st;
1558
1559   st= csp_srv_begin(vb,(const void*)datap);  if (st) return st;
1560   return csp_hostaddr(vb,&rrp->ha);
1561 }
1562
1563 static void postsort_srv(adns_state ads, void *array, int nrrs,
1564                          const struct typeinfo *typei) {
1565   /* we treat everything in the array as if it were an adns_rr_srvha
1566    * even though the array might be of adns_rr_srvraw.  That's OK
1567    * because they have the same prefix, which is all we access.
1568    * We use typei->rrsz, too, rather than naive array indexing, of course.
1569    */
1570   char *workbegin, *workend, *search, *arrayend;
1571   const adns_rr_srvha *rr;
1572   union { adns_rr_srvha ha; adns_rr_srvraw raw; } rrtmp;
1573   int cpriority, totalweight, runtotal;
1574   long randval;
1575
1576   for (workbegin= array, arrayend= workbegin + typei->rrsz * nrrs;
1577        workbegin < arrayend;
1578        workbegin= workend) {
1579     cpriority= (rr=(void*)workbegin)->priority;
1580     
1581     for (workend= workbegin, totalweight= 0;
1582          workend < arrayend && (rr=(void*)workend)->priority == cpriority;
1583          workend += typei->rrsz) {
1584       totalweight += rr->weight;
1585     }
1586
1587     /* Now workbegin..(workend-1) incl. are exactly all of the RRs of
1588      * cpriority.  From now on, workbegin points to the `remaining'
1589      * records: we select one record at a time (RFC2782 `Usage rules'
1590      * and `Format of the SRV RR' subsection `Weight') to place at
1591      * workbegin (swapping with the one that was there, and then
1592      * advance workbegin. */
1593     for (;
1594          workbegin + typei->rrsz < workend; /* don't bother if just one */
1595          workbegin += typei->rrsz) {
1596       
1597       randval= nrand48(ads->rand48xsubi);
1598       randval %= (totalweight + 1);
1599         /* makes it into 0..totalweight inclusive; with 2^10 RRs,
1600          * totalweight must be <= 2^26 so probability nonuniformity is
1601          * no worse than 1 in 2^(31-26) ie 1 in 2^5, ie
1602          *  abs(log(P_intended(RR_i) / P_actual(RR_i)) <= log(2^-5).
1603          */
1604
1605       for (search=workbegin, runtotal=0;
1606            (runtotal += (rr=(void*)search)->weight) < randval;
1607            search += typei->rrsz);
1608       assert(search < arrayend);
1609       totalweight -= rr->weight;
1610       if (search != workbegin) {
1611         memcpy(&rrtmp, workbegin, typei->rrsz);
1612         memcpy(workbegin, search, typei->rrsz);
1613         memcpy(search, &rrtmp, typei->rrsz);
1614       }
1615     }
1616   }
1617   /* tests:
1618    *  dig -t srv _srv._tcp.test.iwj.relativity.greenend.org.uk.
1619    *   ./adnshost_s -t srv- _sip._udp.voip.net.cam.ac.uk.
1620    *   ./adnshost_s -t srv- _jabber._tcp.jabber.org
1621    */
1622 }
1623
1624 /*
1625  * _byteblock   (mf)
1626  */
1627
1628 static void mf_byteblock(adns_query qu, void *datap) {
1629   adns_rr_byteblock *rrp= datap;
1630   void *bytes= rrp->data;
1631   adns__makefinal_block(qu,&bytes,rrp->len);
1632   rrp->data= bytes;
1633 }
1634
1635 /*
1636  * _opaque   (pa,cs)
1637  */
1638
1639 static adns_status pa_opaque(const parseinfo *pai, int cbyte,
1640                              int max, void *datap) {
1641   adns_rr_byteblock *rrp= datap;
1642
1643   rrp->len= max - cbyte;
1644   rrp->data= adns__alloc_interim(pai->qu, rrp->len);
1645   if (!rrp->data) R_NOMEM;
1646   memcpy(rrp->data, pai->dgram + cbyte, rrp->len);
1647   return adns_s_ok;
1648 }
1649
1650 static adns_status cs_opaque(vbuf *vb, const void *datap) {
1651   const adns_rr_byteblock *rrp= datap;
1652   char buf[10];
1653   int l;
1654   unsigned char *p;
1655
1656   sprintf(buf,"\\# %d",rrp->len);
1657   CSP_ADDSTR(buf);
1658   
1659   for (l= rrp->len, p= rrp->data;
1660        l>=4;
1661        l -= 4, p += 4) {
1662     sprintf(buf," %02x%02x%02x%02x",p[0],p[1],p[2],p[3]);
1663     CSP_ADDSTR(buf);
1664   }
1665   for (;
1666        l>0;
1667        l--, p++) {
1668     sprintf(buf," %02x",*p);
1669     CSP_ADDSTR(buf);
1670   }
1671   return adns_s_ok;
1672 }
1673   
1674 /*
1675  * _flat   (mf)
1676  */
1677
1678 static void mf_flat(adns_query qu, void *data) { }
1679
1680 /*
1681  * Now the table.
1682  */
1683
1684 #define TYPESZ_M(member)           (sizeof(*((adns_answer*)0)->rrs.member))
1685
1686 #define DEEP_MEMB(memb) TYPESZ_M(memb), mf_##memb, cs_##memb
1687 #define FLAT_MEMB(memb) TYPESZ_M(memb), mf_flat, cs_##memb
1688
1689 #define DEEP_TYPE(code,rrt,fmt,memb,parser,comparer,printer)    \
1690 { adns_r_##code & adns_rrt_reprmask, rrt,fmt,TYPESZ_M(memb),    \
1691     mf_##memb, printer,parser,comparer, adns__qdpl_normal,0,0 }
1692 #define FLAT_TYPE(code,rrt,fmt,memb,parser,comparer,printer)    \
1693 { adns_r_##code & adns_rrt_reprmask, rrt,fmt,TYPESZ_M(memb),    \
1694      mf_flat, printer,parser,comparer, adns__qdpl_normal,0,0 }
1695 #define XTRA_TYPE(code,rrt,fmt,memb,parser,comparer,printer,               \
1696                   makefinal,qdpl,postsort,sender)                          \
1697 { adns_r_##code & adns_rrt_reprmask, rrt,fmt,TYPESZ_M(memb), makefinal,    \
1698     printer,parser,comparer,qdpl,postsort,sender }
1699
1700 static const typeinfo typeinfos[] = {
1701 /* Must be in ascending order of rrtype ! */
1702 /* mem-mgmt code  rrt     fmt   member   parser      comparer  printer */
1703
1704 FLAT_TYPE(a,      "A",     0,   inaddr,  pa_inaddr,  di_inaddr,cs_inaddr     ),
1705 DEEP_TYPE(ns_raw, "NS",   "raw",str,     pa_host_raw,0,        cs_domain     ),
1706 DEEP_TYPE(cname,  "CNAME", 0,   str,     pa_dom_raw, 0,        cs_domain     ),
1707 DEEP_TYPE(soa_raw,"SOA",  "raw",soa,     pa_soa,     0,        cs_soa        ),
1708 DEEP_TYPE(ptr_raw,"PTR",  "raw",str,     pa_host_raw,0,        cs_domain     ),
1709 DEEP_TYPE(hinfo,  "HINFO", 0, intstrpair,pa_hinfo,   0,        cs_hinfo      ),
1710 DEEP_TYPE(mx_raw, "MX",   "raw",intstr,  pa_mx_raw,  di_mx_raw,cs_inthost    ),
1711 DEEP_TYPE(txt,    "TXT",   0,   manyistr,pa_txt,     0,        cs_txt        ),
1712 DEEP_TYPE(rp_raw, "RP",   "raw",strpair, pa_rp,      0,        cs_rp         ),
1713 FLAT_TYPE(aaaa,   "AAAA",  0,   in6addr, pa_in6addr, di_in6addr,cs_in6addr   ),
1714 XTRA_TYPE(srv_raw,"SRV",  "raw",srvraw , pa_srvraw,  di_srv,   cs_srvraw,
1715                                          mf_srvraw, qdpl_srv, postsort_srv, 0),
1716
1717 XTRA_TYPE(addr,   "A",  "addr", addr,    pa_addr,    di_addr,  cs_addr,
1718                                        mf_flat, adns__qdpl_normal, 0, qs_addr),
1719 DEEP_TYPE(ns,     "NS", "+addr",hostaddr,pa_hostaddr,di_hostaddr,cs_hostaddr ),
1720 DEEP_TYPE(ptr,    "PTR","checked",str,   pa_ptr,     0,        cs_domain     ),
1721 DEEP_TYPE(mx,     "MX", "+addr",inthostaddr,pa_mx,   di_mx,    cs_inthostaddr),
1722 XTRA_TYPE(srv,    "SRV","+addr",srvha,   pa_srvha,   di_srv,   cs_srvha,
1723                                           mf_srvha, qdpl_srv, postsort_srv, 0),
1724
1725 DEEP_TYPE(soa,    "SOA","822",  soa,     pa_soa,     0,        cs_soa        ),
1726 DEEP_TYPE(rp,     "RP", "822",  strpair, pa_rp,      0,        cs_rp         ),
1727 };
1728
1729 static const typeinfo typeinfo_unknown=
1730 DEEP_TYPE(unknown,0, "unknown",byteblock,pa_opaque,  0,        cs_opaque     );
1731
1732 const typeinfo *adns__findtype(adns_rrtype type) {
1733   const typeinfo *begin, *end, *mid;
1734
1735   if (type & adns_r_unknown) return &typeinfo_unknown;
1736   type &= adns_rrt_reprmask;
1737
1738   begin= typeinfos;  end= typeinfos+(sizeof(typeinfos)/sizeof(typeinfo));
1739
1740   while (begin < end) {
1741     mid= begin + ((end-begin)>>1);
1742     if (mid->typekey == type) return mid;
1743     if (type > mid->typekey) begin= mid+1;
1744     else end= mid;
1745   }
1746   return 0;
1747 }