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