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); 38*291865bdSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 7, 0)); 39*291865bdSMickaë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 52*291865bdSMickaël Salaün /* Checks minimal valid attribute size. */ 53*291865bdSMickaël Salaün ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 8, 0)); 54*291865bdSMickaë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 124371183faSMickaël Salaün TEST(empty_path_beneath_attr) 125371183faSMickaël Salaün { 126e1199815SMickaël Salaün const struct landlock_ruleset_attr ruleset_attr = { 127e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE, 128e1199815SMickaël Salaün }; 129371183faSMickaël Salaün const int ruleset_fd = 130371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 131e1199815SMickaël Salaün 132e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd); 133e1199815SMickaël Salaün 134e1199815SMickaël Salaün /* Similar to struct landlock_path_beneath_attr.parent_fd = 0 */ 135e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH, 136e1199815SMickaël Salaün NULL, 0)); 137e1199815SMickaël Salaün ASSERT_EQ(EFAULT, errno); 138e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd)); 139e1199815SMickaël Salaün } 140e1199815SMickaël Salaün 141371183faSMickaël Salaün TEST(inval_fd_enforce) 142371183faSMickaël Salaün { 143e1199815SMickaël Salaün ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)); 144e1199815SMickaël Salaün 145e1199815SMickaël Salaün ASSERT_EQ(-1, landlock_restrict_self(-1, 0)); 146e1199815SMickaël Salaün ASSERT_EQ(EBADF, errno); 147e1199815SMickaël Salaün } 148e1199815SMickaël Salaün 149371183faSMickaël Salaün TEST(unpriv_enforce_without_no_new_privs) 150371183faSMickaël Salaün { 151e1199815SMickaël Salaün int err; 152e1199815SMickaël Salaün 153e1199815SMickaël Salaün drop_caps(_metadata); 154e1199815SMickaël Salaün err = landlock_restrict_self(-1, 0); 155e1199815SMickaël Salaün ASSERT_EQ(EPERM, errno); 156e1199815SMickaël Salaün ASSERT_EQ(err, -1); 157e1199815SMickaël Salaün } 158e1199815SMickaël Salaün 159e1199815SMickaël Salaün TEST(ruleset_fd_io) 160e1199815SMickaël Salaün { 161e1199815SMickaël Salaün struct landlock_ruleset_attr ruleset_attr = { 162e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE, 163e1199815SMickaël Salaün }; 164e1199815SMickaël Salaün int ruleset_fd; 165e1199815SMickaël Salaün char buf; 166e1199815SMickaël Salaün 167e1199815SMickaël Salaün drop_caps(_metadata); 168371183faSMickaël Salaün ruleset_fd = 169371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 170e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd); 171e1199815SMickaël Salaün 172e1199815SMickaël Salaün ASSERT_EQ(-1, write(ruleset_fd, ".", 1)); 173e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 174e1199815SMickaël Salaün ASSERT_EQ(-1, read(ruleset_fd, &buf, 1)); 175e1199815SMickaël Salaün ASSERT_EQ(EINVAL, errno); 176e1199815SMickaël Salaün 177e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd)); 178e1199815SMickaël Salaün } 179e1199815SMickaël Salaün 180e1199815SMickaël Salaün /* Tests enforcement of a ruleset FD transferred through a UNIX socket. */ 181e1199815SMickaël Salaün TEST(ruleset_fd_transfer) 182e1199815SMickaël Salaün { 183e1199815SMickaël Salaün struct landlock_ruleset_attr ruleset_attr = { 184e1199815SMickaël Salaün .handled_access_fs = LANDLOCK_ACCESS_FS_READ_DIR, 185e1199815SMickaël Salaün }; 186e1199815SMickaël Salaün struct landlock_path_beneath_attr path_beneath_attr = { 187e1199815SMickaël Salaün .allowed_access = LANDLOCK_ACCESS_FS_READ_DIR, 188e1199815SMickaël Salaün }; 189e1199815SMickaël Salaün int ruleset_fd_tx, dir_fd; 190e1199815SMickaël Salaün union { 191e1199815SMickaël Salaün /* Aligned ancillary data buffer. */ 192e1199815SMickaël Salaün char buf[CMSG_SPACE(sizeof(ruleset_fd_tx))]; 193e1199815SMickaël Salaün struct cmsghdr _align; 194e1199815SMickaël Salaün } cmsg_tx = {}; 195e1199815SMickaël Salaün char data_tx = '.'; 196e1199815SMickaël Salaün struct iovec io = { 197e1199815SMickaël Salaün .iov_base = &data_tx, 198e1199815SMickaël Salaün .iov_len = sizeof(data_tx), 199e1199815SMickaël Salaün }; 200e1199815SMickaël Salaün struct msghdr msg = { 201e1199815SMickaël Salaün .msg_iov = &io, 202e1199815SMickaël Salaün .msg_iovlen = 1, 203e1199815SMickaël Salaün .msg_control = &cmsg_tx.buf, 204e1199815SMickaël Salaün .msg_controllen = sizeof(cmsg_tx.buf), 205e1199815SMickaël Salaün }; 206e1199815SMickaël Salaün struct cmsghdr *cmsg; 207e1199815SMickaël Salaün int socket_fds[2]; 208e1199815SMickaël Salaün pid_t child; 209e1199815SMickaël Salaün int status; 210e1199815SMickaël Salaün 211e1199815SMickaël Salaün drop_caps(_metadata); 212e1199815SMickaël Salaün 213e1199815SMickaël Salaün /* Creates a test ruleset with a simple rule. */ 214371183faSMickaël Salaün ruleset_fd_tx = 215371183faSMickaël Salaün landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0); 216e1199815SMickaël Salaün ASSERT_LE(0, ruleset_fd_tx); 217371183faSMickaël Salaün path_beneath_attr.parent_fd = 218371183faSMickaël Salaün open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC); 219e1199815SMickaël Salaün ASSERT_LE(0, path_beneath_attr.parent_fd); 220371183faSMickaël Salaün ASSERT_EQ(0, 221371183faSMickaël Salaün landlock_add_rule(ruleset_fd_tx, LANDLOCK_RULE_PATH_BENEATH, 222e1199815SMickaël Salaün &path_beneath_attr, 0)); 223e1199815SMickaël Salaün ASSERT_EQ(0, close(path_beneath_attr.parent_fd)); 224e1199815SMickaël Salaün 225e1199815SMickaël Salaün cmsg = CMSG_FIRSTHDR(&msg); 226e1199815SMickaël Salaün ASSERT_NE(NULL, cmsg); 227e1199815SMickaël Salaün cmsg->cmsg_len = CMSG_LEN(sizeof(ruleset_fd_tx)); 228e1199815SMickaël Salaün cmsg->cmsg_level = SOL_SOCKET; 229e1199815SMickaël Salaün cmsg->cmsg_type = SCM_RIGHTS; 230e1199815SMickaël Salaün memcpy(CMSG_DATA(cmsg), &ruleset_fd_tx, sizeof(ruleset_fd_tx)); 231e1199815SMickaël Salaün 232e1199815SMickaël Salaün /* Sends the ruleset FD over a socketpair and then close it. */ 233371183faSMickaël Salaün ASSERT_EQ(0, socketpair(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0, 234371183faSMickaël Salaün socket_fds)); 235e1199815SMickaël Salaün ASSERT_EQ(sizeof(data_tx), sendmsg(socket_fds[0], &msg, 0)); 236e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[0])); 237e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd_tx)); 238e1199815SMickaël Salaün 239e1199815SMickaël Salaün child = fork(); 240e1199815SMickaël Salaün ASSERT_LE(0, child); 241e1199815SMickaël Salaün if (child == 0) { 242e1199815SMickaël Salaün int ruleset_fd_rx; 243e1199815SMickaël Salaün 244e1199815SMickaël Salaün *(char *)msg.msg_iov->iov_base = '\0'; 245371183faSMickaël Salaün ASSERT_EQ(sizeof(data_tx), 246371183faSMickaël Salaün recvmsg(socket_fds[1], &msg, MSG_CMSG_CLOEXEC)); 247e1199815SMickaël Salaün ASSERT_EQ('.', *(char *)msg.msg_iov->iov_base); 248e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[1])); 249e1199815SMickaël Salaün cmsg = CMSG_FIRSTHDR(&msg); 250e1199815SMickaël Salaün ASSERT_EQ(cmsg->cmsg_len, CMSG_LEN(sizeof(ruleset_fd_tx))); 251e1199815SMickaël Salaün memcpy(&ruleset_fd_rx, CMSG_DATA(cmsg), sizeof(ruleset_fd_tx)); 252e1199815SMickaël Salaün 253e1199815SMickaël Salaün /* Enforces the received ruleset on the child. */ 254e1199815SMickaël Salaün ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)); 255e1199815SMickaël Salaün ASSERT_EQ(0, landlock_restrict_self(ruleset_fd_rx, 0)); 256e1199815SMickaël Salaün ASSERT_EQ(0, close(ruleset_fd_rx)); 257e1199815SMickaël Salaün 258e1199815SMickaël Salaün /* Checks that the ruleset enforcement. */ 259e1199815SMickaël Salaün ASSERT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC)); 260e1199815SMickaël Salaün ASSERT_EQ(EACCES, errno); 261e1199815SMickaël Salaün dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 262e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 263e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 264e1199815SMickaël Salaün _exit(_metadata->passed ? EXIT_SUCCESS : EXIT_FAILURE); 265e1199815SMickaël Salaün return; 266e1199815SMickaël Salaün } 267e1199815SMickaël Salaün 268e1199815SMickaël Salaün ASSERT_EQ(0, close(socket_fds[1])); 269e1199815SMickaël Salaün 270e1199815SMickaël Salaün /* Checks that the parent is unrestricted. */ 271e1199815SMickaël Salaün dir_fd = open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 272e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 273e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 274e1199815SMickaël Salaün dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC); 275e1199815SMickaël Salaün ASSERT_LE(0, dir_fd); 276e1199815SMickaël Salaün ASSERT_EQ(0, close(dir_fd)); 277e1199815SMickaël Salaün 278e1199815SMickaël Salaün ASSERT_EQ(child, waitpid(child, &status, 0)); 279e1199815SMickaël Salaün ASSERT_EQ(1, WIFEXITED(status)); 280e1199815SMickaël Salaün ASSERT_EQ(EXIT_SUCCESS, WEXITSTATUS(status)); 281e1199815SMickaël Salaün } 282e1199815SMickaël Salaün 283e1199815SMickaël Salaün TEST_HARNESS_MAIN 284