chiark / gitweb /
9bb6c3d862d9fe3a1c32572e8c9a08da0ee8f58b
[adns.git] / regress / hsyscalls.i4
1 m4_dnl hsyscalls.i4
2 m4_dnl (part of complex test harness, not of the library)
3 m4_dnl - list of syscalls to override/log and their args
4
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.)
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_dnl each system call has
26 m4_dnl  hm_syscall(<name>,<returnvalue>,<args>)
27 m4_dnl <returnvalue> is one of
28 m4_dnl  hm_rv_must       must succeed and return 0
29 m4_dnl  hm_rv_any        any nonnegative return allowed, -1 means see errno
30 m4_dnl  hm_rv_fd         file descriptor is returned, -1 means see errno
31 m4_dnl  hm_rv_succfail   returns 0 (ok) or -1 (see errno)
32 m4_dnl  hm_rv_len(<max>) returns length read/written, must be <=max, -1 => errno
33 m4_dnl  hm_rv_fcntl      syscall is fcntl, do special processing
34 m4_dnl  hm_rv_select     select, do special processing } default is _any
35 m4_dnl  hm_rv_poll       poll, do special processing   }  after create_nothing
36 m4_dnl <args> is list of macros for arguments, each followed by hm_na
37 m4_dnl  hm_arg_nullptr(<type>,<arg>)    pointer of type type, must be null
38 m4_dnl  hm_arg_int(<arg>)               signed integer
39 m4_dnl  hm_arg_fdset_io(<arg>,<max>)    fd_set, max bit set is in max
40 m4_dnl  hm_arg_timeval_in_rel_null(<t>) struct timeval*, pass in, relative, may be null
41 m4_dnl  hm_arg_must(<type>,<arg>,<val>) must have correct value, or abort test
42 m4_dnl  hm_arg_socktype(<arg>)          SOCK_STREAM or SOCK_DGRAM (an int)
43 m4_dnl  hm_arg_addrfam(<arg>)           a supported address family
44 m4_dnl  hm_arg_ign(<type>,<arg>)        input parameter ignored
45 m4_dnl  hm_arg_fd(<arg>)                fd
46 m4_dnl  hm_arg_fcntl_cmd_arg(<ca>,<aa>) syscall is fcntl, do special processing
47 m4_dnl  hm_arg_addr_in(<arg>,<len>)     struct sockaddr*, length given by <len> (an int)
48 m4_dnl  hm_arg_bytes_in(<objtype>,<objarg>,<lentype>,<lenarg>)
49 m4_dnl   some data from caller; <objarg> is of type pointer to const <objtype>
50 m4_dnl   and points to <lenarg> bytes (<lenarg> is of type <lentype>)
51 m4_dnl  hm_arg_bytes_out(<objtype>,<objarg>,<lentype>,<buflenarg>)
52 m4_dnl   buffer for data from syscall; <objarg> is of type pointer to const <objtype>
53 m4_dnl   and points to at least <lenarg> bytes (<lenarg> is of type <lentype>)
54 m4_dnl   return value from syscall is supposed to be returned length
55 m4_dnl  hm_arg_addr_out(<arg>,<lenptr>) struct sockaddr*, length io at <lenptr> (an int*)
56
57 hm_syscall(
58         select, `hm_rv_select', `
59         hm_arg_int(max) hm_na
60         hm_arg_fdset_io(rfds,max) hm_na
61         hm_arg_fdset_io(wfds,max) hm_na
62         hm_arg_fdset_io(efds,max) hm_na
63         hm_arg_timeval_in_rel_null(to) hm_na
64 ')
65
66 #ifdef HAVE_POLL
67 hm_syscall(
68         poll, `hm_rv_poll', `
69         hm_arg_pollfds_io(fds,nfds) hm_na
70         hm_arg_int(timeout) hm_na
71 ')
72 #endif
73
74 hm_syscall(
75         socket, `hm_rv_fd', `
76         hm_arg_addrfam(domain) hm_na
77         hm_arg_socktype(type) hm_na
78         hm_arg_ign(int,protocol) hm_na
79 ')
80
81 hm_syscall(
82         fcntl, `hm_rv_fcntl', `
83         hm_arg_fd(fd) hm_na
84         hm_arg_fcntl_cmd_arg(cmd,arg) hm_na
85 ')
86
87 hm_syscall(
88         connect, `hm_rv_succfail', `
89         hm_arg_fd(fd) hm_na
90         hm_arg_addr_in(addr,addrlen) hm_na
91 ')
92
93 hm_syscall(
94         bind, `hm_rv_succfail', `
95         hm_arg_fd(fd) hm_na
96         hm_arg_addr_in(addr,addrlen) hm_na
97 ')
98
99 hm_syscall(
100         listen, `hm_rv_succfail', `
101         hm_arg_fd(fd) hm_na
102         hm_arg_int(backlog) hm_na
103 ')
104
105 hm_syscall(
106         sendto, `hm_rv_any', `
107         hm_arg_fd(fd) hm_na
108         hm_arg_bytes_in(void,msg,int,msglen) hm_na
109         hm_arg_must(unsigned int,flags,0) hm_na
110         hm_arg_addr_in(addr,addrlen) hm_na
111 ')
112
113 hm_syscall(
114         recvfrom, `hm_rv_len(buflen)', `
115         hm_arg_fd(fd) hm_na
116         hm_arg_bytes_out(void,buf,int,buflen) hm_na
117         hm_arg_must(unsigned int,flags,0) hm_na
118         hm_arg_addr_out(addr,addrlen) hm_na
119 ')
120
121 hm_syscall(
122         read, `hm_rv_len(buflen)', `
123         hm_arg_fd(fd) hm_na
124         hm_arg_bytes_out(void,buf,size_t,buflen) hm_na
125 ')
126
127 hm_syscall(
128         write, `hm_rv_any', `
129         hm_arg_fd(fd) hm_na
130         hm_arg_bytes_in(void,buf,size_t,len) hm_na
131 ')
132
133 hm_specsyscall(int, writev, `int fd, const struct iovec *vector, size_t count')
134 hm_specsyscall(int, gettimeofday, `struct timeval *tv, struct timezone *tz')
135 hm_specsyscall(pid_t, getpid, `void')
136 hm_specsyscall(int, close, `int fd')
137
138 m4_define(hm_stdsyscall_close,`
139 hm_syscall(
140         close, `hm_rv_succfail', `
141         hm_arg_fd(fd) hm_na
142 ')
143 ')
144
145 hm_specsyscall(void*, malloc, `size_t sz')
146 hm_specsyscall(void, free, `void *ptr')
147 hm_specsyscall(void*, realloc, `void *op, size_t nsz')
148 hm_specsyscall(void, exit, `int rv', NONRETURNING)
149
150 hm_specsyscall(FILE*, fopen, `const char *path, const char *mode')