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