base_test.c 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447
  1. // SPDX-License-Identifier: GPL-2.0
  2. /*
  3. * Landlock tests - Common user space base
  4. *
  5. * Copyright © 2017-2020 Mickaël Salaün <mic@digikod.net>
  6. * Copyright © 2019-2020 ANSSI
  7. */
  8. #define _GNU_SOURCE
  9. #include <errno.h>
  10. #include <fcntl.h>
  11. #include <linux/keyctl.h>
  12. #include <linux/landlock.h>
  13. #include <string.h>
  14. #include <sys/prctl.h>
  15. #include <sys/socket.h>
  16. #include <sys/types.h>
  17. #include "common.h"
  18. #ifndef O_PATH
  19. #define O_PATH 010000000
  20. #endif
  21. TEST(inconsistent_attr)
  22. {
  23. const long page_size = sysconf(_SC_PAGESIZE);
  24. char *const buf = malloc(page_size + 1);
  25. struct landlock_ruleset_attr *const ruleset_attr = (void *)buf;
  26. ASSERT_NE(NULL, buf);
  27. /* Checks copy_from_user(). */
  28. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 0, 0));
  29. /* The size if less than sizeof(struct landlock_attr_enforce). */
  30. ASSERT_EQ(EINVAL, errno);
  31. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 1, 0));
  32. ASSERT_EQ(EINVAL, errno);
  33. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 7, 0));
  34. ASSERT_EQ(EINVAL, errno);
  35. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 1, 0));
  36. /* The size if less than sizeof(struct landlock_attr_enforce). */
  37. ASSERT_EQ(EFAULT, errno);
  38. ASSERT_EQ(-1, landlock_create_ruleset(
  39. NULL, sizeof(struct landlock_ruleset_attr), 0));
  40. ASSERT_EQ(EFAULT, errno);
  41. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0));
  42. ASSERT_EQ(E2BIG, errno);
  43. /* Checks minimal valid attribute size. */
  44. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, 8, 0));
  45. ASSERT_EQ(ENOMSG, errno);
  46. ASSERT_EQ(-1, landlock_create_ruleset(
  47. ruleset_attr,
  48. sizeof(struct landlock_ruleset_attr), 0));
  49. ASSERT_EQ(ENOMSG, errno);
  50. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0));
  51. ASSERT_EQ(ENOMSG, errno);
  52. /* Checks non-zero value. */
  53. buf[page_size - 2] = '.';
  54. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size, 0));
  55. ASSERT_EQ(E2BIG, errno);
  56. ASSERT_EQ(-1, landlock_create_ruleset(ruleset_attr, page_size + 1, 0));
  57. ASSERT_EQ(E2BIG, errno);
  58. free(buf);
  59. }
  60. TEST(abi_version)
  61. {
  62. const struct landlock_ruleset_attr ruleset_attr = {
  63. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  64. };
  65. ASSERT_EQ(6, landlock_create_ruleset(NULL, 0,
  66. LANDLOCK_CREATE_RULESET_VERSION));
  67. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0,
  68. LANDLOCK_CREATE_RULESET_VERSION));
  69. ASSERT_EQ(EINVAL, errno);
  70. ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr),
  71. LANDLOCK_CREATE_RULESET_VERSION));
  72. ASSERT_EQ(EINVAL, errno);
  73. ASSERT_EQ(-1,
  74. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr),
  75. LANDLOCK_CREATE_RULESET_VERSION));
  76. ASSERT_EQ(EINVAL, errno);
  77. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0,
  78. LANDLOCK_CREATE_RULESET_VERSION |
  79. 1 << 31));
  80. ASSERT_EQ(EINVAL, errno);
  81. }
  82. /*
  83. * Old source trees might not have the set of Kselftest fixes related to kernel
  84. * UAPI headers.
  85. */
  86. #ifndef LANDLOCK_CREATE_RULESET_ERRATA
  87. #define LANDLOCK_CREATE_RULESET_ERRATA (1U << 1)
  88. #endif
  89. TEST(errata)
  90. {
  91. const struct landlock_ruleset_attr ruleset_attr = {
  92. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  93. };
  94. int errata;
  95. errata = landlock_create_ruleset(NULL, 0,
  96. LANDLOCK_CREATE_RULESET_ERRATA);
  97. /* The errata bitmask will not be backported to tests. */
  98. ASSERT_LE(0, errata);
  99. TH_LOG("errata: 0x%x", errata);
  100. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0,
  101. LANDLOCK_CREATE_RULESET_ERRATA));
  102. ASSERT_EQ(EINVAL, errno);
  103. ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr),
  104. LANDLOCK_CREATE_RULESET_ERRATA));
  105. ASSERT_EQ(EINVAL, errno);
  106. ASSERT_EQ(-1,
  107. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr),
  108. LANDLOCK_CREATE_RULESET_ERRATA));
  109. ASSERT_EQ(EINVAL, errno);
  110. ASSERT_EQ(-1, landlock_create_ruleset(
  111. NULL, 0,
  112. LANDLOCK_CREATE_RULESET_VERSION |
  113. LANDLOCK_CREATE_RULESET_ERRATA));
  114. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0,
  115. LANDLOCK_CREATE_RULESET_ERRATA |
  116. 1 << 31));
  117. ASSERT_EQ(EINVAL, errno);
  118. }
  119. /* Tests ordering of syscall argument checks. */
  120. TEST(create_ruleset_checks_ordering)
  121. {
  122. const int last_flag = LANDLOCK_CREATE_RULESET_ERRATA;
  123. const int invalid_flag = last_flag << 1;
  124. int ruleset_fd;
  125. const struct landlock_ruleset_attr ruleset_attr = {
  126. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  127. };
  128. /* Checks priority for invalid flags. */
  129. ASSERT_EQ(-1, landlock_create_ruleset(NULL, 0, invalid_flag));
  130. ASSERT_EQ(EINVAL, errno);
  131. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, invalid_flag));
  132. ASSERT_EQ(EINVAL, errno);
  133. ASSERT_EQ(-1, landlock_create_ruleset(NULL, sizeof(ruleset_attr),
  134. invalid_flag));
  135. ASSERT_EQ(EINVAL, errno);
  136. ASSERT_EQ(-1,
  137. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr),
  138. invalid_flag));
  139. ASSERT_EQ(EINVAL, errno);
  140. /* Checks too big ruleset_attr size. */
  141. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, -1, 0));
  142. ASSERT_EQ(E2BIG, errno);
  143. /* Checks too small ruleset_attr size. */
  144. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 0, 0));
  145. ASSERT_EQ(EINVAL, errno);
  146. ASSERT_EQ(-1, landlock_create_ruleset(&ruleset_attr, 1, 0));
  147. ASSERT_EQ(EINVAL, errno);
  148. /* Checks valid call. */
  149. ruleset_fd =
  150. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  151. ASSERT_LE(0, ruleset_fd);
  152. ASSERT_EQ(0, close(ruleset_fd));
  153. }
  154. /* Tests ordering of syscall argument checks. */
  155. TEST(add_rule_checks_ordering)
  156. {
  157. const struct landlock_ruleset_attr ruleset_attr = {
  158. .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE,
  159. };
  160. struct landlock_path_beneath_attr path_beneath_attr = {
  161. .allowed_access = LANDLOCK_ACCESS_FS_EXECUTE,
  162. .parent_fd = -1,
  163. };
  164. const int ruleset_fd =
  165. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  166. ASSERT_LE(0, ruleset_fd);
  167. /* Checks invalid flags. */
  168. ASSERT_EQ(-1, landlock_add_rule(-1, 0, NULL, 1));
  169. ASSERT_EQ(EINVAL, errno);
  170. /* Checks invalid ruleset FD. */
  171. ASSERT_EQ(-1, landlock_add_rule(-1, 0, NULL, 0));
  172. ASSERT_EQ(EBADF, errno);
  173. /* Checks invalid rule type. */
  174. ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, 0, NULL, 0));
  175. ASSERT_EQ(EINVAL, errno);
  176. /* Checks invalid rule attr. */
  177. ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  178. NULL, 0));
  179. ASSERT_EQ(EFAULT, errno);
  180. /* Checks invalid path_beneath.parent_fd. */
  181. ASSERT_EQ(-1, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  182. &path_beneath_attr, 0));
  183. ASSERT_EQ(EBADF, errno);
  184. /* Checks valid call. */
  185. path_beneath_attr.parent_fd =
  186. open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC);
  187. ASSERT_LE(0, path_beneath_attr.parent_fd);
  188. ASSERT_EQ(0, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  189. &path_beneath_attr, 0));
  190. ASSERT_EQ(0, close(path_beneath_attr.parent_fd));
  191. ASSERT_EQ(0, close(ruleset_fd));
  192. }
  193. /* Tests ordering of syscall argument and permission checks. */
  194. TEST(restrict_self_checks_ordering)
  195. {
  196. const struct landlock_ruleset_attr ruleset_attr = {
  197. .handled_access_fs = LANDLOCK_ACCESS_FS_EXECUTE,
  198. };
  199. struct landlock_path_beneath_attr path_beneath_attr = {
  200. .allowed_access = LANDLOCK_ACCESS_FS_EXECUTE,
  201. .parent_fd = -1,
  202. };
  203. const int ruleset_fd =
  204. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  205. ASSERT_LE(0, ruleset_fd);
  206. path_beneath_attr.parent_fd =
  207. open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC);
  208. ASSERT_LE(0, path_beneath_attr.parent_fd);
  209. ASSERT_EQ(0, landlock_add_rule(ruleset_fd, LANDLOCK_RULE_PATH_BENEATH,
  210. &path_beneath_attr, 0));
  211. ASSERT_EQ(0, close(path_beneath_attr.parent_fd));
  212. /* Checks unprivileged enforcement without no_new_privs. */
  213. drop_caps(_metadata);
  214. ASSERT_EQ(-1, landlock_restrict_self(-1, -1));
  215. ASSERT_EQ(EPERM, errno);
  216. ASSERT_EQ(-1, landlock_restrict_self(-1, 0));
  217. ASSERT_EQ(EPERM, errno);
  218. ASSERT_EQ(-1, landlock_restrict_self(ruleset_fd, 0));
  219. ASSERT_EQ(EPERM, errno);
  220. ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0));
  221. /* Checks invalid flags. */
  222. ASSERT_EQ(-1, landlock_restrict_self(-1, -1));
  223. ASSERT_EQ(EINVAL, errno);
  224. /* Checks invalid ruleset FD. */
  225. ASSERT_EQ(-1, landlock_restrict_self(-1, 0));
  226. ASSERT_EQ(EBADF, errno);
  227. /* Checks valid call. */
  228. ASSERT_EQ(0, landlock_restrict_self(ruleset_fd, 0));
  229. ASSERT_EQ(0, close(ruleset_fd));
  230. }
  231. TEST(ruleset_fd_io)
  232. {
  233. struct landlock_ruleset_attr ruleset_attr = {
  234. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_FILE,
  235. };
  236. int ruleset_fd;
  237. char buf;
  238. drop_caps(_metadata);
  239. ruleset_fd =
  240. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  241. ASSERT_LE(0, ruleset_fd);
  242. ASSERT_EQ(-1, write(ruleset_fd, ".", 1));
  243. ASSERT_EQ(EINVAL, errno);
  244. ASSERT_EQ(-1, read(ruleset_fd, &buf, 1));
  245. ASSERT_EQ(EINVAL, errno);
  246. ASSERT_EQ(0, close(ruleset_fd));
  247. }
  248. /* Tests enforcement of a ruleset FD transferred through a UNIX socket. */
  249. TEST(ruleset_fd_transfer)
  250. {
  251. struct landlock_ruleset_attr ruleset_attr = {
  252. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_DIR,
  253. };
  254. struct landlock_path_beneath_attr path_beneath_attr = {
  255. .allowed_access = LANDLOCK_ACCESS_FS_READ_DIR,
  256. };
  257. int ruleset_fd_tx, dir_fd;
  258. int socket_fds[2];
  259. pid_t child;
  260. int status;
  261. drop_caps(_metadata);
  262. /* Creates a test ruleset with a simple rule. */
  263. ruleset_fd_tx =
  264. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  265. ASSERT_LE(0, ruleset_fd_tx);
  266. path_beneath_attr.parent_fd =
  267. open("/tmp", O_PATH | O_NOFOLLOW | O_DIRECTORY | O_CLOEXEC);
  268. ASSERT_LE(0, path_beneath_attr.parent_fd);
  269. ASSERT_EQ(0,
  270. landlock_add_rule(ruleset_fd_tx, LANDLOCK_RULE_PATH_BENEATH,
  271. &path_beneath_attr, 0));
  272. ASSERT_EQ(0, close(path_beneath_attr.parent_fd));
  273. /* Sends the ruleset FD over a socketpair and then close it. */
  274. ASSERT_EQ(0, socketpair(AF_UNIX, SOCK_STREAM | SOCK_CLOEXEC, 0,
  275. socket_fds));
  276. ASSERT_EQ(0, send_fd(socket_fds[0], ruleset_fd_tx));
  277. ASSERT_EQ(0, close(socket_fds[0]));
  278. ASSERT_EQ(0, close(ruleset_fd_tx));
  279. child = fork();
  280. ASSERT_LE(0, child);
  281. if (child == 0) {
  282. const int ruleset_fd_rx = recv_fd(socket_fds[1]);
  283. ASSERT_LE(0, ruleset_fd_rx);
  284. ASSERT_EQ(0, close(socket_fds[1]));
  285. /* Enforces the received ruleset on the child. */
  286. ASSERT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0));
  287. ASSERT_EQ(0, landlock_restrict_self(ruleset_fd_rx, 0));
  288. ASSERT_EQ(0, close(ruleset_fd_rx));
  289. /* Checks that the ruleset enforcement. */
  290. ASSERT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC));
  291. ASSERT_EQ(EACCES, errno);
  292. dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  293. ASSERT_LE(0, dir_fd);
  294. ASSERT_EQ(0, close(dir_fd));
  295. _exit(_metadata->exit_code);
  296. return;
  297. }
  298. ASSERT_EQ(0, close(socket_fds[1]));
  299. /* Checks that the parent is unrestricted. */
  300. dir_fd = open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  301. ASSERT_LE(0, dir_fd);
  302. ASSERT_EQ(0, close(dir_fd));
  303. dir_fd = open("/tmp", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  304. ASSERT_LE(0, dir_fd);
  305. ASSERT_EQ(0, close(dir_fd));
  306. ASSERT_EQ(child, waitpid(child, &status, 0));
  307. ASSERT_EQ(1, WIFEXITED(status));
  308. ASSERT_EQ(EXIT_SUCCESS, WEXITSTATUS(status));
  309. }
  310. TEST(cred_transfer)
  311. {
  312. struct landlock_ruleset_attr ruleset_attr = {
  313. .handled_access_fs = LANDLOCK_ACCESS_FS_READ_DIR,
  314. };
  315. int ruleset_fd, dir_fd;
  316. pid_t child;
  317. int status;
  318. drop_caps(_metadata);
  319. dir_fd = open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC);
  320. EXPECT_LE(0, dir_fd);
  321. EXPECT_EQ(0, close(dir_fd));
  322. /* Denies opening directories. */
  323. ruleset_fd =
  324. landlock_create_ruleset(&ruleset_attr, sizeof(ruleset_attr), 0);
  325. ASSERT_LE(0, ruleset_fd);
  326. EXPECT_EQ(0, prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0));
  327. ASSERT_EQ(0, landlock_restrict_self(ruleset_fd, 0));
  328. EXPECT_EQ(0, close(ruleset_fd));
  329. /* Checks ruleset enforcement. */
  330. EXPECT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC));
  331. EXPECT_EQ(EACCES, errno);
  332. /* Needed for KEYCTL_SESSION_TO_PARENT permission checks */
  333. EXPECT_NE(-1, syscall(__NR_keyctl, KEYCTL_JOIN_SESSION_KEYRING, NULL, 0,
  334. 0, 0))
  335. {
  336. TH_LOG("Failed to join session keyring: %s", strerror(errno));
  337. }
  338. child = fork();
  339. ASSERT_LE(0, child);
  340. if (child == 0) {
  341. /* Checks ruleset enforcement. */
  342. EXPECT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC));
  343. EXPECT_EQ(EACCES, errno);
  344. /*
  345. * KEYCTL_SESSION_TO_PARENT is a no-op unless we have a
  346. * different session keyring in the child, so make that happen.
  347. */
  348. EXPECT_NE(-1, syscall(__NR_keyctl, KEYCTL_JOIN_SESSION_KEYRING,
  349. NULL, 0, 0, 0));
  350. /*
  351. * KEYCTL_SESSION_TO_PARENT installs credentials on the parent
  352. * that never go through the cred_prepare hook, this path uses
  353. * cred_transfer instead.
  354. */
  355. EXPECT_EQ(0, syscall(__NR_keyctl, KEYCTL_SESSION_TO_PARENT, 0,
  356. 0, 0, 0));
  357. /* Re-checks ruleset enforcement. */
  358. EXPECT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC));
  359. EXPECT_EQ(EACCES, errno);
  360. _exit(_metadata->exit_code);
  361. return;
  362. }
  363. EXPECT_EQ(child, waitpid(child, &status, 0));
  364. EXPECT_EQ(1, WIFEXITED(status));
  365. EXPECT_EQ(EXIT_SUCCESS, WEXITSTATUS(status));
  366. /* Re-checks ruleset enforcement. */
  367. EXPECT_EQ(-1, open("/", O_RDONLY | O_DIRECTORY | O_CLOEXEC));
  368. EXPECT_EQ(EACCES, errno);
  369. }
  370. TEST_HARNESS_MAIN