src/types.c

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