chiark / gitweb /
24aff421d8c97bda8b1e7f1c174dd23c919f8f4c
[adns.git] / 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
51 void Q_vb(void) { abort(); /* we neve called Q_anythig */ }
52
53 static void Pformat(const char *what) {
54   fprintf(stderr,"adns test harness: format error in raw log input file: %s\n",what);
55   exit(-1);
56 }
57
58 extern void Tshutdown(void) {
59 }
60
61 static void Pcheckinput(void) {
62   if (ferror(Tinputfile)) Tfailed("read test log input file");
63   if (feof(Tinputfile)) Pformat("eof at syscall reply");
64 }
65
66 void Tensurerecordfile(void) {
67   int fd;
68
69   fd = Ttestinputfd();
70   assert(fd >= 0);
71   Tinputfile= fdopen(fd,"rb");
72     if (!Tinputfile) Tfailed("fdopen record fd");
73
74   while (fdtab.used < 3) {
75     const char fdfstd = FDF_OPEN;
76     if (!adns__vbuf_append(&fdtab,&fdfstd,1)) Tnomem();
77   }
78 }
79
80 static void P_read(void *p, size_t sz) {
81   ssize_t got = fread(&p,1,sz,Tinputfile);
82   Pcheckinput();
83   assert(got==sz);
84 }
85
86 #define P_READ(x) (P_read(&(x), sizeof((x))))
87
88 static unsigned P_fdf(int fd) {
89   assert(fd>=0 && fd<fdtab.used);
90   return fdtab.buf[fd];
91 }
92
93 void T_gettimeofday_hook(void) {
94   struct timeval delta, sum;
95   P_READ(delta);
96   timeradd(&delta, &currenttime, &sum);
97   currenttime= sum;
98 }
99
100 static void Paddr(struct sockaddr *addr, int *lenr) {
101   int l, r;
102   uint16_t port;
103   char buf[512];
104   socklen_t sl = *lenr;
105
106   P_READ(l);
107   if (l<0 || l>=sizeof(buf)-1) Pformat("bad addr len");
108   buf[l]= 0;
109   P_READ(port);
110   r= adns_text2addr(buf,port, adns_qf_addrlit_scope_numeric, addr, &sl);
111   if (r==EINVAL) Pformat("bad addr text");
112   assert(r==ENOSPC);
113   *lenr = sl;
114 }
115
116 static int Pbytes(byte *buf, int maxlen) {
117   int l;
118   P_READ(l);
119   if (l<0 || l>maxlen) Pformat("bad byte block len");
120   P_read(buf, l);
121   return l;
122 }
123
124 static void Pfdset(fd_set *set, int max) {
125   uint16_t got;
126   int fd, ngot=0;
127
128   for (fd=0; fd<max; fd++) {
129     if (!FD_ISSET(fd,set)) continue;
130     P_fdf(fd);
131     if (ngot==0) {
132       P_READ(got);
133       ngot= 16;
134     }
135     if (!(got & 1u)) {
136       FD_CLR(fd,set);
137     }
138     got >>= 1;
139     ngot--;
140   }
141 }
142
143 #ifdef HAVE_POLL
144 static void Ppollfds(struct pollfd *fds, int nfds) {
145 int fd;
146   for (fd=0; fd<nfds; fd++) {
147     if (!fds[fd].events) continue;
148     P_fdf(fd);
149     P_READ(fds[fd].revents);
150   }
151 }
152 #endif
153
154 m4_define(`hm_syscall', `
155  hm_create_proto_h
156 int H$1(hm_args_massage($3,void)) {
157  int r;
158  m4_define(`hm_rv_fd',`')
159  m4_define(`hm_rv_any',`')
160  m4_define(`hm_rv_len',`')
161  m4_define(`hm_rv_must',`')
162  m4_define(`hm_rv_succfail',`')
163  m4_define(`hm_rv_fcntl',`')
164  $2
165
166  hm_create_hqcall_vars
167  $3
168
169  hm_create_hqcall_init($1)
170  $3
171
172  Tensurerecordfile();
173
174  m4_define(`hm_rv_succfail',`
175   P_READ(r);
176   if (r<0 && -r<Tnerrnos) {
177     errno= Terrnos[-r].v;
178     return -1;
179   } else if (r>0 && r<=255) {
180     errno= r;
181     return -1;
182   } else if (r) {
183     Pformat("wrong errno value");
184   }
185   r= 0;
186  ')
187
188  m4_define(`hm_rv_any',`
189   hm_rv_succfail
190   if (!r) {
191     P_READ(r);
192     if (r<0) Pformat("negative nonerror syscall return");
193   }
194  ')
195  m4_define(`hm_rv_len',`
196   hm_rv_any
197   if (r>($'`1)) Pformat("syscall length return is excessive");
198  ')
199  m4_define(`hm_rv_must',`
200   r= 0;
201  ')
202  m4_define(`hm_rv_fcntl',`
203   unsigned flg = P_fdf(fd);
204   if (cmd == F_GETFL) {
205     r= (flg & FDF_NONBLOCK) ? O_NONBLOCK : 0;
206   } else if (cmd == F_SETFL) {
207     flg &= ~FDF_NONBLOCK;
208     if (arg & O_NONBLOCK)
209       flg |= FDF_NONBLOCK;
210     fdtab.buf[fd]= flg;
211     r= 0;
212   } else {
213     abort();
214   }
215  ')
216  m4_define(`hm_rv_fd',`
217   hm_rv_succfail
218   if (!r) {
219     for (;;) {
220       assert(r < 1000);
221       if (r >= fdtab.used)
222         if (!adns__vbuf_append(&fdtab,"\0",1)) Tnomem();
223       assert(r < fdtab.used);
224       if (!(fdtab.buf[r] & FDF_OPEN)) break;
225       r++;
226     }
227     fdtab.buf[r] |= FDF_OPEN;
228  }
229  ')
230  $2
231
232  hm_create_nothing
233  m4_define(`hm_arg_fdset_io',`Pfdset($'`1,$'`2);')
234  m4_define(`hm_arg_pollfds_io',`Ppollfds($'`1,$'`2);')
235  m4_define(`hm_arg_addr_out',`Paddr($'`1,$'`2);')
236  $3
237
238  hm_create_nothing
239  m4_define(`hm_arg_bytes_out',`r= Pbytes($'`2,$'`4);')
240  $3
241
242  return r;
243 }
244 ')
245
246 m4_define(`hm_specsyscall', `')
247
248 m4_include(`hsyscalls.i4')
249
250 int Hclose(int fd) {
251   int r;
252   P_fdf(fd);
253   fdtab.buf[fd]= 0;
254   hm_rv_succfail
255   return r;
256 }