regress/hfuzzraw.c.m4

   1 m4_dnl hfuzzraw.c.m4
   2 m4_dnl (part of complex test harness, not of the library)
   3 m4_dnl - routines for fuzzing
   4
   5 m4_dnl  This file is part of adns, which is
   6 m4_dnl    Copyright (C) 1997-2000,2003,2006,2014-2016  Ian Jackson
   7 m4_dnl    Copyright (C) 2014  Mark Wooding
   8 m4_dnl    Copyright (C) 1999-2000,2003,2006  Tony Finch
   9 m4_dnl    Copyright (C) 1991 Massachusetts Institute of Technology
  10 m4_dnl  (See the file INSTALL for full details.)
  11 m4_dnl
  12 m4_dnl  This program is free software; you can redistribute it and/or modify
  13 m4_dnl  it under the terms of the GNU General Public License as published by
  14 m4_dnl  the Free Software Foundation; either version 3, or (at your option)
  15 m4_dnl  any later version.
  16 m4_dnl
  17 m4_dnl  This program is distributed in the hope that it will be useful,
  18 m4_dnl  but WITHOUT ANY WARRANTY; without even the implied warranty of
  19 m4_dnl  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  20 m4_dnl  GNU General Public License for more details.
  21 m4_dnl
  22 m4_dnl  You should have received a copy of the GNU General Public License
  23 m4_dnl  along with this program; if not, write to the Free Software Foundation.
  24
  25 m4_include(hmacros.i4)
  26
  27 #include <assert.h>
  28 #include <string.h>
  29 #include <errno.h>
  30 #include <stdlib.h>
  31
  32 #include <sys/types.h>
  33 #include <sys/socket.h>
  34 #include <netinet/in.h>
  35 #include <arpa/inet.h>
  36 #include <sys/time.h>
  37
  38 #include <unistd.h>
  39 #include <fcntl.h>
  40 #include <limits.h>
  41
  42
  43 #include "harness.h"
  44
  45 static vbuf fdtab;
  46 #define FDF_OPEN     001u
  47 #define FDF_NONBLOCK 002u
  48
  49 static FILE *Tinputfile;
  50 static int stdout_enable;
  51
  52 void Q_vb(void) {
  53   if (!adns__vbuf_append(&vb,"",1)) Tnomem();
  54   if (fprintf(stdout," %s\n",vb.buf) == EOF) Toutputerr();
  55   if (fflush(stdout)) Toutputerr();
  56 }
  57
  58 static void Pformat(const char *what) {
  59   fprintf(stderr,"adns test harness: format error in raw log input file: %s\n",what);
  60   exit(-1);
  61 }
  62
  63 extern void Tshutdown(void) {
  64   int c= fgetc(Tinputfile);
  65   if (c!=EOF) Pformat("unwanted additional syscall reply data");
  66   if (ferror(Tinputfile)) Tfailed("read test log input (at end)");
  67 }
  68
  69 static void Pcheckinput(void) {
  70   if (ferror(Tinputfile)) Tfailed("read test log input file");
  71   if (feof(Tinputfile)) Pformat("eof at syscall reply");
  72 }
  73
  74 void Tensurerecordfile(void) {
  75   static int done;
  76
  77   if (done) return;
  78   done++;
  79
  80   int fd;
  81
  82   fd = Ttestinputfd();
  83   assert(fd >= 0);
  84   Tinputfile= fdopen(fd,"rb");
  85     if (!Tinputfile) Tfailed("fdopen record fd");
  86
  87   while (fdtab.used < 3) {
  88     const char fdfstd = FDF_OPEN;
  89     if (!adns__vbuf_append(&fdtab,&fdfstd,1)) Tnomem();
  90   }
  91
  92   const char *proutstr= getenv("ADNS_TEST_FUZZRAW_STDOUT_ENABLE");
  93   if (proutstr) stdout_enable= atoi(proutstr);
  94 }
  95
  96 static void P_read(void *p, size_t sz) {
  97   ssize_t got = fread(p,1,sz,Tinputfile);
  98   Pcheckinput();
  99   assert(got==sz);
 100 }
 101
 102 #define P_READ(x) (P_read(&(x), sizeof((x))))
 103
 104 static unsigned P_fdf(int fd) {
 105   assert(fd>=0 && fd<fdtab.used);
 106   return fdtab.buf[fd];
 107 }
 108
 109 void T_gettimeofday_hook(void) {
 110   struct timeval delta, sum;
 111   P_READ(delta);
 112   timeradd(&delta, &currenttime, &sum);
 113   currenttime= sum;
 114 }
 115
 116 static void Paddr(struct sockaddr *addr, int *lenr) {
 117   int l, r;
 118   uint16_t port;
 119   char buf[512];
 120   socklen_t sl = *lenr;
 121
 122   P_READ(l);
 123   if (l<0 || l>=sizeof(buf)-1) Pformat("bad addr len");
 124   buf[l]= 0;
 125   P_READ(port);
 126   r= adns_text2addr(buf,port, adns_qf_addrlit_scope_numeric, addr, &sl);
 127   if (r==EINVAL) Pformat("bad addr text");
 128   assert(r==ENOSPC);
 129   *lenr = sl;
 130 }
 131
 132 static int Pbytes(byte *buf, int maxlen) {
 133   int l;
 134   P_READ(l);
 135   if (l<0 || l>maxlen) Pformat("bad byte block len");
 136   P_read(buf, l);
 137   return l;
 138 }
 139
 140 static void Pfdset(fd_set *set, int max) {
 141   uint16_t got;
 142   int fd, ngot=0;
 143
 144   for (fd=0; fd<max; fd++) {
 145     if (!FD_ISSET(fd,set)) continue;
 146     P_fdf(fd);
 147     if (ngot==0) {
 148       P_READ(got);
 149       ngot= 16;
 150     }
 151     if (!(got & 1u)) {
 152       FD_CLR(fd,set);
 153     }
 154     got >>= 1;
 155     ngot--;
 156   }
 157 }
 158
 159 #ifdef HAVE_POLL
 160 static void Ppollfds(struct pollfd *fds, int nfds) {
 161 int fd;
 162   for (fd=0; fd<nfds; fd++) {
 163     if (!fds[fd].events) continue;
 164     P_fdf(fd);
 165     P_READ(fds[fd].revents);
 166   }
 167 }
 168 #endif
 169
 170 static int P_succfail(void) {
 171   int r;
 172   P_READ(r);
 173   if (r<0 && -r<Tnerrnos) {
 174     errno= Terrnos[-r].v;
 175     return -1;
 176   } else if (r>0 && r<=255) {
 177     errno= r;
 178     return -1;
 179   } else if (r) {
 180     Pformat("wrong errno value");
 181   }
 182   return 0;
 183 }
 184
 185 m4_define(`hm_syscall', `
 186  hm_create_proto_h
 187 int H$1(hm_args_massage($3,void)) {
 188  int r;
 189  hm_create_nothing
 190  $2
 191
 192  hm_create_hqcall_vars
 193  $3
 194
 195  hm_create_hqcall_init($1)
 196  $3
 197
 198  Tensurerecordfile();
 199
 200  if (stdout_enable) {
 201    hm_create_hqcall_args
 202    Q$1(hm_args_massage($3));
 203  }
 204
 205  m4_define(`hm_rv_succfail',`
 206   r= P_succfail();
 207   if (r<0) return r;
 208  ')
 209
 210  m4_define(`hm_rv_any',`
 211   hm_rv_succfail
 212   if (!r) {
 213     P_READ(r);
 214     if (r<0) Pformat("negative nonerror syscall return");
 215   }
 216  ')
 217  m4_define(`hm_rv_len',`
 218   hm_rv_any
 219   if (r>($'`1)) Pformat("syscall length return is excessive");
 220  ')
 221  m4_define(`hm_rv_must',`
 222   r= 0;
 223  ')
 224  m4_define(`hm_rv_fcntl',`
 225   unsigned flg = P_fdf(fd);
 226   if (cmd == F_GETFL) {
 227     r= (flg & FDF_NONBLOCK) ? O_NONBLOCK : 0;
 228   } else if (cmd == F_SETFL) {
 229     flg &= ~FDF_NONBLOCK;
 230     if (arg & O_NONBLOCK)
 231       flg |= FDF_NONBLOCK;
 232     fdtab.buf[fd]= flg;
 233     r= 0;
 234   } else {
 235     abort();
 236   }
 237  ')
 238  m4_define(`hm_rv_fd',`
 239   hm_rv_succfail
 240   if (!r) {
 241     int newfd;
 242     P_READ(newfd);
 243     if (newfd<0 || newfd>1000) Pformat("new fd out of range");
 244     adns__vbuf_ensure(&fdtab, newfd+1);
 245     if (fdtab.used <= newfd) {
 246       memset(fdtab.buf+fdtab.used, 0, newfd+1-fdtab.used);
 247       fdtab.used= newfd+1;
 248     }
 249     if (fdtab.buf[newfd]) Pformat("new fd already in use");
 250     fdtab.buf[newfd] |= FDF_OPEN;
 251     r= newfd;
 252  }
 253  ')
 254  $2
 255
 256  hm_create_nothing
 257  m4_define(`hm_arg_fdset_io',`Pfdset($'`1,$'`2);')
 258  m4_define(`hm_arg_pollfds_io',`Ppollfds($'`1,$'`2);')
 259  m4_define(`hm_arg_addr_out',`Paddr($'`1,$'`2);')
 260  $3
 261
 262  hm_create_nothing
 263  m4_define(`hm_arg_bytes_out',`r= Pbytes($'`2,$'`4);')
 264  $3
 265
 266  return r;
 267 }
 268 ')
 269
 270 m4_define(`hm_specsyscall', `')
 271
 272 m4_include(`hsyscalls.i4')
 273
 274 int Hclose(int fd) {
 275   P_fdf(fd);
 276   fdtab.buf[fd]= 0;
 277   return P_succfail();
 278 }