chiark / gitweb /
Improving parsing code, and changing memory management. On its way,
authorian <ian>
Sat, 7 Nov 1998 14:40:10 +0000 (14:40 +0000)
committerian <ian>
Sat, 7 Nov 1998 14:40:10 +0000 (14:40 +0000)
but will not compile.

src/event.c
src/internal.h
src/parse.c
src/reply.c
src/submit.c

index 9ddf4c7c2281caf1092cdb27ed7247d34dce7762..453567d4534ef9cbada895eca6e6e1ffe9a3d29f 100644 (file)
@@ -346,7 +346,7 @@ static int internal_check(adns_state ads,
     if (qu->id>=0) return EWOULDBLOCK;
   }
   LIST_UNLINK(ads->output,qu);
-  *answer= (adns_answer*)qu->ans.buf;
+#error copy answer    *answer= (adns_answer*)qu->ans.buf;
   if (context_r) *context_r= qu->context.ext;
   free(qu);
   return 0;
index ab68ead3814fe18a2d9977003e60333f7cd50f0f..c449e7f560dbe0832d8a18bf1cbd7097cc62e9dd 100644 (file)
@@ -76,13 +76,14 @@ struct adns__query {
   struct { adns_query back, next; } siblings;
   
   const typeinfo *typei;
-  vbuf ans;
+  vbuf ansbuf; /* Used for answer RRs */
+  char *cname;
   int id, flags, udpretries;
   int udpnextserver;
   unsigned long udpsent, tcpfailed; /* bitmap indexed by server */
   struct timeval timeout;
   byte *querymsg;
-  int querylen, cnameoff, rrsoff;
+  int querylen;
   qcontext context;
   char owner[1];
   /* After the owner name and nul comes the query message, pointed to by querymsg */
@@ -164,7 +165,6 @@ void adns__diag(adns_state ads, int serv, const char *fmt, ...) PRINTFFORMAT(3,4
 
 int adns__vbuf_ensure(vbuf *vb, int want);
 int adns__vbuf_append(vbuf *vb, const byte *data, int len);
-int adns__vbuf_malloc(vbuf *vb, size_t len);
 /* 1=>success, 0=>realloc failed */
 void adns__vbuf_appendq(vbuf *vb, const byte *data, int len);
 void adns__vbuf_init(vbuf *vb);
@@ -195,22 +195,90 @@ const typeinfo *adns__findtype(adns_rrtype type);
 
 /* From parse.c: */
 
-int vbuf__append_quoted1035(vbuf *vb, const byte *buf, int len);
+typedef struct {
+  adns_state ads, int serv;
+  const byte *dgram;
+  int dglen, max, cbyte, namelen;
+  int *dmend_rlater, *namelen_rlater;
+} findlabel_state;
+
+void adns__findlabel_start(findlabel_state *fls,
+                          adns_state ads, int serv,
+                          const byte *dgram, int dglen, int max,
+                          int dmbegin, int *dmend_rlater);
+/* Finds labels in a domain in a datagram.
+ *
+ * Call this routine first.
+ * endpoint_rlater may be null.
+ */
+
+adns_status adns__findlabel_next(findlabel_state *fls,
+                                int *lablen_r, int *labstart_r);
+/* Then, call this one repeatedly.
+ *
+ * It will return adns_s_ok if all is well, and tell you the length
+ * and start of successive labels.  labstart_r may be null, but
+ * lablen_r must not be.
+ *
+ * After the last label, it will return with *lablen_r zero.
+ * Do not then call it again; instead, just throw away the findlabel_state.
+ *
+ * *dmend_rlater will have been set to point to the next part of
+ * the datagram after the label (or after the uncompressed part,
+ * if compression was used).  *namelen_rlater will have been set
+ * to the length of the domain name (total length of labels plus
+ * 1 for each intervening dot).
+ *
+ * If the datagram appears to be truncated, *lablen_r will be -1.
+ * *dmend_rlater, *labstart_r and *namelen_r may contain garbage.
+ * Do not call _next again.
+ *
+ * There may also be errors, in which case *dmend_rlater,
+ * *namelen_rlater, *lablen_r and *labstart_r may contain garbage.
+ * Do not then call findlabel_next again.
+ */
+
+adns_status adns__parse_domain(adns_state ads, int serv, vbuf *vb,
+                              const byte *dgram, int dglen,
+                              int *cbyte_io, int max);
+/* vb must already have been initialised; it will be reset if necessary.
+ * If there is truncation, vb->used will be set to 0; otherwise
+ * (if there is no error) vb will be null-terminated.
+ * If there is an error vb and *cbyte_io may be left indeterminate.
+ */
+
+adns_status adns__findrr(adns_state ads, int serv,
+                        const byte *dgram, int dglen, int *cbyte_io,
+                        int *type_r, int *class_r, int *rdlen_r, int *rdstart_r,
+                        const byte *eo_dgram, int eo_dglen, int eo_cbyte,
+                        int *eo_matched_r);
+  /* Finds the extent and some of the contents of an RR in a datagram
+   * and does some checks.  The datagram is *dgram, length dglen, and
+   * the RR starts at *cbyte_io (which is updated afterwards to point
+   * to the end of the RR).
+   *
+   * The type, class and RRdata length and start are returned iff
+   * the corresponding pointer variables are not null.  type_r and
+   * class_r may not be null.
+   *
+   * If the caller thinks they know what the owner of the RR ought to
+   * be they can pass in details in eo_*: this is another (or perhaps
+   * the same datagram), and a pointer to where the putative owner
+   * starts in that datagram.  In this case *eo_matched_r will be set
+   * to 1 if the datagram matched or 0 if it did not.  Either
+   * both eo_dgram and eo_matched_r must both be non-null, or they
+   * must both be null (in which case eo_dglen and eo_cbyte will be ignored).
+   * The eo datagram and contained owner domain MUST be valid and
+   * untruncated.
+   *
+   * If there is truncation then *type_r will be set to -1 and
+   * *cbyte_io, *class_r, *rdlen_r, *rdstart_r and *eo_matched_r will be
+   * undefined.
+   *
+   * If an error is returned then *type_r will be undefined too.
+   */
 
-adns_status adns__get_label(const byte *dgram, int dglen, int *max_io,
-                           int *cbyte_io, int *lablen_r, int *labstart_r,
-                           int *namelen_io);
-adns_status adns__get_domain_perm(adns_state ads, adns_query qu, int serv,
-                                 const byte *dgram, int dglen,
-                                 int *cbyte_io, int max, int *domainstart_r);
-adns_status adns__get_domain_temp(adns_state ads, adns_query qu, int serv,
-                                 const byte *dgram, int dglen,
-                                 int *cbyte_io, int max, int *domainstart_r);
-adns_status adns__get_rr_temp(adns_state ads, adns_query qu, int serv,
-                             const byte *dgram, int dglen, int *cbyte_io,
-                             int *type_r, int *class_r, int *rdlen_r, int *rdstart_r,
-                             const byte *eo_dgram, int eo_dglen, int eo_cbyte,
-                             int *eo_matched_r);
+int vbuf__append_quoted1035(vbuf *vb, const byte *buf, int len);
 
 /* From event.c: */
 
index 2a9dd94b327462959be98d87ffbcbd6d0c3f2ac5..ad23419d78319288c30fdb73abfb55ba4fa4b15a 100644 (file)
@@ -26,73 +26,89 @@ int vbuf__append_quoted1035(vbuf *vb, const byte *buf, int len) {
   return 1;
 }
 
-adns_status adns__get_label(const byte *dgram, int dglen, int *max_io,
-                           int *cbyte_io, int *lablen_r, int *labstart_r,
-                           int *namelen_io) {
-  /* If succeeds, *lablen_r may be set to -1 to indicate truncation/overrun */
-  int max, cbyte, lablen, namelen;
+void adns__findlabel_start(findlabel_state *fls,
+                          adns_state ads, int serv,
+                          const byte *dgram, int dglen, int max,
+                          int dmbegin, int *dmend_rlater) {
+  fls->ads= ads;
+  fls->serv= serv;
+  fls->dgram= dgram;
+  fls->dglen= dglen;
+  fls->max= max;
+  fls->cbyte= dmbegin;
+  fls->namelen= 0;
+  fls->dmend_r= dmend_rlater;
+  fls->namelen_r= namelen_rlater;
+}
 
-  max= *max_io;
-  cbyte= *cbyte_io;
-  
+adns_status adns__findlabel_next(findlabel_state fls,
+                                int *lablen_r, int *labstart_r) {
+  int lablen, jumped;
+
+  jumped= 0;
   for (;;) {
-    if (cbyte+2 > max) goto x_truncated;
-    GET_W(cbyte,lablen);
+    fls->cbyte += 2;
+    if (fls->cbyte > fls->dglen) goto x_truncated;
+    if (fls->cbyte > fls->max) goto x_serverfaulty;
+    GET_W(fls->cbyte-2,lablen);
     if (!(lablen & 0x0c000)) break;
     if ((lablen & 0x0c000) != 0x0c000) return adns_s_unknownreply;
-    if (cbyte_io) { *cbyte_io= cbyte; cbyte_io= 0; }
-    cbyte= DNS_HDRSIZE+(lablen&0x3fff);
-    *max_io= max= dglen;
+    if (jumped++) {
+      adns__diag(ads,serv,"compressed datagram contains loop");
+      return adns_s_serverfaulty;
+    }
+    if (fls->dmend_r) *(fls->dmend_r)= fls->cbyte;
+    fls->cbyte= DNS_HDRSIZE+(lablen&0x3fff);
+    fls->dmend_r= 0; fls->max= fls->dglen+1;
   }
-  if (labstart_r) *labstart_r= cbyte;
   if (lablen) {
-    namelen= *namelen_io;
-    if (namelen) namelen++;
-    namelen+= lablen;
-    if (namelen > DNS_MAXDOMAIN) return adns_s_domaintoolong;
-    *namelen_io= namelen;
-    cbyte+= lablen;
-    if (cbyte > max) goto x_truncated;
+    if (fls->namelen) fls->namelen++;
+    fls->namelen+= lablen;
+    if (fls->namelen > DNS_MAXDOMAIN) return adns_s_domaintoolong;
+    fls->cbyte+= lablen;
+    if (fls->cbyte > fls->dglen) goto x_truncated;
+    if (fls->cbyte > fls->max) goto x_serverfaulty;
+  } else {
+    if (fls->dmend_r) *(fls->dmend_r)= fls->cbyte;
+    if (fls->namelen_r) *(fls->namelen_r)= fls->namelen;
   }
-  if (cbyte_io) *cbyte_io= cbyte;
+  if (labstart_r) *labstart_r= fls->cbyte;
   *lablen_r= lablen;
   return adns_s_ok;
 
  x_truncated:
   *lablen_r= -1;
   return adns_s_ok;
+
+ x_serverfaulty: 
+  adns__diag(ads,serv,"label in domain runs beyond end of domain");
+  return adns_s_serverfaulty;
 }
 
-adns_status adns__get_domain_perm(adns_state ads, adns_query qu, int serv,
-                                 const byte *dgram, int dglen,
-                                 int *cbyte_io, int max, int *domainstart_r) {
-  /* Returns 0     for OK (*domainstart_r >=0) or truncated (*domainstart_r == -1)
-   *      or any other adns_s_* value.
-   */
-  int cbyte, sused, lablen, labstart, namelen, i, ch;
+adns_status adns__parse_domain(adns_state ads, int serv, vbuf *vb,
+                              const byte *dgram, int dglen,
+                              int *cbyte_io, int max) {
+  findlabel_state fls;
+  
+  int cbyte, lablen, labstart, namelen, i, ch;
   adns_status st;
 
-  /* If we follow a pointer we set cbyte_io to 0 to indicate that
-   * we've lost our original starting and ending points; we don't
-   * put the end of the pointed-to thing into the original *cbyte_io.
-   */
-  cbyte= *cbyte_io;
-  sused= qu->ans.used;
-  namelen= 0;
+  ands__findlabel_start(&fls,ads,serv, dgram,dglen,max, *cbyte_io,cbyte_io);
+  vb->used= 0;
   for (;;) {
-    st= adns__get_label(dgram,dglen,&max, &cbyte,&lablen,&labstart,&namelen);
+    st= adns__findlabel_next(&fls,&lablen,&labstart);
     if (st) return st;
-    if (lablen<0) goto x_truncated;
+    if (lablen<0) { vb->used=0; return adns_s_ok; }
     if (!lablen) break;
-    if (qu->ans.used != sused)
+    if (vb->used)
       if (!adns__vbuf_append(&qu->ans,".",1)) return adns_s_nolocalmem;
     if (qu->flags & adns_qf_anyquote) {
       if (!vbuf__append_quoted1035(&qu->ans,dgram+labstart,lablen))
        return adns_s_nolocalmem;
     } else {
       if (!ctype_alpha(dgram[labstart])) return adns_s_invaliddomain;
-      for (i= cbyte+1; i<cbyte+lablen; i++) {
-       ch= dgram[cbyte];
+      for (i= labstart+1; i<labstart+lablen; i++) {
+       ch= dgram[i];
        if (ch != '-' && !ctype_alpha(ch) && !ctype_digit(ch))
          return adns_s_invaliddomain;
       }
@@ -100,58 +116,66 @@ adns_status adns__get_domain_perm(adns_state ads, adns_query qu, int serv,
        return adns_s_nolocalmem;
     }
   }
-  if (cbyte_io) *cbyte_io= cbyte;
   if (!adns__vbuf_append(&qu->ans,"",1)) return adns_s_nolocalmem;
-  *domainstart_r= sused;
   return adns_s_ok;
-
- x_truncated:
-  *domainstart_r= -1;
-  return cbyte_io ? -1 : adns_s_serverfaulty;
 }
     
-adns_status adns__get_domain_temp(adns_state ads, adns_query qu, int serv,
-                                 const byte *dgram, int dglen,
-                                 int *cbyte_io, int max, int *domainstart_r) {
-  int sused;
-  adns_status st;
-
-  sused= qu->ans.used;
-  st= adns__get_domain_perm(ads,qu,serv,dgram,dglen,cbyte_io,max,domainstart_r);
-  qu->ans.used= sused;
-  return st;
-}
-
-adns_status adns__get_rr_temp(adns_state ads, adns_query qu, int serv,
-                             const byte *dgram, int dglen, int *cbyte_io,
-                             int *type_r, int *class_r, int *rdlen_r, int *rdstart_r,
-                             const byte *eo_dgram, int eo_dglen, int eo_cbyte,
-                             int *eo_matched_r) {
-  /* _s_ok can have *type_r == -1 and other output invalid, for truncation
-   * type_r and class_r must be !0, other _r may be 0.
-   * eo_dgram==0 for no comparison, otherwise all eo_ must be valid.
+adns_status adns__findrr(adns_state ads, int serv,
+                        const byte *dgram, int dglen, int *cbyte_io,
+                        int *type_r, int *class_r, int *rdlen_r, int *rdstart_r,
+                        const byte *eo_dgram, int eo_dglen, int eo_cbyte,
+                        int *eo_matched_r) {
+  /* Finds the extent and some of the contents of an RR in a datagram
+   * and does some checks.  The datagram is *dgram, length dglen, and
+   * the RR starts at *cbyte_io (which is updated afterwards to point
+   * to the end of the RR).
+   *
+   * The type, class and RRdata length and start are returned iff
+   * the corresponding pointer variables are not null.  type_r and
+   * class_r may not be null.
+   *
+   * If the caller thinks they know what the owner of the RR ought to
+   * be they can pass in details in eo_*: this is another (or perhaps
+   * the same datagram), and a pointer to where the putative owner
+   * starts in that datagram.  In this case *eo_matched_r will be set
+   * to 1 if the datagram matched or 0 if it did not.  Either
+   * both eo_dgram and eo_matched_r must both be non-null, or they
+   * must both be null (in which case eo_dglen and eo_cbyte will be ignored).
+   * The eo datagram and contained owner domain MUST be valid and
+   * untruncated.
+   *
+   * If there is truncation then *type_r will be set to -1 and
+   * *cbyte_io, *class_r, *rdlen_r, *rdstart_r and *eo_matched_r will be
+   * undefined.
+   *
+   * If an error is returned then *type_r will be undefined too.
    */
-  int cbyte, tmp, rdlen, mismatch;
+  findlabel_state fls, eo_fls;
+  int cbyte;
+  
+  int tmp, rdlen, mismatch;
   int max, lablen, labstart, namelen, ch;
   int eo_max, eo_lablen, eo_labstart, eo_namelen, eo_ch;
   adns_status st;
 
   cbyte= *cbyte_io;
-  mismatch= eo_dgram ? 1 : 0;
 
-  namelen= 0; eo_namelen= 0;
-  max= dglen; eo_max= eo_dglen;
+  ands__findlabel_start(&fls,ads,serv, dgram,dglen,dglen,cbyte,&cbyte);
+  if (eo_dgram) {
+    ands__findlabel_start(&eo_fls,ads,serv, eo_dgram,eo_dglen,eo_dglen,eo_cbyte,0);
+    mismatch= 0;
+  } else {
+    mismatch= 1;
+  }
+  
   for (;;) {
-    st= adns__get_label(dgram,dglen,&max,
-                       &cbyte,&lablen,&labstart,&namelen);
+    st= adns__findlabel_next(&fls,&lablen,&labstart);
     if (st) return st;
     if (lablen<0) goto x_truncated;
 
     if (!mismatch) {
-      st= adns__get_label(eo_dgram,eo_dglen,&eo_max,
-                         &eo_cbyte,&eo_lablen,&eo_labstart,&eo_namelen);
-      if (st) return st;
-      assert(eo_lablen>=0);
+      st= adns__findlabel_next(&eo_fls,&eo_lablen,&eo_labstart);
+      assert(!st); assert(eo_lablen>=0);
       if (lablen != eo_lablen) mismatch= 1;
       while (!mismatch && lablen-- > 0) {
        ch= dgram[labstart++]; if (ctype_alpha(ch)) ch &= ~32;
index 39337e881de251d822ba20ad35bd3c26e37186c3..14fc05786a0d794fe3e730c0b8645e108eb6dc08 100644 (file)
@@ -16,9 +16,7 @@ void adns__procdgram(adns_state ads, const byte *dgram, int dglen,
   adns_query qu, nqu;
   dns_rcode rcode;
   adns_status st;
-  adns_answer *ans;
-
-  cbyte= 0;
+= 0;
   
   if (dglen<DNS_HDRSIZE) {
     adns__diag(ads,serv,"received datagram too short for message header (%d)",dglen);
@@ -110,9 +108,9 @@ void adns__procdgram(adns_state ads, const byte *dgram, int dglen,
   for (rri= 0; rri<ancount; rri++) {
     rrstart= cbyte;
     if (qu->cnameoff >= 0) {
-      st= adns__get_rr_temp(ads,qu,serv, dgram,dglen,&cbyte,
-                           &rrtype,&rrclass,&rdlength,&rdstart,
-                           dgram,dglen,qu->cnameoff, &ownermatched);
+      st= adns__findrr(ads,serv, dgram,dglen,&cbyte,
+                      &rrtype,&rrclass,&rdlength,&rdstart,
+                      dgram,dglen,qu->cnameoff, &ownermatched);
     } else {
       st= adns__get_rr_temp(ads,qu,serv, dgram,dglen,&cbyte,
                            &rrtype,&rrclass,&rdlength,&rdstart,
index a6d0e637bfe085ad3a2217cc92596b477ef6d6b9..bd214b19c34259fa4281ef046b6c4659a65f9380 100644 (file)
@@ -16,15 +16,8 @@ static adns_query allocquery(adns_state ads, const char *owner, int ol,
   adns_answer *ans;
 
   qu= malloc(sizeof(*qu)+ol+1+ads->rqbuf.used); if (!qu) return 0;
-  
-  adns__vbuf_init(&qu->ans);
-  if (!adns__vbuf_ensure(&qu->ans,sizeof(adns_answer))) { free(qu); return 0; }
-  ans= (adns_answer*)qu->ans.buf;
-  ans->status= adns_s_ok;
-  ans->type= qu->typei->type;
-  ans->nrrs= 0;
-  ans->rrs.str= 0;
-  
+  adns__vbuf_init(&qu->ansbuf);
+  qu->cname= 0;
   qu->state= query_udp;
   qu->next= qu->back= qu->parent= 0;
   LIST_INIT(qu->children);