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= gettimeofday(&now, 0);  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= gettimeofday(&now, 0);  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 failed: %s", strerror(errno));
 741   err= adns_s_systemfail;
 742   goto x_err;
 743
 744 x_err:
 745   adns__query_fail(parent, err);
 746 }
 747
 748 static void qs_addr(adns_query qu, struct timeval now) {
 749   if (!qu->ctx.tinfo.addr.want) {
 750     qu->ctx.tinfo.addr.want= addr_rrtypes(qu->ads, qu->answer->type,
 751                                           qu->flags);
 752     qu->ctx.tinfo.addr.have= 0;
 753   }
 754   addr_subqueries(qu, now, 0, qu->query_dgram, qu->query_dglen);
 755 }
 756
 757 /*
 758  * _domain      (pap,csp,cs)
 759  * _dom_raw     (pa)
 760  */
 761
 762 static adns_status pap_domain(const parseinfo *pai, int *cbyte_io, int max,
 763                               char **domain_r, parsedomain_flags flags) {
 764   adns_status st;
 765   char *dm;
 766
 767   st= adns__parse_domain(pai->qu->ads, pai->serv, pai->qu, &pai->qu->vb, flags,
 768                          pai->dgram,pai->dglen, cbyte_io, max);
 769   if (st) return st;
 770   if (!pai->qu->vb.used) return adns_s_invaliddata;
 771
 772   dm= adns__alloc_interim(pai->qu, pai->qu->vb.used+1);
 773   if (!dm) R_NOMEM;
 774
 775   dm[pai->qu->vb.used]= 0;
 776   memcpy(dm,pai->qu->vb.buf,pai->qu->vb.used);
 777
 778   *domain_r= dm;
 779   return adns_s_ok;
 780 }
 781
 782 static adns_status csp_domain(vbuf *vb, const char *domain) {
 783   CSP_ADDSTR(domain);
 784   if (!*domain) CSP_ADDSTR(".");
 785   return adns_s_ok;
 786 }
 787
 788 static adns_status cs_domain(vbuf *vb, adns_rrtype rrt, const void *datap) {
 789   const char *const *domainp= datap;
 790   return csp_domain(vb,*domainp);
 791 }
 792
 793 static adns_status pa_dom_raw(const parseinfo *pai, int cbyte,
 794                               int max, void *datap) {
 795   char **rrp= datap;
 796   adns_status st;
 797
 798   st= pap_domain(pai, &cbyte, max, rrp, pdf_quoteok);
 799   if (st) return st;
 800
 801   if (cbyte != max) return adns_s_invaliddata;
 802   return adns_s_ok;
 803 }
 804
 805 /*
 806  * _host_raw   (pa)
 807  */
 808
 809 static adns_status pa_host_raw(const parseinfo *pai, int cbyte,
 810                                int max, void *datap) {
 811   char **rrp= datap;
 812   adns_status st;
 813
 814   st= pap_domain(pai, &cbyte, max, rrp,
 815                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
 816   if (st) return st;
 817
 818   if (cbyte != max) return adns_s_invaliddata;
 819   return adns_s_ok;
 820 }
 821
 822 /*
 823  * _hostaddr   (pap,pa,dip,di,mfp,mf,csp,cs +pap_findaddrs, icb_hostaddr)
 824  */
 825
 826 static adns_status pap_findaddrs(const parseinfo *pai, adns_rr_hostaddr *ha,
 827                                  unsigned *want_io, size_t addrsz,
 828                                  int *cbyte_io, int count, int dmstart) {
 829   int rri, naddrs;
 830   unsigned typef, want= *want_io, need= want;
 831   int type, class, rdlen, rdend, rdstart, ownermatched;
 832   unsigned long ttl;
 833   adns_status st;
 834
 835   for (rri=0, naddrs=0; rri<count; rri++) {
 836     st= adns__findrr_anychk(pai->qu, pai->serv, pai->dgram,
 837                             pai->dglen, cbyte_io,
 838                             &type, &class, &ttl, &rdlen, &rdstart,
 839                             pai->dgram, pai->dglen, dmstart, &ownermatched);
 840     if (st) return st;
 841     if (type==-1) continue;
 842     if (!ownermatched || class != DNS_CLASS_IN) continue;
 843     typef= addr_rrtypeflag(type);
 844     if (!(want & typef)) continue;
 845     need &= ~typef;
 846     if (!adns__vbuf_ensure(&pai->qu->vb, (naddrs+1)*addrsz)) R_NOMEM;
 847     adns__update_expires(pai->qu,ttl,pai->now);
 848     rdend= rdstart + rdlen;
 849     st= pap_addr(pai, type, addrsz, &rdstart, rdend,
 850                  (adns_rr_addr *)(pai->qu->vb.buf + naddrs*addrsz));
 851     if (st) return st;
 852     if (rdstart != rdend) return adns_s_invaliddata;
 853     naddrs++;
 854   }
 855   if (naddrs > 0) {
 856     st= append_addrs(pai->qu, addrsz, &ha->addrs, &ha->naddrs,
 857                      (const adns_rr_addr *)pai->qu->vb.buf, naddrs);
 858     if (st) return st;
 859     ha->astatus= adns_s_ok;
 860
 861     if (!need) {
 862       adns__isort(ha->addrs, naddrs, addrsz, pai->qu->vb.buf,
 863                   div_addr, pai->ads);
 864     }
 865   }
 866   *want_io= need;
 867   return adns_s_ok;
 868 }
 869
 870 static void icb_hostaddr(adns_query parent, adns_query child) {
 871   adns_answer *cans= child->answer;
 872   adns_rr_hostaddr *rrp= child->ctx.pinfo.hostaddr;
 873   adns_state ads= parent->ads;
 874   adns_status st;
 875   size_t addrsz= gsz_addr(0, parent->answer->type);
 876
 877   st= cans->status == adns_s_nodata ? adns_s_ok : cans->status;
 878   if (st) goto done;
 879   propagate_ttl(parent, child);
 880
 881   assert(addrsz == cans->rrsz);
 882   st= append_addrs(parent, addrsz,
 883                    &rrp->addrs, &rrp->naddrs,
 884                    cans->rrs.addr, cans->nrrs);
 885   if (st) goto done;
 886   if (!rrp->naddrs) { st= adns_s_nodata; goto done; }
 887
 888   if (!adns__vbuf_ensure(&parent->vb, addrsz))
 889     { st= adns_s_nomemory; goto done; }
 890   adns__isort(rrp->addrs, rrp->naddrs, addrsz, parent->vb.buf,
 891               div_addr, ads);
 892
 893 done:
 894   if (st) {
 895     adns__free_interim(parent, rrp->addrs);
 896     rrp->addrs = 0;
 897     rrp->naddrs= (st>0 && st<=adns_s_max_tempfail) ? -1 : 0;
 898   }
 899
 900   rrp->astatus= st;
 901   if (parent->children.head) {
 902     LIST_LINK_TAIL(ads->childw,parent);
 903   } else {
 904     adns__query_done(parent);
 905   }
 906 }
 907
 908 static adns_status pap_hostaddr(const parseinfo *pai, int *cbyte_io,
 909                                 int max, adns_rr_hostaddr *rrp) {
 910   adns_status st;
 911   int dmstart, cbyte;
 912   qcontext ctx;
 913   int id;
 914   adns_query nqu;
 915   adns_queryflags nflags;
 916   unsigned want;
 917   size_t addrsz= gsz_addr(0, pai->qu->answer->type);
 918
 919   dmstart= cbyte= *cbyte_io;
 920   st= pap_domain(pai, &cbyte, max, &rrp->host,
 921                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
 922   if (st) return st;
 923   *cbyte_io= cbyte;
 924
 925   rrp->astatus= adns_s_ok;
 926   rrp->naddrs= 0;
 927   rrp->addrs= 0;
 928
 929   cbyte= pai->nsstart;
 930
 931   want= addr_rrtypes(pai->ads, pai->qu->answer->type, pai->qu->flags);
 932
 933   st= pap_findaddrs(pai, rrp, &want, addrsz, &cbyte, pai->nscount, dmstart);
 934   if (st) return st;
 935   if (!want) return adns_s_ok;
 936
 937   st= pap_findaddrs(pai, rrp, &want, addrsz, &cbyte, pai->arcount, dmstart);
 938   if (st) return st;
 939   if (!want) return adns_s_ok;
 940
 941   st= adns__mkquery_frdgram(pai->ads, &pai->qu->vb, &id,
 942                             pai->dgram, pai->dglen, dmstart,
 943                             adns_r_addr, adns_qf_quoteok_query);
 944   if (st) return st;
 945
 946   ctx.ext= 0;
 947   ctx.callback= icb_hostaddr;
 948   ctx.pinfo.hostaddr= rrp;
 949
 950   nflags= adns_qf_quoteok_query | (pai->qu->flags & (adns_qf_want_allaf |
 951                                                      adns_qf_ipv6_mapv4));
 952   if (!(pai->qu->flags & adns_qf_cname_loose)) nflags |= adns_qf_cname_forbid;
 953
 954   st= addr_submit(pai->qu, &nqu, &pai->qu->vb, id, want,
 955                   nflags, pai->now, &ctx);
 956   if (st) return st;
 957
 958   return adns_s_ok;
 959 }
 960
 961 static adns_status pa_hostaddr(const parseinfo *pai, int cbyte,
 962                                int max, void *datap) {
 963   adns_rr_hostaddr *rrp= datap;
 964   adns_status st;
 965
 966   st= pap_hostaddr(pai, &cbyte, max, rrp);
 967   if (st) return st;
 968   if (cbyte != max) return adns_s_invaliddata;
 969
 970   return adns_s_ok;
 971 }
 972
 973 static int dip_hostaddr(adns_state ads,
 974                         const adns_rr_hostaddr *ap, const adns_rr_hostaddr *bp) {
 975   if (ap->astatus != bp->astatus) return ap->astatus;
 976   if (ap->astatus) return 0;
 977
 978   return dip_sockaddr(ads, &ap->addrs[0].addr.sa, &bp->addrs[0].addr.sa);
 979 }
 980
 981 static int di_hostaddr(adns_state ads,
 982                        const void *datap_a, const void *datap_b) {
 983   const adns_rr_hostaddr *ap= datap_a, *bp= datap_b;
 984
 985   return dip_hostaddr(ads, ap,bp);
 986 }
 987
 988 static void mfp_hostaddr(adns_query qu, adns_rr_hostaddr *rrp) {
 989   void *tablev;
 990   size_t addrsz= gsz_addr(0, qu->answer->type);
 991
 992   adns__makefinal_str(qu,&rrp->host);
 993   tablev= rrp->addrs;
 994   adns__makefinal_block(qu, &tablev, rrp->naddrs*addrsz);
 995   rrp->addrs= tablev;
 996 }
 997
 998 static void mf_hostaddr(adns_query qu, void *datap) {
 999   adns_rr_hostaddr *rrp= datap;
1000
1001   mfp_hostaddr(qu,rrp);
1002 }
1003
1004 static adns_status csp_hostaddr(vbuf *vb, adns_rrtype rrt,
1005                                 const adns_rr_hostaddr *rrp) {
1006   const char *errstr;
1007   adns_status st;
1008   char buf[20];
1009   int i;
1010   size_t addrsz= gsz_addr(0, rrt);
1011
1012   st= csp_domain(vb,rrp->host);  if (st) return st;
1013
1014   CSP_ADDSTR(" ");
1015   CSP_ADDSTR(adns_errtypeabbrev(rrp->astatus));
1016
1017   sprintf(buf," %d ",rrp->astatus);
1018   CSP_ADDSTR(buf);
1019
1020   CSP_ADDSTR(adns_errabbrev(rrp->astatus));
1021   CSP_ADDSTR(" ");
1022
1023   errstr= adns_strerror(rrp->astatus);
1024   st= csp_qstring(vb,errstr,strlen(errstr));  if (st) return st;
1025
1026   if (rrp->naddrs >= 0) {
1027     CSP_ADDSTR(" (");
1028     for (i=0; i<rrp->naddrs; i++) {
1029       CSP_ADDSTR(" ");
1030       st= csp_addr(vb, (const void*)((const char*)rrp->addrs + addrsz*i));
1031     }
1032     CSP_ADDSTR(" )");
1033   } else {
1034     CSP_ADDSTR(" ?");
1035   }
1036   return adns_s_ok;
1037 }
1038
1039 static adns_status cs_hostaddr(vbuf *vb, adns_rrtype rrt, const void *datap) {
1040   const adns_rr_hostaddr *rrp= datap;
1041
1042   return csp_hostaddr(vb,rrt,rrp);
1043 }
1044
1045 /*
1046  * _mx_raw   (pa,di)
1047  */
1048
1049 static adns_status pa_mx_raw(const parseinfo *pai, int cbyte,
1050                              int max, void *datap) {
1051   const byte *dgram= pai->dgram;
1052   adns_rr_intstr *rrp= datap;
1053   adns_status st;
1054   int pref;
1055
1056   if (cbyte+2 > max) return adns_s_invaliddata;
1057   GET_W(cbyte,pref);
1058   rrp->i= pref;
1059   st= pap_domain(pai, &cbyte, max, &rrp->str,
1060                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1061   if (st) return st;
1062
1063   if (cbyte != max) return adns_s_invaliddata;
1064   return adns_s_ok;
1065 }
1066
1067 static int di_mx_raw(adns_state ads, const void *datap_a, const void *datap_b) {
1068   const adns_rr_intstr *ap= datap_a, *bp= datap_b;
1069
1070   if (ap->i < bp->i) return 0;
1071   if (ap->i > bp->i) return 1;
1072   return 0;
1073 }
1074
1075 /*
1076  * _mx   (pa,di)
1077  */
1078
1079 static adns_status pa_mx(const parseinfo *pai, int cbyte,
1080                          int max, void *datap) {
1081   const byte *dgram= pai->dgram;
1082   adns_rr_inthostaddr *rrp= datap;
1083   adns_status st;
1084   int pref;
1085
1086   if (cbyte+2 > max) return adns_s_invaliddata;
1087   GET_W(cbyte,pref);
1088   rrp->i= pref;
1089   st= pap_hostaddr(pai, &cbyte, max, &rrp->ha);
1090   if (st) return st;
1091
1092   if (cbyte != max) return adns_s_invaliddata;
1093   return adns_s_ok;
1094 }
1095
1096 static int di_mx(adns_state ads, const void *datap_a, const void *datap_b) {
1097   const adns_rr_inthostaddr *ap= datap_a, *bp= datap_b;
1098
1099   if (ap->i < bp->i) return 0;
1100   if (ap->i > bp->i) return 1;
1101   return dip_hostaddr(ads, &ap->ha, &bp->ha);
1102 }
1103
1104 /*
1105  * _inthostaddr  (mf,cs)
1106  */
1107
1108 static void mf_inthostaddr(adns_query qu, void *datap) {
1109   adns_rr_inthostaddr *rrp= datap;
1110
1111   mfp_hostaddr(qu,&rrp->ha);
1112 }
1113
1114 static adns_status csp_intofinthost(vbuf *vb, int i) {
1115   char buf[10];
1116
1117   if (i < 0 || i > 0xffff)
1118     /* currently only used for MX whose priorities are 16-bit */
1119     return adns_s_invaliddata;
1120
1121   sprintf(buf,"%u ",i);
1122   CSP_ADDSTR(buf);
1123   return adns_s_ok;
1124 }
1125
1126 static adns_status cs_inthostaddr(vbuf *vb, adns_rrtype rrt, const void *datap) {
1127   const adns_rr_inthostaddr *rrp= datap;
1128   adns_status st;
1129
1130   st = csp_intofinthost(vb,rrp->i);  if (st) return st;
1131   return csp_hostaddr(vb,rrt,&rrp->ha);
1132 }
1133
1134 /*
1135  * _inthost  (cs)
1136  */
1137
1138 static adns_status cs_inthost(vbuf *vb, adns_rrtype rrt, const void *datap) {
1139   const adns_rr_intstr *rrp= datap;
1140   adns_status st;
1141
1142   st = csp_intofinthost(vb,rrp->i);  if (st) return st;
1143   return csp_domain(vb,rrp->str);
1144 }
1145
1146 /*
1147  * _ptr   (ckl,pa +icb_ptr)
1148  */
1149
1150 static adns_status ckl_ptr(adns_state ads, adns_queryflags flags,
1151                            union checklabel_state *cls, qcontext *ctx,
1152                            int labnum, const char *dgram,
1153                            int labstart, int lablen) {
1154   if (lablen) {
1155     if (!adns__revparse_label(&cls->ptr, labnum, dgram,labstart,lablen))
1156       return adns_s_querydomainwrong;
1157   } else {
1158     if (!adns__revparse_done(&cls->ptr, dgram, labnum,
1159                              &ctx->tinfo.ptr.rev_rrtype,
1160                              &ctx->tinfo.ptr.addr))
1161       return adns_s_querydomainwrong;
1162   }
1163   return adns_s_ok;
1164 }
1165
1166 static void icb_ptr(adns_query parent, adns_query child) {
1167   adns_answer *cans= child->answer;
1168   const adns_sockaddr *queried;
1169   const unsigned char *found;
1170   adns_state ads= parent->ads;
1171   int i;
1172
1173   if (cans->status == adns_s_nxdomain || cans->status == adns_s_nodata) {
1174     adns__query_fail(parent,adns_s_inconsistent);
1175     return;
1176   } else if (cans->status) {
1177     adns__query_fail(parent,cans->status);
1178     return;
1179   }
1180
1181   queried= &parent->ctx.tinfo.ptr.addr;
1182   for (i=0, found=cans->rrs.bytes; i<cans->nrrs; i++, found+=cans->rrsz) {
1183     if (adns__addrs_equal_raw(&queried->sa,
1184                           parent->ctx.tinfo.ptr.addr.sa.sa_family,found)) {
1185       if (!parent->children.head) {
1186         adns__query_done(parent);
1187         return;
1188       } else {
1189         LIST_LINK_TAIL(ads->childw,parent);
1190         return;
1191       }
1192     }
1193   }
1194
1195   adns__query_fail(parent,adns_s_inconsistent);
1196 }
1197
1198 static adns_status pa_ptr(const parseinfo *pai, int dmstart,
1199                           int max, void *datap) {
1200   char **rrp= datap;
1201   adns_status st;
1202   adns_rrtype rrtype= pai->qu->ctx.tinfo.ptr.rev_rrtype;
1203   int cbyte, id;
1204   adns_query nqu;
1205   qcontext ctx;
1206
1207   cbyte= dmstart;
1208   st= pap_domain(pai, &cbyte, max, rrp,
1209                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1210   if (st) return st;
1211   if (cbyte != max) return adns_s_invaliddata;
1212
1213   st= adns__mkquery_frdgram(pai->ads, &pai->qu->vb, &id,
1214                             pai->dgram, pai->dglen, dmstart,
1215                             rrtype, adns_qf_quoteok_query);
1216   if (st) return st;
1217
1218   ctx.ext= 0;
1219   ctx.callback= icb_ptr;
1220   memset(&ctx.pinfo,0,sizeof(ctx.pinfo));
1221   memset(&ctx.tinfo,0,sizeof(ctx.tinfo));
1222   st= adns__internal_submit(pai->ads, &nqu, pai->qu,
1223                             adns__findtype(rrtype),
1224                             rrtype, &pai->qu->vb, id,
1225                             adns_qf_quoteok_query, pai->now, &ctx);
1226   if (st) return st;
1227
1228   return adns_s_ok;
1229 }
1230
1231 /*
1232  * _strpair   (mf)
1233  */
1234
1235 static void mf_strpair(adns_query qu, void *datap) {
1236   adns_rr_strpair *rrp= datap;
1237
1238   adns__makefinal_str(qu,&rrp->array[0]);
1239   adns__makefinal_str(qu,&rrp->array[1]);
1240 }
1241
1242 /*
1243  * _intstrpair   (mf)
1244  */
1245
1246 static void mf_intstrpair(adns_query qu, void *datap) {
1247   adns_rr_intstrpair *rrp= datap;
1248
1249   adns__makefinal_str(qu,&rrp->array[0].str);
1250   adns__makefinal_str(qu,&rrp->array[1].str);
1251 }
1252
1253 /*
1254  * _hinfo   (pa)
1255  */
1256
1257 static adns_status pa_hinfo(const parseinfo *pai, int cbyte,
1258                             int max, void *datap) {
1259   adns_rr_intstrpair *rrp= datap;
1260   adns_status st;
1261   int i;
1262
1263   for (i=0; i<2; i++) {
1264     st= pap_qstring(pai, &cbyte, max, &rrp->array[i].i, &rrp->array[i].str);
1265     if (st) return st;
1266   }
1267
1268   if (cbyte != max) return adns_s_invaliddata;
1269
1270   return adns_s_ok;
1271 }
1272
1273 /*
1274  * _mailbox   (pap,cs +pap_mailbox822)
1275  */
1276
1277 static adns_status pap_mailbox822(const parseinfo *pai,
1278                                   int *cbyte_io, int max, char **mb_r) {
1279   int lablen, labstart, i, needquote, c, r, neednorm;
1280   const unsigned char *p;
1281   char *str;
1282   findlabel_state fls;
1283   adns_status st;
1284   vbuf *vb;
1285
1286   vb= &pai->qu->vb;
1287   vb->used= 0;
1288   adns__findlabel_start(&fls, pai->ads,
1289                         -1, pai->qu,
1290                         pai->dgram, pai->dglen, max,
1291                         *cbyte_io, cbyte_io);
1292   st= adns__findlabel_next(&fls,&lablen,&labstart);
1293   if (st) return st;
1294   if (!lablen) {
1295     adns__vbuf_appendstr(vb,".");
1296     goto x_ok;
1297   }
1298
1299   neednorm= 1;
1300   for (i=0, needquote=0, p= pai->dgram+labstart; i<lablen; i++) {
1301     c= *p++;
1302     if ((c&~128) < 32 || (c&~128) == 127) return adns_s_invaliddata;
1303     if (c == '.' && !neednorm) neednorm= 1;
1304     else if (c==' ' || c>=127 || ctype_822special(c)) needquote++;
1305     else neednorm= 0;
1306   }
1307
1308   if (needquote || neednorm) {
1309     r= adns__vbuf_ensure(vb, lablen+needquote+4); if (!r) R_NOMEM;
1310     adns__vbuf_appendq(vb,"\"",1);
1311     for (i=0, needquote=0, p= pai->dgram+labstart; i<lablen; i++, p++) {
1312       c= *p;
1313       if (c == '"' || c=='\\') adns__vbuf_appendq(vb,"\\",1);
1314       adns__vbuf_appendq(vb,p,1);
1315     }
1316     adns__vbuf_appendq(vb,"\"",1);
1317   } else {
1318     r= adns__vbuf_append(vb, pai->dgram+labstart, lablen); if (!r) R_NOMEM;
1319   }
1320
1321   r= adns__vbuf_appendstr(vb,"@"); if (!r) R_NOMEM;
1322
1323   st= adns__parse_domain_more(&fls,pai->ads, pai->qu,vb,0, pai->dgram);
1324   if (st) return st;
1325
1326  x_ok:
1327   str= adns__alloc_interim(pai->qu, vb->used+1); if (!str) R_NOMEM;
1328   memcpy(str,vb->buf,vb->used);
1329   str[vb->used]= 0;
1330   *mb_r= str;
1331   return adns_s_ok;
1332 }
1333
1334 static adns_status pap_mailbox(const parseinfo *pai, int *cbyte_io, int max,
1335                                char **mb_r) {
1336   if (pai->qu->typei->typekey & adns__qtf_mail822) {
1337     return pap_mailbox822(pai, cbyte_io, max, mb_r);
1338   } else {
1339     return pap_domain(pai, cbyte_io, max, mb_r, pdf_quoteok);
1340   }
1341 }
1342
1343 static adns_status csp_mailbox(vbuf *vb, const char *mailbox) {
1344   return csp_domain(vb,mailbox);
1345 }
1346
1347 /*
1348  * _rp   (pa,cs)
1349  */
1350
1351 static adns_status pa_rp(const parseinfo *pai, int cbyte,
1352                          int max, void *datap) {
1353   adns_rr_strpair *rrp= datap;
1354   adns_status st;
1355
1356   st= pap_mailbox(pai, &cbyte, max, &rrp->array[0]);
1357   if (st) return st;
1358
1359   st= pap_domain(pai, &cbyte, max, &rrp->array[1], pdf_quoteok);
1360   if (st) return st;
1361
1362   if (cbyte != max) return adns_s_invaliddata;
1363   return adns_s_ok;
1364 }
1365
1366 static adns_status cs_rp(vbuf *vb, adns_rrtype rrt, const void *datap) {
1367   const adns_rr_strpair *rrp= datap;
1368   adns_status st;
1369
1370   st= csp_mailbox(vb,rrp->array[0]);  if (st) return st;
1371   CSP_ADDSTR(" ");
1372   st= csp_domain(vb,rrp->array[1]);  if (st) return st;
1373
1374   return adns_s_ok;
1375 }
1376
1377 /*
1378  * _soa   (pa,mf,cs)
1379  */
1380
1381 static adns_status pa_soa(const parseinfo *pai, int cbyte,
1382                           int max, void *datap) {
1383   adns_rr_soa *rrp= datap;
1384   const byte *dgram= pai->dgram;
1385   adns_status st;
1386   int i;
1387
1388   st= pap_domain(pai, &cbyte, max, &rrp->mname,
1389                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1390   if (st) return st;
1391
1392   st= pap_mailbox(pai, &cbyte, max, &rrp->rname);
1393   if (st) return st;
1394
1395   if (cbyte+20 != max) return adns_s_invaliddata;
1396
1397   for (i=0; i<5; i++) {
1398     unsigned long v;
1399     (&rrp->serial)[i]= GET_L(cbyte, v);
1400   }
1401
1402   return adns_s_ok;
1403 }
1404
1405 static void mf_soa(adns_query qu, void *datap) {
1406   adns_rr_soa *rrp= datap;
1407
1408   adns__makefinal_str(qu,&rrp->mname);
1409   adns__makefinal_str(qu,&rrp->rname);
1410 }
1411
1412 static adns_status cs_soa(vbuf *vb, adns_rrtype rrt, const void *datap) {
1413   const adns_rr_soa *rrp= datap;
1414   char buf[20];
1415   int i;
1416   adns_status st;
1417
1418   st= csp_domain(vb,rrp->mname);  if (st) return st;
1419   CSP_ADDSTR(" ");
1420   st= csp_mailbox(vb,rrp->rname);  if (st) return st;
1421
1422   for (i=0; i<5; i++) {
1423     if (rrp->serial > 0xffffffffUL)
1424       return adns_s_invaliddata;
1425     sprintf(buf," %lu",(&rrp->serial)[i]);
1426     CSP_ADDSTR(buf);
1427   }
1428
1429   return adns_s_ok;
1430 }
1431
1432 /*
1433  * _srv*  (ckl,(pap),pa*2,mf*2,di,(csp),cs*2,postsort)
1434  */
1435
1436 static adns_status ckl_srv(adns_state ads, adns_queryflags flags,
1437                            union checklabel_state *cls, qcontext *ctx,
1438                            int labnum, const char *dgram,
1439                            int labstart, int lablen) {
1440   const char *label = dgram+labstart;
1441   if (labnum < 2) {
1442     if (flags & adns_qf_quoteok_query) return adns_s_ok;
1443     if (!lablen || label[0] != '_') return adns_s_querydomaininvalid;
1444     return adns_s_ok;
1445   }
1446   return adns__ckl_hostname(ads,flags, cls,ctx, labnum, dgram,labstart,lablen);
1447 }
1448
1449 static adns_status pap_srv_begin(const parseinfo *pai, int *cbyte_io, int max,
1450                                  adns_rr_srvha *rrp
1451                                    /* might be adns_rr_srvraw* */) {
1452   const byte *dgram= pai->dgram;
1453   int ti, cbyte;
1454
1455   cbyte= *cbyte_io;
1456   if ((*cbyte_io += 6) > max) return adns_s_invaliddata;
1457
1458   rrp->priority= GET_W(cbyte, ti);
1459   rrp->weight=   GET_W(cbyte, ti);
1460   rrp->port=     GET_W(cbyte, ti);
1461   return adns_s_ok;
1462 }
1463
1464 static adns_status pa_srvraw(const parseinfo *pai, int cbyte,
1465                              int max, void *datap) {
1466   adns_rr_srvraw *rrp= datap;
1467   adns_status st;
1468
1469   st= pap_srv_begin(pai,&cbyte,max,datap);
1470   if (st) return st;
1471
1472   st= pap_domain(pai, &cbyte, max, &rrp->host,
1473                  pai->qu->flags & adns_qf_quoteok_anshost ? pdf_quoteok : 0);
1474   if (st) return st;
1475
1476   if (cbyte != max) return adns_s_invaliddata;
1477   return adns_s_ok;
1478 }
1479
1480 static adns_status pa_srvha(const parseinfo *pai, int cbyte,
1481                             int max, void *datap) {
1482   adns_rr_srvha *rrp= datap;
1483   adns_status st;
1484
1485   st= pap_srv_begin(pai,&cbyte,max,datap);       if (st) return st;
1486   st= pap_hostaddr(pai, &cbyte, max, &rrp->ha);  if (st) return st;
1487   if (cbyte != max) return adns_s_invaliddata;
1488   return adns_s_ok;
1489 }
1490
1491 static void mf_srvraw(adns_query qu, void *datap) {
1492   adns_rr_srvraw *rrp= datap;
1493   adns__makefinal_str(qu, &rrp->host);
1494 }
1495
1496 static void mf_srvha(adns_query qu, void *datap) {
1497   adns_rr_srvha *rrp= datap;
1498   mfp_hostaddr(qu,&rrp->ha);
1499 }
1500
1501 static int di_srv(adns_state ads, const void *datap_a, const void *datap_b) {
1502   const adns_rr_srvraw *ap= datap_a, *bp= datap_b;
1503     /* might be const adns_rr_svhostaddr* */
1504
1505   if (ap->priority < bp->priority) return 0;
1506   if (ap->priority > bp->priority) return 1;
1507   return 0;
1508 }
1509
1510 static adns_status csp_srv_begin(vbuf *vb, const adns_rr_srvha *rrp
1511                                    /* might be adns_rr_srvraw* */) {
1512   char buf[30];
1513   if (rrp->priority < 0 || rrp->priority > 0xffff ||
1514       rrp->weight   < 0 || rrp->weight   > 0xffff ||
1515       rrp->port     < 0 || rrp->port     > 0xffff)
1516     return adns_s_invaliddata;
1517   sprintf(buf,"%u %u %u ", rrp->priority, rrp->weight, rrp->port);
1518   CSP_ADDSTR(buf);
1519   return adns_s_ok;
1520 }
1521
1522 static adns_status cs_srvraw(vbuf *vb, adns_rrtype rrt, const void *datap) {
1523   const adns_rr_srvraw *rrp= datap;
1524   adns_status st;
1525
1526   st= csp_srv_begin(vb,(const void*)rrp);  if (st) return st;
1527   return csp_domain(vb,rrp->host);
1528 }
1529
1530 static adns_status cs_srvha(vbuf *vb, adns_rrtype rrt, const void *datap) {
1531   const adns_rr_srvha *rrp= datap;
1532   adns_status st;
1533
1534   st= csp_srv_begin(vb,(const void*)datap);  if (st) return st;
1535   return csp_hostaddr(vb,rrt,&rrp->ha);
1536 }
1537
1538 static void postsort_srv(adns_state ads, void *array, int nrrs,int rrsz,
1539                          const struct typeinfo *typei) {
1540   /* we treat everything in the array as if it were an adns_rr_srvha
1541    * even though the array might be of adns_rr_srvraw.  That's OK
1542    * because they have the same prefix, which is all we access.
1543    * We use rrsz, too, rather than naive array indexing, of course.
1544    */
1545   char *workbegin, *workend, *search, *arrayend;
1546   const adns_rr_srvha *rr;
1547   union { adns_rr_srvha ha; adns_rr_srvraw raw; } rrtmp;
1548   int cpriority, totalweight, runtotal;
1549   long randval;
1550
1551   assert(rrsz <= sizeof(rrtmp));
1552   for (workbegin= array, arrayend= workbegin + rrsz * nrrs;
1553        workbegin < arrayend;
1554        workbegin= workend) {
1555     cpriority= (rr=(void*)workbegin)->priority;
1556
1557     for (workend= workbegin, totalweight= 0;
1558          workend < arrayend && (rr=(void*)workend)->priority == cpriority;
1559          workend += rrsz) {
1560       totalweight += rr->weight;
1561     }
1562
1563     /* Now workbegin..(workend-1) incl. are exactly all of the RRs of
1564      * cpriority.  From now on, workbegin points to the `remaining'
1565      * records: we select one record at a time (RFC2782 `Usage rules'
1566      * and `Format of the SRV RR' subsection `Weight') to place at
1567      * workbegin (swapping with the one that was there, and then
1568      * advance workbegin. */
1569     for (;
1570          workbegin + rrsz < workend; /* don't bother if just one */
1571          workbegin += rrsz) {
1572
1573       randval= nrand48(ads->rand48xsubi);
1574       randval %= (totalweight + 1);
1575         /* makes it into 0..totalweight inclusive; with 2^10 RRs,
1576          * totalweight must be <= 2^26 so probability nonuniformity is
1577          * no worse than 1 in 2^(31-26) ie 1 in 2^5, ie
1578          *  abs(log(P_intended(RR_i) / P_actual(RR_i)) <= log(2^-5).
1579          */
1580
1581       for (search=workbegin, runtotal=0;
1582            (runtotal += (rr=(void*)search)->weight) < randval;
1583            search += rrsz);
1584       assert(search < arrayend);
1585       totalweight -= rr->weight;
1586       if (search != workbegin) {
1587         memcpy(&rrtmp, workbegin, rrsz);
1588         memcpy(workbegin, search, rrsz);
1589         memcpy(search, &rrtmp, rrsz);
1590       }
1591     }
1592   }
1593   /* tests:
1594    *  dig -t srv _srv._tcp.test.iwj.relativity.greenend.org.uk.
1595    *   ./adnshost_s -t srv- _sip._udp.voip.net.cam.ac.uk.
1596    *   ./adnshost_s -t srv- _jabber._tcp.jabber.org
1597    */
1598 }
1599
1600 /*
1601  * _byteblock   (mf)
1602  */
1603
1604 static void mf_byteblock(adns_query qu, void *datap) {
1605   adns_rr_byteblock *rrp= datap;
1606   void *bytes= rrp->data;
1607   adns__makefinal_block(qu,&bytes,rrp->len);
1608   rrp->data= bytes;
1609 }
1610
1611 /*
1612  * _opaque   (pa,cs)
1613  */
1614
1615 static adns_status pa_opaque(const parseinfo *pai, int cbyte,
1616                              int max, void *datap) {
1617   adns_rr_byteblock *rrp= datap;
1618
1619   rrp->len= max - cbyte;
1620   rrp->data= adns__alloc_interim(pai->qu, rrp->len);
1621   if (!rrp->data) R_NOMEM;
1622   memcpy(rrp->data, pai->dgram + cbyte, rrp->len);
1623   return adns_s_ok;
1624 }
1625
1626 static adns_status cs_opaque(vbuf *vb, adns_rrtype rrt, const void *datap) {
1627   const adns_rr_byteblock *rrp= datap;
1628   char buf[10];
1629   int l;
1630   unsigned char *p;
1631
1632   if (rrp->len < 0 || rrp->len > 0xffff)
1633     return adns_s_invaliddata;
1634
1635   sprintf(buf,"\\# %d",rrp->len);
1636   CSP_ADDSTR(buf);
1637
1638   for (l= rrp->len, p= rrp->data;
1639        l>=4;
1640        l -= 4, p += 4) {
1641     sprintf(buf," %02x%02x%02x%02x",p[0],p[1],p[2],p[3]);
1642     CSP_ADDSTR(buf);
1643   }
1644   for (;
1645        l>0;
1646        l--, p++) {
1647     sprintf(buf," %02x",*p);
1648     CSP_ADDSTR(buf);
1649   }
1650   return adns_s_ok;
1651 }
1652
1653 /*
1654  * _flat   (mf)
1655  */
1656
1657 static void mf_flat(adns_query qu, void *data) { }
1658
1659 /*
1660  * Now the table.
1661  */
1662
1663 #define TYPESZ_M(member)           (sizeof(*((adns_answer*)0)->rrs.member))
1664
1665 #define DEEP_TYPE(code,rrt,fmt,memb,parser,comparer,/*printer*/...)     \
1666  { adns_r_##code&adns_rrt_reprmask, rrt,fmt,TYPESZ_M(memb), mf_##memb,  \
1667      GLUE(cs_, CAR(__VA_ARGS__)),pa_##parser,di_##comparer,             \
1668      adns__ckl_hostname, 0, adns__getrrsz_default, adns__query_send,    \
1669      CDR(__VA_ARGS__) }
1670 #define FLAT_TYPE(code,rrt,fmt,memb,parser,comparer,/*printer*/...)     \
1671  { adns_r_##code&adns_rrt_reprmask, rrt,fmt,TYPESZ_M(memb), mf_flat,    \
1672      GLUE(cs_, CAR(__VA_ARGS__)),pa_##parser,di_##comparer,             \
1673      adns__ckl_hostname, 0, adns__getrrsz_default, adns__query_send,    \
1674      CDR(__VA_ARGS__) }
1675
1676 #define di_0 0
1677
1678 static const typeinfo typeinfos[] = {
1679 /* Must be in ascending order of rrtype ! */
1680 /* mem-mgmt code  rrt     fmt   member   parser      comparer  printer */
1681
1682 FLAT_TYPE(a,      "A",     0,   inaddr,    inaddr,  inaddr,inaddr          ),
1683 DEEP_TYPE(ns_raw, "NS",   "raw",str,       host_raw,0,     domain          ),
1684 DEEP_TYPE(cname,  "CNAME", 0,   str,       dom_raw, 0,     domain          ),
1685 DEEP_TYPE(soa_raw,"SOA",  "raw",soa,       soa,     0,     soa             ),
1686 DEEP_TYPE(ptr_raw,"PTR",  "raw",str,       host_raw,0,     domain          ),
1687 DEEP_TYPE(hinfo,  "HINFO", 0,   intstrpair,hinfo,   0,     hinfo           ),
1688 DEEP_TYPE(mx_raw, "MX",   "raw",intstr,    mx_raw,  mx_raw,inthost         ),
1689 DEEP_TYPE(txt,    "TXT",   0,   manyistr,  txt,     0,     txt             ),
1690 DEEP_TYPE(rp_raw, "RP",   "raw",strpair,   rp,      0,     rp              ),
1691 FLAT_TYPE(aaaa,   "AAAA",  0,   in6addr,   in6addr, in6addr,in6addr        ),
1692 DEEP_TYPE(srv_raw,"SRV",  "raw",srvraw ,   srvraw,  srv,   srvraw,
1693                               .checklabel= ckl_srv, .postsort= postsort_srv),
1694
1695 FLAT_TYPE(addr,   "A",  "addr", addr,      addr,    addr,  addr,
1696                                    .getrrsz= gsz_addr, .query_send= qs_addr),
1697 DEEP_TYPE(ns,     "NS", "+addr",hostaddr,  hostaddr,hostaddr,hostaddr      ),
1698 DEEP_TYPE(ptr,    "PTR","checked",str,     ptr,     0,     domain,
1699                                                        .checklabel= ckl_ptr),
1700 DEEP_TYPE(mx,     "MX", "+addr",inthostaddr,mx,     mx,    inthostaddr,    ),
1701 DEEP_TYPE(srv,    "SRV","+addr",srvha,     srvha,   srv,   srvha,
1702                               .checklabel= ckl_srv, .postsort= postsort_srv),
1703
1704 DEEP_TYPE(soa,    "SOA","822",  soa,       soa,     0,     soa             ),
1705 DEEP_TYPE(rp,     "RP", "822",  strpair,   rp,      0,     rp              ),
1706 };
1707
1708 static const typeinfo tinfo_addrsub =
1709 FLAT_TYPE(none,   "<addr>","sub",addr,     addr,    0,     addr,
1710                                                          .getrrsz= gsz_addr);
1711
1712 static const typeinfo typeinfo_unknown=
1713 DEEP_TYPE(unknown,0, "unknown",byteblock,opaque,  0,     opaque            );
1714
1715 const typeinfo *adns__findtype(adns_rrtype type) {
1716   const typeinfo *begin, *end, *mid;
1717
1718   if (type & ~(adns_rrtype)0x63ffffff)
1719     /* 0x60000000 is reserved for `harmless' future expansion */
1720     return 0;
1721
1722   if (type & adns_r_unknown) return &typeinfo_unknown;
1723   type &= adns_rrt_reprmask;
1724
1725   begin= typeinfos;  end= typeinfos+(sizeof(typeinfos)/sizeof(typeinfo));
1726
1727   while (begin < end) {
1728     mid= begin + ((end-begin)>>1);
1729     if (mid->typekey == type) return mid;
1730     if (type > mid->typekey) begin= mid+1;
1731     else end= mid;
1732   }
1733   return 0;
1734 }