1 # Copyright 2017 syzkaller project authors. All rights reserved. 2 # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. 3 4 include <sys/types.h> 5 include <sys/socket.h> 6 include <sys/sockio.h> 7 include <netinet/in.h> 8 9 # IP sockets 10 11 resource sock_in[sock] 12 13 sock_in_pair { 14 f0 sock_in 15 f1 sock_in 16 } 17 18 sockaddr_in { 19 family const[AF_INET, int16] 20 port sock_port 21 pad array[const[0, int8], 8] 22 } 23 24 socket$inet(domain const[AF_INET], type flags[socket_type], proto int8) sock_in 25 socketpair$inet(domain const[AF_INET], type flags[socket_type], proto int8, fds ptr[out, sock_in_pair]) 26 accept$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_in 27 bind$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr]) 28 connect$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr]) 29 sendto$inet(fd sock_in, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr]) 30 recvfrom$inet(fd sock_in, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr]) 31 getsockname$inet(fd sock_in, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]]) 32 getpeername$inet(fd sock_in, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]]) 33 34 # Generic IP options 35 36 # Specific IP options 37 38 sockopt_opt_ip_opts = IP_OPTIONS 39 40 getsockopt$inet_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[out], optlen ptr[inout, len[optval, int32]]) 41 setsockopt$inet_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[in], optlen len[optval]) 42
