chiark / gitweb /
b2e82fd01663c3fd6f700b9242461204fa96d731
[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, *traceout;
50 static int traceprint;
51
52 static void Tflushtrace( void) {
53   if (fflush(traceout)) Toutputerr();
54 }
55
56 void Tensuresetup(void) {
57   static int done;
58
59   if (done) return;
60   done++;
61
62   int fd;
63
64   fd = Ttestinputfd();
65   assert(fd >= 0);
66   Tinputfile= fdopen(fd,"rb");
67     if (!Tinputfile) Tfailed("fdopen record fd");
68
69   while (fdtab.used < 3) {
70     const char fdfstd = FDF_OPEN;
71     if (!adns__vbuf_append(&fdtab,&fdfstd,1)) Tnomem();
72   }
73
74   const char *traceprintstr= getenv("ADNS_TEST_FUZZRAW_TRACEPRINT");
75   if (traceprintstr) {
76     traceprint= atoi(traceprintstr);
77     int tracefd= dup(2);
78     if (tracefd<0) Tfailed("dup for tracefd");
79     traceout= fdopen(tracefd,"w");
80     if (!traceout) Tfailed("fdopen for traceout");
81   }
82 }
83
84 void Q_vb(void) {
85   if (!traceprint) return; /* hcommon.c.m4 can call Q_vb directly */
86   if (!adns__vbuf_append(&vb,"",1)) Tnomem();
87   if (fprintf(traceout," %s\n",vb.buf) == EOF) Toutputerr();
88   Tflushtrace();
89 }
90
91 static void Pformat(const char *what) {
92   fprintf(stderr,"adns test harness: format error in raw log input file: %s\n",what);
93   exit(-1);
94 }
95
96 extern void Tshutdown(void) {
97   if (!Tinputfile) return;
98   int c= fgetc(Tinputfile);
99   if (c!=EOF) Pformat("unwanted additional syscall reply data");
100   if (ferror(Tinputfile)) Tfailed("read test log input (at end)");
101 }
102
103 static void Pcheckinput(void) {
104   if (ferror(Tinputfile)) Tfailed("read test log input file");
105   if (feof(Tinputfile)) Pformat("eof at syscall reply");
106 }
107
108 static void P_read_dump(const unsigned char *p0, size_t count, ssize_t d) {
109   fputs(" | ",traceout);
110   while (count) {
111     fprintf(traceout,"%02x", *p0);
112     p0 += d;
113     count--;
114   }
115 }
116     
117 static void P_read(void *p, size_t sz, const char *what) {
118   long pos = ftell(Tinputfile);
119   ssize_t got = fread(p,1,sz,Tinputfile);
120   Pcheckinput();
121   assert(got==sz);
122   if (traceprint>1 && sz) {
123     fprintf(traceout,"%8lx %8s:",pos,what);
124     P_read_dump(p, sz, +1);
125     if (sz<=16) {
126       P_read_dump((const unsigned char *)p+sz-1, sz, -1);
127     }
128     fputs(" |\n",traceout);
129     Tflushtrace();
130   }
131 }
132
133 #define P_READ(x) (P_read(&(x), sizeof((x)), #x))
134
135 static unsigned P_fdf(int fd) {
136   assert(fd>=0 && fd<fdtab.used);
137   return fdtab.buf[fd];
138 }
139
140 void T_gettimeofday_hook(void) {
141   struct timeval delta, sum;
142   P_READ(delta);
143   timeradd(&delta, &currenttime, &sum);
144   currenttime= sum;
145 }
146
147 static void Paddr(struct sockaddr *addr, int *lenr) {
148   int al, r;
149   uint16_t port;
150   char buf[512];
151   socklen_t sl = *lenr;
152
153   P_READ(al);
154   if (al<0 || al>=sizeof(buf)-1) Pformat("bad addr len");
155   P_read(buf,al,"addrtext");
156   buf[al]= 0;
157   P_READ(port);
158   r= adns_text2addr(buf,port, adns_qf_addrlit_scope_numeric, addr, &sl);
159   if (r==EINVAL) Pformat("bad addr text");
160   assert(r==0 || r==ENOSPC);
161   *lenr = sl;
162 }
163
164 static int Pbytes(byte *buf, int maxlen) {
165   int bl;
166   P_READ(bl);
167   if (bl<0 || bl>maxlen) Pformat("bad byte block len");
168   P_read(buf, bl, "bytes");
169   return bl;
170 }
171
172 static void Pfdset(fd_set *set, int max, int *r_io) {
173   uint16_t fdmap;
174   int fd, nfdmap=0;
175
176   if (!set)
177     return;
178
179   for (fd=max-1; fd>=0; fd--) {
180     if (nfdmap==0) {
181       P_READ(fdmap);
182       nfdmap= 16;
183     }
184     _Bool y = fdmap & 1u;
185     fdmap >>= 1;
186     nfdmap--;
187
188     if (!FD_ISSET(fd,set)) continue;
189
190     P_fdf(fd);
191
192     if (y) {
193       (*r_io)++;
194     } else {
195       FD_CLR(fd,set);
196     }
197   }
198 }
199
200 #ifdef FUZZRAW_SYNC
201 static void Psync(const char *exp, char *got, size_t sz, const char *what) {
202   P_read(got,sz,"syscall");
203   if (memcmp(exp,got,sz)) Pformat(what);
204 }
205 #endif
206 m4_define(`syscall_sync',`
207 #ifdef FUZZRAW_SYNC
208   hm_fr_syscall_ident($'`1)
209   static char sync_got[sizeof(sync_expect)];
210   Psync(sync_expect, sync_got, sizeof(sync_got), "sync lost: program did $1");
211 #endif
212 ')
213
214 #ifdef HAVE_POLL
215 static void Ppollfds(struct pollfd *fds, int nfds, int *r_io) {
216   int fd;
217   for (fd=0; fd<nfds; fd++) {
218     if (!fds[fd].events) continue;
219     P_fdf(fd);
220     P_READ(fds[fd].revents);
221     if (fds[fd].revents)
222       (*r_io)++;
223   }
224 }
225 #endif
226
227 static int P_succfail(void) {
228   int e;
229   P_READ(e);
230   if (e>0) {
231     errno= e;
232     return -1;
233   } else if (e) {
234     Pformat("wrong errno value");
235   }
236   return 0;
237 }
238
239 m4_define(`hm_syscall', `
240  hm_create_proto_h
241 int H$1(hm_args_massage($3,void)) {
242  int r;
243  hm_create_nothing
244  $2
245
246  hm_create_hqcall_vars
247  $3
248
249  hm_create_hqcall_init($1)
250  $3
251
252  Tensuresetup();
253
254  if (traceprint) {
255    hm_create_hqcall_args
256    Q$1(hm_args_massage($3));
257  }
258
259   syscall_sync($'`1)
260
261  m4_define(`hm_rv_succfail',`
262   r= P_succfail();
263   if (r<0) return r;
264  ')
265
266  m4_define(`hm_rv_any',`
267   hm_rv_succfail
268   if (!r) {
269     P_READ(r);
270     if (r<0) Pformat("negative nonerror syscall return");
271   }
272  ')
273  m4_define(`hm_rv_len',`
274   hm_rv_succfail
275  ')
276  m4_define(`hm_rv_must',`
277   r= 0;
278  ')
279  m4_define(`hm_rv_select',`hm_rv_succfail')
280  m4_define(`hm_rv_poll',`hm_rv_succfail')
281  m4_define(`hm_rv_fcntl',`
282   unsigned flg = P_fdf(fd);
283   if (cmd == F_GETFL) {
284     r= (flg & FDF_NONBLOCK) ? O_NONBLOCK : 0;
285   } else if (cmd == F_SETFL) {
286     flg &= ~FDF_NONBLOCK;
287     if (arg & O_NONBLOCK)
288       flg |= FDF_NONBLOCK;
289     fdtab.buf[fd]= flg;
290     r= 0;
291   } else {
292     abort();
293   }
294  ')
295  m4_define(`hm_rv_fd',`
296   hm_rv_succfail
297   if (!r) {
298     int newfd;
299     P_READ(newfd);
300     if (newfd<0 || newfd>1000) Pformat("new fd out of range");
301     adns__vbuf_ensure(&fdtab, newfd+1);
302     if (fdtab.used <= newfd) {
303       memset(fdtab.buf+fdtab.used, 0, newfd+1-fdtab.used);
304       fdtab.used= newfd+1;
305     }
306     if (fdtab.buf[newfd]) Pformat("new fd already in use");
307     fdtab.buf[newfd] |= FDF_OPEN;
308     r= newfd;
309  }
310  ')
311  m4_define(`hm_rv_wlen',`
312   hm_rv_any
313   if (r>$'`1) Pformat("write return value too large");
314  ')
315  $2
316
317  hm_create_nothing
318  m4_define(`hm_arg_fdset_io',`Pfdset($'`1,$'`2,&r);')
319  m4_define(`hm_arg_pollfds_io',`Ppollfds($'`1,$'`2,&r);')
320  m4_define(`hm_arg_addr_out',`Paddr($'`1,$'`2);')
321  $3
322
323  hm_create_nothing
324  m4_define(`hm_arg_bytes_out',`r= Pbytes($'`2,$'`4);')
325  $3
326
327  hm_create_nothing
328  m4_define(`hm_rv_selectpoll',`
329   if (($'`1) && !r) Pformat("select/poll returning 0 but infinite timeout");
330  ')
331  m4_define(`hm_rv_select',`hm_rv_selectpoll(!to)')
332  m4_define(`hm_rv_poll',`hm_rv_selectpoll(timeout<0)')
333  $2
334
335  return r;
336 }
337 ')
338
339 m4_define(`hm_specsyscall', `')
340
341 m4_include(`hsyscalls.i4')
342
343 int Hclose(int fd) {
344   syscall_sync(close)
345   P_fdf(fd);
346   fdtab.buf[fd]= 0;
347   return P_succfail();
348 }