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