0001
0002
0003
0004
0005
0006
0007
0008 #include <linux/uaccess.h>
0009 #include <linux/slab.h>
0010 #include <linux/security.h>
0011 #include <linux/string_helpers.h>
0012 #include "common.h"
0013
0014
0015 const char * const tomoyo_mode[TOMOYO_CONFIG_MAX_MODE] = {
0016 [TOMOYO_CONFIG_DISABLED] = "disabled",
0017 [TOMOYO_CONFIG_LEARNING] = "learning",
0018 [TOMOYO_CONFIG_PERMISSIVE] = "permissive",
0019 [TOMOYO_CONFIG_ENFORCING] = "enforcing"
0020 };
0021
0022
0023 const char * const tomoyo_mac_keywords[TOMOYO_MAX_MAC_INDEX
0024 + TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
0025
0026 [TOMOYO_MAC_FILE_EXECUTE] = "execute",
0027 [TOMOYO_MAC_FILE_OPEN] = "open",
0028 [TOMOYO_MAC_FILE_CREATE] = "create",
0029 [TOMOYO_MAC_FILE_UNLINK] = "unlink",
0030 [TOMOYO_MAC_FILE_GETATTR] = "getattr",
0031 [TOMOYO_MAC_FILE_MKDIR] = "mkdir",
0032 [TOMOYO_MAC_FILE_RMDIR] = "rmdir",
0033 [TOMOYO_MAC_FILE_MKFIFO] = "mkfifo",
0034 [TOMOYO_MAC_FILE_MKSOCK] = "mksock",
0035 [TOMOYO_MAC_FILE_TRUNCATE] = "truncate",
0036 [TOMOYO_MAC_FILE_SYMLINK] = "symlink",
0037 [TOMOYO_MAC_FILE_MKBLOCK] = "mkblock",
0038 [TOMOYO_MAC_FILE_MKCHAR] = "mkchar",
0039 [TOMOYO_MAC_FILE_LINK] = "link",
0040 [TOMOYO_MAC_FILE_RENAME] = "rename",
0041 [TOMOYO_MAC_FILE_CHMOD] = "chmod",
0042 [TOMOYO_MAC_FILE_CHOWN] = "chown",
0043 [TOMOYO_MAC_FILE_CHGRP] = "chgrp",
0044 [TOMOYO_MAC_FILE_IOCTL] = "ioctl",
0045 [TOMOYO_MAC_FILE_CHROOT] = "chroot",
0046 [TOMOYO_MAC_FILE_MOUNT] = "mount",
0047 [TOMOYO_MAC_FILE_UMOUNT] = "unmount",
0048 [TOMOYO_MAC_FILE_PIVOT_ROOT] = "pivot_root",
0049
0050 [TOMOYO_MAC_NETWORK_INET_STREAM_BIND] = "inet_stream_bind",
0051 [TOMOYO_MAC_NETWORK_INET_STREAM_LISTEN] = "inet_stream_listen",
0052 [TOMOYO_MAC_NETWORK_INET_STREAM_CONNECT] = "inet_stream_connect",
0053 [TOMOYO_MAC_NETWORK_INET_DGRAM_BIND] = "inet_dgram_bind",
0054 [TOMOYO_MAC_NETWORK_INET_DGRAM_SEND] = "inet_dgram_send",
0055 [TOMOYO_MAC_NETWORK_INET_RAW_BIND] = "inet_raw_bind",
0056 [TOMOYO_MAC_NETWORK_INET_RAW_SEND] = "inet_raw_send",
0057 [TOMOYO_MAC_NETWORK_UNIX_STREAM_BIND] = "unix_stream_bind",
0058 [TOMOYO_MAC_NETWORK_UNIX_STREAM_LISTEN] = "unix_stream_listen",
0059 [TOMOYO_MAC_NETWORK_UNIX_STREAM_CONNECT] = "unix_stream_connect",
0060 [TOMOYO_MAC_NETWORK_UNIX_DGRAM_BIND] = "unix_dgram_bind",
0061 [TOMOYO_MAC_NETWORK_UNIX_DGRAM_SEND] = "unix_dgram_send",
0062 [TOMOYO_MAC_NETWORK_UNIX_SEQPACKET_BIND] = "unix_seqpacket_bind",
0063 [TOMOYO_MAC_NETWORK_UNIX_SEQPACKET_LISTEN] = "unix_seqpacket_listen",
0064 [TOMOYO_MAC_NETWORK_UNIX_SEQPACKET_CONNECT] = "unix_seqpacket_connect",
0065
0066 [TOMOYO_MAC_ENVIRON] = "env",
0067
0068 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_FILE] = "file",
0069 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_NETWORK] = "network",
0070 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_MISC] = "misc",
0071 };
0072
0073
0074 const char * const tomoyo_condition_keyword[TOMOYO_MAX_CONDITION_KEYWORD] = {
0075 [TOMOYO_TASK_UID] = "task.uid",
0076 [TOMOYO_TASK_EUID] = "task.euid",
0077 [TOMOYO_TASK_SUID] = "task.suid",
0078 [TOMOYO_TASK_FSUID] = "task.fsuid",
0079 [TOMOYO_TASK_GID] = "task.gid",
0080 [TOMOYO_TASK_EGID] = "task.egid",
0081 [TOMOYO_TASK_SGID] = "task.sgid",
0082 [TOMOYO_TASK_FSGID] = "task.fsgid",
0083 [TOMOYO_TASK_PID] = "task.pid",
0084 [TOMOYO_TASK_PPID] = "task.ppid",
0085 [TOMOYO_EXEC_ARGC] = "exec.argc",
0086 [TOMOYO_EXEC_ENVC] = "exec.envc",
0087 [TOMOYO_TYPE_IS_SOCKET] = "socket",
0088 [TOMOYO_TYPE_IS_SYMLINK] = "symlink",
0089 [TOMOYO_TYPE_IS_FILE] = "file",
0090 [TOMOYO_TYPE_IS_BLOCK_DEV] = "block",
0091 [TOMOYO_TYPE_IS_DIRECTORY] = "directory",
0092 [TOMOYO_TYPE_IS_CHAR_DEV] = "char",
0093 [TOMOYO_TYPE_IS_FIFO] = "fifo",
0094 [TOMOYO_MODE_SETUID] = "setuid",
0095 [TOMOYO_MODE_SETGID] = "setgid",
0096 [TOMOYO_MODE_STICKY] = "sticky",
0097 [TOMOYO_MODE_OWNER_READ] = "owner_read",
0098 [TOMOYO_MODE_OWNER_WRITE] = "owner_write",
0099 [TOMOYO_MODE_OWNER_EXECUTE] = "owner_execute",
0100 [TOMOYO_MODE_GROUP_READ] = "group_read",
0101 [TOMOYO_MODE_GROUP_WRITE] = "group_write",
0102 [TOMOYO_MODE_GROUP_EXECUTE] = "group_execute",
0103 [TOMOYO_MODE_OTHERS_READ] = "others_read",
0104 [TOMOYO_MODE_OTHERS_WRITE] = "others_write",
0105 [TOMOYO_MODE_OTHERS_EXECUTE] = "others_execute",
0106 [TOMOYO_EXEC_REALPATH] = "exec.realpath",
0107 [TOMOYO_SYMLINK_TARGET] = "symlink.target",
0108 [TOMOYO_PATH1_UID] = "path1.uid",
0109 [TOMOYO_PATH1_GID] = "path1.gid",
0110 [TOMOYO_PATH1_INO] = "path1.ino",
0111 [TOMOYO_PATH1_MAJOR] = "path1.major",
0112 [TOMOYO_PATH1_MINOR] = "path1.minor",
0113 [TOMOYO_PATH1_PERM] = "path1.perm",
0114 [TOMOYO_PATH1_TYPE] = "path1.type",
0115 [TOMOYO_PATH1_DEV_MAJOR] = "path1.dev_major",
0116 [TOMOYO_PATH1_DEV_MINOR] = "path1.dev_minor",
0117 [TOMOYO_PATH2_UID] = "path2.uid",
0118 [TOMOYO_PATH2_GID] = "path2.gid",
0119 [TOMOYO_PATH2_INO] = "path2.ino",
0120 [TOMOYO_PATH2_MAJOR] = "path2.major",
0121 [TOMOYO_PATH2_MINOR] = "path2.minor",
0122 [TOMOYO_PATH2_PERM] = "path2.perm",
0123 [TOMOYO_PATH2_TYPE] = "path2.type",
0124 [TOMOYO_PATH2_DEV_MAJOR] = "path2.dev_major",
0125 [TOMOYO_PATH2_DEV_MINOR] = "path2.dev_minor",
0126 [TOMOYO_PATH1_PARENT_UID] = "path1.parent.uid",
0127 [TOMOYO_PATH1_PARENT_GID] = "path1.parent.gid",
0128 [TOMOYO_PATH1_PARENT_INO] = "path1.parent.ino",
0129 [TOMOYO_PATH1_PARENT_PERM] = "path1.parent.perm",
0130 [TOMOYO_PATH2_PARENT_UID] = "path2.parent.uid",
0131 [TOMOYO_PATH2_PARENT_GID] = "path2.parent.gid",
0132 [TOMOYO_PATH2_PARENT_INO] = "path2.parent.ino",
0133 [TOMOYO_PATH2_PARENT_PERM] = "path2.parent.perm",
0134 };
0135
0136
0137 static const char * const tomoyo_pref_keywords[TOMOYO_MAX_PREF] = {
0138 [TOMOYO_PREF_MAX_AUDIT_LOG] = "max_audit_log",
0139 [TOMOYO_PREF_MAX_LEARNING_ENTRY] = "max_learning_entry",
0140 };
0141
0142
0143 const char * const tomoyo_path_keyword[TOMOYO_MAX_PATH_OPERATION] = {
0144 [TOMOYO_TYPE_EXECUTE] = "execute",
0145 [TOMOYO_TYPE_READ] = "read",
0146 [TOMOYO_TYPE_WRITE] = "write",
0147 [TOMOYO_TYPE_APPEND] = "append",
0148 [TOMOYO_TYPE_UNLINK] = "unlink",
0149 [TOMOYO_TYPE_GETATTR] = "getattr",
0150 [TOMOYO_TYPE_RMDIR] = "rmdir",
0151 [TOMOYO_TYPE_TRUNCATE] = "truncate",
0152 [TOMOYO_TYPE_SYMLINK] = "symlink",
0153 [TOMOYO_TYPE_CHROOT] = "chroot",
0154 [TOMOYO_TYPE_UMOUNT] = "unmount",
0155 };
0156
0157
0158 const char * const tomoyo_socket_keyword[TOMOYO_MAX_NETWORK_OPERATION] = {
0159 [TOMOYO_NETWORK_BIND] = "bind",
0160 [TOMOYO_NETWORK_LISTEN] = "listen",
0161 [TOMOYO_NETWORK_CONNECT] = "connect",
0162 [TOMOYO_NETWORK_SEND] = "send",
0163 };
0164
0165
0166 static const char * const tomoyo_category_keywords
0167 [TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
0168 [TOMOYO_MAC_CATEGORY_FILE] = "file",
0169 [TOMOYO_MAC_CATEGORY_NETWORK] = "network",
0170 [TOMOYO_MAC_CATEGORY_MISC] = "misc",
0171 };
0172
0173
0174 static bool tomoyo_manage_by_non_root;
0175
0176
0177
0178
0179
0180
0181
0182
0183
0184
0185
0186
0187 static void tomoyo_addprintf(char *buffer, int len, const char *fmt, ...)
0188 {
0189 va_list args;
0190 const int pos = strlen(buffer);
0191
0192 va_start(args, fmt);
0193 vsnprintf(buffer + pos, len - pos - 1, fmt, args);
0194 va_end(args);
0195 }
0196
0197
0198
0199
0200
0201
0202
0203
0204 static bool tomoyo_flush(struct tomoyo_io_buffer *head)
0205 {
0206 while (head->r.w_pos) {
0207 const char *w = head->r.w[0];
0208 size_t len = strlen(w);
0209
0210 if (len) {
0211 if (len > head->read_user_buf_avail)
0212 len = head->read_user_buf_avail;
0213 if (!len)
0214 return false;
0215 if (copy_to_user(head->read_user_buf, w, len))
0216 return false;
0217 head->read_user_buf_avail -= len;
0218 head->read_user_buf += len;
0219 w += len;
0220 }
0221 head->r.w[0] = w;
0222 if (*w)
0223 return false;
0224
0225 if (head->poll) {
0226 if (!head->read_user_buf_avail ||
0227 copy_to_user(head->read_user_buf, "", 1))
0228 return false;
0229 head->read_user_buf_avail--;
0230 head->read_user_buf++;
0231 }
0232 head->r.w_pos--;
0233 for (len = 0; len < head->r.w_pos; len++)
0234 head->r.w[len] = head->r.w[len + 1];
0235 }
0236 head->r.avail = 0;
0237 return true;
0238 }
0239
0240
0241
0242
0243
0244
0245
0246
0247
0248
0249
0250 static void tomoyo_set_string(struct tomoyo_io_buffer *head, const char *string)
0251 {
0252 if (head->r.w_pos < TOMOYO_MAX_IO_READ_QUEUE) {
0253 head->r.w[head->r.w_pos++] = string;
0254 tomoyo_flush(head);
0255 } else
0256 WARN_ON(1);
0257 }
0258
0259 static void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt,
0260 ...) __printf(2, 3);
0261
0262
0263
0264
0265
0266
0267
0268 static void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt,
0269 ...)
0270 {
0271 va_list args;
0272 size_t len;
0273 size_t pos = head->r.avail;
0274 int size = head->readbuf_size - pos;
0275
0276 if (size <= 0)
0277 return;
0278 va_start(args, fmt);
0279 len = vsnprintf(head->read_buf + pos, size, fmt, args) + 1;
0280 va_end(args);
0281 if (pos + len >= head->readbuf_size) {
0282 WARN_ON(1);
0283 return;
0284 }
0285 head->r.avail += len;
0286 tomoyo_set_string(head, head->read_buf + pos);
0287 }
0288
0289
0290
0291
0292
0293
0294
0295
0296 static void tomoyo_set_space(struct tomoyo_io_buffer *head)
0297 {
0298 tomoyo_set_string(head, " ");
0299 }
0300
0301
0302
0303
0304
0305
0306
0307
0308 static bool tomoyo_set_lf(struct tomoyo_io_buffer *head)
0309 {
0310 tomoyo_set_string(head, "\n");
0311 return !head->r.w_pos;
0312 }
0313
0314
0315
0316
0317
0318
0319
0320
0321 static void tomoyo_set_slash(struct tomoyo_io_buffer *head)
0322 {
0323 tomoyo_set_string(head, "/");
0324 }
0325
0326
0327 LIST_HEAD(tomoyo_namespace_list);
0328
0329 static bool tomoyo_namespace_enabled;
0330
0331
0332
0333
0334
0335
0336
0337
0338 void tomoyo_init_policy_namespace(struct tomoyo_policy_namespace *ns)
0339 {
0340 unsigned int idx;
0341
0342 for (idx = 0; idx < TOMOYO_MAX_ACL_GROUPS; idx++)
0343 INIT_LIST_HEAD(&ns->acl_group[idx]);
0344 for (idx = 0; idx < TOMOYO_MAX_GROUP; idx++)
0345 INIT_LIST_HEAD(&ns->group_list[idx]);
0346 for (idx = 0; idx < TOMOYO_MAX_POLICY; idx++)
0347 INIT_LIST_HEAD(&ns->policy_list[idx]);
0348 ns->profile_version = 20150505;
0349 tomoyo_namespace_enabled = !list_empty(&tomoyo_namespace_list);
0350 list_add_tail_rcu(&ns->namespace_list, &tomoyo_namespace_list);
0351 }
0352
0353
0354
0355
0356
0357
0358
0359
0360 static void tomoyo_print_namespace(struct tomoyo_io_buffer *head)
0361 {
0362 if (!tomoyo_namespace_enabled)
0363 return;
0364 tomoyo_set_string(head,
0365 container_of(head->r.ns,
0366 struct tomoyo_policy_namespace,
0367 namespace_list)->name);
0368 tomoyo_set_space(head);
0369 }
0370
0371
0372
0373
0374
0375
0376
0377 static void tomoyo_print_name_union(struct tomoyo_io_buffer *head,
0378 const struct tomoyo_name_union *ptr)
0379 {
0380 tomoyo_set_space(head);
0381 if (ptr->group) {
0382 tomoyo_set_string(head, "@");
0383 tomoyo_set_string(head, ptr->group->group_name->name);
0384 } else {
0385 tomoyo_set_string(head, ptr->filename->name);
0386 }
0387 }
0388
0389
0390
0391
0392
0393
0394
0395
0396
0397 static void tomoyo_print_name_union_quoted(struct tomoyo_io_buffer *head,
0398 const struct tomoyo_name_union *ptr)
0399 {
0400 if (ptr->group) {
0401 tomoyo_set_string(head, "@");
0402 tomoyo_set_string(head, ptr->group->group_name->name);
0403 } else {
0404 tomoyo_set_string(head, "\"");
0405 tomoyo_set_string(head, ptr->filename->name);
0406 tomoyo_set_string(head, "\"");
0407 }
0408 }
0409
0410
0411
0412
0413
0414
0415
0416
0417
0418 static void tomoyo_print_number_union_nospace
0419 (struct tomoyo_io_buffer *head, const struct tomoyo_number_union *ptr)
0420 {
0421 if (ptr->group) {
0422 tomoyo_set_string(head, "@");
0423 tomoyo_set_string(head, ptr->group->group_name->name);
0424 } else {
0425 int i;
0426 unsigned long min = ptr->values[0];
0427 const unsigned long max = ptr->values[1];
0428 u8 min_type = ptr->value_type[0];
0429 const u8 max_type = ptr->value_type[1];
0430 char buffer[128];
0431
0432 buffer[0] = '\0';
0433 for (i = 0; i < 2; i++) {
0434 switch (min_type) {
0435 case TOMOYO_VALUE_TYPE_HEXADECIMAL:
0436 tomoyo_addprintf(buffer, sizeof(buffer),
0437 "0x%lX", min);
0438 break;
0439 case TOMOYO_VALUE_TYPE_OCTAL:
0440 tomoyo_addprintf(buffer, sizeof(buffer),
0441 "0%lo", min);
0442 break;
0443 default:
0444 tomoyo_addprintf(buffer, sizeof(buffer), "%lu",
0445 min);
0446 break;
0447 }
0448 if (min == max && min_type == max_type)
0449 break;
0450 tomoyo_addprintf(buffer, sizeof(buffer), "-");
0451 min_type = max_type;
0452 min = max;
0453 }
0454 tomoyo_io_printf(head, "%s", buffer);
0455 }
0456 }
0457
0458
0459
0460
0461
0462
0463
0464
0465
0466 static void tomoyo_print_number_union(struct tomoyo_io_buffer *head,
0467 const struct tomoyo_number_union *ptr)
0468 {
0469 tomoyo_set_space(head);
0470 tomoyo_print_number_union_nospace(head, ptr);
0471 }
0472
0473
0474
0475
0476
0477
0478
0479
0480
0481 static struct tomoyo_profile *tomoyo_assign_profile
0482 (struct tomoyo_policy_namespace *ns, const unsigned int profile)
0483 {
0484 struct tomoyo_profile *ptr;
0485 struct tomoyo_profile *entry;
0486
0487 if (profile >= TOMOYO_MAX_PROFILES)
0488 return NULL;
0489 ptr = ns->profile_ptr[profile];
0490 if (ptr)
0491 return ptr;
0492 entry = kzalloc(sizeof(*entry), GFP_NOFS | __GFP_NOWARN);
0493 if (mutex_lock_interruptible(&tomoyo_policy_lock))
0494 goto out;
0495 ptr = ns->profile_ptr[profile];
0496 if (!ptr && tomoyo_memory_ok(entry)) {
0497 ptr = entry;
0498 ptr->default_config = TOMOYO_CONFIG_DISABLED |
0499 TOMOYO_CONFIG_WANT_GRANT_LOG |
0500 TOMOYO_CONFIG_WANT_REJECT_LOG;
0501 memset(ptr->config, TOMOYO_CONFIG_USE_DEFAULT,
0502 sizeof(ptr->config));
0503 ptr->pref[TOMOYO_PREF_MAX_AUDIT_LOG] =
0504 CONFIG_SECURITY_TOMOYO_MAX_AUDIT_LOG;
0505 ptr->pref[TOMOYO_PREF_MAX_LEARNING_ENTRY] =
0506 CONFIG_SECURITY_TOMOYO_MAX_ACCEPT_ENTRY;
0507 mb();
0508 ns->profile_ptr[profile] = ptr;
0509 entry = NULL;
0510 }
0511 mutex_unlock(&tomoyo_policy_lock);
0512 out:
0513 kfree(entry);
0514 return ptr;
0515 }
0516
0517
0518
0519
0520
0521
0522
0523
0524
0525 struct tomoyo_profile *tomoyo_profile(const struct tomoyo_policy_namespace *ns,
0526 const u8 profile)
0527 {
0528 static struct tomoyo_profile tomoyo_null_profile;
0529 struct tomoyo_profile *ptr = ns->profile_ptr[profile];
0530
0531 if (!ptr)
0532 ptr = &tomoyo_null_profile;
0533 return ptr;
0534 }
0535
0536
0537
0538
0539
0540
0541
0542
0543
0544 static s8 tomoyo_find_yesno(const char *string, const char *find)
0545 {
0546 const char *cp = strstr(string, find);
0547
0548 if (cp) {
0549 cp += strlen(find);
0550 if (!strncmp(cp, "=yes", 4))
0551 return 1;
0552 else if (!strncmp(cp, "=no", 3))
0553 return 0;
0554 }
0555 return -1;
0556 }
0557
0558
0559
0560
0561
0562
0563
0564
0565
0566
0567 static void tomoyo_set_uint(unsigned int *i, const char *string,
0568 const char *find)
0569 {
0570 const char *cp = strstr(string, find);
0571
0572 if (cp)
0573 sscanf(cp + strlen(find), "=%u", i);
0574 }
0575
0576
0577
0578
0579
0580
0581
0582
0583
0584
0585 static int tomoyo_set_mode(char *name, const char *value,
0586 struct tomoyo_profile *profile)
0587 {
0588 u8 i;
0589 u8 config;
0590
0591 if (!strcmp(name, "CONFIG")) {
0592 i = TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX;
0593 config = profile->default_config;
0594 } else if (tomoyo_str_starts(&name, "CONFIG::")) {
0595 config = 0;
0596 for (i = 0; i < TOMOYO_MAX_MAC_INDEX
0597 + TOMOYO_MAX_MAC_CATEGORY_INDEX; i++) {
0598 int len = 0;
0599
0600 if (i < TOMOYO_MAX_MAC_INDEX) {
0601 const u8 c = tomoyo_index2category[i];
0602 const char *category =
0603 tomoyo_category_keywords[c];
0604
0605 len = strlen(category);
0606 if (strncmp(name, category, len) ||
0607 name[len++] != ':' || name[len++] != ':')
0608 continue;
0609 }
0610 if (strcmp(name + len, tomoyo_mac_keywords[i]))
0611 continue;
0612 config = profile->config[i];
0613 break;
0614 }
0615 if (i == TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX)
0616 return -EINVAL;
0617 } else {
0618 return -EINVAL;
0619 }
0620 if (strstr(value, "use_default")) {
0621 config = TOMOYO_CONFIG_USE_DEFAULT;
0622 } else {
0623 u8 mode;
0624
0625 for (mode = 0; mode < 4; mode++)
0626 if (strstr(value, tomoyo_mode[mode]))
0627
0628
0629
0630
0631 config = (config & ~7) | mode;
0632 if (config != TOMOYO_CONFIG_USE_DEFAULT) {
0633 switch (tomoyo_find_yesno(value, "grant_log")) {
0634 case 1:
0635 config |= TOMOYO_CONFIG_WANT_GRANT_LOG;
0636 break;
0637 case 0:
0638 config &= ~TOMOYO_CONFIG_WANT_GRANT_LOG;
0639 break;
0640 }
0641 switch (tomoyo_find_yesno(value, "reject_log")) {
0642 case 1:
0643 config |= TOMOYO_CONFIG_WANT_REJECT_LOG;
0644 break;
0645 case 0:
0646 config &= ~TOMOYO_CONFIG_WANT_REJECT_LOG;
0647 break;
0648 }
0649 }
0650 }
0651 if (i < TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX)
0652 profile->config[i] = config;
0653 else if (config != TOMOYO_CONFIG_USE_DEFAULT)
0654 profile->default_config = config;
0655 return 0;
0656 }
0657
0658
0659
0660
0661
0662
0663
0664
0665 static int tomoyo_write_profile(struct tomoyo_io_buffer *head)
0666 {
0667 char *data = head->write_buf;
0668 unsigned int i;
0669 char *cp;
0670 struct tomoyo_profile *profile;
0671
0672 if (sscanf(data, "PROFILE_VERSION=%u", &head->w.ns->profile_version)
0673 == 1)
0674 return 0;
0675 i = simple_strtoul(data, &cp, 10);
0676 if (*cp != '-')
0677 return -EINVAL;
0678 data = cp + 1;
0679 profile = tomoyo_assign_profile(head->w.ns, i);
0680 if (!profile)
0681 return -EINVAL;
0682 cp = strchr(data, '=');
0683 if (!cp)
0684 return -EINVAL;
0685 *cp++ = '\0';
0686 if (!strcmp(data, "COMMENT")) {
0687 static DEFINE_SPINLOCK(lock);
0688 const struct tomoyo_path_info *new_comment
0689 = tomoyo_get_name(cp);
0690 const struct tomoyo_path_info *old_comment;
0691
0692 if (!new_comment)
0693 return -ENOMEM;
0694 spin_lock(&lock);
0695 old_comment = profile->comment;
0696 profile->comment = new_comment;
0697 spin_unlock(&lock);
0698 tomoyo_put_name(old_comment);
0699 return 0;
0700 }
0701 if (!strcmp(data, "PREFERENCE")) {
0702 for (i = 0; i < TOMOYO_MAX_PREF; i++)
0703 tomoyo_set_uint(&profile->pref[i], cp,
0704 tomoyo_pref_keywords[i]);
0705 return 0;
0706 }
0707 return tomoyo_set_mode(data, cp, profile);
0708 }
0709
0710
0711
0712
0713
0714
0715
0716
0717
0718
0719
0720 static void tomoyo_print_config(struct tomoyo_io_buffer *head, const u8 config)
0721 {
0722 tomoyo_io_printf(head, "={ mode=%s grant_log=%s reject_log=%s }\n",
0723 tomoyo_mode[config & 3],
0724 str_yes_no(config & TOMOYO_CONFIG_WANT_GRANT_LOG),
0725 str_yes_no(config & TOMOYO_CONFIG_WANT_REJECT_LOG));
0726 }
0727
0728
0729
0730
0731
0732
0733
0734
0735 static void tomoyo_read_profile(struct tomoyo_io_buffer *head)
0736 {
0737 u8 index;
0738 struct tomoyo_policy_namespace *ns =
0739 container_of(head->r.ns, typeof(*ns), namespace_list);
0740 const struct tomoyo_profile *profile;
0741
0742 if (head->r.eof)
0743 return;
0744 next:
0745 index = head->r.index;
0746 profile = ns->profile_ptr[index];
0747 switch (head->r.step) {
0748 case 0:
0749 tomoyo_print_namespace(head);
0750 tomoyo_io_printf(head, "PROFILE_VERSION=%u\n",
0751 ns->profile_version);
0752 head->r.step++;
0753 break;
0754 case 1:
0755 for ( ; head->r.index < TOMOYO_MAX_PROFILES;
0756 head->r.index++)
0757 if (ns->profile_ptr[head->r.index])
0758 break;
0759 if (head->r.index == TOMOYO_MAX_PROFILES) {
0760 head->r.eof = true;
0761 return;
0762 }
0763 head->r.step++;
0764 break;
0765 case 2:
0766 {
0767 u8 i;
0768 const struct tomoyo_path_info *comment =
0769 profile->comment;
0770
0771 tomoyo_print_namespace(head);
0772 tomoyo_io_printf(head, "%u-COMMENT=", index);
0773 tomoyo_set_string(head, comment ? comment->name : "");
0774 tomoyo_set_lf(head);
0775 tomoyo_print_namespace(head);
0776 tomoyo_io_printf(head, "%u-PREFERENCE={ ", index);
0777 for (i = 0; i < TOMOYO_MAX_PREF; i++)
0778 tomoyo_io_printf(head, "%s=%u ",
0779 tomoyo_pref_keywords[i],
0780 profile->pref[i]);
0781 tomoyo_set_string(head, "}\n");
0782 head->r.step++;
0783 }
0784 break;
0785 case 3:
0786 {
0787 tomoyo_print_namespace(head);
0788 tomoyo_io_printf(head, "%u-%s", index, "CONFIG");
0789 tomoyo_print_config(head, profile->default_config);
0790 head->r.bit = 0;
0791 head->r.step++;
0792 }
0793 break;
0794 case 4:
0795 for ( ; head->r.bit < TOMOYO_MAX_MAC_INDEX
0796 + TOMOYO_MAX_MAC_CATEGORY_INDEX; head->r.bit++) {
0797 const u8 i = head->r.bit;
0798 const u8 config = profile->config[i];
0799
0800 if (config == TOMOYO_CONFIG_USE_DEFAULT)
0801 continue;
0802 tomoyo_print_namespace(head);
0803 if (i < TOMOYO_MAX_MAC_INDEX)
0804 tomoyo_io_printf(head, "%u-CONFIG::%s::%s",
0805 index,
0806 tomoyo_category_keywords
0807 [tomoyo_index2category[i]],
0808 tomoyo_mac_keywords[i]);
0809 else
0810 tomoyo_io_printf(head, "%u-CONFIG::%s", index,
0811 tomoyo_mac_keywords[i]);
0812 tomoyo_print_config(head, config);
0813 head->r.bit++;
0814 break;
0815 }
0816 if (head->r.bit == TOMOYO_MAX_MAC_INDEX
0817 + TOMOYO_MAX_MAC_CATEGORY_INDEX) {
0818 head->r.index++;
0819 head->r.step = 1;
0820 }
0821 break;
0822 }
0823 if (tomoyo_flush(head))
0824 goto next;
0825 }
0826
0827
0828
0829
0830
0831
0832
0833
0834
0835 static bool tomoyo_same_manager(const struct tomoyo_acl_head *a,
0836 const struct tomoyo_acl_head *b)
0837 {
0838 return container_of(a, struct tomoyo_manager, head)->manager ==
0839 container_of(b, struct tomoyo_manager, head)->manager;
0840 }
0841
0842
0843
0844
0845
0846
0847
0848
0849
0850
0851
0852 static int tomoyo_update_manager_entry(const char *manager,
0853 const bool is_delete)
0854 {
0855 struct tomoyo_manager e = { };
0856 struct tomoyo_acl_param param = {
0857
0858 .is_delete = is_delete,
0859 .list = &tomoyo_kernel_namespace.policy_list[TOMOYO_ID_MANAGER],
0860 };
0861 int error = is_delete ? -ENOENT : -ENOMEM;
0862
0863 if (!tomoyo_correct_domain(manager) &&
0864 !tomoyo_correct_word(manager))
0865 return -EINVAL;
0866 e.manager = tomoyo_get_name(manager);
0867 if (e.manager) {
0868 error = tomoyo_update_policy(&e.head, sizeof(e), ¶m,
0869 tomoyo_same_manager);
0870 tomoyo_put_name(e.manager);
0871 }
0872 return error;
0873 }
0874
0875
0876
0877
0878
0879
0880
0881
0882
0883
0884 static int tomoyo_write_manager(struct tomoyo_io_buffer *head)
0885 {
0886 char *data = head->write_buf;
0887
0888 if (!strcmp(data, "manage_by_non_root")) {
0889 tomoyo_manage_by_non_root = !head->w.is_delete;
0890 return 0;
0891 }
0892 return tomoyo_update_manager_entry(data, head->w.is_delete);
0893 }
0894
0895
0896
0897
0898
0899
0900
0901
0902 static void tomoyo_read_manager(struct tomoyo_io_buffer *head)
0903 {
0904 if (head->r.eof)
0905 return;
0906 list_for_each_cookie(head->r.acl, &tomoyo_kernel_namespace.policy_list[TOMOYO_ID_MANAGER]) {
0907 struct tomoyo_manager *ptr =
0908 list_entry(head->r.acl, typeof(*ptr), head.list);
0909
0910 if (ptr->head.is_deleted)
0911 continue;
0912 if (!tomoyo_flush(head))
0913 return;
0914 tomoyo_set_string(head, ptr->manager->name);
0915 tomoyo_set_lf(head);
0916 }
0917 head->r.eof = true;
0918 }
0919
0920
0921
0922
0923
0924
0925
0926
0927
0928 static bool tomoyo_manager(void)
0929 {
0930 struct tomoyo_manager *ptr;
0931 const char *exe;
0932 const struct task_struct *task = current;
0933 const struct tomoyo_path_info *domainname = tomoyo_domain()->domainname;
0934 bool found = IS_ENABLED(CONFIG_SECURITY_TOMOYO_INSECURE_BUILTIN_SETTING);
0935
0936 if (!tomoyo_policy_loaded)
0937 return true;
0938 if (!tomoyo_manage_by_non_root &&
0939 (!uid_eq(task->cred->uid, GLOBAL_ROOT_UID) ||
0940 !uid_eq(task->cred->euid, GLOBAL_ROOT_UID)))
0941 return false;
0942 exe = tomoyo_get_exe();
0943 if (!exe)
0944 return false;
0945 list_for_each_entry_rcu(ptr, &tomoyo_kernel_namespace.policy_list[TOMOYO_ID_MANAGER], head.list,
0946 srcu_read_lock_held(&tomoyo_ss)) {
0947 if (!ptr->head.is_deleted &&
0948 (!tomoyo_pathcmp(domainname, ptr->manager) ||
0949 !strcmp(exe, ptr->manager->name))) {
0950 found = true;
0951 break;
0952 }
0953 }
0954 if (!found) {
0955 static pid_t last_pid;
0956 const pid_t pid = current->pid;
0957
0958 if (last_pid != pid) {
0959 pr_warn("%s ( %s ) is not permitted to update policies.\n",
0960 domainname->name, exe);
0961 last_pid = pid;
0962 }
0963 }
0964 kfree(exe);
0965 return found;
0966 }
0967
0968 static struct tomoyo_domain_info *tomoyo_find_domain_by_qid
0969 (unsigned int serial);
0970
0971
0972
0973
0974
0975
0976
0977
0978
0979
0980
0981 static bool tomoyo_select_domain(struct tomoyo_io_buffer *head,
0982 const char *data)
0983 {
0984 unsigned int pid;
0985 struct tomoyo_domain_info *domain = NULL;
0986 bool global_pid = false;
0987
0988 if (strncmp(data, "select ", 7))
0989 return false;
0990 data += 7;
0991 if (sscanf(data, "pid=%u", &pid) == 1 ||
0992 (global_pid = true, sscanf(data, "global-pid=%u", &pid) == 1)) {
0993 struct task_struct *p;
0994
0995 rcu_read_lock();
0996 if (global_pid)
0997 p = find_task_by_pid_ns(pid, &init_pid_ns);
0998 else
0999 p = find_task_by_vpid(pid);
1000 if (p)
1001 domain = tomoyo_task(p)->domain_info;
1002 rcu_read_unlock();
1003 } else if (!strncmp(data, "domain=", 7)) {
1004 if (tomoyo_domain_def(data + 7))
1005 domain = tomoyo_find_domain(data + 7);
1006 } else if (sscanf(data, "Q=%u", &pid) == 1) {
1007 domain = tomoyo_find_domain_by_qid(pid);
1008 } else
1009 return false;
1010 head->w.domain = domain;
1011
1012 if (!head->read_buf)
1013 return true;
1014 memset(&head->r, 0, sizeof(head->r));
1015 head->r.print_this_domain_only = true;
1016 if (domain)
1017 head->r.domain = &domain->list;
1018 else
1019 head->r.eof = true;
1020 tomoyo_io_printf(head, "# select %s\n", data);
1021 if (domain && domain->is_deleted)
1022 tomoyo_io_printf(head, "# This is a deleted domain.\n");
1023 return true;
1024 }
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034 static bool tomoyo_same_task_acl(const struct tomoyo_acl_info *a,
1035 const struct tomoyo_acl_info *b)
1036 {
1037 const struct tomoyo_task_acl *p1 = container_of(a, typeof(*p1), head);
1038 const struct tomoyo_task_acl *p2 = container_of(b, typeof(*p2), head);
1039
1040 return p1->domainname == p2->domainname;
1041 }
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052 static int tomoyo_write_task(struct tomoyo_acl_param *param)
1053 {
1054 int error = -EINVAL;
1055
1056 if (tomoyo_str_starts(¶m->data, "manual_domain_transition ")) {
1057 struct tomoyo_task_acl e = {
1058 .head.type = TOMOYO_TYPE_MANUAL_TASK_ACL,
1059 .domainname = tomoyo_get_domainname(param),
1060 };
1061
1062 if (e.domainname)
1063 error = tomoyo_update_domain(&e.head, sizeof(e), param,
1064 tomoyo_same_task_acl,
1065 NULL);
1066 tomoyo_put_name(e.domainname);
1067 }
1068 return error;
1069 }
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080 static int tomoyo_delete_domain(char *domainname)
1081 {
1082 struct tomoyo_domain_info *domain;
1083 struct tomoyo_path_info name;
1084
1085 name.name = domainname;
1086 tomoyo_fill_path_info(&name);
1087 if (mutex_lock_interruptible(&tomoyo_policy_lock))
1088 return -EINTR;
1089
1090 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list,
1091 srcu_read_lock_held(&tomoyo_ss)) {
1092
1093 if (domain == &tomoyo_kernel_domain)
1094 continue;
1095 if (domain->is_deleted ||
1096 tomoyo_pathcmp(domain->domainname, &name))
1097 continue;
1098 domain->is_deleted = true;
1099 break;
1100 }
1101 mutex_unlock(&tomoyo_policy_lock);
1102 return 0;
1103 }
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117 static int tomoyo_write_domain2(struct tomoyo_policy_namespace *ns,
1118 struct list_head *list, char *data,
1119 const bool is_delete)
1120 {
1121 struct tomoyo_acl_param param = {
1122 .ns = ns,
1123 .list = list,
1124 .data = data,
1125 .is_delete = is_delete,
1126 };
1127 static const struct {
1128 const char *keyword;
1129 int (*write)(struct tomoyo_acl_param *param);
1130 } tomoyo_callback[5] = {
1131 { "file ", tomoyo_write_file },
1132 { "network inet ", tomoyo_write_inet_network },
1133 { "network unix ", tomoyo_write_unix_network },
1134 { "misc ", tomoyo_write_misc },
1135 { "task ", tomoyo_write_task },
1136 };
1137 u8 i;
1138
1139 for (i = 0; i < ARRAY_SIZE(tomoyo_callback); i++) {
1140 if (!tomoyo_str_starts(¶m.data,
1141 tomoyo_callback[i].keyword))
1142 continue;
1143 return tomoyo_callback[i].write(¶m);
1144 }
1145 return -EINVAL;
1146 }
1147
1148
1149 const char * const tomoyo_dif[TOMOYO_MAX_DOMAIN_INFO_FLAGS] = {
1150 [TOMOYO_DIF_QUOTA_WARNED] = "quota_exceeded\n",
1151 [TOMOYO_DIF_TRANSITION_FAILED] = "transition_failed\n",
1152 };
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163 static int tomoyo_write_domain(struct tomoyo_io_buffer *head)
1164 {
1165 char *data = head->write_buf;
1166 struct tomoyo_policy_namespace *ns;
1167 struct tomoyo_domain_info *domain = head->w.domain;
1168 const bool is_delete = head->w.is_delete;
1169 bool is_select = !is_delete && tomoyo_str_starts(&data, "select ");
1170 unsigned int idx;
1171
1172 if (*data == '<') {
1173 int ret = 0;
1174
1175 domain = NULL;
1176 if (is_delete)
1177 ret = tomoyo_delete_domain(data);
1178 else if (is_select)
1179 domain = tomoyo_find_domain(data);
1180 else
1181 domain = tomoyo_assign_domain(data, false);
1182 head->w.domain = domain;
1183 return ret;
1184 }
1185 if (!domain)
1186 return -EINVAL;
1187 ns = domain->ns;
1188 if (sscanf(data, "use_profile %u", &idx) == 1
1189 && idx < TOMOYO_MAX_PROFILES) {
1190 if (!tomoyo_policy_loaded || ns->profile_ptr[idx])
1191 if (!is_delete)
1192 domain->profile = (u8) idx;
1193 return 0;
1194 }
1195 if (sscanf(data, "use_group %u\n", &idx) == 1
1196 && idx < TOMOYO_MAX_ACL_GROUPS) {
1197 if (!is_delete)
1198 set_bit(idx, domain->group);
1199 else
1200 clear_bit(idx, domain->group);
1201 return 0;
1202 }
1203 for (idx = 0; idx < TOMOYO_MAX_DOMAIN_INFO_FLAGS; idx++) {
1204 const char *cp = tomoyo_dif[idx];
1205
1206 if (strncmp(data, cp, strlen(cp) - 1))
1207 continue;
1208 domain->flags[idx] = !is_delete;
1209 return 0;
1210 }
1211 return tomoyo_write_domain2(ns, &domain->acl_info_list, data,
1212 is_delete);
1213 }
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223 static bool tomoyo_print_condition(struct tomoyo_io_buffer *head,
1224 const struct tomoyo_condition *cond)
1225 {
1226 switch (head->r.cond_step) {
1227 case 0:
1228 head->r.cond_index = 0;
1229 head->r.cond_step++;
1230 if (cond->transit) {
1231 tomoyo_set_space(head);
1232 tomoyo_set_string(head, cond->transit->name);
1233 }
1234 fallthrough;
1235 case 1:
1236 {
1237 const u16 condc = cond->condc;
1238 const struct tomoyo_condition_element *condp =
1239 (typeof(condp)) (cond + 1);
1240 const struct tomoyo_number_union *numbers_p =
1241 (typeof(numbers_p)) (condp + condc);
1242 const struct tomoyo_name_union *names_p =
1243 (typeof(names_p))
1244 (numbers_p + cond->numbers_count);
1245 const struct tomoyo_argv *argv =
1246 (typeof(argv)) (names_p + cond->names_count);
1247 const struct tomoyo_envp *envp =
1248 (typeof(envp)) (argv + cond->argc);
1249 u16 skip;
1250
1251 for (skip = 0; skip < head->r.cond_index; skip++) {
1252 const u8 left = condp->left;
1253 const u8 right = condp->right;
1254
1255 condp++;
1256 switch (left) {
1257 case TOMOYO_ARGV_ENTRY:
1258 argv++;
1259 continue;
1260 case TOMOYO_ENVP_ENTRY:
1261 envp++;
1262 continue;
1263 case TOMOYO_NUMBER_UNION:
1264 numbers_p++;
1265 break;
1266 }
1267 switch (right) {
1268 case TOMOYO_NAME_UNION:
1269 names_p++;
1270 break;
1271 case TOMOYO_NUMBER_UNION:
1272 numbers_p++;
1273 break;
1274 }
1275 }
1276 while (head->r.cond_index < condc) {
1277 const u8 match = condp->equals;
1278 const u8 left = condp->left;
1279 const u8 right = condp->right;
1280
1281 if (!tomoyo_flush(head))
1282 return false;
1283 condp++;
1284 head->r.cond_index++;
1285 tomoyo_set_space(head);
1286 switch (left) {
1287 case TOMOYO_ARGV_ENTRY:
1288 tomoyo_io_printf(head,
1289 "exec.argv[%lu]%s=\"",
1290 argv->index, argv->is_not ? "!" : "");
1291 tomoyo_set_string(head,
1292 argv->value->name);
1293 tomoyo_set_string(head, "\"");
1294 argv++;
1295 continue;
1296 case TOMOYO_ENVP_ENTRY:
1297 tomoyo_set_string(head,
1298 "exec.envp[\"");
1299 tomoyo_set_string(head,
1300 envp->name->name);
1301 tomoyo_io_printf(head, "\"]%s=", envp->is_not ? "!" : "");
1302 if (envp->value) {
1303 tomoyo_set_string(head, "\"");
1304 tomoyo_set_string(head, envp->value->name);
1305 tomoyo_set_string(head, "\"");
1306 } else {
1307 tomoyo_set_string(head,
1308 "NULL");
1309 }
1310 envp++;
1311 continue;
1312 case TOMOYO_NUMBER_UNION:
1313 tomoyo_print_number_union_nospace
1314 (head, numbers_p++);
1315 break;
1316 default:
1317 tomoyo_set_string(head,
1318 tomoyo_condition_keyword[left]);
1319 break;
1320 }
1321 tomoyo_set_string(head, match ? "=" : "!=");
1322 switch (right) {
1323 case TOMOYO_NAME_UNION:
1324 tomoyo_print_name_union_quoted
1325 (head, names_p++);
1326 break;
1327 case TOMOYO_NUMBER_UNION:
1328 tomoyo_print_number_union_nospace
1329 (head, numbers_p++);
1330 break;
1331 default:
1332 tomoyo_set_string(head,
1333 tomoyo_condition_keyword[right]);
1334 break;
1335 }
1336 }
1337 }
1338 head->r.cond_step++;
1339 fallthrough;
1340 case 2:
1341 if (!tomoyo_flush(head))
1342 break;
1343 head->r.cond_step++;
1344 fallthrough;
1345 case 3:
1346 if (cond->grant_log != TOMOYO_GRANTLOG_AUTO)
1347 tomoyo_io_printf(head, " grant_log=%s",
1348 str_yes_no(cond->grant_log ==
1349 TOMOYO_GRANTLOG_YES));
1350 tomoyo_set_lf(head);
1351 return true;
1352 }
1353 return false;
1354 }
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364 static void tomoyo_set_group(struct tomoyo_io_buffer *head,
1365 const char *category)
1366 {
1367 if (head->type == TOMOYO_EXCEPTIONPOLICY) {
1368 tomoyo_print_namespace(head);
1369 tomoyo_io_printf(head, "acl_group %u ",
1370 head->r.acl_group_index);
1371 }
1372 tomoyo_set_string(head, category);
1373 }
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383 static bool tomoyo_print_entry(struct tomoyo_io_buffer *head,
1384 struct tomoyo_acl_info *acl)
1385 {
1386 const u8 acl_type = acl->type;
1387 bool first = true;
1388 u8 bit;
1389
1390 if (head->r.print_cond_part)
1391 goto print_cond_part;
1392 if (acl->is_deleted)
1393 return true;
1394 if (!tomoyo_flush(head))
1395 return false;
1396 else if (acl_type == TOMOYO_TYPE_PATH_ACL) {
1397 struct tomoyo_path_acl *ptr =
1398 container_of(acl, typeof(*ptr), head);
1399 const u16 perm = ptr->perm;
1400
1401 for (bit = 0; bit < TOMOYO_MAX_PATH_OPERATION; bit++) {
1402 if (!(perm & (1 << bit)))
1403 continue;
1404 if (head->r.print_transition_related_only &&
1405 bit != TOMOYO_TYPE_EXECUTE)
1406 continue;
1407 if (first) {
1408 tomoyo_set_group(head, "file ");
1409 first = false;
1410 } else {
1411 tomoyo_set_slash(head);
1412 }
1413 tomoyo_set_string(head, tomoyo_path_keyword[bit]);
1414 }
1415 if (first)
1416 return true;
1417 tomoyo_print_name_union(head, &ptr->name);
1418 } else if (acl_type == TOMOYO_TYPE_MANUAL_TASK_ACL) {
1419 struct tomoyo_task_acl *ptr =
1420 container_of(acl, typeof(*ptr), head);
1421
1422 tomoyo_set_group(head, "task ");
1423 tomoyo_set_string(head, "manual_domain_transition ");
1424 tomoyo_set_string(head, ptr->domainname->name);
1425 } else if (head->r.print_transition_related_only) {
1426 return true;
1427 } else if (acl_type == TOMOYO_TYPE_PATH2_ACL) {
1428 struct tomoyo_path2_acl *ptr =
1429 container_of(acl, typeof(*ptr), head);
1430 const u8 perm = ptr->perm;
1431
1432 for (bit = 0; bit < TOMOYO_MAX_PATH2_OPERATION; bit++) {
1433 if (!(perm & (1 << bit)))
1434 continue;
1435 if (first) {
1436 tomoyo_set_group(head, "file ");
1437 first = false;
1438 } else {
1439 tomoyo_set_slash(head);
1440 }
1441 tomoyo_set_string(head, tomoyo_mac_keywords
1442 [tomoyo_pp2mac[bit]]);
1443 }
1444 if (first)
1445 return true;
1446 tomoyo_print_name_union(head, &ptr->name1);
1447 tomoyo_print_name_union(head, &ptr->name2);
1448 } else if (acl_type == TOMOYO_TYPE_PATH_NUMBER_ACL) {
1449 struct tomoyo_path_number_acl *ptr =
1450 container_of(acl, typeof(*ptr), head);
1451 const u8 perm = ptr->perm;
1452
1453 for (bit = 0; bit < TOMOYO_MAX_PATH_NUMBER_OPERATION; bit++) {
1454 if (!(perm & (1 << bit)))
1455 continue;
1456 if (first) {
1457 tomoyo_set_group(head, "file ");
1458 first = false;
1459 } else {
1460 tomoyo_set_slash(head);
1461 }
1462 tomoyo_set_string(head, tomoyo_mac_keywords
1463 [tomoyo_pn2mac[bit]]);
1464 }
1465 if (first)
1466 return true;
1467 tomoyo_print_name_union(head, &ptr->name);
1468 tomoyo_print_number_union(head, &ptr->number);
1469 } else if (acl_type == TOMOYO_TYPE_MKDEV_ACL) {
1470 struct tomoyo_mkdev_acl *ptr =
1471 container_of(acl, typeof(*ptr), head);
1472 const u8 perm = ptr->perm;
1473
1474 for (bit = 0; bit < TOMOYO_MAX_MKDEV_OPERATION; bit++) {
1475 if (!(perm & (1 << bit)))
1476 continue;
1477 if (first) {
1478 tomoyo_set_group(head, "file ");
1479 first = false;
1480 } else {
1481 tomoyo_set_slash(head);
1482 }
1483 tomoyo_set_string(head, tomoyo_mac_keywords
1484 [tomoyo_pnnn2mac[bit]]);
1485 }
1486 if (first)
1487 return true;
1488 tomoyo_print_name_union(head, &ptr->name);
1489 tomoyo_print_number_union(head, &ptr->mode);
1490 tomoyo_print_number_union(head, &ptr->major);
1491 tomoyo_print_number_union(head, &ptr->minor);
1492 } else if (acl_type == TOMOYO_TYPE_INET_ACL) {
1493 struct tomoyo_inet_acl *ptr =
1494 container_of(acl, typeof(*ptr), head);
1495 const u8 perm = ptr->perm;
1496
1497 for (bit = 0; bit < TOMOYO_MAX_NETWORK_OPERATION; bit++) {
1498 if (!(perm & (1 << bit)))
1499 continue;
1500 if (first) {
1501 tomoyo_set_group(head, "network inet ");
1502 tomoyo_set_string(head, tomoyo_proto_keyword
1503 [ptr->protocol]);
1504 tomoyo_set_space(head);
1505 first = false;
1506 } else {
1507 tomoyo_set_slash(head);
1508 }
1509 tomoyo_set_string(head, tomoyo_socket_keyword[bit]);
1510 }
1511 if (first)
1512 return true;
1513 tomoyo_set_space(head);
1514 if (ptr->address.group) {
1515 tomoyo_set_string(head, "@");
1516 tomoyo_set_string(head, ptr->address.group->group_name
1517 ->name);
1518 } else {
1519 char buf[128];
1520
1521 tomoyo_print_ip(buf, sizeof(buf), &ptr->address);
1522 tomoyo_io_printf(head, "%s", buf);
1523 }
1524 tomoyo_print_number_union(head, &ptr->port);
1525 } else if (acl_type == TOMOYO_TYPE_UNIX_ACL) {
1526 struct tomoyo_unix_acl *ptr =
1527 container_of(acl, typeof(*ptr), head);
1528 const u8 perm = ptr->perm;
1529
1530 for (bit = 0; bit < TOMOYO_MAX_NETWORK_OPERATION; bit++) {
1531 if (!(perm & (1 << bit)))
1532 continue;
1533 if (first) {
1534 tomoyo_set_group(head, "network unix ");
1535 tomoyo_set_string(head, tomoyo_proto_keyword
1536 [ptr->protocol]);
1537 tomoyo_set_space(head);
1538 first = false;
1539 } else {
1540 tomoyo_set_slash(head);
1541 }
1542 tomoyo_set_string(head, tomoyo_socket_keyword[bit]);
1543 }
1544 if (first)
1545 return true;
1546 tomoyo_print_name_union(head, &ptr->name);
1547 } else if (acl_type == TOMOYO_TYPE_MOUNT_ACL) {
1548 struct tomoyo_mount_acl *ptr =
1549 container_of(acl, typeof(*ptr), head);
1550
1551 tomoyo_set_group(head, "file mount");
1552 tomoyo_print_name_union(head, &ptr->dev_name);
1553 tomoyo_print_name_union(head, &ptr->dir_name);
1554 tomoyo_print_name_union(head, &ptr->fs_type);
1555 tomoyo_print_number_union(head, &ptr->flags);
1556 } else if (acl_type == TOMOYO_TYPE_ENV_ACL) {
1557 struct tomoyo_env_acl *ptr =
1558 container_of(acl, typeof(*ptr), head);
1559
1560 tomoyo_set_group(head, "misc env ");
1561 tomoyo_set_string(head, ptr->env->name);
1562 }
1563 if (acl->cond) {
1564 head->r.print_cond_part = true;
1565 head->r.cond_step = 0;
1566 if (!tomoyo_flush(head))
1567 return false;
1568 print_cond_part:
1569 if (!tomoyo_print_condition(head, acl->cond))
1570 return false;
1571 head->r.print_cond_part = false;
1572 } else {
1573 tomoyo_set_lf(head);
1574 }
1575 return true;
1576 }
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588 static bool tomoyo_read_domain2(struct tomoyo_io_buffer *head,
1589 struct list_head *list)
1590 {
1591 list_for_each_cookie(head->r.acl, list) {
1592 struct tomoyo_acl_info *ptr =
1593 list_entry(head->r.acl, typeof(*ptr), list);
1594
1595 if (!tomoyo_print_entry(head, ptr))
1596 return false;
1597 }
1598 head->r.acl = NULL;
1599 return true;
1600 }
1601
1602
1603
1604
1605
1606
1607
1608
1609 static void tomoyo_read_domain(struct tomoyo_io_buffer *head)
1610 {
1611 if (head->r.eof)
1612 return;
1613 list_for_each_cookie(head->r.domain, &tomoyo_domain_list) {
1614 struct tomoyo_domain_info *domain =
1615 list_entry(head->r.domain, typeof(*domain), list);
1616 u8 i;
1617
1618 switch (head->r.step) {
1619 case 0:
1620 if (domain->is_deleted &&
1621 !head->r.print_this_domain_only)
1622 continue;
1623
1624 tomoyo_set_string(head, domain->domainname->name);
1625 tomoyo_set_lf(head);
1626 tomoyo_io_printf(head, "use_profile %u\n",
1627 domain->profile);
1628 for (i = 0; i < TOMOYO_MAX_DOMAIN_INFO_FLAGS; i++)
1629 if (domain->flags[i])
1630 tomoyo_set_string(head, tomoyo_dif[i]);
1631 head->r.index = 0;
1632 head->r.step++;
1633 fallthrough;
1634 case 1:
1635 while (head->r.index < TOMOYO_MAX_ACL_GROUPS) {
1636 i = head->r.index++;
1637 if (!test_bit(i, domain->group))
1638 continue;
1639 tomoyo_io_printf(head, "use_group %u\n", i);
1640 if (!tomoyo_flush(head))
1641 return;
1642 }
1643 head->r.index = 0;
1644 head->r.step++;
1645 tomoyo_set_lf(head);
1646 fallthrough;
1647 case 2:
1648 if (!tomoyo_read_domain2(head, &domain->acl_info_list))
1649 return;
1650 head->r.step++;
1651 if (!tomoyo_set_lf(head))
1652 return;
1653 fallthrough;
1654 case 3:
1655 head->r.step = 0;
1656 if (head->r.print_this_domain_only)
1657 goto done;
1658 }
1659 }
1660 done:
1661 head->r.eof = true;
1662 }
1663
1664
1665
1666
1667
1668
1669
1670
1671 static int tomoyo_write_pid(struct tomoyo_io_buffer *head)
1672 {
1673 head->r.eof = false;
1674 return 0;
1675 }
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687 static void tomoyo_read_pid(struct tomoyo_io_buffer *head)
1688 {
1689 char *buf = head->write_buf;
1690 bool global_pid = false;
1691 unsigned int pid;
1692 struct task_struct *p;
1693 struct tomoyo_domain_info *domain = NULL;
1694
1695
1696 if (!buf) {
1697 head->r.eof = true;
1698 return;
1699 }
1700 if (head->r.w_pos || head->r.eof)
1701 return;
1702 head->r.eof = true;
1703 if (tomoyo_str_starts(&buf, "global-pid "))
1704 global_pid = true;
1705 if (kstrtouint(buf, 10, &pid))
1706 return;
1707 rcu_read_lock();
1708 if (global_pid)
1709 p = find_task_by_pid_ns(pid, &init_pid_ns);
1710 else
1711 p = find_task_by_vpid(pid);
1712 if (p)
1713 domain = tomoyo_task(p)->domain_info;
1714 rcu_read_unlock();
1715 if (!domain)
1716 return;
1717 tomoyo_io_printf(head, "%u %u ", pid, domain->profile);
1718 tomoyo_set_string(head, domain->domainname->name);
1719 }
1720
1721
1722 static const char *tomoyo_transition_type[TOMOYO_MAX_TRANSITION_TYPE] = {
1723 [TOMOYO_TRANSITION_CONTROL_NO_RESET] = "no_reset_domain ",
1724 [TOMOYO_TRANSITION_CONTROL_RESET] = "reset_domain ",
1725 [TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE] = "no_initialize_domain ",
1726 [TOMOYO_TRANSITION_CONTROL_INITIALIZE] = "initialize_domain ",
1727 [TOMOYO_TRANSITION_CONTROL_NO_KEEP] = "no_keep_domain ",
1728 [TOMOYO_TRANSITION_CONTROL_KEEP] = "keep_domain ",
1729 };
1730
1731
1732 static const char *tomoyo_group_name[TOMOYO_MAX_GROUP] = {
1733 [TOMOYO_PATH_GROUP] = "path_group ",
1734 [TOMOYO_NUMBER_GROUP] = "number_group ",
1735 [TOMOYO_ADDRESS_GROUP] = "address_group ",
1736 };
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747 static int tomoyo_write_exception(struct tomoyo_io_buffer *head)
1748 {
1749 const bool is_delete = head->w.is_delete;
1750 struct tomoyo_acl_param param = {
1751 .ns = head->w.ns,
1752 .is_delete = is_delete,
1753 .data = head->write_buf,
1754 };
1755 u8 i;
1756
1757 if (tomoyo_str_starts(¶m.data, "aggregator "))
1758 return tomoyo_write_aggregator(¶m);
1759 for (i = 0; i < TOMOYO_MAX_TRANSITION_TYPE; i++)
1760 if (tomoyo_str_starts(¶m.data, tomoyo_transition_type[i]))
1761 return tomoyo_write_transition_control(¶m, i);
1762 for (i = 0; i < TOMOYO_MAX_GROUP; i++)
1763 if (tomoyo_str_starts(¶m.data, tomoyo_group_name[i]))
1764 return tomoyo_write_group(¶m, i);
1765 if (tomoyo_str_starts(¶m.data, "acl_group ")) {
1766 unsigned int group;
1767 char *data;
1768
1769 group = simple_strtoul(param.data, &data, 10);
1770 if (group < TOMOYO_MAX_ACL_GROUPS && *data++ == ' ')
1771 return tomoyo_write_domain2
1772 (head->w.ns, &head->w.ns->acl_group[group],
1773 data, is_delete);
1774 }
1775 return -EINVAL;
1776 }
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788 static bool tomoyo_read_group(struct tomoyo_io_buffer *head, const int idx)
1789 {
1790 struct tomoyo_policy_namespace *ns =
1791 container_of(head->r.ns, typeof(*ns), namespace_list);
1792 struct list_head *list = &ns->group_list[idx];
1793
1794 list_for_each_cookie(head->r.group, list) {
1795 struct tomoyo_group *group =
1796 list_entry(head->r.group, typeof(*group), head.list);
1797
1798 list_for_each_cookie(head->r.acl, &group->member_list) {
1799 struct tomoyo_acl_head *ptr =
1800 list_entry(head->r.acl, typeof(*ptr), list);
1801
1802 if (ptr->is_deleted)
1803 continue;
1804 if (!tomoyo_flush(head))
1805 return false;
1806 tomoyo_print_namespace(head);
1807 tomoyo_set_string(head, tomoyo_group_name[idx]);
1808 tomoyo_set_string(head, group->group_name->name);
1809 if (idx == TOMOYO_PATH_GROUP) {
1810 tomoyo_set_space(head);
1811 tomoyo_set_string(head, container_of
1812 (ptr, struct tomoyo_path_group,
1813 head)->member_name->name);
1814 } else if (idx == TOMOYO_NUMBER_GROUP) {
1815 tomoyo_print_number_union(head, &container_of
1816 (ptr,
1817 struct tomoyo_number_group,
1818 head)->number);
1819 } else if (idx == TOMOYO_ADDRESS_GROUP) {
1820 char buffer[128];
1821 struct tomoyo_address_group *member =
1822 container_of(ptr, typeof(*member),
1823 head);
1824
1825 tomoyo_print_ip(buffer, sizeof(buffer),
1826 &member->address);
1827 tomoyo_io_printf(head, " %s", buffer);
1828 }
1829 tomoyo_set_lf(head);
1830 }
1831 head->r.acl = NULL;
1832 }
1833 head->r.group = NULL;
1834 return true;
1835 }
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847 static bool tomoyo_read_policy(struct tomoyo_io_buffer *head, const int idx)
1848 {
1849 struct tomoyo_policy_namespace *ns =
1850 container_of(head->r.ns, typeof(*ns), namespace_list);
1851 struct list_head *list = &ns->policy_list[idx];
1852
1853 list_for_each_cookie(head->r.acl, list) {
1854 struct tomoyo_acl_head *acl =
1855 container_of(head->r.acl, typeof(*acl), list);
1856 if (acl->is_deleted)
1857 continue;
1858 if (!tomoyo_flush(head))
1859 return false;
1860 switch (idx) {
1861 case TOMOYO_ID_TRANSITION_CONTROL:
1862 {
1863 struct tomoyo_transition_control *ptr =
1864 container_of(acl, typeof(*ptr), head);
1865
1866 tomoyo_print_namespace(head);
1867 tomoyo_set_string(head, tomoyo_transition_type
1868 [ptr->type]);
1869 tomoyo_set_string(head, ptr->program ?
1870 ptr->program->name : "any");
1871 tomoyo_set_string(head, " from ");
1872 tomoyo_set_string(head, ptr->domainname ?
1873 ptr->domainname->name :
1874 "any");
1875 }
1876 break;
1877 case TOMOYO_ID_AGGREGATOR:
1878 {
1879 struct tomoyo_aggregator *ptr =
1880 container_of(acl, typeof(*ptr), head);
1881
1882 tomoyo_print_namespace(head);
1883 tomoyo_set_string(head, "aggregator ");
1884 tomoyo_set_string(head,
1885 ptr->original_name->name);
1886 tomoyo_set_space(head);
1887 tomoyo_set_string(head,
1888 ptr->aggregated_name->name);
1889 }
1890 break;
1891 default:
1892 continue;
1893 }
1894 tomoyo_set_lf(head);
1895 }
1896 head->r.acl = NULL;
1897 return true;
1898 }
1899
1900
1901
1902
1903
1904
1905
1906
1907 static void tomoyo_read_exception(struct tomoyo_io_buffer *head)
1908 {
1909 struct tomoyo_policy_namespace *ns =
1910 container_of(head->r.ns, typeof(*ns), namespace_list);
1911
1912 if (head->r.eof)
1913 return;
1914 while (head->r.step < TOMOYO_MAX_POLICY &&
1915 tomoyo_read_policy(head, head->r.step))
1916 head->r.step++;
1917 if (head->r.step < TOMOYO_MAX_POLICY)
1918 return;
1919 while (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP &&
1920 tomoyo_read_group(head, head->r.step - TOMOYO_MAX_POLICY))
1921 head->r.step++;
1922 if (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP)
1923 return;
1924 while (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP
1925 + TOMOYO_MAX_ACL_GROUPS) {
1926 head->r.acl_group_index = head->r.step - TOMOYO_MAX_POLICY
1927 - TOMOYO_MAX_GROUP;
1928 if (!tomoyo_read_domain2(head, &ns->acl_group
1929 [head->r.acl_group_index]))
1930 return;
1931 head->r.step++;
1932 }
1933 head->r.eof = true;
1934 }
1935
1936
1937 static DECLARE_WAIT_QUEUE_HEAD(tomoyo_query_wait);
1938
1939 static DECLARE_WAIT_QUEUE_HEAD(tomoyo_answer_wait);
1940
1941
1942 struct tomoyo_query {
1943 struct list_head list;
1944 struct tomoyo_domain_info *domain;
1945 char *query;
1946 size_t query_len;
1947 unsigned int serial;
1948 u8 timer;
1949 u8 answer;
1950 u8 retry;
1951 };
1952
1953
1954 static LIST_HEAD(tomoyo_query_list);
1955
1956
1957 static DEFINE_SPINLOCK(tomoyo_query_list_lock);
1958
1959
1960
1961
1962
1963 static atomic_t tomoyo_query_observers = ATOMIC_INIT(0);
1964
1965
1966
1967
1968
1969
1970
1971
1972 static int tomoyo_truncate(char *str)
1973 {
1974 char *start = str;
1975
1976 while (*(unsigned char *) str > (unsigned char) ' ')
1977 str++;
1978 *str = '\0';
1979 return strlen(start) + 1;
1980 }
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990 static void tomoyo_add_entry(struct tomoyo_domain_info *domain, char *header)
1991 {
1992 char *buffer;
1993 char *realpath = NULL;
1994 char *argv0 = NULL;
1995 char *symlink = NULL;
1996 char *cp = strchr(header, '\n');
1997 int len;
1998
1999 if (!cp)
2000 return;
2001 cp = strchr(cp + 1, '\n');
2002 if (!cp)
2003 return;
2004 *cp++ = '\0';
2005 len = strlen(cp) + 1;
2006
2007 if (*cp == 'f') {
2008 argv0 = strstr(header, " argv[]={ \"");
2009 if (argv0) {
2010 argv0 += 10;
2011 len += tomoyo_truncate(argv0) + 14;
2012 }
2013 realpath = strstr(header, " exec={ realpath=\"");
2014 if (realpath) {
2015 realpath += 8;
2016 len += tomoyo_truncate(realpath) + 6;
2017 }
2018 symlink = strstr(header, " symlink.target=\"");
2019 if (symlink)
2020 len += tomoyo_truncate(symlink + 1) + 1;
2021 }
2022 buffer = kmalloc(len, GFP_NOFS);
2023 if (!buffer)
2024 return;
2025 snprintf(buffer, len - 1, "%s", cp);
2026 if (realpath)
2027 tomoyo_addprintf(buffer, len, " exec.%s", realpath);
2028 if (argv0)
2029 tomoyo_addprintf(buffer, len, " exec.argv[0]=%s", argv0);
2030 if (symlink)
2031 tomoyo_addprintf(buffer, len, "%s", symlink);
2032 tomoyo_normalize_line(buffer);
2033 if (!tomoyo_write_domain2(domain->ns, &domain->acl_info_list, buffer,
2034 false))
2035 tomoyo_update_stat(TOMOYO_STAT_POLICY_UPDATES);
2036 kfree(buffer);
2037 }
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050 int tomoyo_supervisor(struct tomoyo_request_info *r, const char *fmt, ...)
2051 {
2052 va_list args;
2053 int error;
2054 int len;
2055 static unsigned int tomoyo_serial;
2056 struct tomoyo_query entry = { };
2057 bool quota_exceeded = false;
2058
2059 va_start(args, fmt);
2060 len = vsnprintf((char *) &len, 1, fmt, args) + 1;
2061 va_end(args);
2062
2063 va_start(args, fmt);
2064 tomoyo_write_log2(r, len, fmt, args);
2065 va_end(args);
2066
2067 if (r->granted)
2068 return 0;
2069 if (r->mode)
2070 tomoyo_update_stat(r->mode);
2071 switch (r->mode) {
2072 case TOMOYO_CONFIG_ENFORCING:
2073 error = -EPERM;
2074 if (atomic_read(&tomoyo_query_observers))
2075 break;
2076 goto out;
2077 case TOMOYO_CONFIG_LEARNING:
2078 error = 0;
2079
2080 if (tomoyo_domain_quota_is_ok(r))
2081 break;
2082 fallthrough;
2083 default:
2084 return 0;
2085 }
2086
2087 va_start(args, fmt);
2088 entry.query = tomoyo_init_log(r, len, fmt, args);
2089 va_end(args);
2090 if (!entry.query)
2091 goto out;
2092 entry.query_len = strlen(entry.query) + 1;
2093 if (!error) {
2094 tomoyo_add_entry(r->domain, entry.query);
2095 goto out;
2096 }
2097 len = tomoyo_round2(entry.query_len);
2098 entry.domain = r->domain;
2099 spin_lock(&tomoyo_query_list_lock);
2100 if (tomoyo_memory_quota[TOMOYO_MEMORY_QUERY] &&
2101 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] + len
2102 >= tomoyo_memory_quota[TOMOYO_MEMORY_QUERY]) {
2103 quota_exceeded = true;
2104 } else {
2105 entry.serial = tomoyo_serial++;
2106 entry.retry = r->retry;
2107 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] += len;
2108 list_add_tail(&entry.list, &tomoyo_query_list);
2109 }
2110 spin_unlock(&tomoyo_query_list_lock);
2111 if (quota_exceeded)
2112 goto out;
2113
2114 while (entry.timer < 10) {
2115 wake_up_all(&tomoyo_query_wait);
2116 if (wait_event_interruptible_timeout
2117 (tomoyo_answer_wait, entry.answer ||
2118 !atomic_read(&tomoyo_query_observers), HZ))
2119 break;
2120 entry.timer++;
2121 }
2122 spin_lock(&tomoyo_query_list_lock);
2123 list_del(&entry.list);
2124 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] -= len;
2125 spin_unlock(&tomoyo_query_list_lock);
2126 switch (entry.answer) {
2127 case 3:
2128 error = TOMOYO_RETRY_REQUEST;
2129 r->retry++;
2130 break;
2131 case 1:
2132
2133 error = 0;
2134 break;
2135 default:
2136
2137 break;
2138 }
2139 out:
2140 kfree(entry.query);
2141 return error;
2142 }
2143
2144
2145
2146
2147
2148
2149
2150
2151 static struct tomoyo_domain_info *tomoyo_find_domain_by_qid
2152 (unsigned int serial)
2153 {
2154 struct tomoyo_query *ptr;
2155 struct tomoyo_domain_info *domain = NULL;
2156
2157 spin_lock(&tomoyo_query_list_lock);
2158 list_for_each_entry(ptr, &tomoyo_query_list, list) {
2159 if (ptr->serial != serial)
2160 continue;
2161 domain = ptr->domain;
2162 break;
2163 }
2164 spin_unlock(&tomoyo_query_list_lock);
2165 return domain;
2166 }
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178 static __poll_t tomoyo_poll_query(struct file *file, poll_table *wait)
2179 {
2180 if (!list_empty(&tomoyo_query_list))
2181 return EPOLLIN | EPOLLRDNORM;
2182 poll_wait(file, &tomoyo_query_wait, wait);
2183 if (!list_empty(&tomoyo_query_list))
2184 return EPOLLIN | EPOLLRDNORM;
2185 return 0;
2186 }
2187
2188
2189
2190
2191
2192
2193 static void tomoyo_read_query(struct tomoyo_io_buffer *head)
2194 {
2195 struct list_head *tmp;
2196 unsigned int pos = 0;
2197 size_t len = 0;
2198 char *buf;
2199
2200 if (head->r.w_pos)
2201 return;
2202 kfree(head->read_buf);
2203 head->read_buf = NULL;
2204 spin_lock(&tomoyo_query_list_lock);
2205 list_for_each(tmp, &tomoyo_query_list) {
2206 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2207
2208 if (pos++ != head->r.query_index)
2209 continue;
2210 len = ptr->query_len;
2211 break;
2212 }
2213 spin_unlock(&tomoyo_query_list_lock);
2214 if (!len) {
2215 head->r.query_index = 0;
2216 return;
2217 }
2218 buf = kzalloc(len + 32, GFP_NOFS);
2219 if (!buf)
2220 return;
2221 pos = 0;
2222 spin_lock(&tomoyo_query_list_lock);
2223 list_for_each(tmp, &tomoyo_query_list) {
2224 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2225
2226 if (pos++ != head->r.query_index)
2227 continue;
2228
2229
2230
2231
2232 if (len == ptr->query_len)
2233 snprintf(buf, len + 31, "Q%u-%hu\n%s", ptr->serial,
2234 ptr->retry, ptr->query);
2235 break;
2236 }
2237 spin_unlock(&tomoyo_query_list_lock);
2238 if (buf[0]) {
2239 head->read_buf = buf;
2240 head->r.w[head->r.w_pos++] = buf;
2241 head->r.query_index++;
2242 } else {
2243 kfree(buf);
2244 }
2245 }
2246
2247
2248
2249
2250
2251
2252
2253
2254 static int tomoyo_write_answer(struct tomoyo_io_buffer *head)
2255 {
2256 char *data = head->write_buf;
2257 struct list_head *tmp;
2258 unsigned int serial;
2259 unsigned int answer;
2260
2261 spin_lock(&tomoyo_query_list_lock);
2262 list_for_each(tmp, &tomoyo_query_list) {
2263 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2264
2265 ptr->timer = 0;
2266 }
2267 spin_unlock(&tomoyo_query_list_lock);
2268 if (sscanf(data, "A%u=%u", &serial, &answer) != 2)
2269 return -EINVAL;
2270 spin_lock(&tomoyo_query_list_lock);
2271 list_for_each(tmp, &tomoyo_query_list) {
2272 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2273
2274 if (ptr->serial != serial)
2275 continue;
2276 ptr->answer = answer;
2277
2278 if (ptr->answer)
2279 list_del_init(&ptr->list);
2280 break;
2281 }
2282 spin_unlock(&tomoyo_query_list_lock);
2283 return 0;
2284 }
2285
2286
2287
2288
2289
2290
2291
2292
2293 static void tomoyo_read_version(struct tomoyo_io_buffer *head)
2294 {
2295 if (!head->r.eof) {
2296 tomoyo_io_printf(head, "2.6.0");
2297 head->r.eof = true;
2298 }
2299 }
2300
2301
2302 static const char * const tomoyo_policy_headers[TOMOYO_MAX_POLICY_STAT] = {
2303 [TOMOYO_STAT_POLICY_UPDATES] = "update:",
2304 [TOMOYO_STAT_POLICY_LEARNING] = "violation in learning mode:",
2305 [TOMOYO_STAT_POLICY_PERMISSIVE] = "violation in permissive mode:",
2306 [TOMOYO_STAT_POLICY_ENFORCING] = "violation in enforcing mode:",
2307 };
2308
2309
2310 static const char * const tomoyo_memory_headers[TOMOYO_MAX_MEMORY_STAT] = {
2311 [TOMOYO_MEMORY_POLICY] = "policy:",
2312 [TOMOYO_MEMORY_AUDIT] = "audit log:",
2313 [TOMOYO_MEMORY_QUERY] = "query message:",
2314 };
2315
2316
2317 static atomic_t tomoyo_stat_updated[TOMOYO_MAX_POLICY_STAT];
2318
2319 static time64_t tomoyo_stat_modified[TOMOYO_MAX_POLICY_STAT];
2320
2321
2322
2323
2324
2325
2326
2327
2328 void tomoyo_update_stat(const u8 index)
2329 {
2330 atomic_inc(&tomoyo_stat_updated[index]);
2331 tomoyo_stat_modified[index] = ktime_get_real_seconds();
2332 }
2333
2334
2335
2336
2337
2338
2339
2340
2341 static void tomoyo_read_stat(struct tomoyo_io_buffer *head)
2342 {
2343 u8 i;
2344 unsigned int total = 0;
2345
2346 if (head->r.eof)
2347 return;
2348 for (i = 0; i < TOMOYO_MAX_POLICY_STAT; i++) {
2349 tomoyo_io_printf(head, "Policy %-30s %10u",
2350 tomoyo_policy_headers[i],
2351 atomic_read(&tomoyo_stat_updated[i]));
2352 if (tomoyo_stat_modified[i]) {
2353 struct tomoyo_time stamp;
2354
2355 tomoyo_convert_time(tomoyo_stat_modified[i], &stamp);
2356 tomoyo_io_printf(head, " (Last: %04u/%02u/%02u %02u:%02u:%02u)",
2357 stamp.year, stamp.month, stamp.day,
2358 stamp.hour, stamp.min, stamp.sec);
2359 }
2360 tomoyo_set_lf(head);
2361 }
2362 for (i = 0; i < TOMOYO_MAX_MEMORY_STAT; i++) {
2363 unsigned int used = tomoyo_memory_used[i];
2364
2365 total += used;
2366 tomoyo_io_printf(head, "Memory used by %-22s %10u",
2367 tomoyo_memory_headers[i], used);
2368 used = tomoyo_memory_quota[i];
2369 if (used)
2370 tomoyo_io_printf(head, " (Quota: %10u)", used);
2371 tomoyo_set_lf(head);
2372 }
2373 tomoyo_io_printf(head, "Total memory used: %10u\n",
2374 total);
2375 head->r.eof = true;
2376 }
2377
2378
2379
2380
2381
2382
2383
2384
2385 static int tomoyo_write_stat(struct tomoyo_io_buffer *head)
2386 {
2387 char *data = head->write_buf;
2388 u8 i;
2389
2390 if (tomoyo_str_starts(&data, "Memory used by "))
2391 for (i = 0; i < TOMOYO_MAX_MEMORY_STAT; i++)
2392 if (tomoyo_str_starts(&data, tomoyo_memory_headers[i]))
2393 sscanf(data, "%u", &tomoyo_memory_quota[i]);
2394 return 0;
2395 }
2396
2397
2398
2399
2400
2401
2402
2403
2404
2405 int tomoyo_open_control(const u8 type, struct file *file)
2406 {
2407 struct tomoyo_io_buffer *head = kzalloc(sizeof(*head), GFP_NOFS);
2408
2409 if (!head)
2410 return -ENOMEM;
2411 mutex_init(&head->io_sem);
2412 head->type = type;
2413 switch (type) {
2414 case TOMOYO_DOMAINPOLICY:
2415
2416 head->write = tomoyo_write_domain;
2417 head->read = tomoyo_read_domain;
2418 break;
2419 case TOMOYO_EXCEPTIONPOLICY:
2420
2421 head->write = tomoyo_write_exception;
2422 head->read = tomoyo_read_exception;
2423 break;
2424 case TOMOYO_AUDIT:
2425
2426 head->poll = tomoyo_poll_log;
2427 head->read = tomoyo_read_log;
2428 break;
2429 case TOMOYO_PROCESS_STATUS:
2430
2431 head->write = tomoyo_write_pid;
2432 head->read = tomoyo_read_pid;
2433 break;
2434 case TOMOYO_VERSION:
2435
2436 head->read = tomoyo_read_version;
2437 head->readbuf_size = 128;
2438 break;
2439 case TOMOYO_STAT:
2440
2441 head->write = tomoyo_write_stat;
2442 head->read = tomoyo_read_stat;
2443 head->readbuf_size = 1024;
2444 break;
2445 case TOMOYO_PROFILE:
2446
2447 head->write = tomoyo_write_profile;
2448 head->read = tomoyo_read_profile;
2449 break;
2450 case TOMOYO_QUERY:
2451 head->poll = tomoyo_poll_query;
2452 head->write = tomoyo_write_answer;
2453 head->read = tomoyo_read_query;
2454 break;
2455 case TOMOYO_MANAGER:
2456
2457 head->write = tomoyo_write_manager;
2458 head->read = tomoyo_read_manager;
2459 break;
2460 }
2461 if (!(file->f_mode & FMODE_READ)) {
2462
2463
2464
2465
2466 head->read = NULL;
2467 head->poll = NULL;
2468 } else if (!head->poll) {
2469
2470 if (!head->readbuf_size)
2471 head->readbuf_size = 4096 * 2;
2472 head->read_buf = kzalloc(head->readbuf_size, GFP_NOFS);
2473 if (!head->read_buf) {
2474 kfree(head);
2475 return -ENOMEM;
2476 }
2477 }
2478 if (!(file->f_mode & FMODE_WRITE)) {
2479
2480
2481
2482
2483 head->write = NULL;
2484 } else if (head->write) {
2485 head->writebuf_size = 4096 * 2;
2486 head->write_buf = kzalloc(head->writebuf_size, GFP_NOFS);
2487 if (!head->write_buf) {
2488 kfree(head->read_buf);
2489 kfree(head);
2490 return -ENOMEM;
2491 }
2492 }
2493
2494
2495
2496
2497
2498
2499 if (type == TOMOYO_QUERY)
2500 atomic_inc(&tomoyo_query_observers);
2501 file->private_data = head;
2502 tomoyo_notify_gc(head, true);
2503 return 0;
2504 }
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
2515 __poll_t tomoyo_poll_control(struct file *file, poll_table *wait)
2516 {
2517 struct tomoyo_io_buffer *head = file->private_data;
2518
2519 if (head->poll)
2520 return head->poll(file, wait) | EPOLLOUT | EPOLLWRNORM;
2521 return EPOLLIN | EPOLLRDNORM | EPOLLOUT | EPOLLWRNORM;
2522 }
2523
2524
2525
2526
2527
2528
2529
2530
2531 static inline void tomoyo_set_namespace_cursor(struct tomoyo_io_buffer *head)
2532 {
2533 struct list_head *ns;
2534
2535 if (head->type != TOMOYO_EXCEPTIONPOLICY &&
2536 head->type != TOMOYO_PROFILE)
2537 return;
2538
2539
2540
2541
2542 ns = head->r.ns;
2543 if (!ns || (head->r.eof && ns->next != &tomoyo_namespace_list)) {
2544
2545 memset(&head->r, 0, sizeof(head->r));
2546 head->r.ns = ns ? ns->next : tomoyo_namespace_list.next;
2547 }
2548 }
2549
2550
2551
2552
2553
2554
2555
2556
2557 static inline bool tomoyo_has_more_namespace(struct tomoyo_io_buffer *head)
2558 {
2559 return (head->type == TOMOYO_EXCEPTIONPOLICY ||
2560 head->type == TOMOYO_PROFILE) && head->r.eof &&
2561 head->r.ns->next != &tomoyo_namespace_list;
2562 }
2563
2564
2565
2566
2567
2568
2569
2570
2571
2572
2573 ssize_t tomoyo_read_control(struct tomoyo_io_buffer *head, char __user *buffer,
2574 const int buffer_len)
2575 {
2576 int len;
2577 int idx;
2578
2579 if (!head->read)
2580 return -EINVAL;
2581 if (mutex_lock_interruptible(&head->io_sem))
2582 return -EINTR;
2583 head->read_user_buf = buffer;
2584 head->read_user_buf_avail = buffer_len;
2585 idx = tomoyo_read_lock();
2586 if (tomoyo_flush(head))
2587
2588 do {
2589 tomoyo_set_namespace_cursor(head);
2590 head->read(head);
2591 } while (tomoyo_flush(head) &&
2592 tomoyo_has_more_namespace(head));
2593 tomoyo_read_unlock(idx);
2594 len = head->read_user_buf - buffer;
2595 mutex_unlock(&head->io_sem);
2596 return len;
2597 }
2598
2599
2600
2601
2602
2603
2604
2605
2606
2607
2608
2609 static int tomoyo_parse_policy(struct tomoyo_io_buffer *head, char *line)
2610 {
2611
2612 head->w.is_delete = !strncmp(line, "delete ", 7);
2613 if (head->w.is_delete)
2614 memmove(line, line + 7, strlen(line + 7) + 1);
2615
2616 if (head->type == TOMOYO_EXCEPTIONPOLICY ||
2617 head->type == TOMOYO_PROFILE) {
2618 if (*line == '<') {
2619 char *cp = strchr(line, ' ');
2620
2621 if (cp) {
2622 *cp++ = '\0';
2623 head->w.ns = tomoyo_assign_namespace(line);
2624 memmove(line, cp, strlen(cp) + 1);
2625 } else
2626 head->w.ns = NULL;
2627 } else
2628 head->w.ns = &tomoyo_kernel_namespace;
2629
2630 if (!head->w.ns)
2631 return -ENOENT;
2632 }
2633
2634 return head->write(head);
2635 }
2636
2637
2638
2639
2640
2641
2642
2643
2644
2645
2646 ssize_t tomoyo_write_control(struct tomoyo_io_buffer *head,
2647 const char __user *buffer, const int buffer_len)
2648 {
2649 int error = buffer_len;
2650 size_t avail_len = buffer_len;
2651 char *cp0 = head->write_buf;
2652 int idx;
2653
2654 if (!head->write)
2655 return -EINVAL;
2656 if (mutex_lock_interruptible(&head->io_sem))
2657 return -EINTR;
2658 head->read_user_buf_avail = 0;
2659 idx = tomoyo_read_lock();
2660
2661 while (avail_len > 0) {
2662 char c;
2663
2664 if (head->w.avail >= head->writebuf_size - 1) {
2665 const int len = head->writebuf_size * 2;
2666 char *cp = kzalloc(len, GFP_NOFS);
2667
2668 if (!cp) {
2669 error = -ENOMEM;
2670 break;
2671 }
2672 memmove(cp, cp0, head->w.avail);
2673 kfree(cp0);
2674 head->write_buf = cp;
2675 cp0 = cp;
2676 head->writebuf_size = len;
2677 }
2678 if (get_user(c, buffer)) {
2679 error = -EFAULT;
2680 break;
2681 }
2682 buffer++;
2683 avail_len--;
2684 cp0[head->w.avail++] = c;
2685 if (c != '\n')
2686 continue;
2687 cp0[head->w.avail - 1] = '\0';
2688 head->w.avail = 0;
2689 tomoyo_normalize_line(cp0);
2690 if (!strcmp(cp0, "reset")) {
2691 head->w.ns = &tomoyo_kernel_namespace;
2692 head->w.domain = NULL;
2693 memset(&head->r, 0, sizeof(head->r));
2694 continue;
2695 }
2696
2697 switch (head->type) {
2698 case TOMOYO_PROCESS_STATUS:
2699
2700 break;
2701 case TOMOYO_DOMAINPOLICY:
2702 if (tomoyo_select_domain(head, cp0))
2703 continue;
2704 fallthrough;
2705 case TOMOYO_EXCEPTIONPOLICY:
2706 if (!strcmp(cp0, "select transition_only")) {
2707 head->r.print_transition_related_only = true;
2708 continue;
2709 }
2710 fallthrough;
2711 default:
2712 if (!tomoyo_manager()) {
2713 error = -EPERM;
2714 goto out;
2715 }
2716 }
2717 switch (tomoyo_parse_policy(head, cp0)) {
2718 case -EPERM:
2719 error = -EPERM;
2720 goto out;
2721 case 0:
2722 switch (head->type) {
2723 case TOMOYO_DOMAINPOLICY:
2724 case TOMOYO_EXCEPTIONPOLICY:
2725 case TOMOYO_STAT:
2726 case TOMOYO_PROFILE:
2727 case TOMOYO_MANAGER:
2728 tomoyo_update_stat(TOMOYO_STAT_POLICY_UPDATES);
2729 break;
2730 default:
2731 break;
2732 }
2733 break;
2734 }
2735 }
2736 out:
2737 tomoyo_read_unlock(idx);
2738 mutex_unlock(&head->io_sem);
2739 return error;
2740 }
2741
2742
2743
2744
2745
2746
2747 void tomoyo_close_control(struct tomoyo_io_buffer *head)
2748 {
2749
2750
2751
2752
2753 if (head->type == TOMOYO_QUERY &&
2754 atomic_dec_and_test(&tomoyo_query_observers))
2755 wake_up_all(&tomoyo_answer_wait);
2756 tomoyo_notify_gc(head, false);
2757 }
2758
2759
2760
2761
2762 void tomoyo_check_profile(void)
2763 {
2764 struct tomoyo_domain_info *domain;
2765 const int idx = tomoyo_read_lock();
2766
2767 tomoyo_policy_loaded = true;
2768 pr_info("TOMOYO: 2.6.0\n");
2769 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list,
2770 srcu_read_lock_held(&tomoyo_ss)) {
2771 const u8 profile = domain->profile;
2772 struct tomoyo_policy_namespace *ns = domain->ns;
2773
2774 if (ns->profile_version == 20110903) {
2775 pr_info_once("Converting profile version from %u to %u.\n",
2776 20110903, 20150505);
2777 ns->profile_version = 20150505;
2778 }
2779 if (ns->profile_version != 20150505)
2780 pr_err("Profile version %u is not supported.\n",
2781 ns->profile_version);
2782 else if (!ns->profile_ptr[profile])
2783 pr_err("Profile %u (used by '%s') is not defined.\n",
2784 profile, domain->domainname->name);
2785 else
2786 continue;
2787 pr_err("Userland tools for TOMOYO 2.6 must be installed and policy must be initialized.\n");
2788 pr_err("Please see https://tomoyo.osdn.jp/2.6/ for more information.\n");
2789 panic("STOP!");
2790 }
2791 tomoyo_read_unlock(idx);
2792 pr_info("Mandatory Access Control activated.\n");
2793 }
2794
2795
2796
2797
2798
2799
2800 void __init tomoyo_load_builtin_policy(void)
2801 {
2802 #ifdef CONFIG_SECURITY_TOMOYO_INSECURE_BUILTIN_SETTING
2803 static char tomoyo_builtin_profile[] __initdata =
2804 "PROFILE_VERSION=20150505\n"
2805 "0-CONFIG={ mode=learning grant_log=no reject_log=yes }\n";
2806 static char tomoyo_builtin_exception_policy[] __initdata =
2807 "aggregator proc:/self/exe /proc/self/exe\n";
2808 static char tomoyo_builtin_domain_policy[] __initdata = "";
2809 static char tomoyo_builtin_manager[] __initdata = "";
2810 static char tomoyo_builtin_stat[] __initdata = "";
2811 #else
2812
2813
2814
2815
2816
2817
2818 #include "builtin-policy.h"
2819 #endif
2820 u8 i;
2821 const int idx = tomoyo_read_lock();
2822
2823 for (i = 0; i < 5; i++) {
2824 struct tomoyo_io_buffer head = { };
2825 char *start = "";
2826
2827 switch (i) {
2828 case 0:
2829 start = tomoyo_builtin_profile;
2830 head.type = TOMOYO_PROFILE;
2831 head.write = tomoyo_write_profile;
2832 break;
2833 case 1:
2834 start = tomoyo_builtin_exception_policy;
2835 head.type = TOMOYO_EXCEPTIONPOLICY;
2836 head.write = tomoyo_write_exception;
2837 break;
2838 case 2:
2839 start = tomoyo_builtin_domain_policy;
2840 head.type = TOMOYO_DOMAINPOLICY;
2841 head.write = tomoyo_write_domain;
2842 break;
2843 case 3:
2844 start = tomoyo_builtin_manager;
2845 head.type = TOMOYO_MANAGER;
2846 head.write = tomoyo_write_manager;
2847 break;
2848 case 4:
2849 start = tomoyo_builtin_stat;
2850 head.type = TOMOYO_STAT;
2851 head.write = tomoyo_write_stat;
2852 break;
2853 }
2854 while (1) {
2855 char *end = strchr(start, '\n');
2856
2857 if (!end)
2858 break;
2859 *end = '\0';
2860 tomoyo_normalize_line(start);
2861 head.write_buf = start;
2862 tomoyo_parse_policy(&head, start);
2863 start = end + 1;
2864 }
2865 }
2866 tomoyo_read_unlock(idx);
2867 #ifdef CONFIG_SECURITY_TOMOYO_OMIT_USERSPACE_LOADER
2868 tomoyo_check_profile();
2869 #endif
2870 }