src/types.c

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