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 24371183faSMickaël Salaün TEST(inconsistent_attr) 25371183faSMickaë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); 38291865bdSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 7, 0)); 39291865bdSMickaël Salaün ASSERT_EQ(EINVAL, errno); 40e1199815SMickaël Salaün 41e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, 1, 0)); 42e1199815SMickaël Salaün /* The size if less than sizeof(struct landlock_attr_enforce). */ 43e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 44e1199815SMickaël Salaün 45371183faSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset( 46371183faSMickaël Salaün NULL, sizeof(struct landlock_ruleset_attr), 0)); 47e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 48e1199815SMickaël Salaün 49e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0)); 50e1199815SMickaël Salaün ASSERT_EQ(E2BIG, errno); 51e1199815SMickaël Salaün 52291865bdSMickaël Salaün /* Checks minimal valid attribute size. */ 53291865bdSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 8, 0)); 54291865bdSMickaël Salaün ASSERT_EQ(ENOMSG, errno); 55371183faSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset( 56371183faSMickaël Salaün ruleset_attr, 57e1199815SMickaël Salaün sizeof(struct landlock_ruleset_attr), 0)); 58e1199815SMickaël Salaün ASSERT_EQ(ENOMSG, errno); 59e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0)); 60e1199815SMickaël Salaün ASSERT_EQ(ENOMSG, errno); 61e1199815SMickaël Salaün 62e1199815SMickaël Salaün /* Checks non-zero value. */ 63e1199815SMickaël Salaün buf[page_size - 2] = '.'; 64e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0)); 65e1199815SMickaël Salaün ASSERT_EQ(E2BIG, errno); 66e1199815SMickaël Salaün 67e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0)); 68e1199815SMickaël Salaün ASSERT_EQ(E2BIG, errno); 69e1199815SMickaël Salaün 70e1199815SMickaël Salaün free(buf); 71e1199815SMickaël Salaün } 72e1199815SMickaël Salaün 73371183faSMickaël Salaün TEST(abi_version) 74371183faSMickaël Salaün { 753532b0b4SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 763532b0b4SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 773532b0b4SMickaël Salaün }; 783532b0b4SMickaël Salaün ASSERT_EQ(1, landlock_create_ruleset(NULL, 0, 793532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 803532b0b4SMickaël Salaün 813532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, 823532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 833532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 843532b0b4SMickaël Salaün 853532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr), 863532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 873532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 883532b0b4SMickaël Salaün 89371183faSMickaël Salaün ASSERT_EQ(-1, 90371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 913532b0b4SMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION)); 923532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 933532b0b4SMickaël Salaün 943532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0, 95371183faSMickaël Salaün LANDLOCK_CREATE_RULESET_VERSION | 96371183faSMickaël Salaün 1 << 31)); 973532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 983532b0b4SMickaël Salaün } 993532b0b4SMickaël Salaün 100371183faSMickaël Salaün TEST(inval_create_ruleset_flags) 101371183faSMickaël Salaün { 1023532b0b4SMickaël Salaün const int last_flag = LANDLOCK_CREATE_RULESET_VERSION; 1033532b0b4SMickaël Salaün const int invalid_flag = last_flag << 1; 1043532b0b4SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 1053532b0b4SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 1063532b0b4SMickaël Salaün }; 1073532b0b4SMickaël Salaün 1083532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0, invalid_flag)); 1093532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1103532b0b4SMickaël Salaün 1113532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, invalid_flag)); 1123532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1133532b0b4SMickaël Salaün 1143532b0b4SMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr), 1153532b0b4SMickaël Salaün invalid_flag)); 1163532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1173532b0b4SMickaël Salaün 118371183faSMickaël Salaün ASSERT_EQ(-1, 119371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 120371183faSMickaël Salaün invalid_flag)); 1213532b0b4SMickaël Salaün ASSERT_EQ(EINVAL, errno); 1223532b0b4SMickaël Salaün } 1233532b0b4SMickaël Salaün 124*589172e5SMickaël Salaün /* Tests ordering of syscall argument checks. */ 125*589172e5SMickaël Salaün TEST(add_rule_checks_ordering) 126371183faSMickaël Salaün { 127e1199815SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 128e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE, 129e1199815SMickaël Salaün }; 130*589172e5SMickaël Salaün struct landlock_path_beneath_attr path_beneath_attr = { 131*589172e5SMickaël Salaün .allowed_access = LANDLOCK_ACCESS_FS_EXECUTE, 132*589172e5SMickaël Salaün .parent_fd = -1, 133*589172e5SMickaël Salaün }; 134371183faSMickaël Salaün const int ruleset_fd = 135371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 136e1199815SMickaël Salaün 137e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd); 138e1199815SMickaël Salaün 139*589172e5SMickaël Salaün /* Checks invalid flags. */ 140*589172e5SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(-1, 0, NULL, 1)); 141*589172e5SMickaël Salaün ASSERT_EQ(EINVAL, errno); 142*589172e5SMickaël Salaün 143*589172e5SMickaël Salaün /* Checks invalid ruleset FD. */ 144*589172e5SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(-1, 0, NULL, 0)); 145*589172e5SMickaël Salaün ASSERT_EQ(EBADF, errno); 146*589172e5SMickaël Salaün 147*589172e5SMickaël Salaün /* Checks invalid rule type. */ 148*589172e5SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, 0, NULL, 0)); 149*589172e5SMickaël Salaün ASSERT_EQ(EINVAL, errno); 150*589172e5SMickaël Salaün 151*589172e5SMickaël Salaün /* Checks invalid rule attr. */ 152e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH, 153e1199815SMickaël Salaün NULL, 0)); 154e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 155*589172e5SMickaël Salaün 156*589172e5SMickaël Salaün /* Checks invalid path_beneath.parent_fd. */ 157*589172e5SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH, 158*589172e5SMickaël Salaün &path_beneath_attr, 0)); 159*589172e5SMickaël Salaün ASSERT_EQ(EBADF, errno); 160*589172e5SMickaël Salaün 161*589172e5SMickaël Salaün /* Checks valid call. */ 162*589172e5SMickaël Salaün path_beneath_attr.parent_fd = 163*589172e5SMickaël Salaün open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC); 164*589172e5SMickaël Salaün ASSERT_LE(0, path_beneath_attr.parent_fd); 165*589172e5SMickaël Salaün ASSERT_EQ(0, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH, 166*589172e5SMickaël Salaün &path_beneath_attr, 0)); 167*589172e5SMickaël Salaün ASSERT_EQ(0, close(path_beneath_attr.parent_fd)); 168e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd)); 169e1199815SMickaël Salaün } 170e1199815SMickaël Salaün 171371183faSMickaël Salaün TEST(inval_fd_enforce) 172371183faSMickaël Salaün { 173e1199815SMickaël Salaün ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)); 174e1199815SMickaël Salaün 175e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_restrict_self(-1, 0)); 176e1199815SMickaël Salaün ASSERT_EQ(EBADF, errno); 177e1199815SMickaël Salaün } 178e1199815SMickaël Salaün 179371183faSMickaël Salaün TEST(unpriv_enforce_without_no_new_privs) 180371183faSMickaël Salaün { 181e1199815SMickaël Salaün int err; 182e1199815SMickaël Salaün 183e1199815SMickaël Salaün drop_caps(_metadata); 184e1199815SMickaël Salaün err = landlock_restrict_self(-1, 0); 185e1199815SMickaël Salaün ASSERT_EQ(EPERM, errno); 186e1199815SMickaël Salaün ASSERT_EQ(err, -1); 187e1199815SMickaël Salaün } 188e1199815SMickaël Salaün 189e1199815SMickaël Salaün TEST(ruleset_fd_io) 190e1199815SMickaël Salaün { 191e1199815SMickaël Salaün struct landlock_ruleset_attr ruleset_attr = { 192e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 193e1199815SMickaël Salaün }; 194e1199815SMickaël Salaün int ruleset_fd; 195e1199815SMickaël Salaün char buf; 196e1199815SMickaël Salaün 197e1199815SMickaël Salaün drop_caps(_metadata); 198371183faSMickaël Salaün ruleset_fd = 199371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 200e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd); 201e1199815SMickaël Salaün 202e1199815SMickaël Salaün ASSERT_EQ(-1, write(ruleset_fd, ".", 1)); 203e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 204e1199815SMickaël Salaün ASSERT_EQ(-1, read(ruleset_fd, &buf, 1)); 205e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 206e1199815SMickaël Salaün 207e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd)); 208e1199815SMickaël Salaün } 209e1199815SMickaël Salaün 210e1199815SMickaël Salaün /* Tests enforcement of a ruleset FD transferred through a UNIX socket. */ 211e1199815SMickaël Salaün TEST(ruleset_fd_transfer) 212e1199815SMickaël Salaün { 213e1199815SMickaël Salaün struct landlock_ruleset_attr ruleset_attr = { 214e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_DIR, 215e1199815SMickaël Salaün }; 216e1199815SMickaël Salaün struct landlock_path_beneath_attr path_beneath_attr = { 217e1199815SMickaël Salaün .allowed_access = LANDLOCK_ACCESS_FS_READ_DIR, 218e1199815SMickaël Salaün }; 219e1199815SMickaël Salaün int ruleset_fd_tx, dir_fd; 220e1199815SMickaël Salaün union { 221e1199815SMickaël Salaün /* Aligned ancillary data buffer. */ 222e1199815SMickaël Salaün char buf[CMSG_SPACE(sizeof(ruleset_fd_tx))]; 223e1199815SMickaël Salaün struct cmsghdr _align; 224e1199815SMickaël Salaün } cmsg_tx = {}; 225e1199815SMickaël Salaün char data_tx = '.'; 226e1199815SMickaël Salaün struct iovec io = { 227e1199815SMickaël Salaün .iov_base = &data_tx, 228e1199815SMickaël Salaün .iov_len = sizeof(data_tx), 229e1199815SMickaël Salaün }; 230e1199815SMickaël Salaün struct msghdr msg = { 231e1199815SMickaël Salaün .msg_iov = &io, 232e1199815SMickaël Salaün .msg_iovlen = 1, 233e1199815SMickaël Salaün .msg_control = &cmsg_tx.buf, 234e1199815SMickaël Salaün .msg_controllen = sizeof(cmsg_tx.buf), 235e1199815SMickaël Salaün }; 236e1199815SMickaël Salaün struct cmsghdr *cmsg; 237e1199815SMickaël Salaün int socket_fds[2]; 238e1199815SMickaël Salaün pid_t child; 239e1199815SMickaël Salaün int status; 240e1199815SMickaël Salaün 241e1199815SMickaël Salaün drop_caps(_metadata); 242e1199815SMickaël Salaün 243e1199815SMickaël Salaün /* Creates a test ruleset with a simple rule. */ 244371183faSMickaël Salaün ruleset_fd_tx = 245371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 246e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd_tx); 247371183faSMickaël Salaün path_beneath_attr.parent_fd = 248371183faSMickaël Salaün open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC); 249e1199815SMickaël Salaün ASSERT_LE(0, path_beneath_attr.parent_fd); 250371183faSMickaël Salaün ASSERT_EQ(0, 251371183faSMickaël Salaün landlock_add_rule(ruleset_fd_tx, LANDLOCK_RULE_PATH_BENEATH, 252e1199815SMickaël Salaün &path_beneath_attr, 0)); 253e1199815SMickaël Salaün ASSERT_EQ(0, close(path_beneath_attr.parent_fd)); 254e1199815SMickaël Salaün 255e1199815SMickaël Salaün cmsg = CMSG_FIRSTHDR(&msg); 256e1199815SMickaël Salaün ASSERT_NE(NULL, cmsg); 257e1199815SMickaël Salaün cmsg->cmsg_len = CMSG_LEN(sizeof(ruleset_fd_tx)); 258e1199815SMickaël Salaün cmsg->cmsg_level = SOL_SOCKET; 259e1199815SMickaël Salaün cmsg->cmsg_type = SCM_RIGHTS; 260e1199815SMickaël Salaün memcpy(CMSG_DATA(cmsg), &ruleset_fd_tx, sizeof(ruleset_fd_tx)); 261e1199815SMickaël Salaün 262e1199815SMickaël Salaün /* Sends the ruleset FD over a socketpair and then close it. */ 263371183faSMickaël Salaün ASSERT_EQ(0, socketpair(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0, 264371183faSMickaël Salaün socket_fds)); 265e1199815SMickaël Salaün ASSERT_EQ(sizeof(data_tx), sendmsg(socket_fds[0], &msg, 0)); 266e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[0])); 267e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd_tx)); 268e1199815SMickaël Salaün 269e1199815SMickaël Salaün child = fork(); 270e1199815SMickaël Salaün ASSERT_LE(0, child); 271e1199815SMickaël Salaün if (child == 0) { 272e1199815SMickaël Salaün int ruleset_fd_rx; 273e1199815SMickaël Salaün 274e1199815SMickaël Salaün *(char *)msg.msg_iov->iov_base = '\0'; 275371183faSMickaël Salaün ASSERT_EQ(sizeof(data_tx), 276371183faSMickaël Salaün recvmsg(socket_fds[1], &msg, MSG_CMSG_CLOEXEC)); 277e1199815SMickaël Salaün ASSERT_EQ('.', *(char *)msg.msg_iov->iov_base); 278e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[1])); 279e1199815SMickaël Salaün cmsg = CMSG_FIRSTHDR(&msg); 280e1199815SMickaël Salaün ASSERT_EQ(cmsg->cmsg_len, CMSG_LEN(sizeof(ruleset_fd_tx))); 281e1199815SMickaël Salaün memcpy(&ruleset_fd_rx, CMSG_DATA(cmsg), sizeof(ruleset_fd_tx)); 282e1199815SMickaël Salaün 283e1199815SMickaël Salaün /* Enforces the received ruleset on the child. */ 284e1199815SMickaël Salaün ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)); 285e1199815SMickaël Salaün ASSERT_EQ(0, landlock_restrict_self(ruleset_fd_rx, 0)); 286e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd_rx)); 287e1199815SMickaël Salaün 288e1199815SMickaël Salaün /* Checks that the ruleset enforcement. */ 289e1199815SMickaël Salaün ASSERT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC)); 290e1199815SMickaël Salaün ASSERT_EQ(EACCES, errno); 291e1199815SMickaël Salaün dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 292e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 293e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 294e1199815SMickaël Salaün _exit(_metadata->passed ? EXIT_SUCCESS : EXIT_FAILURE); 295e1199815SMickaël Salaün return; 296e1199815SMickaël Salaün } 297e1199815SMickaël Salaün 298e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[1])); 299e1199815SMickaël Salaün 300e1199815SMickaël Salaün /* Checks that the parent is unrestricted. */ 301e1199815SMickaël Salaün dir_fd = open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 302e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 303e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 304e1199815SMickaël Salaün dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 305e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 306e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 307e1199815SMickaël Salaün 308e1199815SMickaël Salaün ASSERT_EQ(child, waitpid(child, &status, 0)); 309e1199815SMickaël Salaün ASSERT_EQ(1, WIFEXITED(status)); 310e1199815SMickaël Salaün ASSERT_EQ(EXIT_SUCCESS, WEXITSTATUS(status)); 311e1199815SMickaël Salaün } 312e1199815SMickaël Salaün 313e1199815SMickaël Salaün TEST_HARNESS_MAIN 314