1d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes/*
2d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * Check decoding of recvmsg and sendmsg syscalls.
3d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *
4d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * Copyright (c) 2016 Dmitry V. Levin <ldv@altlinux.org>
577c3ff8e0644f1e120e4b2ebc7222150b0446f3bElliott Hughes * Copyright (c) 2016-2017 The strace developers.
6d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * All rights reserved.
7d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *
8d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * Redistribution and use in source and binary forms, with or without
9d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * modification, are permitted provided that the following conditions
10d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * are met:
11d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * 1. Redistributions of source code must retain the above copyright
12d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *    notice, this list of conditions and the following disclaimer.
13d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * 2. Redistributions in binary form must reproduce the above copyright
14d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *    notice, this list of conditions and the following disclaimer in the
15d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *    documentation and/or other materials provided with the distribution.
16d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * 3. The name of the author may not be used to endorse or promote products
17d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *    derived from this software without specific prior written permission.
18d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes *
19d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes */
30d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
31d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes#include "tests.h"
32d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
33d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes#include <assert.h>
34d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes#include <stdio.h>
35d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes#include <unistd.h>
36d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes#include <sys/socket.h>
37d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes#include <sys/uio.h>
38d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
39d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughesint
40d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughesmain(void)
41d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes{
42d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	tprintf("%s", "");
43d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
44d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	int fds[2];
45d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	if (socketpair(AF_UNIX, SOCK_STREAM, 0, fds))
46d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		perror_msg_and_skip("socketpair");
47d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	assert(0 == fds[0]);
48d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	assert(1 == fds[1]);
49d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
50d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	static const char w0_c[] = "012";
51d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const char *w0_d = hexdump_strdup(w0_c);
52d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	void *w0 = tail_memdup(w0_c, LENGTH_OF(w0_c));
53d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
54d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	static const char w1_c[] = "34567";
55d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const char *w1_d = hexdump_strdup(w1_c);
56d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	void *w1 = tail_memdup(w1_c, LENGTH_OF(w1_c));
57d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
58d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	static const char w2_c[] = "89abcde";
59d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const char *w2_d = hexdump_strdup(w2_c);
60d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	void *w2 = tail_memdup(w2_c, LENGTH_OF(w2_c));
61d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
62d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	static const char r0_c[] = "01234567";
63d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const char *r0_d = hexdump_strdup(r0_c);
64d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	static const char r1_c[] = "89abcde";
65d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const char *r1_d = hexdump_strdup(r1_c);
66d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
67d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const struct iovec w_iov_[] = {
68d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		{
69d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_base = w0,
70d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_len = LENGTH_OF(w0_c)
71d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		}, {
72d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_base = w1,
73d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_len = LENGTH_OF(w1_c)
74d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		}, {
75d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_base = w2,
76d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_len = LENGTH_OF(w2_c)
77d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		}
78d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	};
79d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	struct iovec *w_iov = tail_memdup(w_iov_, sizeof(w_iov_));
80d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const unsigned int w_len =
81d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		LENGTH_OF(w0_c) + LENGTH_OF(w1_c) + LENGTH_OF(w2_c);
82d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
83d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const struct msghdr w_mh_ = {
84d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		.msg_iov = w_iov,
85d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		.msg_iovlen = ARRAY_SIZE(w_iov_)
86d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	};
87d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const struct msghdr *w_mh = tail_memdup(&w_mh_, sizeof(w_mh_));
88d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
89d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	assert(sendmsg(1, w_mh, 0) == (int) w_len);
90d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	close(1);
91d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	tprintf("sendmsg(1, {msg_name=NULL, msg_namelen=0, msg_iov="
92d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		"[{iov_base=\"%s\", iov_len=%u}, {iov_base=\"%s\", iov_len=%u}"
93d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		", {iov_base=\"%s\", iov_len=%u}], msg_iovlen=%u"
94d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		", msg_controllen=0, msg_flags=0}, 0) = %u\n"
95d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" * %u bytes in buffer 0\n"
96d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" | 00000 %-49s  %-16s |\n"
97d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" * %u bytes in buffer 1\n"
98d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" | 00000 %-49s  %-16s |\n"
99d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" * %u bytes in buffer 2\n"
100d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" | 00000 %-49s  %-16s |\n",
101d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		w0_c, LENGTH_OF(w0_c),
102d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		w1_c, LENGTH_OF(w1_c),
103d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		w2_c, LENGTH_OF(w2_c),
104dc75b01004a0588c1eb3bc26d7248a6e473b2cddElliott Hughes		(unsigned int) ARRAY_SIZE(w_iov_), w_len,
105d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		LENGTH_OF(w0_c), w0_d, w0_c,
106d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		LENGTH_OF(w1_c), w1_d, w1_c,
107d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		LENGTH_OF(w2_c), w2_d, w2_c);
108d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
109d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const unsigned int r_len = (w_len + 1) / 2;
110d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	void *r0 = tail_alloc(r_len);
111d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const struct iovec r0_iov_[] = {
112d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		{
113d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_base = r0,
114d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_len = r_len
115d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		}
116d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	};
117d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	struct iovec *r_iov = tail_memdup(r0_iov_, sizeof(r0_iov_));
118d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
119d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const struct msghdr r_mh_ = {
120d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		.msg_iov = r_iov,
121d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		.msg_iovlen = ARRAY_SIZE(r0_iov_)
122d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	};
123d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	struct msghdr *r_mh = tail_memdup(&r_mh_, sizeof(r_mh_));
124d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
125d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	assert(recvmsg(0, r_mh, 0) == (int) r_len);
126d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	tprintf("recvmsg(0, {msg_name=NULL, msg_namelen=0, msg_iov="
127d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		"[{iov_base=\"%s\", iov_len=%u}], msg_iovlen=%u"
128d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		", msg_controllen=0, msg_flags=0}, 0) = %u\n"
129d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" * %u bytes in buffer 0\n"
130d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" | 00000 %-49s  %-16s |\n",
131dc75b01004a0588c1eb3bc26d7248a6e473b2cddElliott Hughes		r0_c, r_len, (unsigned int) ARRAY_SIZE(r0_iov_),
132dc75b01004a0588c1eb3bc26d7248a6e473b2cddElliott Hughes		r_len, r_len, r0_d, r0_c);
133d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
134d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	void *r1 = tail_alloc(r_len);
135d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	void *r2 = tail_alloc(w_len);
136d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	const struct iovec r1_iov_[] = {
137d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		{
138d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_base = r1,
139d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_len = r_len
140d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		},
141d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		{
142d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_base = r2,
143d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes			.iov_len = w_len
144d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		}
145d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	};
146d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	r_iov = tail_memdup(r1_iov_, sizeof(r1_iov_));
147d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	r_mh->msg_iov = r_iov;
148d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	r_mh->msg_iovlen = ARRAY_SIZE(r1_iov_);
149d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
150d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	assert(recvmsg(0, r_mh, 0) == (int) w_len - (int) r_len);
151d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	tprintf("recvmsg(0, {msg_name=NULL, msg_namelen=0, msg_iov="
152d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		"[{iov_base=\"%s\", iov_len=%u}, {iov_base=\"\", iov_len=%u}]"
153d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		", msg_iovlen=%u, msg_controllen=0, msg_flags=0}, 0) = %u\n"
154d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" * %u bytes in buffer 0\n"
155d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes		" | 00000 %-49s  %-16s |\n",
156dc75b01004a0588c1eb3bc26d7248a6e473b2cddElliott Hughes		r1_c, r_len, w_len, (unsigned int) ARRAY_SIZE(r1_iov_),
157dc75b01004a0588c1eb3bc26d7248a6e473b2cddElliott Hughes		w_len - r_len, w_len - r_len, r1_d, r1_c);
158d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	close(0);
159d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes
160d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	tprintf("+++ exited with 0 +++\n");
161d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes	return 0;
162d35df493b4e7684c50d2d2fa032ee3a7ac228009Elliott Hughes}
163