2 m4_dnl (part of complex test harness, not of the library)
3 m4_dnl - playback routines
5 m4_dnl This file is part of adns, which is
6 m4_dnl Copyright (C) 1997-2000,2003,2006,2014-2016,2020 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>
45 static FILE *Tinputfile, *Tfuzzrawfile, *Treportfile;
48 static void Tensure_reportfile(void) {
52 if (Treportfile) return;
54 fdstr= getenv("ADNS_TEST_REPORT_FD"); if (!fdstr) return;
56 Treportfile= fdopen(fd,"a"); if (!Treportfile) Tfailed("fdopen ADNS_TEST_REPORT_FD");
59 static void Tensure_fuzzrawfile(void) {
65 const char *fdstr= getenv("ADNS_TEST_FUZZRAW_DUMP_FD");
69 Tfuzzrawfile= fdopen(fd,"ab");
70 if (!Tfuzzrawfile) Tfailed("fdopen ADNS_TEST_FUZZRAW_DUMP_FD");
73 static void FR_write(const void *p, size_t sz) {
74 if (!Tfuzzrawfile) return;
75 ssize_t got = fwrite(p,1,sz,Tfuzzrawfile);
76 if (ferror(Tfuzzrawfile)) Tfailed("write fuzzraw output file");
80 #define FR_WRITE(x) (FR_write(&(x), sizeof((x))))
82 extern void Tshutdown(void) {
83 adns__vbuf_free(&vb2);
85 if (fclose(Tfuzzrawfile)) Tfailed("close fuzzraw output file");
89 static void Psyntax(const char *where) {
90 fprintf(stderr,"adns test harness: syntax error in test log input file: %s\n",where);
94 static void Pcheckinput(void) {
95 if (ferror(Tinputfile)) Tfailed("read test log input file");
96 if (feof(Tinputfile)) Psyntax("eof at syscall reply");
99 void T_gettimeofday_hook(void) {
100 static struct timeval previously;
101 struct timeval delta;
102 memset(&delta,0,sizeof(delta));
103 timersub(¤ttime, &previously, &delta);
104 previously = currenttime;
108 void Tensuresetup(void) {
111 unsigned long sec, usec;
113 Tensure_reportfile();
114 Tensure_fuzzrawfile();
116 if (Tinputfile) return;
120 Tinputfile= fdopen(fd,"r"); if (!Tinputfile) Tfailed("fdopen ADNS_TEST_IN_FD");
122 setvbuf(Tinputfile,0,_IONBF,0);
124 if (!adns__vbuf_ensure(&vb2,1000)) Tnomem();
125 fgets(vb2.buf,vb2.avail,Tinputfile); Pcheckinput();
127 sscanf(vb2.buf," start %lu.%lu%n",&sec,&usec,&chars);
128 if (chars==-1) Psyntax("start time invalid");
129 currenttime.tv_sec= sec;
130 currenttime.tv_usec= usec;
131 if (vb2.buf[chars] != hm_squote\nhm_squote) Psyntax("not newline after start time");
134 static void Parg(const char *argname) {
137 if (vb2.buf[vb2.used++] != hm_squote hm_squote) Psyntax("not a space before argument");
139 if (memcmp(vb2.buf+vb2.used,argname,l)) Psyntax("argument name wrong");
141 if (vb2.buf[vb2.used++] != hm_squote=hm_squote) Psyntax("not = after argument name");
144 static int Pstring_maybe(const char *string) {
148 if (memcmp(vb2.buf+vb2.used,string,l)) return 0;
153 static void Pstring(const char *string, const char *emsg) {
154 if (Pstring_maybe(string)) return;
158 static int Perrno(const char *stuff) {
159 const struct Terrno *te;
163 for (te= Terrnos; te->n && strcmp(te->n,stuff); te++);
164 if (te->n) return te->v;
165 r= strtoul(stuff+2,&ep,10);
166 if (*ep) Psyntax("errno value not recognised, not numeric");
167 if (r==0 || r>255) Psyntax("numeric errno out of range 1..255");
171 static void P_updatetime(void) {
173 unsigned long sec, usec;
175 if (!adns__vbuf_ensure(&vb2,1000)) Tnomem();
176 fgets(vb2.buf,vb2.avail,Tinputfile); Pcheckinput();
178 sscanf(vb2.buf," +%lu.%lu%n",&sec,&usec,&chars);
179 if (chars==-1) Psyntax("update time invalid");
180 currenttime.tv_sec+= sec;
181 currenttime.tv_usec+= usec;
182 if (currenttime.tv_usec > 1000000) {
183 currenttime.tv_sec++;
184 currenttime.tv_usec -= 1000000;
186 if (vb2.buf[chars] != hm_squote\nhm_squote) Psyntax("not newline after update time");
189 static void Pfdset(fd_set *set, int max) {
195 Pstring("null","null fdset pointer");
199 if (vb2.buf[vb2.used++] != hm_squote[hm_squote) Psyntax("fd set start not [");
201 if (vb2.buf[vb2.used] == hm_squote]hm_squote) {
205 ul= strtoul(vb2.buf+vb2.used,&ep,10);
206 if (ul>=max) Psyntax("fd set member > max");
207 if (ep == (char*)vb2.buf+vb2.used) Psyntax("empty entry in fd set");
209 vb2.used= ep - (char*)vb2.buf;
210 c= vb2.buf[vb2.used++];
211 if (c == hm_squote]hm_squote) break;
212 if (c != hm_squote,hm_squote) Psyntax("fd set separator not ,");
219 if (fd>=max || inaccum==16) {
226 accum |= !!FD_ISSET(fd,set);
232 static int Ppollfdevents(void) {
235 if (Pstring_maybe("0")) return 0;
238 if (Pstring_maybe("POLLIN")) {
240 if (!Pstring_maybe("|")) return events;
243 if (Pstring_maybe("POLLOUT")) {
245 if (!Pstring_maybe("|")) return events;
248 Pstring("POLLPRI","pollfdevents PRI?");
252 static void Ppollfds(struct pollfd *fds, int nfds) {
255 const char *comma= "";
257 if (vb2.buf[vb2.used++] != hm_squote[hm_squote) Psyntax("pollfds start not [");
258 for (i=0; i<nfds; i++) {
259 Pstring("{fd=","{fd= in pollfds");
260 int gotfd= strtoul(vb2.buf+vb2.used,&ep,10);
261 if (gotfd != fds->fd) Psyntax("poll fds[].fd changed");
262 vb2.used= ep - (char*)vb2.buf;
263 Pstring(", events=",", events= in pollfds");
264 int gotevents= Ppollfdevents();
265 if (gotevents != fds->events) Psyntax("poll fds[].events changed");
266 Pstring(", revents=",", revents= in pollfds");
267 fds->revents= Ppollfdevents();
268 if (gotevents) FR_WRITE(fds->revents);
269 Pstring("}","} in pollfds");
270 Pstring(comma,"separator in pollfds");
273 if (vb2.buf[vb2.used++] != hm_squote]hm_squote) Psyntax("pollfds end not ]");
277 static void Paddr(struct sockaddr *addr, int *lenr) {
286 if (!q) Psyntax("missing :");
291 if (!q) Psyntax("missing ]");
293 if (*q!=':') Psyntax("expected : after ]");
296 ul= strtoul(q,&ep,10);
297 if (*ep && *ep != ' ') Psyntax("invalid port (bad syntax)");
298 if (ul >= 65536) Psyntax("port too large");
304 uint16_t port16 = ul;
308 a.len= sizeof(a.addr);
309 err= adns_text2addr(p, (int)ul, 0, &a.addr.sa,&a.len);
310 if (err) Psyntax("invalid address");
312 assert(*lenr >= a.len);
313 memcpy(addr, &a.addr, a.len);
315 vb2.used= ep - (char*)vb2.buf;
318 static int Pbytes(byte *buf, int maxlen) {
319 static const char hexdigits[]= "0123456789abcdef";
326 c= getc(Tinputfile); Pcheckinput();
327 if (c=='\n' || c==' ' || c=='\t') continue;
329 pf= strchr(hexdigits,c); if (!pf) Psyntax("invalid first hex digit");
330 v= (pf-hexdigits)<<4;
331 c= getc(Tinputfile); Pcheckinput();
332 pf= strchr(hexdigits,c); if (!pf) Psyntax("invalid second hex digit");
334 if (maxlen<=0) Psyntax("buffer overflow in bytes");
339 c= getc(Tinputfile); Pcheckinput();
340 if (c=='\n') return done;
348 if (!adns__vbuf_ensure(&vb2,vb.used+2)) Tnomem();
349 fread(vb2.buf,1,vb.used+2,Tinputfile);
350 if (feof(Tinputfile)) {
351 fprintf(stderr,"adns test harness: input ends prematurely; program did:\n %.*s\n",
356 if (vb2.buf[0] != hm_squote hm_squote) Psyntax("not space before call");
357 if (memcmp(vb.buf,vb2.buf+1,vb.used) ||
358 vb2.buf[vb.used+1] != hm_squote\nhm_squote) {
360 "adns test harness: program did unexpected:\n %.*s\n"
361 "was expecting:\n %.*s\n",
362 vb.used,vb.buf, vb.used,vb2.buf+1);
365 nl= memchr(vb.buf,'\n',vb.used);
366 fprintf(Treportfile," %.*s\n", (int)(nl ? nl - (const char*)vb.buf : vb.used), vb.buf);
369 m4_define(`hm_syscall', `
371 int H$1(hm_args_massage($3,void)) {
374 m4_define(`hm_rv_fd',`char *ep;')
375 m4_define(`hm_rv_any',`char *ep;')
378 hm_create_hqcall_vars
381 hm_create_hqcall_init($1)
384 hm_create_hqcall_args
385 Q$1(hm_args_massage($3));
387 m4_define(`hm_r_offset',`m4_len(` $1=')')
388 if (!adns__vbuf_ensure(&vb2,1000)) Tnomem();
389 fgets(vb2.buf,vb2.avail,Tinputfile); Pcheckinput();
392 fprintf(Treportfile,"%s",vb2.buf);
393 amtread= strlen(vb2.buf);
394 if (amtread<=0 || vb2.buf[--amtread]!=hm_squote\nhm_squote)
395 Psyntax("badly formed line");
397 if (memcmp(vb2.buf," $1=",hm_r_offset)) Psyntax("syscall reply mismatch");
400 hm_fr_syscall_ident($1)
401 FR_WRITE(sync_expect);
404 m4_define(`hm_rv_check_errno',`
405 if (vb2.buf[hm_r_offset] == hm_squoteEhm_squote) {
407 e= Perrno(vb2.buf+hm_r_offset);
416 m4_define(`hm_rv_check_success',`
417 if (memcmp(vb2.buf+hm_r_offset,"OK",2)) Psyntax("success/fail not E* or OK");
418 vb2.used= hm_r_offset+2;
421 m4_define(`hm_rv_any_nowrite',`
423 unsigned long ul_r= strtoul(vb2.buf+hm_r_offset,&ep,10);
424 if (ul_r < 0 || ul_r > INT_MAX ||
425 (*ep && *ep!=hm_squote hm_squote))
426 Psyntax("return value not E* or positive number");
428 vb2.used= ep - (char*)vb2.buf;
431 m4_define(`hm_rv_succfail',`
435 m4_define(`hm_rv_len',`
439 m4_define(`hm_rv_must',`
442 m4_define(`hm_rv_any',`
446 m4_define(`hm_rv_fd',`hm_rv_any')
447 m4_define(`hm_rv_select',`hm_rv_any_nowrite')
448 m4_define(`hm_rv_poll',`hm_rv_any_nowrite')
449 m4_define(`hm_rv_fcntl',`
451 if (cmd == F_GETFL) {
452 if (!memcmp(vb2.buf+hm_r_offset,"O_NONBLOCK|...",14)) {
454 vb2.used= hm_r_offset+14;
455 } else if (!memcmp(vb2.buf+hm_r_offset,"~O_NONBLOCK&...",15)) {
456 vb2.used= hm_r_offset+15;
458 Psyntax("fcntl flags not O_NONBLOCK|... or ~O_NONBLOCK&...");
460 } else if (cmd == F_SETFL) {
463 Psyntax("fcntl not F_GETFL or F_SETFL");
469 m4_define(`hm_arg_fdset_io',`Parg("$'`1"); Pfdset($'`1,$'`2);')
470 m4_define(`hm_arg_pollfds_io',`Parg("$'`1"); Ppollfds($'`1,$'`2);')
471 m4_define(`hm_arg_addr_out',`Parg("$'`1"); Paddr($'`1,$'`2);')
473 assert(vb2.used <= amtread);
474 if (vb2.used != amtread) Psyntax("junk at end of line");
477 m4_define(`hm_arg_bytes_out',`
478 r= Pbytes($'`2,$'`4);
489 m4_define(`hm_specsyscall', `')
491 m4_include(`hsyscalls.i4')