mirror of
https://github.com/reactos/syzkaller.git
synced 2024-11-27 05:10:43 +00:00
113 lines
5.2 KiB
Plaintext
113 lines
5.2 KiB
Plaintext
# Copyright 2017 syzkaller project authors. All rights reserved.
|
|
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
|
|
|
|
include <sys/types.h>
|
|
include <sys/socket.h>
|
|
include <sys/sockio.h>
|
|
include <netinet/in.h>
|
|
|
|
# IP sockets
|
|
|
|
resource sock_in[sock]
|
|
resource ifindex[int32]
|
|
|
|
sockaddr_in {
|
|
len len[parent, int8]
|
|
family const[AF_INET, int8]
|
|
port sock_port
|
|
addr ipv4_addr
|
|
pad array[const[0, int8], 8]
|
|
}
|
|
|
|
sockaddr_storage_in {
|
|
addr sockaddr_in
|
|
pad array[const[0, int64], 15]
|
|
}
|
|
|
|
socket$inet(domain const[AF_INET], type flags[socket_type], proto int8) sock_in
|
|
accept$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_in
|
|
accept4$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_in
|
|
bind$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr])
|
|
connect$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr])
|
|
sendto$inet(fd sock_in, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
|
|
recvfrom$inet(fd sock_in, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
|
|
getsockname$inet(fd sock_in, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]])
|
|
getpeername$inet(fd sock_in, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]])
|
|
|
|
# Generic IP options
|
|
|
|
inet_option_types_int = IP_TOS, IP_TTL, IP_HDRINCL, IP_RECVOPTS, IP_RETOPTS, IP_RECVTTL, IP_RECVTOS, IP_RECVORIGDSTADDR, IP_MINTTL
|
|
|
|
inet_option_types_buf = IP_OPTIONS, IP_IPSEC_POLICY, IP_MULTICAST_IF, IP_ADD_MEMBERSHIP, IP_DROP_MEMBERSHIP, IP_UNBLOCK_SOURCE, IP_BLOCK_SOURCE, IP_ADD_SOURCE_MEMBERSHIP, IP_DROP_SOURCE_MEMBERSHIP, IP_MSFILTER, MCAST_JOIN_GROUP, MCAST_BLOCK_SOURCE, MCAST_UNBLOCK_SOURCE, MCAST_LEAVE_GROUP, MCAST_JOIN_SOURCE_GROUP, MCAST_LEAVE_SOURCE_GROUP
|
|
|
|
getsockopt$inet_int(fd sock_in, level const[IPPROTO_IP], optname flags[inet_option_types_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
|
|
setsockopt$inet_int(fd sock_in, level const[IPPROTO_IP], optname flags[inet_option_types_int], optval ptr[in, int32], optlen len[optval])
|
|
getsockopt$inet_buf(fd sock_in, level const[IPPROTO_IP], optname flags[inet_option_types_buf], optval buffer[out], optlen ptr[inout, len[optval, int32]])
|
|
setsockopt$inet_buf(fd sock_in, level const[IPPROTO_IP], optname flags[inet_option_types_buf], optval buffer[in], optlen len[optval])
|
|
|
|
# Specific IP options
|
|
|
|
sockopt_opt_ip_opts = IP_OPTIONS
|
|
|
|
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]])
|
|
setsockopt$inet_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[in], optlen len[optval])
|
|
|
|
sockopt_opt_ip_mreq = IP_ADD_MEMBERSHIP, IP_DROP_MEMBERSHIP, IP_MULTICAST_IF
|
|
|
|
getsockopt$inet_mreq(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[out, ip_mreq], optlen ptr[inout, len[optval, int32]])
|
|
setsockopt$inet_mreq(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[in, ip_mreq], optlen len[optval])
|
|
getsockopt$inet_mreqn(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[out, ip_mreqn], optlen ptr[inout, len[optval, int32]])
|
|
setsockopt$inet_mreqn(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[in, ip_mreqn], optlen len[optval])
|
|
|
|
sockopt_opt_ip_mreqsrc = IP_ADD_SOURCE_MEMBERSHIP, IP_BLOCK_SOURCE, IP_DROP_SOURCE_MEMBERSHIP, IP_UNBLOCK_SOURCE
|
|
|
|
getsockopt$inet_mreqsrc(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreqsrc], optval ptr[out, ip_mreq_source], optlen ptr[inout, len[optval, int32]])
|
|
setsockopt$inet_mreqsrc(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreqsrc], optval ptr[in, ip_mreq_source], optlen len[optval])
|
|
|
|
setsockopt$inet_msfilter(fd sock_in, level const[IPPROTO_IP], optname const[IP_MSFILTER], optval ptr[in, ip_msfilter], optlen len[optval])
|
|
|
|
setsockopt$inet_MCAST_JOIN_GROUP(fd sock_in, level const[IPPROTO_IP], optname const[MCAST_JOIN_GROUP], optval ptr[in, group_req_in], optlen len[optval])
|
|
setsockopt$inet_MCAST_LEAVE_GROUP(fd sock_in, level const[IPPROTO_IP], optname const[MCAST_LEAVE_GROUP], optval ptr[in, group_req_in], optlen len[optval])
|
|
|
|
sockopt_opt_ip_group_source_req = MCAST_JOIN_SOURCE_GROUP, MCAST_LEAVE_SOURCE_GROUP, MCAST_BLOCK_SOURCE, MCAST_UNBLOCK_SOURCE
|
|
|
|
setsockopt$inet_group_source_req(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_group_source_req], optval ptr[in, group_source_req_in], optlen len[optval])
|
|
|
|
ip_mreq {
|
|
imr_multiaddr ipv4_addr
|
|
imr_interface ipv4_addr
|
|
}
|
|
|
|
ip_mreqn {
|
|
imr_multiaddr ipv4_addr
|
|
imr_address ipv4_addr
|
|
imr_ifindex ifindex
|
|
}
|
|
|
|
ip_mreq_source {
|
|
imr_multiaddr ipv4_addr
|
|
imr_interface ipv4_addr
|
|
imr_sourceaddr ipv4_addr
|
|
}
|
|
|
|
ip_msfilter {
|
|
imsf_multiaddr ipv4_addr
|
|
imsf_interface ipv4_addr
|
|
imsf_fmode flags[ip_msfilter_mode, int32]
|
|
imsf_numsrc len[imsf_slist, int32]
|
|
imsf_slist array[ipv4_addr]
|
|
}
|
|
|
|
ip_msfilter_mode = MCAST_INCLUDE, MCAST_EXCLUDE
|
|
|
|
group_req_in {
|
|
gr_interface int32
|
|
gr_group sockaddr_storage_in
|
|
}
|
|
|
|
group_source_req_in {
|
|
gsr_interface int32
|
|
gsr_group sockaddr_storage_in
|
|
gsr_source sockaddr_storage_in
|
|
}
|