base_test.c 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359
  1. // SPDX-License-Identifier: GPL-2.0
  2. /*
  3. * Landlock tests - Common user space base
  4. *
  5. * Copyright © 2017-2020 Mickaël Salaün <[email protected]>
  6. * Copyright © 2019-2020 ANSSI
  7. */
  8. #define _GNU_SOURCE
  9. #include <errno.h>
  10. #include <fcntl.h>
  11. #include <linux/landlock.h>
  12. #include <string.h>
  13. #include <sys/prctl.h>
  14. #include <sys/socket.h>
  15. #include <sys/types.h>
  16. #include "common.h"
  17. #ifndef O_PATH
  18. #define O_PATH 010000000
  19. #endif
  20. TEST(inconsistent_attr)
  21. {
  22. const long page_size = sysconf(_SC_PAGESIZE);
  23. char *const buf = malloc(page_size + 1);
  24. struct landlock_ruleset_attr *const ruleset_attr = (void *)buf;
  25. ASSERT_NE(NULL, buf);
  26. /* Checks copy_from_user(). */
  27. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 0, 0));
  28. /* The size if less than sizeof(struct landlock_attr_enforce). */
  29. ASSERT_EQ(EINVAL, errno);
  30. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 1, 0));
  31. ASSERT_EQ(EINVAL, errno);
  32. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 7, 0));
  33. ASSERT_EQ(EINVAL, errno);
  34. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 1, 0));
  35. /* The size if less than sizeof(struct landlock_attr_enforce). */
  36. ASSERT_EQ(EFAULT, errno);
  37. ASSERT_EQ(-1, landlock_create_ruleset(
  38. NULL, sizeof(struct landlock_ruleset_attr), 0));
  39. ASSERT_EQ(EFAULT, errno);
  40. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0));
  41. ASSERT_EQ(E2BIG, errno);
  42. /* Checks minimal valid attribute size. */
  43. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 8, 0));
  44. ASSERT_EQ(ENOMSG, errno);
  45. ASSERT_EQ(-1, landlock_create_ruleset(
  46. ruleset_attr,
  47. sizeof(struct landlock_ruleset_attr), 0));
  48. ASSERT_EQ(ENOMSG, errno);
  49. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0));
  50. ASSERT_EQ(ENOMSG, errno);
  51. /* Checks non-zero value. */
  52. buf[page_size - 2] = '.';
  53. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0));
  54. ASSERT_EQ(E2BIG, errno);
  55. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0));
  56. ASSERT_EQ(E2BIG, errno);
  57. free(buf);
  58. }
  59. TEST(abi_version)
  60. {
  61. const struct landlock_ruleset_attr ruleset_attr = {
  62. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  63. };
  64. ASSERT_EQ(2, landlock_create_ruleset(NULL, 0,
  65. LANDLOCK_CREATE_RULESET_VERSION));
  66. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0,
  67. LANDLOCK_CREATE_RULESET_VERSION));
  68. ASSERT_EQ(EINVAL, errno);
  69. ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr),
  70. LANDLOCK_CREATE_RULESET_VERSION));
  71. ASSERT_EQ(EINVAL, errno);
  72. ASSERT_EQ(-1,
  73. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr),
  74. LANDLOCK_CREATE_RULESET_VERSION));
  75. ASSERT_EQ(EINVAL, errno);
  76. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0,
  77. LANDLOCK_CREATE_RULESET_VERSION |
  78. 1 << 31));
  79. ASSERT_EQ(EINVAL, errno);
  80. }
  81. /* Tests ordering of syscall argument checks. */
  82. TEST(create_ruleset_checks_ordering)
  83. {
  84. const int last_flag = LANDLOCK_CREATE_RULESET_VERSION;
  85. const int invalid_flag = last_flag << 1;
  86. int ruleset_fd;
  87. const struct landlock_ruleset_attr ruleset_attr = {
  88. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  89. };
  90. /* Checks priority for invalid flags. */
  91. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0, invalid_flag));
  92. ASSERT_EQ(EINVAL, errno);
  93. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, invalid_flag));
  94. ASSERT_EQ(EINVAL, errno);
  95. ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr),
  96. invalid_flag));
  97. ASSERT_EQ(EINVAL, errno);
  98. ASSERT_EQ(-1,
  99. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr),
  100. invalid_flag));
  101. ASSERT_EQ(EINVAL, errno);
  102. /* Checks too big ruleset_attr size. */
  103. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, -1, 0));
  104. ASSERT_EQ(E2BIG, errno);
  105. /* Checks too small ruleset_attr size. */
  106. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, 0));
  107. ASSERT_EQ(EINVAL, errno);
  108. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 1, 0));
  109. ASSERT_EQ(EINVAL, errno);
  110. /* Checks valid call. */
  111. ruleset_fd =
  112. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  113. ASSERT_LE(0, ruleset_fd);
  114. ASSERT_EQ(0, close(ruleset_fd));
  115. }
  116. /* Tests ordering of syscall argument checks. */
  117. TEST(add_rule_checks_ordering)
  118. {
  119. const struct landlock_ruleset_attr ruleset_attr = {
  120. .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE,
  121. };
  122. struct landlock_path_beneath_attr path_beneath_attr = {
  123. .allowed_access = LANDLOCK_ACCESS_FS_EXECUTE,
  124. .parent_fd = -1,
  125. };
  126. const int ruleset_fd =
  127. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  128. ASSERT_LE(0, ruleset_fd);
  129. /* Checks invalid flags. */
  130. ASSERT_EQ(-1, landlock_add_rule(-1, 0, NULL, 1));
  131. ASSERT_EQ(EINVAL, errno);
  132. /* Checks invalid ruleset FD. */
  133. ASSERT_EQ(-1, landlock_add_rule(-1, 0, NULL, 0));
  134. ASSERT_EQ(EBADF, errno);
  135. /* Checks invalid rule type. */
  136. ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, 0, NULL, 0));
  137. ASSERT_EQ(EINVAL, errno);
  138. /* Checks invalid rule attr. */
  139. ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  140. NULL, 0));
  141. ASSERT_EQ(EFAULT, errno);
  142. /* Checks invalid path_beneath.parent_fd. */
  143. ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  144. &path_beneath_attr, 0));
  145. ASSERT_EQ(EBADF, errno);
  146. /* Checks valid call. */
  147. path_beneath_attr.parent_fd =
  148. open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC);
  149. ASSERT_LE(0, path_beneath_attr.parent_fd);
  150. ASSERT_EQ(0, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  151. &path_beneath_attr, 0));
  152. ASSERT_EQ(0, close(path_beneath_attr.parent_fd));
  153. ASSERT_EQ(0, close(ruleset_fd));
  154. }
  155. /* Tests ordering of syscall argument and permission checks. */
  156. TEST(restrict_self_checks_ordering)
  157. {
  158. const struct landlock_ruleset_attr ruleset_attr = {
  159. .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE,
  160. };
  161. struct landlock_path_beneath_attr path_beneath_attr = {
  162. .allowed_access = LANDLOCK_ACCESS_FS_EXECUTE,
  163. .parent_fd = -1,
  164. };
  165. const int ruleset_fd =
  166. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  167. ASSERT_LE(0, ruleset_fd);
  168. path_beneath_attr.parent_fd =
  169. open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC);
  170. ASSERT_LE(0, path_beneath_attr.parent_fd);
  171. ASSERT_EQ(0, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  172. &path_beneath_attr, 0));
  173. ASSERT_EQ(0, close(path_beneath_attr.parent_fd));
  174. /* Checks unprivileged enforcement without no_new_privs. */
  175. drop_caps(_metadata);
  176. ASSERT_EQ(-1, landlock_restrict_self(-1, -1));
  177. ASSERT_EQ(EPERM, errno);
  178. ASSERT_EQ(-1, landlock_restrict_self(-1, 0));
  179. ASSERT_EQ(EPERM, errno);
  180. ASSERT_EQ(-1, landlock_restrict_self(ruleset_fd, 0));
  181. ASSERT_EQ(EPERM, errno);
  182. ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0));
  183. /* Checks invalid flags. */
  184. ASSERT_EQ(-1, landlock_restrict_self(-1, -1));
  185. ASSERT_EQ(EINVAL, errno);
  186. /* Checks invalid ruleset FD. */
  187. ASSERT_EQ(-1, landlock_restrict_self(-1, 0));
  188. ASSERT_EQ(EBADF, errno);
  189. /* Checks valid call. */
  190. ASSERT_EQ(0, landlock_restrict_self(ruleset_fd, 0));
  191. ASSERT_EQ(0, close(ruleset_fd));
  192. }
  193. TEST(ruleset_fd_io)
  194. {
  195. struct landlock_ruleset_attr ruleset_attr = {
  196. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  197. };
  198. int ruleset_fd;
  199. char buf;
  200. drop_caps(_metadata);
  201. ruleset_fd =
  202. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  203. ASSERT_LE(0, ruleset_fd);
  204. ASSERT_EQ(-1, write(ruleset_fd, ".", 1));
  205. ASSERT_EQ(EINVAL, errno);
  206. ASSERT_EQ(-1, read(ruleset_fd, &buf, 1));
  207. ASSERT_EQ(EINVAL, errno);
  208. ASSERT_EQ(0, close(ruleset_fd));
  209. }
  210. /* Tests enforcement of a ruleset FD transferred through a UNIX socket. */
  211. TEST(ruleset_fd_transfer)
  212. {
  213. struct landlock_ruleset_attr ruleset_attr = {
  214. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_DIR,
  215. };
  216. struct landlock_path_beneath_attr path_beneath_attr = {
  217. .allowed_access = LANDLOCK_ACCESS_FS_READ_DIR,
  218. };
  219. int ruleset_fd_tx, dir_fd;
  220. union {
  221. /* Aligned ancillary data buffer. */
  222. char buf[CMSG_SPACE(sizeof(ruleset_fd_tx))];
  223. struct cmsghdr _align;
  224. } cmsg_tx = {};
  225. char data_tx = '.';
  226. struct iovec io = {
  227. .iov_base = &data_tx,
  228. .iov_len = sizeof(data_tx),
  229. };
  230. struct msghdr msg = {
  231. .msg_iov = &io,
  232. .msg_iovlen = 1,
  233. .msg_control = &cmsg_tx.buf,
  234. .msg_controllen = sizeof(cmsg_tx.buf),
  235. };
  236. struct cmsghdr *cmsg;
  237. int socket_fds[2];
  238. pid_t child;
  239. int status;
  240. drop_caps(_metadata);
  241. /* Creates a test ruleset with a simple rule. */
  242. ruleset_fd_tx =
  243. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  244. ASSERT_LE(0, ruleset_fd_tx);
  245. path_beneath_attr.parent_fd =
  246. open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC);
  247. ASSERT_LE(0, path_beneath_attr.parent_fd);
  248. ASSERT_EQ(0,
  249. landlock_add_rule(ruleset_fd_tx, LANDLOCK_RULE_PATH_BENEATH,
  250. &path_beneath_attr, 0));
  251. ASSERT_EQ(0, close(path_beneath_attr.parent_fd));
  252. cmsg = CMSG_FIRSTHDR(&msg);
  253. ASSERT_NE(NULL, cmsg);
  254. cmsg->cmsg_len = CMSG_LEN(sizeof(ruleset_fd_tx));
  255. cmsg->cmsg_level = SOL_SOCKET;
  256. cmsg->cmsg_type = SCM_RIGHTS;
  257. memcpy(CMSG_DATA(cmsg), &ruleset_fd_tx, sizeof(ruleset_fd_tx));
  258. /* Sends the ruleset FD over a socketpair and then close it. */
  259. ASSERT_EQ(0, socketpair(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0,
  260. socket_fds));
  261. ASSERT_EQ(sizeof(data_tx), sendmsg(socket_fds[0], &msg, 0));
  262. ASSERT_EQ(0, close(socket_fds[0]));
  263. ASSERT_EQ(0, close(ruleset_fd_tx));
  264. child = fork();
  265. ASSERT_LE(0, child);
  266. if (child == 0) {
  267. int ruleset_fd_rx;
  268. *(char *)msg.msg_iov->iov_base = '\0';
  269. ASSERT_EQ(sizeof(data_tx),
  270. recvmsg(socket_fds[1], &msg, MSG_CMSG_CLOEXEC));
  271. ASSERT_EQ('.', *(char *)msg.msg_iov->iov_base);
  272. ASSERT_EQ(0, close(socket_fds[1]));
  273. cmsg = CMSG_FIRSTHDR(&msg);
  274. ASSERT_EQ(cmsg->cmsg_len, CMSG_LEN(sizeof(ruleset_fd_tx)));
  275. memcpy(&ruleset_fd_rx, CMSG_DATA(cmsg), sizeof(ruleset_fd_tx));
  276. /* Enforces the received ruleset on the child. */
  277. ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0));
  278. ASSERT_EQ(0, landlock_restrict_self(ruleset_fd_rx, 0));
  279. ASSERT_EQ(0, close(ruleset_fd_rx));
  280. /* Checks that the ruleset enforcement. */
  281. ASSERT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC));
  282. ASSERT_EQ(EACCES, errno);
  283. dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  284. ASSERT_LE(0, dir_fd);
  285. ASSERT_EQ(0, close(dir_fd));
  286. _exit(_metadata->passed ? EXIT_SUCCESS : EXIT_FAILURE);
  287. return;
  288. }
  289. ASSERT_EQ(0, close(socket_fds[1]));
  290. /* Checks that the parent is unrestricted. */
  291. dir_fd = open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  292. ASSERT_LE(0, dir_fd);
  293. ASSERT_EQ(0, close(dir_fd));
  294. dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  295. ASSERT_LE(0, dir_fd);
  296. ASSERT_EQ(0, close(dir_fd));
  297. ASSERT_EQ(child, waitpid(child, &status, 0));
  298. ASSERT_EQ(1, WIFEXITED(status));
  299. ASSERT_EQ(EXIT_SUCCESS, WEXITSTATUS(status));
  300. }
  301. TEST_HARNESS_MAIN