1e1199815SMickaël Salaün // SPDX-License-Identifier: GPL-2.0 2e1199815SMickaël Salaün /* 3e1199815SMickaël Salaün * Landlock tests - Common user space base 4e1199815SMickaël Salaün * 5e1199815SMickaël Salaün * Copyright © 2017-2020 Mickaël Salaün <mic@digikod.net> 6e1199815SMickaël Salaün * Copyright © 2019-2020 ANSSI 7e1199815SMickaël Salaün */ 8e1199815SMickaël Salaün 9e1199815SMickaël Salaün #define _GNU_SOURCE 10e1199815SMickaël Salaün #include <errno.h> 11e1199815SMickaël Salaün #include <fcntl.h> 12e1199815SMickaël Salaün #include <linux/landlock.h> 13e1199815SMickaël Salaün #include <string.h> 14e1199815SMickaël Salaün #include <sys/prctl.h> 15e1199815SMickaël Salaün #include <sys/socket.h> 16e1199815SMickaël Salaün #include <sys/types.h> 17e1199815SMickaël Salaün 18e1199815SMickaël Salaün #include "common.h" 19e1199815SMickaël Salaün 20e1199815SMickaël Salaün #ifndef O_PATH 21e1199815SMickaël Salaün #define O_PATH 010000000 22e1199815SMickaël Salaün #endif 23e1199815SMickaël Salaün 24*371183faSMickaël Salaün TEST(inconsistent_attr) 25*371183faSMickaël Salaün { 26e1199815SMickaël Salaün const long page_size = sysconf(_SC_PAGESIZE); 27e1199815SMickaël Salaün char *const buf = malloc(page_size + 1); 28e1199815SMickaël Salaün struct landlock_ruleset_attr *const ruleset_attr = (void *)buf; 29e1199815SMickaël Salaün 30e1199815SMickaël Salaün ASSERT_NE(NULL, buf); 31e1199815SMickaël Salaün 32e1199815SMickaël Salaün /* Checks copy_from_user(). */ 33e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 0, 0)); 34e1199815SMickaël Salaün /* The size if less than sizeof(struct landlock_attr_enforce). */ 35e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 36e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 1, 0)); 37e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 38e1199815SMickaël Salaün 39e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, 1, 0)); 40e1199815SMickaël Salaün /* The size if less than sizeof(struct landlock_attr_enforce). */ 41e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 42e1199815SMickaël Salaün 43*371183faSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset( 44*371183faSMickaël Salaün NULL, sizeof(struct landlock_ruleset_attr), 0)); 45e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 46e1199815SMickaël Salaün 47e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0)); 48e1199815SMickaël Salaün ASSERT_EQ(E2BIG, errno); 49e1199815SMickaël Salaün 50*371183faSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset( 51*371183faSMickaël Salaün ruleset_attr, 52e1199815SMickaël Salaün sizeof(struct landlock_ruleset_attr), 0)); 53e1199815SMickaël Salaün ASSERT_EQ(ENOMSG, errno); 54e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0)); 55e1199815SMickaël Salaün ASSERT_EQ(ENOMSG, errno); 56e1199815SMickaël Salaün 57e1199815SMickaël Salaün /* Checks non-zero value. */ 58e1199815SMickaël Salaün buf[page_size - 2] = '.'; 59e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0)); 60e1199815SMickaël Salaün ASSERT_EQ(E2BIG, errno); 61e1199815SMickaël Salaün 62e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0)); 63e1199815SMickaël Salaün ASSERT_EQ(E2BIG, errno); 64e1199815SMickaël Salaün 65e1199815SMickaël Salaün free(buf); 66e1199815SMickaël Salaün } 67e1199815SMickaël Salaün 68*371183faSMickaël Salaün TEST(abi_version) 69*371183faSMickaël Salaün { 703532b0b4SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 713532b0b4SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 723532b0b4SMickaël Salaün }; 733532b0b4SMickaël Salaün ASSERT_EQ(1, landlock_create_ruleset(NULL, 0, 743532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 753532b0b4SMickaël Salaün 763532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, 773532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 783532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 793532b0b4SMickaël Salaün 803532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr), 813532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 823532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 833532b0b4SMickaël Salaün 84*371183faSMickaël Salaün ASSERT_EQ(-1, 85*371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 863532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 873532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 883532b0b4SMickaël Salaün 893532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0, 90*371183faSMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION | 91*371183faSMickaël Salaün 1 << 31)); 923532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 933532b0b4SMickaël Salaün } 943532b0b4SMickaël Salaün 95*371183faSMickaël Salaün TEST(inval_create_ruleset_flags) 96*371183faSMickaël Salaün { 973532b0b4SMickaël Salaün const int last_flag = LANDLOCK_CREATE_RULESET_VERSION; 983532b0b4SMickaël Salaün const int invalid_flag = last_flag << 1; 993532b0b4SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 1003532b0b4SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 1013532b0b4SMickaël Salaün }; 1023532b0b4SMickaël Salaün 1033532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0, invalid_flag)); 1043532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1053532b0b4SMickaël Salaün 1063532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, invalid_flag)); 1073532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1083532b0b4SMickaël Salaün 1093532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr), 1103532b0b4SMickaël Salaün invalid_flag)); 1113532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1123532b0b4SMickaël Salaün 113*371183faSMickaël Salaün ASSERT_EQ(-1, 114*371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 115*371183faSMickaël Salaün invalid_flag)); 1163532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1173532b0b4SMickaël Salaün } 1183532b0b4SMickaël Salaün 119*371183faSMickaël Salaün TEST(empty_path_beneath_attr) 120*371183faSMickaël Salaün { 121e1199815SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 122e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE, 123e1199815SMickaël Salaün }; 124*371183faSMickaël Salaün const int ruleset_fd = 125*371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 126e1199815SMickaël Salaün 127e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd); 128e1199815SMickaël Salaün 129e1199815SMickaël Salaün /* Similar to struct landlock_path_beneath_attr.parent_fd = 0 */ 130e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH, 131e1199815SMickaël Salaün NULL, 0)); 132e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 133e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd)); 134e1199815SMickaël Salaün } 135e1199815SMickaël Salaün 136*371183faSMickaël Salaün TEST(inval_fd_enforce) 137*371183faSMickaël Salaün { 138e1199815SMickaël Salaün ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)); 139e1199815SMickaël Salaün 140e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_restrict_self(-1, 0)); 141e1199815SMickaël Salaün ASSERT_EQ(EBADF, errno); 142e1199815SMickaël Salaün } 143e1199815SMickaël Salaün 144*371183faSMickaël Salaün TEST(unpriv_enforce_without_no_new_privs) 145*371183faSMickaël Salaün { 146e1199815SMickaël Salaün int err; 147e1199815SMickaël Salaün 148e1199815SMickaël Salaün drop_caps(_metadata); 149e1199815SMickaël Salaün err = landlock_restrict_self(-1, 0); 150e1199815SMickaël Salaün ASSERT_EQ(EPERM, errno); 151e1199815SMickaël Salaün ASSERT_EQ(err, -1); 152e1199815SMickaël Salaün } 153e1199815SMickaël Salaün 154e1199815SMickaël Salaün TEST(ruleset_fd_io) 155e1199815SMickaël Salaün { 156e1199815SMickaël Salaün struct landlock_ruleset_attr ruleset_attr = { 157e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 158e1199815SMickaël Salaün }; 159e1199815SMickaël Salaün int ruleset_fd; 160e1199815SMickaël Salaün char buf; 161e1199815SMickaël Salaün 162e1199815SMickaël Salaün drop_caps(_metadata); 163*371183faSMickaël Salaün ruleset_fd = 164*371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 165e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd); 166e1199815SMickaël Salaün 167e1199815SMickaël Salaün ASSERT_EQ(-1, write(ruleset_fd, ".", 1)); 168e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 169e1199815SMickaël Salaün ASSERT_EQ(-1, read(ruleset_fd, &buf, 1)); 170e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 171e1199815SMickaël Salaün 172e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd)); 173e1199815SMickaël Salaün } 174e1199815SMickaël Salaün 175e1199815SMickaël Salaün /* Tests enforcement of a ruleset FD transferred through a UNIX socket. */ 176e1199815SMickaël Salaün TEST(ruleset_fd_transfer) 177e1199815SMickaël Salaün { 178e1199815SMickaël Salaün struct landlock_ruleset_attr ruleset_attr = { 179e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_DIR, 180e1199815SMickaël Salaün }; 181e1199815SMickaël Salaün struct landlock_path_beneath_attr path_beneath_attr = { 182e1199815SMickaël Salaün .allowed_access = LANDLOCK_ACCESS_FS_READ_DIR, 183e1199815SMickaël Salaün }; 184e1199815SMickaël Salaün int ruleset_fd_tx, dir_fd; 185e1199815SMickaël Salaün union { 186e1199815SMickaël Salaün /* Aligned ancillary data buffer. */ 187e1199815SMickaël Salaün char buf[CMSG_SPACE(sizeof(ruleset_fd_tx))]; 188e1199815SMickaël Salaün struct cmsghdr _align; 189e1199815SMickaël Salaün } cmsg_tx = {}; 190e1199815SMickaël Salaün char data_tx = '.'; 191e1199815SMickaël Salaün struct iovec io = { 192e1199815SMickaël Salaün .iov_base = &data_tx, 193e1199815SMickaël Salaün .iov_len = sizeof(data_tx), 194e1199815SMickaël Salaün }; 195e1199815SMickaël Salaün struct msghdr msg = { 196e1199815SMickaël Salaün .msg_iov = &io, 197e1199815SMickaël Salaün .msg_iovlen = 1, 198e1199815SMickaël Salaün .msg_control = &cmsg_tx.buf, 199e1199815SMickaël Salaün .msg_controllen = sizeof(cmsg_tx.buf), 200e1199815SMickaël Salaün }; 201e1199815SMickaël Salaün struct cmsghdr *cmsg; 202e1199815SMickaël Salaün int socket_fds[2]; 203e1199815SMickaël Salaün pid_t child; 204e1199815SMickaël Salaün int status; 205e1199815SMickaël Salaün 206e1199815SMickaël Salaün drop_caps(_metadata); 207e1199815SMickaël Salaün 208e1199815SMickaël Salaün /* Creates a test ruleset with a simple rule. */ 209*371183faSMickaël Salaün ruleset_fd_tx = 210*371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 211e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd_tx); 212*371183faSMickaël Salaün path_beneath_attr.parent_fd = 213*371183faSMickaël Salaün open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC); 214e1199815SMickaël Salaün ASSERT_LE(0, path_beneath_attr.parent_fd); 215*371183faSMickaël Salaün ASSERT_EQ(0, 216*371183faSMickaël Salaün landlock_add_rule(ruleset_fd_tx, LANDLOCK_RULE_PATH_BENEATH, 217e1199815SMickaël Salaün &path_beneath_attr, 0)); 218e1199815SMickaël Salaün ASSERT_EQ(0, close(path_beneath_attr.parent_fd)); 219e1199815SMickaël Salaün 220e1199815SMickaël Salaün cmsg = CMSG_FIRSTHDR(&msg); 221e1199815SMickaël Salaün ASSERT_NE(NULL, cmsg); 222e1199815SMickaël Salaün cmsg->cmsg_len = CMSG_LEN(sizeof(ruleset_fd_tx)); 223e1199815SMickaël Salaün cmsg->cmsg_level = SOL_SOCKET; 224e1199815SMickaël Salaün cmsg->cmsg_type = SCM_RIGHTS; 225e1199815SMickaël Salaün memcpy(CMSG_DATA(cmsg), &ruleset_fd_tx, sizeof(ruleset_fd_tx)); 226e1199815SMickaël Salaün 227e1199815SMickaël Salaün /* Sends the ruleset FD over a socketpair and then close it. */ 228*371183faSMickaël Salaün ASSERT_EQ(0, socketpair(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0, 229*371183faSMickaël Salaün socket_fds)); 230e1199815SMickaël Salaün ASSERT_EQ(sizeof(data_tx), sendmsg(socket_fds[0], &msg, 0)); 231e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[0])); 232e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd_tx)); 233e1199815SMickaël Salaün 234e1199815SMickaël Salaün child = fork(); 235e1199815SMickaël Salaün ASSERT_LE(0, child); 236e1199815SMickaël Salaün if (child == 0) { 237e1199815SMickaël Salaün int ruleset_fd_rx; 238e1199815SMickaël Salaün 239e1199815SMickaël Salaün *(char *)msg.msg_iov->iov_base = '\0'; 240*371183faSMickaël Salaün ASSERT_EQ(sizeof(data_tx), 241*371183faSMickaël Salaün recvmsg(socket_fds[1], &msg, MSG_CMSG_CLOEXEC)); 242e1199815SMickaël Salaün ASSERT_EQ('.', *(char *)msg.msg_iov->iov_base); 243e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[1])); 244e1199815SMickaël Salaün cmsg = CMSG_FIRSTHDR(&msg); 245e1199815SMickaël Salaün ASSERT_EQ(cmsg->cmsg_len, CMSG_LEN(sizeof(ruleset_fd_tx))); 246e1199815SMickaël Salaün memcpy(&ruleset_fd_rx, CMSG_DATA(cmsg), sizeof(ruleset_fd_tx)); 247e1199815SMickaël Salaün 248e1199815SMickaël Salaün /* Enforces the received ruleset on the child. */ 249e1199815SMickaël Salaün ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)); 250e1199815SMickaël Salaün ASSERT_EQ(0, landlock_restrict_self(ruleset_fd_rx, 0)); 251e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd_rx)); 252e1199815SMickaël Salaün 253e1199815SMickaël Salaün /* Checks that the ruleset enforcement. */ 254e1199815SMickaël Salaün ASSERT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC)); 255e1199815SMickaël Salaün ASSERT_EQ(EACCES, errno); 256e1199815SMickaël Salaün dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 257e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 258e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 259e1199815SMickaël Salaün _exit(_metadata->passed ? EXIT_SUCCESS : EXIT_FAILURE); 260e1199815SMickaël Salaün return; 261e1199815SMickaël Salaün } 262e1199815SMickaël Salaün 263e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[1])); 264e1199815SMickaël Salaün 265e1199815SMickaël Salaün /* Checks that the parent is unrestricted. */ 266e1199815SMickaël Salaün dir_fd = open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 267e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 268e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 269e1199815SMickaël Salaün dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 270e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 271e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 272e1199815SMickaël Salaün 273e1199815SMickaël Salaün ASSERT_EQ(child, waitpid(child, &status, 0)); 274e1199815SMickaël Salaün ASSERT_EQ(1, WIFEXITED(status)); 275e1199815SMickaël Salaün ASSERT_EQ(EXIT_SUCCESS, WEXITSTATUS(status)); 276e1199815SMickaël Salaün } 277e1199815SMickaël Salaün 278e1199815SMickaël Salaün TEST_HARNESS_MAIN 279