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