[LTP] [PATCH v3 2/2] ptrace06: Refactor the test using new LTP API
Cyril Hrubis
chrubis@suse.cz
Fri Jun 28 18:15:41 CEST 2024
Hi!
> +/*\
> + * [Description]
> + *
> * check out-of-bound/unaligned addresses given to
> + *
> * - {PEEK,POKE}{DATA,TEXT,USER}
> * - {GET,SET}{,FG}REGS
> * - {GET,SET}SIGINFO
> - *
> - * Copyright (c) 2008 Analog Devices Inc.
> - *
> - * Licensed under the GPL-2 or later
> */
>
> -#define _GNU_SOURCE
> -
> -#include <errno.h>
> -#include <stdbool.h>
> -#include <stdio.h>
> #include <stdlib.h>
> -#include <unistd.h>
> #include <sys/ptrace.h>
> -
> -#include "test.h"
> -#include "spawn_ptrace_child.h"
> +#include "tst_test.h"
>
> /* this should be sizeof(struct user), but that info is only found
> * in the kernel asm/user.h which is not exported to userspace.
> */
> +
> #if defined(__i386__)
> #define SIZEOF_USER 284
> #elif defined(__x86_64__)
> @@ -32,168 +31,215 @@
> #define SIZEOF_USER 0x1000 /* just pick a big number */
> #endif
>
> -char *TCID = "ptrace06";
> -
> -struct test_case_t {
> +static struct test_case_t {
> int request;
> long addr;
> long data;
> } test_cases[] = {
> - {
> - PTRACE_PEEKDATA,.addr = 0}, {
> - PTRACE_PEEKDATA,.addr = 1}, {
> - PTRACE_PEEKDATA,.addr = 2}, {
> - PTRACE_PEEKDATA,.addr = 3}, {
> - PTRACE_PEEKDATA,.addr = -1}, {
> - PTRACE_PEEKDATA,.addr = -2}, {
> - PTRACE_PEEKDATA,.addr = -3}, {
> - PTRACE_PEEKDATA,.addr = -4}, {
> - PTRACE_PEEKTEXT,.addr = 0}, {
> - PTRACE_PEEKTEXT,.addr = 1}, {
> - PTRACE_PEEKTEXT,.addr = 2}, {
> - PTRACE_PEEKTEXT,.addr = 3}, {
> - PTRACE_PEEKTEXT,.addr = -1}, {
> - PTRACE_PEEKTEXT,.addr = -2}, {
> - PTRACE_PEEKTEXT,.addr = -3}, {
> - PTRACE_PEEKTEXT,.addr = -4}, {
> - PTRACE_PEEKUSER,.addr = SIZEOF_USER + 1}, {
> - PTRACE_PEEKUSER,.addr = SIZEOF_USER + 2}, {
> - PTRACE_PEEKUSER,.addr = SIZEOF_USER + 3}, {
> - PTRACE_PEEKUSER,.addr = SIZEOF_USER + 4}, {
> - PTRACE_PEEKUSER,.addr = -1}, {
> - PTRACE_PEEKUSER,.addr = -2}, {
> - PTRACE_PEEKUSER,.addr = -3}, {
> - PTRACE_PEEKUSER,.addr = -4}, {
> - PTRACE_POKEDATA,.addr = 0}, {
> - PTRACE_POKEDATA,.addr = 1}, {
> - PTRACE_POKEDATA,.addr = 2}, {
> - PTRACE_POKEDATA,.addr = 3}, {
> - PTRACE_POKEDATA,.addr = -1}, {
> - PTRACE_POKEDATA,.addr = -2}, {
> - PTRACE_POKEDATA,.addr = -3}, {
> - PTRACE_POKEDATA,.addr = -4}, {
> - PTRACE_POKETEXT,.addr = 0}, {
> - PTRACE_POKETEXT,.addr = 1}, {
> - PTRACE_POKETEXT,.addr = 2}, {
> - PTRACE_POKETEXT,.addr = 3}, {
> - PTRACE_POKETEXT,.addr = -1}, {
> - PTRACE_POKETEXT,.addr = -2}, {
> - PTRACE_POKETEXT,.addr = -3}, {
> - PTRACE_POKETEXT,.addr = -4}, {
> - PTRACE_POKEUSER,.addr = SIZEOF_USER + 1}, {
> - PTRACE_POKEUSER,.addr = SIZEOF_USER + 2}, {
> - PTRACE_POKEUSER,.addr = SIZEOF_USER + 3}, {
> - PTRACE_POKEUSER,.addr = SIZEOF_USER + 4}, {
> - PTRACE_POKEUSER,.addr = -1}, {
> - PTRACE_POKEUSER,.addr = -2}, {
> - PTRACE_POKEUSER,.addr = -3}, {
> - PTRACE_POKEUSER,.addr = -4},
> + {PTRACE_PEEKDATA, .addr = 0},
> + {PTRACE_PEEKDATA, .addr = 1},
> + {PTRACE_PEEKDATA, .addr = 2},
> + {PTRACE_PEEKDATA, .addr = 3},
> + {PTRACE_PEEKDATA, .addr = -1},
> + {PTRACE_PEEKDATA, .addr = -2},
> + {PTRACE_PEEKDATA, .addr = -3},
> + {PTRACE_PEEKDATA, .addr = -4},
> + {PTRACE_PEEKTEXT, .addr = 0},
> + {PTRACE_PEEKTEXT, .addr = 1},
> + {PTRACE_PEEKTEXT, .addr = 2},
> + {PTRACE_PEEKTEXT, .addr = 3},
> + {PTRACE_PEEKTEXT, .addr = -1},
> + {PTRACE_PEEKTEXT, .addr = -2},
> + {PTRACE_PEEKTEXT, .addr = -3},
> + {PTRACE_PEEKTEXT, .addr = -4},
> + {PTRACE_PEEKUSER, .addr = SIZEOF_USER + 1},
> + {PTRACE_PEEKUSER, .addr = SIZEOF_USER + 2},
> + {PTRACE_PEEKUSER, .addr = SIZEOF_USER + 3},
> + {PTRACE_PEEKUSER, .addr = SIZEOF_USER + 4},
> + {PTRACE_PEEKUSER, .addr = -1},
> + {PTRACE_PEEKUSER, .addr = -2},
> + {PTRACE_PEEKUSER, .addr = -3},
> + {PTRACE_PEEKUSER, .addr = -4},
> + {PTRACE_POKEDATA, .addr = 0},
> + {PTRACE_POKEDATA, .addr = 1},
> + {PTRACE_POKEDATA, .addr = 2},
> + {PTRACE_POKEDATA, .addr = 3},
> + {PTRACE_POKEDATA, .addr = -1},
> + {PTRACE_POKEDATA, .addr = -2},
> + {PTRACE_POKEDATA, .addr = -3},
> + {PTRACE_POKEDATA, .addr = -4},
> + {PTRACE_POKETEXT, .addr = 0},
> + {PTRACE_POKETEXT, .addr = 1},
> + {PTRACE_POKETEXT, .addr = 2},
> + {PTRACE_POKETEXT, .addr = 3},
> + {PTRACE_POKETEXT, .addr = -1},
> + {PTRACE_POKETEXT, .addr = -2},
> + {PTRACE_POKETEXT, .addr = -3},
> + {PTRACE_POKETEXT, .addr = -4},
> + {PTRACE_POKEUSER, .addr = SIZEOF_USER + 1},
> + {PTRACE_POKEUSER, .addr = SIZEOF_USER + 2},
> + {PTRACE_POKEUSER, .addr = SIZEOF_USER + 3},
> + {PTRACE_POKEUSER, .addr = SIZEOF_USER + 4},
> + {PTRACE_POKEUSER, .addr = -1},
> + {PTRACE_POKEUSER, .addr = -2},
> + {PTRACE_POKEUSER, .addr = -3},
> + {PTRACE_POKEUSER, .addr = -4},
> #ifdef PTRACE_GETREGS
> - {
> - PTRACE_GETREGS,.data = 0}, {
> - PTRACE_GETREGS,.data = 1}, {
> - PTRACE_GETREGS,.data = 2}, {
> - PTRACE_GETREGS,.data = 3}, {
> - PTRACE_GETREGS,.data = -1}, {
> - PTRACE_GETREGS,.data = -2}, {
> - PTRACE_GETREGS,.data = -3}, {
> - PTRACE_GETREGS,.data = -4},
> + {PTRACE_GETREGS, .data = 0},
> + {PTRACE_GETREGS, .data = 1},
> + {PTRACE_GETREGS, .data = 2},
> + {PTRACE_GETREGS, .data = 3},
> + {PTRACE_GETREGS, .data = -1},
> + {PTRACE_GETREGS, .data = -2},
> + {PTRACE_GETREGS, .data = -3},
> + {PTRACE_GETREGS, .data = -4},
> #endif
> #ifdef PTRACE_GETFGREGS
> - {
> - PTRACE_GETFGREGS,.data = 0}, {
> - PTRACE_GETFGREGS,.data = 1}, {
> - PTRACE_GETFGREGS,.data = 2}, {
> - PTRACE_GETFGREGS,.data = 3}, {
> - PTRACE_GETFGREGS,.data = -1}, {
> - PTRACE_GETFGREGS,.data = -2}, {
> - PTRACE_GETFGREGS,.data = -3}, {
> - PTRACE_GETFGREGS,.data = -4},
> + {PTRACE_GETFGREGS, .data = 0},
> + {PTRACE_GETFGREGS, .data = 1},
> + {PTRACE_GETFGREGS, .data = 2},
> + {PTRACE_GETFGREGS, .data = 3},
> + {PTRACE_GETFGREGS, .data = -1},
> + {PTRACE_GETFGREGS, .data = -2},
> + {PTRACE_GETFGREGS, .data = -3},
> + {PTRACE_GETFGREGS, .data = -4},
> #endif
> #ifdef PTRACE_SETREGS
> - {
> - PTRACE_SETREGS,.data = 0}, {
> - PTRACE_SETREGS,.data = 1}, {
> - PTRACE_SETREGS,.data = 2}, {
> - PTRACE_SETREGS,.data = 3}, {
> - PTRACE_SETREGS,.data = -1}, {
> - PTRACE_SETREGS,.data = -2}, {
> - PTRACE_SETREGS,.data = -3}, {
> - PTRACE_SETREGS,.data = -4},
> + {PTRACE_SETREGS, .data = 0},
> + {PTRACE_SETREGS, .data = 1},
> + {PTRACE_SETREGS, .data = 2},
> + {PTRACE_SETREGS, .data = 3},
> + {PTRACE_SETREGS, .data = -1},
> + {PTRACE_SETREGS, .data = -2},
> + {PTRACE_SETREGS, .data = -3},
> + {PTRACE_SETREGS, .data = -4},
> #endif
> #ifdef PTRACE_SETFGREGS
> - {
> - PTRACE_SETFGREGS,.data = 0}, {
> - PTRACE_SETFGREGS,.data = 1}, {
> - PTRACE_SETFGREGS,.data = 2}, {
> - PTRACE_SETFGREGS,.data = 3}, {
> - PTRACE_SETFGREGS,.data = -1}, {
> - PTRACE_SETFGREGS,.data = -2}, {
> - PTRACE_SETFGREGS,.data = -3}, {
> - PTRACE_SETFGREGS,.data = -4},
> + {PTRACE_SETFGREGS, .data = 0},
> + {PTRACE_SETFGREGS, .data = 1},
> + {PTRACE_SETFGREGS, .data = 2},
> + {PTRACE_SETFGREGS, .data = 3},
> + {PTRACE_SETFGREGS, .data = -1},
> + {PTRACE_SETFGREGS, .data = -2},
> + {PTRACE_SETFGREGS, .data = -3},
> + {PTRACE_SETFGREGS, .data = -4},
> #endif
> #if HAVE_DECL_PTRACE_GETSIGINFO
> - {
> - PTRACE_GETSIGINFO,.data = 0}, {
> - PTRACE_GETSIGINFO,.data = 1}, {
> - PTRACE_GETSIGINFO,.data = 2}, {
> - PTRACE_GETSIGINFO,.data = 3}, {
> - PTRACE_GETSIGINFO,.data = -1}, {
> - PTRACE_GETSIGINFO,.data = -2}, {
> - PTRACE_GETSIGINFO,.data = -3}, {
> - PTRACE_GETSIGINFO,.data = -4},
> + {PTRACE_GETSIGINFO, .data = 0},
> + {PTRACE_GETSIGINFO, .data = 1},
> + {PTRACE_GETSIGINFO, .data = 2},
> + {PTRACE_GETSIGINFO, .data = 3},
> + {PTRACE_GETSIGINFO, .data = -1},
> + {PTRACE_GETSIGINFO, .data = -2},
> + {PTRACE_GETSIGINFO, .data = -3},
> + {PTRACE_GETSIGINFO, .data = -4},
> #endif
> #if HAVE_DECL_PTRACE_SETSIGINFO
> - {
> - PTRACE_SETSIGINFO,.data = 0}, {
> - PTRACE_SETSIGINFO,.data = 1}, {
> - PTRACE_SETSIGINFO,.data = 2}, {
> - PTRACE_SETSIGINFO,.data = 3}, {
> - PTRACE_SETSIGINFO,.data = -1}, {
> - PTRACE_SETSIGINFO,.data = -2}, {
> - PTRACE_SETSIGINFO,.data = -3}, {
> - PTRACE_SETSIGINFO,.data = -4},
> + {PTRACE_SETSIGINFO, .data = 0},
> + {PTRACE_SETSIGINFO, .data = 1},
> + {PTRACE_SETSIGINFO, .data = 2},
> + {PTRACE_SETSIGINFO, .data = 3},
> + {PTRACE_SETSIGINFO, .data = -1},
> + {PTRACE_SETSIGINFO, .data = -2},
> + {PTRACE_SETSIGINFO, .data = -3},
> + {PTRACE_SETSIGINFO, .data = -4},
> #endif
> };
>
> -int TST_TOTAL = ARRAY_SIZE(test_cases);
> +#define SPT(x)[PTRACE_##x] = #x,
> +static char *strings[] = {
> + SPT(TRACEME)
> + SPT(PEEKTEXT)
> + SPT(PEEKDATA)
> + SPT(PEEKUSER)
> + SPT(POKETEXT)
> + SPT(POKEDATA)
> + SPT(POKEUSER)
> +#ifdef PTRACE_GETREGS
> + SPT(GETREGS)
> +#endif
> +#ifdef PTRACE_SETREGS
> + SPT(SETREGS)
> +#endif
> +#ifdef PTRACE_GETSIGINFO
> + SPT(GETSIGINFO)
> +#endif
> +#ifdef PTRACE_SETSIGINFO
> + SPT(SETSIGINFO)
> +#endif
> +#ifdef PTRACE_GETFGREGS
> + SPT(GETFGREGS)
> +#endif
> +#ifdef PTRACE_SETFGREGS
> + SPT(SETFGREGS)
> +#endif
> + SPT(KILL)
> + SPT(SINGLESTEP)
> +};
> +
> +static inline char *strptrace(int request)
> +{
> + return strings[request];
> +}
> +
> +static void child(void)
> +{
>
> -int main(int argc, char *argv[])
> + char path[512];
> +
> + SAFE_PTRACE(PTRACE_TRACEME, 0, NULL, NULL);
> +
> + if (tst_get_path("ptrace06_child", path, sizeof(path)))
> + tst_brk(TCONF, "Couldn't find ptrace06_child in $PATH");
> +
> + TEST(execl(path, "ptrace06_child", "", NULL));
> + tst_brk(TFAIL | TTERRNO,
> + "Failed to execute execl01_child");
> + exit(0);
So this whole exec() stuff looks to me like a uCLinux leftover. I
suppose that all this can be easily simplified to the SAFE_PTRACE() and
something that makes the child run. I suppose raising SIGSTOP signal
would suffice.
> +}
> +
> +static void run(void)
> {
> size_t i;
> - long ret;
> - int saved_errno;
> + int pid;
> + int status;
>
> - tst_parse_opts(argc, argv, NULL, NULL);
> + pid = SAFE_FORK();
>
> - make_a_baby(argc, argv);
> + if (!pid)
> + child();
> +
> + SAFE_WAIT(&status);
> +
> + if (!WIFSTOPPED(status))
> + tst_brk(TBROK, "child %d was not stopped", pid);
>
> for (i = 0; i < ARRAY_SIZE(test_cases); ++i) {
> struct test_case_t *tc = &test_cases[i];
>
> - errno = 0;
> - ret =
> - ptrace(tc->request, pid, (void *)tc->addr,
> - (void *)tc->data);
> - saved_errno = errno;
> - if (ret != -1)
> - tst_resm(TFAIL,
> + TEST(ptrace(tc->request, pid, (void *)tc->addr,
> + (void *)tc->data));
> + if (TST_RET != -1)
> + tst_brk(TFAIL | TERRNO,
> "ptrace(%s, ..., %li, %li) returned %li instead of -1",
> strptrace(tc->request), tc->addr, tc->data,
> - ret);
> - else if (saved_errno != EIO && saved_errno != EFAULT)
> - tst_resm(TFAIL,
> + TST_RET);
> + else if (TST_ERR != EIO && TST_ERR != EFAULT)
> + tst_brk(TFAIL | TERRNO,
> "ptrace(%s, ..., %li, %li) expected errno EIO or EFAULT; actual: %i (%s)",
> strptrace(tc->request), tc->addr, tc->data,
> - saved_errno, strerror(saved_errno));
> + TST_ERR, strerror(TST_ERR));
> else
> - tst_resm(TPASS,
> + tst_res(TPASS,
> "ptrace(%s, ..., %li, %li) failed as expected",
> strptrace(tc->request), tc->addr, tc->data);
> }
This can be just single TST_EXP_FAIL() we now have a variant that can be
passed an array of expected errnos.
> - /* hopefully this worked */
> - ptrace(PTRACE_KILL, pid, NULL, NULL);
> + SAFE_PTRACE(PTRACE_CONT, pid, NULL, NULL);
>
> - tst_exit();
> }
> +
> +static struct tst_test test = {
> + .test_all = run,
> + .forks_child = 1,
> +};
> diff --git a/testcases/kernel/syscalls/ptrace/ptrace06_child.c b/testcases/kernel/syscalls/ptrace/ptrace06_child.c
> new file mode 100644
> index 000000000..350b0e8df
> --- /dev/null
> +++ b/testcases/kernel/syscalls/ptrace/ptrace06_child.c
> @@ -0,0 +1,16 @@
> +// SPDX-License-Identifier: GPL-2.0-or-later
> +/*
> + * Copyright (c) 2018 Linux Test Project
> + * Copyright (C) 2015 Cyril Hrubis chrubis@suse.cz
> + */
> +
> +#define TST_NO_DEFAULT_MAIN
> +#include "tst_test.h"
> +
> +int main(int argc, char *argv[])
> +{
> +
> + tst_res(TPASS, "%s executed", argv[0]);
> +
> + return 0;
> +}
> --
> 2.35.3
>
>
> --
> Mailing list info: https://lists.linux.it/listinfo/ltp
--
Cyril Hrubis
chrubis@suse.cz
More information about the ltp
mailing list