2 m4_dnl (part of complex test harness, not of the library)
3 m4_dnl - routines for fuzzing
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.)
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.
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.
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.
25 m4_include(hmacros.i4)
32 #include <sys/types.h>
33 #include <sys/socket.h>
34 #include <netinet/in.h>
35 #include <arpa/inet.h>
47 #define FDF_NONBLOCK 002u
49 static FILE *Tinputfile;
50 static int traceprint;
51 #define traceout stdout
53 static void Tflushtrace( void) {
54 if (fflush(traceout)) Toutputerr();
57 void Tensuresetup(void) {
67 Tinputfile= fdopen(fd,"rb");
68 if (!Tinputfile) Tfailed("fdopen record fd");
70 while (fdtab.used < 3) {
71 const char fdfstd = FDF_OPEN;
72 if (!adns__vbuf_append(&fdtab,&fdfstd,1)) Tnomem();
75 const char *traceprintstr= getenv("ADNS_TEST_FUZZRAW_TRACEPRINT");
76 if (traceprintstr) traceprint= atoi(traceprintstr);
80 if (!adns__vbuf_append(&vb,"",1)) Tnomem();
81 if (fprintf(traceout," %s\n",vb.buf) == EOF) Toutputerr();
85 static void Pformat(const char *what) {
86 fprintf(stderr,"adns test harness: format error in raw log input file: %s\n",what);
90 extern void Tshutdown(void) {
91 int c= fgetc(Tinputfile);
92 if (c!=EOF) Pformat("unwanted additional syscall reply data");
93 if (ferror(Tinputfile)) Tfailed("read test log input (at end)");
96 static void Pcheckinput(void) {
97 if (ferror(Tinputfile)) Tfailed("read test log input file");
98 if (feof(Tinputfile)) Pformat("eof at syscall reply");
101 static void P_read_dump(const unsigned char *p0, size_t count, ssize_t d) {
102 fputs(" | ",traceout);
104 fprintf(traceout,"%02x", *p0);
110 static void P_read(void *p, size_t sz, const char *what) {
111 long pos = ftell(Tinputfile);
112 ssize_t got = fread(p,1,sz,Tinputfile);
115 if (traceprint>1 && sz) {
116 fprintf(traceout,"%8lx %8s:",pos,what);
117 P_read_dump(p, sz, +1);
119 P_read_dump((const unsigned char *)p+sz-1, sz, -1);
121 fputs(" |\n",traceout);
126 #define P_READ(x) (P_read(&(x), sizeof((x)), #x))
128 static unsigned P_fdf(int fd) {
129 assert(fd>=0 && fd<fdtab.used);
130 return fdtab.buf[fd];
133 void T_gettimeofday_hook(void) {
134 struct timeval delta, sum;
136 timeradd(&delta, ¤ttime, &sum);
140 static void Paddr(struct sockaddr *addr, int *lenr) {
144 socklen_t sl = *lenr;
147 if (al<0 || al>=sizeof(buf)-1) Pformat("bad addr len");
148 P_read(buf,al,"addrtext");
151 r= adns_text2addr(buf,port, adns_qf_addrlit_scope_numeric, addr, &sl);
152 if (r==EINVAL) Pformat("bad addr text");
153 assert(r==0 || r==ENOSPC);
157 static int Pbytes(byte *buf, int maxlen) {
160 if (bl<0 || bl>maxlen) Pformat("bad byte block len");
161 P_read(buf, bl, "bytes");
165 static void Pfdset(fd_set *set, int max, int *r_io) {
172 for (fd=max-1; fd>=0; fd--) {
177 _Bool y = fdmap & 1u;
181 if (!FD_ISSET(fd,set)) continue;
194 static void Psync(const char *exp, char *got, size_t sz, const char *what) {
195 P_read(got,sz,"syscall");
196 if (memcmp(exp,got,sz)) Pformat(what);
199 m4_define(`syscall_sync',`
201 hm_fr_syscall_ident($'`1)
202 static char sync_got[sizeof(sync_expect)];
203 Psync(sync_expect, sync_got, sizeof(sync_got), "sync lost: exp=$1");
208 static void Ppollfds(struct pollfd *fds, int nfds, int *r_io) {
210 for (fd=0; fd<nfds; fd++) {
211 if (!fds[fd].events) continue;
213 P_READ(fds[fd].revents);
220 static int P_succfail(void) {
227 Pformat("wrong errno value");
232 m4_define(`hm_syscall', `
234 int H$1(hm_args_massage($3,void)) {
239 hm_create_hqcall_vars
242 hm_create_hqcall_init($1)
248 hm_create_hqcall_args
249 Q$1(hm_args_massage($3));
254 m4_define(`hm_rv_succfail',`
259 m4_define(`hm_rv_any',`
263 if (r<0) Pformat("negative nonerror syscall return");
266 m4_define(`hm_rv_len',`
269 m4_define(`hm_rv_must',`
272 m4_define(`hm_rv_select',`hm_rv_succfail')
273 m4_define(`hm_rv_poll',`hm_rv_succfail')
274 m4_define(`hm_rv_fcntl',`
275 unsigned flg = P_fdf(fd);
276 if (cmd == F_GETFL) {
277 r= (flg & FDF_NONBLOCK) ? O_NONBLOCK : 0;
278 } else if (cmd == F_SETFL) {
279 flg &= ~FDF_NONBLOCK;
280 if (arg & O_NONBLOCK)
288 m4_define(`hm_rv_fd',`
293 if (newfd<0 || newfd>1000) Pformat("new fd out of range");
294 adns__vbuf_ensure(&fdtab, newfd+1);
295 if (fdtab.used <= newfd) {
296 memset(fdtab.buf+fdtab.used, 0, newfd+1-fdtab.used);
299 if (fdtab.buf[newfd]) Pformat("new fd already in use");
300 fdtab.buf[newfd] |= FDF_OPEN;
307 m4_define(`hm_arg_fdset_io',`Pfdset($'`1,$'`2,&r);')
308 m4_define(`hm_arg_pollfds_io',`Ppollfds($'`1,$'`2,&r);')
309 m4_define(`hm_arg_addr_out',`Paddr($'`1,$'`2);')
313 m4_define(`hm_arg_bytes_out',`r= Pbytes($'`2,$'`4);')
317 m4_define(`hm_rv_selectpoll',`
318 if (($'`1) && !r) Pformat("select/poll returning 0 but infinite timeout");
320 m4_define(`hm_rv_select',`hm_rv_selectpoll(!to)')
321 m4_define(`hm_rv_poll',`hm_rv_selectpoll(timeout<0)')
328 m4_define(`hm_specsyscall', `')
330 m4_include(`hsyscalls.i4')