1*ac76de55SDmitry V. Levin // SPDX-License-Identifier: GPL-2.0+
2*ac76de55SDmitry V. Levin /*
3*ac76de55SDmitry V. Levin  * Copyright (c) 2018 Dmitry V. Levin <ldv@altlinux.org>
4*ac76de55SDmitry V. Levin  * All rights reserved.
5*ac76de55SDmitry V. Levin  *
6*ac76de55SDmitry V. Levin  * Check whether PTRACE_GET_SYSCALL_INFO semantics implemented in the kernel
7*ac76de55SDmitry V. Levin  * matches userspace expectations.
8*ac76de55SDmitry V. Levin  */
9*ac76de55SDmitry V. Levin 
10*ac76de55SDmitry V. Levin #include "../kselftest_harness.h"
11*ac76de55SDmitry V. Levin #include <err.h>
12*ac76de55SDmitry V. Levin #include <signal.h>
13*ac76de55SDmitry V. Levin #include <asm/unistd.h>
14*ac76de55SDmitry V. Levin #include "linux/ptrace.h"
15*ac76de55SDmitry V. Levin 
16*ac76de55SDmitry V. Levin static int
kill_tracee(pid_t pid)17*ac76de55SDmitry V. Levin kill_tracee(pid_t pid)
18*ac76de55SDmitry V. Levin {
19*ac76de55SDmitry V. Levin 	if (!pid)
20*ac76de55SDmitry V. Levin 		return 0;
21*ac76de55SDmitry V. Levin 
22*ac76de55SDmitry V. Levin 	int saved_errno = errno;
23*ac76de55SDmitry V. Levin 
24*ac76de55SDmitry V. Levin 	int rc = kill(pid, SIGKILL);
25*ac76de55SDmitry V. Levin 
26*ac76de55SDmitry V. Levin 	errno = saved_errno;
27*ac76de55SDmitry V. Levin 	return rc;
28*ac76de55SDmitry V. Levin }
29*ac76de55SDmitry V. Levin 
30*ac76de55SDmitry V. Levin static long
sys_ptrace(int request,pid_t pid,unsigned long addr,unsigned long data)31*ac76de55SDmitry V. Levin sys_ptrace(int request, pid_t pid, unsigned long addr, unsigned long data)
32*ac76de55SDmitry V. Levin {
33*ac76de55SDmitry V. Levin 	return syscall(__NR_ptrace, request, pid, addr, data);
34*ac76de55SDmitry V. Levin }
35*ac76de55SDmitry V. Levin 
36*ac76de55SDmitry V. Levin #define LOG_KILL_TRACEE(fmt, ...)				\
37*ac76de55SDmitry V. Levin 	do {							\
38*ac76de55SDmitry V. Levin 		kill_tracee(pid);				\
39*ac76de55SDmitry V. Levin 		TH_LOG("wait #%d: " fmt,			\
40*ac76de55SDmitry V. Levin 		       ptrace_stop, ##__VA_ARGS__);		\
41*ac76de55SDmitry V. Levin 	} while (0)
42*ac76de55SDmitry V. Levin 
TEST(get_syscall_info)43*ac76de55SDmitry V. Levin TEST(get_syscall_info)
44*ac76de55SDmitry V. Levin {
45*ac76de55SDmitry V. Levin 	static const unsigned long args[][7] = {
46*ac76de55SDmitry V. Levin 		/* a sequence of architecture-agnostic syscalls */
47*ac76de55SDmitry V. Levin 		{
48*ac76de55SDmitry V. Levin 			__NR_chdir,
49*ac76de55SDmitry V. Levin 			(unsigned long) "",
50*ac76de55SDmitry V. Levin 			0xbad1fed1,
51*ac76de55SDmitry V. Levin 			0xbad2fed2,
52*ac76de55SDmitry V. Levin 			0xbad3fed3,
53*ac76de55SDmitry V. Levin 			0xbad4fed4,
54*ac76de55SDmitry V. Levin 			0xbad5fed5
55*ac76de55SDmitry V. Levin 		},
56*ac76de55SDmitry V. Levin 		{
57*ac76de55SDmitry V. Levin 			__NR_gettid,
58*ac76de55SDmitry V. Levin 			0xcaf0bea0,
59*ac76de55SDmitry V. Levin 			0xcaf1bea1,
60*ac76de55SDmitry V. Levin 			0xcaf2bea2,
61*ac76de55SDmitry V. Levin 			0xcaf3bea3,
62*ac76de55SDmitry V. Levin 			0xcaf4bea4,
63*ac76de55SDmitry V. Levin 			0xcaf5bea5
64*ac76de55SDmitry V. Levin 		},
65*ac76de55SDmitry V. Levin 		{
66*ac76de55SDmitry V. Levin 			__NR_exit_group,
67*ac76de55SDmitry V. Levin 			0,
68*ac76de55SDmitry V. Levin 			0xfac1c0d1,
69*ac76de55SDmitry V. Levin 			0xfac2c0d2,
70*ac76de55SDmitry V. Levin 			0xfac3c0d3,
71*ac76de55SDmitry V. Levin 			0xfac4c0d4,
72*ac76de55SDmitry V. Levin 			0xfac5c0d5
73*ac76de55SDmitry V. Levin 		}
74*ac76de55SDmitry V. Levin 	};
75*ac76de55SDmitry V. Levin 	const unsigned long *exp_args;
76*ac76de55SDmitry V. Levin 
77*ac76de55SDmitry V. Levin 	pid_t pid = fork();
78*ac76de55SDmitry V. Levin 
79*ac76de55SDmitry V. Levin 	ASSERT_LE(0, pid) {
80*ac76de55SDmitry V. Levin 		TH_LOG("fork: %m");
81*ac76de55SDmitry V. Levin 	}
82*ac76de55SDmitry V. Levin 
83*ac76de55SDmitry V. Levin 	if (pid == 0) {
84*ac76de55SDmitry V. Levin 		/* get the pid before PTRACE_TRACEME */
85*ac76de55SDmitry V. Levin 		pid = getpid();
86*ac76de55SDmitry V. Levin 		ASSERT_EQ(0, sys_ptrace(PTRACE_TRACEME, 0, 0, 0)) {
87*ac76de55SDmitry V. Levin 			TH_LOG("PTRACE_TRACEME: %m");
88*ac76de55SDmitry V. Levin 		}
89*ac76de55SDmitry V. Levin 		ASSERT_EQ(0, kill(pid, SIGSTOP)) {
90*ac76de55SDmitry V. Levin 			/* cannot happen */
91*ac76de55SDmitry V. Levin 			TH_LOG("kill SIGSTOP: %m");
92*ac76de55SDmitry V. Levin 		}
93*ac76de55SDmitry V. Levin 		for (unsigned int i = 0; i < ARRAY_SIZE(args); ++i) {
94*ac76de55SDmitry V. Levin 			syscall(args[i][0],
95*ac76de55SDmitry V. Levin 				args[i][1], args[i][2], args[i][3],
96*ac76de55SDmitry V. Levin 				args[i][4], args[i][5], args[i][6]);
97*ac76de55SDmitry V. Levin 		}
98*ac76de55SDmitry V. Levin 		/* unreachable */
99*ac76de55SDmitry V. Levin 		_exit(1);
100*ac76de55SDmitry V. Levin 	}
101*ac76de55SDmitry V. Levin 
102*ac76de55SDmitry V. Levin 	const struct {
103*ac76de55SDmitry V. Levin 		unsigned int is_error;
104*ac76de55SDmitry V. Levin 		int rval;
105*ac76de55SDmitry V. Levin 	} *exp_param, exit_param[] = {
106*ac76de55SDmitry V. Levin 		{ 1, -ENOENT },	/* chdir */
107*ac76de55SDmitry V. Levin 		{ 0, pid }	/* gettid */
108*ac76de55SDmitry V. Levin 	};
109*ac76de55SDmitry V. Levin 
110*ac76de55SDmitry V. Levin 	unsigned int ptrace_stop;
111*ac76de55SDmitry V. Levin 
112*ac76de55SDmitry V. Levin 	for (ptrace_stop = 0; ; ++ptrace_stop) {
113*ac76de55SDmitry V. Levin 		struct ptrace_syscall_info info = {
114*ac76de55SDmitry V. Levin 			.op = 0xff	/* invalid PTRACE_SYSCALL_INFO_* op */
115*ac76de55SDmitry V. Levin 		};
116*ac76de55SDmitry V. Levin 		const size_t size = sizeof(info);
117*ac76de55SDmitry V. Levin 		const int expected_none_size =
118*ac76de55SDmitry V. Levin 			(void *) &info.entry - (void *) &info;
119*ac76de55SDmitry V. Levin 		const int expected_entry_size =
120*ac76de55SDmitry V. Levin 			(void *) &info.entry.args[6] - (void *) &info;
121*ac76de55SDmitry V. Levin 		const int expected_exit_size =
122*ac76de55SDmitry V. Levin 			(void *) (&info.exit.is_error + 1) -
123*ac76de55SDmitry V. Levin 			(void *) &info;
124*ac76de55SDmitry V. Levin 		int status;
125*ac76de55SDmitry V. Levin 		long rc;
126*ac76de55SDmitry V. Levin 
127*ac76de55SDmitry V. Levin 		ASSERT_EQ(pid, wait(&status)) {
128*ac76de55SDmitry V. Levin 			/* cannot happen */
129*ac76de55SDmitry V. Levin 			LOG_KILL_TRACEE("wait: %m");
130*ac76de55SDmitry V. Levin 		}
131*ac76de55SDmitry V. Levin 		if (WIFEXITED(status)) {
132*ac76de55SDmitry V. Levin 			pid = 0;	/* the tracee is no more */
133*ac76de55SDmitry V. Levin 			ASSERT_EQ(0, WEXITSTATUS(status));
134*ac76de55SDmitry V. Levin 			break;
135*ac76de55SDmitry V. Levin 		}
136*ac76de55SDmitry V. Levin 		ASSERT_FALSE(WIFSIGNALED(status)) {
137*ac76de55SDmitry V. Levin 			pid = 0;	/* the tracee is no more */
138*ac76de55SDmitry V. Levin 			LOG_KILL_TRACEE("unexpected signal %u",
139*ac76de55SDmitry V. Levin 					WTERMSIG(status));
140*ac76de55SDmitry V. Levin 		}
141*ac76de55SDmitry V. Levin 		ASSERT_TRUE(WIFSTOPPED(status)) {
142*ac76de55SDmitry V. Levin 			/* cannot happen */
143*ac76de55SDmitry V. Levin 			LOG_KILL_TRACEE("unexpected wait status %#x", status);
144*ac76de55SDmitry V. Levin 		}
145*ac76de55SDmitry V. Levin 
146*ac76de55SDmitry V. Levin 		switch (WSTOPSIG(status)) {
147*ac76de55SDmitry V. Levin 		case SIGSTOP:
148*ac76de55SDmitry V. Levin 			ASSERT_EQ(0, ptrace_stop) {
149*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("unexpected signal stop");
150*ac76de55SDmitry V. Levin 			}
151*ac76de55SDmitry V. Levin 			ASSERT_EQ(0, sys_ptrace(PTRACE_SETOPTIONS, pid, 0,
152*ac76de55SDmitry V. Levin 						PTRACE_O_TRACESYSGOOD)) {
153*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("PTRACE_SETOPTIONS: %m");
154*ac76de55SDmitry V. Levin 			}
155*ac76de55SDmitry V. Levin 			ASSERT_LT(0, (rc = sys_ptrace(PTRACE_GET_SYSCALL_INFO,
156*ac76de55SDmitry V. Levin 						      pid, size,
157*ac76de55SDmitry V. Levin 						      (unsigned long) &info))) {
158*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("PTRACE_GET_SYSCALL_INFO: %m");
159*ac76de55SDmitry V. Levin 			}
160*ac76de55SDmitry V. Levin 			ASSERT_EQ(expected_none_size, rc) {
161*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("signal stop mismatch");
162*ac76de55SDmitry V. Levin 			}
163*ac76de55SDmitry V. Levin 			ASSERT_EQ(PTRACE_SYSCALL_INFO_NONE, info.op) {
164*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("signal stop mismatch");
165*ac76de55SDmitry V. Levin 			}
166*ac76de55SDmitry V. Levin 			ASSERT_TRUE(info.arch) {
167*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("signal stop mismatch");
168*ac76de55SDmitry V. Levin 			}
169*ac76de55SDmitry V. Levin 			ASSERT_TRUE(info.instruction_pointer) {
170*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("signal stop mismatch");
171*ac76de55SDmitry V. Levin 			}
172*ac76de55SDmitry V. Levin 			ASSERT_TRUE(info.stack_pointer) {
173*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("signal stop mismatch");
174*ac76de55SDmitry V. Levin 			}
175*ac76de55SDmitry V. Levin 			break;
176*ac76de55SDmitry V. Levin 
177*ac76de55SDmitry V. Levin 		case SIGTRAP | 0x80:
178*ac76de55SDmitry V. Levin 			ASSERT_LT(0, (rc = sys_ptrace(PTRACE_GET_SYSCALL_INFO,
179*ac76de55SDmitry V. Levin 						      pid, size,
180*ac76de55SDmitry V. Levin 						      (unsigned long) &info))) {
181*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("PTRACE_GET_SYSCALL_INFO: %m");
182*ac76de55SDmitry V. Levin 			}
183*ac76de55SDmitry V. Levin 			switch (ptrace_stop) {
184*ac76de55SDmitry V. Levin 			case 1: /* entering chdir */
185*ac76de55SDmitry V. Levin 			case 3: /* entering gettid */
186*ac76de55SDmitry V. Levin 			case 5: /* entering exit_group */
187*ac76de55SDmitry V. Levin 				exp_args = args[ptrace_stop / 2];
188*ac76de55SDmitry V. Levin 				ASSERT_EQ(expected_entry_size, rc) {
189*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
190*ac76de55SDmitry V. Levin 				}
191*ac76de55SDmitry V. Levin 				ASSERT_EQ(PTRACE_SYSCALL_INFO_ENTRY, info.op) {
192*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
193*ac76de55SDmitry V. Levin 				}
194*ac76de55SDmitry V. Levin 				ASSERT_TRUE(info.arch) {
195*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
196*ac76de55SDmitry V. Levin 				}
197*ac76de55SDmitry V. Levin 				ASSERT_TRUE(info.instruction_pointer) {
198*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
199*ac76de55SDmitry V. Levin 				}
200*ac76de55SDmitry V. Levin 				ASSERT_TRUE(info.stack_pointer) {
201*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
202*ac76de55SDmitry V. Levin 				}
203*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[0], info.entry.nr) {
204*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
205*ac76de55SDmitry V. Levin 				}
206*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[1], info.entry.args[0]) {
207*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
208*ac76de55SDmitry V. Levin 				}
209*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[2], info.entry.args[1]) {
210*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
211*ac76de55SDmitry V. Levin 				}
212*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[3], info.entry.args[2]) {
213*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
214*ac76de55SDmitry V. Levin 				}
215*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[4], info.entry.args[3]) {
216*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
217*ac76de55SDmitry V. Levin 				}
218*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[5], info.entry.args[4]) {
219*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
220*ac76de55SDmitry V. Levin 				}
221*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_args[6], info.entry.args[5]) {
222*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("entry stop mismatch");
223*ac76de55SDmitry V. Levin 				}
224*ac76de55SDmitry V. Levin 				break;
225*ac76de55SDmitry V. Levin 			case 2: /* exiting chdir */
226*ac76de55SDmitry V. Levin 			case 4: /* exiting gettid */
227*ac76de55SDmitry V. Levin 				exp_param = &exit_param[ptrace_stop / 2 - 1];
228*ac76de55SDmitry V. Levin 				ASSERT_EQ(expected_exit_size, rc) {
229*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
230*ac76de55SDmitry V. Levin 				}
231*ac76de55SDmitry V. Levin 				ASSERT_EQ(PTRACE_SYSCALL_INFO_EXIT, info.op) {
232*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
233*ac76de55SDmitry V. Levin 				}
234*ac76de55SDmitry V. Levin 				ASSERT_TRUE(info.arch) {
235*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
236*ac76de55SDmitry V. Levin 				}
237*ac76de55SDmitry V. Levin 				ASSERT_TRUE(info.instruction_pointer) {
238*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
239*ac76de55SDmitry V. Levin 				}
240*ac76de55SDmitry V. Levin 				ASSERT_TRUE(info.stack_pointer) {
241*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
242*ac76de55SDmitry V. Levin 				}
243*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_param->is_error,
244*ac76de55SDmitry V. Levin 					  info.exit.is_error) {
245*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
246*ac76de55SDmitry V. Levin 				}
247*ac76de55SDmitry V. Levin 				ASSERT_EQ(exp_param->rval, info.exit.rval) {
248*ac76de55SDmitry V. Levin 					LOG_KILL_TRACEE("exit stop mismatch");
249*ac76de55SDmitry V. Levin 				}
250*ac76de55SDmitry V. Levin 				break;
251*ac76de55SDmitry V. Levin 			default:
252*ac76de55SDmitry V. Levin 				LOG_KILL_TRACEE("unexpected syscall stop");
253*ac76de55SDmitry V. Levin 				abort();
254*ac76de55SDmitry V. Levin 			}
255*ac76de55SDmitry V. Levin 			break;
256*ac76de55SDmitry V. Levin 
257*ac76de55SDmitry V. Levin 		default:
258*ac76de55SDmitry V. Levin 			LOG_KILL_TRACEE("unexpected stop signal %#x",
259*ac76de55SDmitry V. Levin 					WSTOPSIG(status));
260*ac76de55SDmitry V. Levin 			abort();
261*ac76de55SDmitry V. Levin 		}
262*ac76de55SDmitry V. Levin 
263*ac76de55SDmitry V. Levin 		ASSERT_EQ(0, sys_ptrace(PTRACE_SYSCALL, pid, 0, 0)) {
264*ac76de55SDmitry V. Levin 			LOG_KILL_TRACEE("PTRACE_SYSCALL: %m");
265*ac76de55SDmitry V. Levin 		}
266*ac76de55SDmitry V. Levin 	}
267*ac76de55SDmitry V. Levin 
268*ac76de55SDmitry V. Levin 	ASSERT_EQ(ARRAY_SIZE(args) * 2, ptrace_stop);
269*ac76de55SDmitry V. Levin }
270*ac76de55SDmitry V. Levin 
271*ac76de55SDmitry V. Levin TEST_HARNESS_MAIN
272