1
2
3
4
5
6
7
8#include <linux/uaccess.h>
9#include <linux/slab.h>
10#include <linux/security.h>
11#include "common.h"
12
13
14const char * const tomoyo_mode[TOMOYO_CONFIG_MAX_MODE] = {
15 [TOMOYO_CONFIG_DISABLED] = "disabled",
16 [TOMOYO_CONFIG_LEARNING] = "learning",
17 [TOMOYO_CONFIG_PERMISSIVE] = "permissive",
18 [TOMOYO_CONFIG_ENFORCING] = "enforcing"
19};
20
21
22const char * const tomoyo_mac_keywords[TOMOYO_MAX_MAC_INDEX
23 + TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
24
25 [TOMOYO_MAC_FILE_EXECUTE] = "execute",
26 [TOMOYO_MAC_FILE_OPEN] = "open",
27 [TOMOYO_MAC_FILE_CREATE] = "create",
28 [TOMOYO_MAC_FILE_UNLINK] = "unlink",
29 [TOMOYO_MAC_FILE_GETATTR] = "getattr",
30 [TOMOYO_MAC_FILE_MKDIR] = "mkdir",
31 [TOMOYO_MAC_FILE_RMDIR] = "rmdir",
32 [TOMOYO_MAC_FILE_MKFIFO] = "mkfifo",
33 [TOMOYO_MAC_FILE_MKSOCK] = "mksock",
34 [TOMOYO_MAC_FILE_TRUNCATE] = "truncate",
35 [TOMOYO_MAC_FILE_SYMLINK] = "symlink",
36 [TOMOYO_MAC_FILE_MKBLOCK] = "mkblock",
37 [TOMOYO_MAC_FILE_MKCHAR] = "mkchar",
38 [TOMOYO_MAC_FILE_LINK] = "link",
39 [TOMOYO_MAC_FILE_RENAME] = "rename",
40 [TOMOYO_MAC_FILE_CHMOD] = "chmod",
41 [TOMOYO_MAC_FILE_CHOWN] = "chown",
42 [TOMOYO_MAC_FILE_CHGRP] = "chgrp",
43 [TOMOYO_MAC_FILE_IOCTL] = "ioctl",
44 [TOMOYO_MAC_FILE_CHROOT] = "chroot",
45 [TOMOYO_MAC_FILE_MOUNT] = "mount",
46 [TOMOYO_MAC_FILE_UMOUNT] = "unmount",
47 [TOMOYO_MAC_FILE_PIVOT_ROOT] = "pivot_root",
48
49 [TOMOYO_MAC_NETWORK_INET_STREAM_BIND] = "inet_stream_bind",
50 [TOMOYO_MAC_NETWORK_INET_STREAM_LISTEN] = "inet_stream_listen",
51 [TOMOYO_MAC_NETWORK_INET_STREAM_CONNECT] = "inet_stream_connect",
52 [TOMOYO_MAC_NETWORK_INET_DGRAM_BIND] = "inet_dgram_bind",
53 [TOMOYO_MAC_NETWORK_INET_DGRAM_SEND] = "inet_dgram_send",
54 [TOMOYO_MAC_NETWORK_INET_RAW_BIND] = "inet_raw_bind",
55 [TOMOYO_MAC_NETWORK_INET_RAW_SEND] = "inet_raw_send",
56 [TOMOYO_MAC_NETWORK_UNIX_STREAM_BIND] = "unix_stream_bind",
57 [TOMOYO_MAC_NETWORK_UNIX_STREAM_LISTEN] = "unix_stream_listen",
58 [TOMOYO_MAC_NETWORK_UNIX_STREAM_CONNECT] = "unix_stream_connect",
59 [TOMOYO_MAC_NETWORK_UNIX_DGRAM_BIND] = "unix_dgram_bind",
60 [TOMOYO_MAC_NETWORK_UNIX_DGRAM_SEND] = "unix_dgram_send",
61 [TOMOYO_MAC_NETWORK_UNIX_SEQPACKET_BIND] = "unix_seqpacket_bind",
62 [TOMOYO_MAC_NETWORK_UNIX_SEQPACKET_LISTEN] = "unix_seqpacket_listen",
63 [TOMOYO_MAC_NETWORK_UNIX_SEQPACKET_CONNECT] = "unix_seqpacket_connect",
64
65 [TOMOYO_MAC_ENVIRON] = "env",
66
67 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_FILE] = "file",
68 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_NETWORK] = "network",
69 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_MISC] = "misc",
70};
71
72
73const char * const tomoyo_condition_keyword[TOMOYO_MAX_CONDITION_KEYWORD] = {
74 [TOMOYO_TASK_UID] = "task.uid",
75 [TOMOYO_TASK_EUID] = "task.euid",
76 [TOMOYO_TASK_SUID] = "task.suid",
77 [TOMOYO_TASK_FSUID] = "task.fsuid",
78 [TOMOYO_TASK_GID] = "task.gid",
79 [TOMOYO_TASK_EGID] = "task.egid",
80 [TOMOYO_TASK_SGID] = "task.sgid",
81 [TOMOYO_TASK_FSGID] = "task.fsgid",
82 [TOMOYO_TASK_PID] = "task.pid",
83 [TOMOYO_TASK_PPID] = "task.ppid",
84 [TOMOYO_EXEC_ARGC] = "exec.argc",
85 [TOMOYO_EXEC_ENVC] = "exec.envc",
86 [TOMOYO_TYPE_IS_SOCKET] = "socket",
87 [TOMOYO_TYPE_IS_SYMLINK] = "symlink",
88 [TOMOYO_TYPE_IS_FILE] = "file",
89 [TOMOYO_TYPE_IS_BLOCK_DEV] = "block",
90 [TOMOYO_TYPE_IS_DIRECTORY] = "directory",
91 [TOMOYO_TYPE_IS_CHAR_DEV] = "char",
92 [TOMOYO_TYPE_IS_FIFO] = "fifo",
93 [TOMOYO_MODE_SETUID] = "setuid",
94 [TOMOYO_MODE_SETGID] = "setgid",
95 [TOMOYO_MODE_STICKY] = "sticky",
96 [TOMOYO_MODE_OWNER_READ] = "owner_read",
97 [TOMOYO_MODE_OWNER_WRITE] = "owner_write",
98 [TOMOYO_MODE_OWNER_EXECUTE] = "owner_execute",
99 [TOMOYO_MODE_GROUP_READ] = "group_read",
100 [TOMOYO_MODE_GROUP_WRITE] = "group_write",
101 [TOMOYO_MODE_GROUP_EXECUTE] = "group_execute",
102 [TOMOYO_MODE_OTHERS_READ] = "others_read",
103 [TOMOYO_MODE_OTHERS_WRITE] = "others_write",
104 [TOMOYO_MODE_OTHERS_EXECUTE] = "others_execute",
105 [TOMOYO_EXEC_REALPATH] = "exec.realpath",
106 [TOMOYO_SYMLINK_TARGET] = "symlink.target",
107 [TOMOYO_PATH1_UID] = "path1.uid",
108 [TOMOYO_PATH1_GID] = "path1.gid",
109 [TOMOYO_PATH1_INO] = "path1.ino",
110 [TOMOYO_PATH1_MAJOR] = "path1.major",
111 [TOMOYO_PATH1_MINOR] = "path1.minor",
112 [TOMOYO_PATH1_PERM] = "path1.perm",
113 [TOMOYO_PATH1_TYPE] = "path1.type",
114 [TOMOYO_PATH1_DEV_MAJOR] = "path1.dev_major",
115 [TOMOYO_PATH1_DEV_MINOR] = "path1.dev_minor",
116 [TOMOYO_PATH2_UID] = "path2.uid",
117 [TOMOYO_PATH2_GID] = "path2.gid",
118 [TOMOYO_PATH2_INO] = "path2.ino",
119 [TOMOYO_PATH2_MAJOR] = "path2.major",
120 [TOMOYO_PATH2_MINOR] = "path2.minor",
121 [TOMOYO_PATH2_PERM] = "path2.perm",
122 [TOMOYO_PATH2_TYPE] = "path2.type",
123 [TOMOYO_PATH2_DEV_MAJOR] = "path2.dev_major",
124 [TOMOYO_PATH2_DEV_MINOR] = "path2.dev_minor",
125 [TOMOYO_PATH1_PARENT_UID] = "path1.parent.uid",
126 [TOMOYO_PATH1_PARENT_GID] = "path1.parent.gid",
127 [TOMOYO_PATH1_PARENT_INO] = "path1.parent.ino",
128 [TOMOYO_PATH1_PARENT_PERM] = "path1.parent.perm",
129 [TOMOYO_PATH2_PARENT_UID] = "path2.parent.uid",
130 [TOMOYO_PATH2_PARENT_GID] = "path2.parent.gid",
131 [TOMOYO_PATH2_PARENT_INO] = "path2.parent.ino",
132 [TOMOYO_PATH2_PARENT_PERM] = "path2.parent.perm",
133};
134
135
136static const char * const tomoyo_pref_keywords[TOMOYO_MAX_PREF] = {
137 [TOMOYO_PREF_MAX_AUDIT_LOG] = "max_audit_log",
138 [TOMOYO_PREF_MAX_LEARNING_ENTRY] = "max_learning_entry",
139};
140
141
142const char * const tomoyo_path_keyword[TOMOYO_MAX_PATH_OPERATION] = {
143 [TOMOYO_TYPE_EXECUTE] = "execute",
144 [TOMOYO_TYPE_READ] = "read",
145 [TOMOYO_TYPE_WRITE] = "write",
146 [TOMOYO_TYPE_APPEND] = "append",
147 [TOMOYO_TYPE_UNLINK] = "unlink",
148 [TOMOYO_TYPE_GETATTR] = "getattr",
149 [TOMOYO_TYPE_RMDIR] = "rmdir",
150 [TOMOYO_TYPE_TRUNCATE] = "truncate",
151 [TOMOYO_TYPE_SYMLINK] = "symlink",
152 [TOMOYO_TYPE_CHROOT] = "chroot",
153 [TOMOYO_TYPE_UMOUNT] = "unmount",
154};
155
156
157const char * const tomoyo_socket_keyword[TOMOYO_MAX_NETWORK_OPERATION] = {
158 [TOMOYO_NETWORK_BIND] = "bind",
159 [TOMOYO_NETWORK_LISTEN] = "listen",
160 [TOMOYO_NETWORK_CONNECT] = "connect",
161 [TOMOYO_NETWORK_SEND] = "send",
162};
163
164
165static const char * const tomoyo_category_keywords
166[TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
167 [TOMOYO_MAC_CATEGORY_FILE] = "file",
168 [TOMOYO_MAC_CATEGORY_NETWORK] = "network",
169 [TOMOYO_MAC_CATEGORY_MISC] = "misc",
170};
171
172
173static bool tomoyo_manage_by_non_root;
174
175
176
177
178
179
180
181
182const char *tomoyo_yesno(const unsigned int value)
183{
184 return value ? "yes" : "no";
185}
186
187
188
189
190
191
192
193
194
195
196static void tomoyo_addprintf(char *buffer, int len, const char *fmt, ...)
197{
198 va_list args;
199 const int pos = strlen(buffer);
200 va_start(args, fmt);
201 vsnprintf(buffer + pos, len - pos - 1, fmt, args);
202 va_end(args);
203}
204
205
206
207
208
209
210
211
212static bool tomoyo_flush(struct tomoyo_io_buffer *head)
213{
214 while (head->r.w_pos) {
215 const char *w = head->r.w[0];
216 size_t len = strlen(w);
217 if (len) {
218 if (len > head->read_user_buf_avail)
219 len = head->read_user_buf_avail;
220 if (!len)
221 return false;
222 if (copy_to_user(head->read_user_buf, w, len))
223 return false;
224 head->read_user_buf_avail -= len;
225 head->read_user_buf += len;
226 w += len;
227 }
228 head->r.w[0] = w;
229 if (*w)
230 return false;
231
232 if (head->poll) {
233 if (!head->read_user_buf_avail ||
234 copy_to_user(head->read_user_buf, "", 1))
235 return false;
236 head->read_user_buf_avail--;
237 head->read_user_buf++;
238 }
239 head->r.w_pos--;
240 for (len = 0; len < head->r.w_pos; len++)
241 head->r.w[len] = head->r.w[len + 1];
242 }
243 head->r.avail = 0;
244 return true;
245}
246
247
248
249
250
251
252
253
254
255
256
257static void tomoyo_set_string(struct tomoyo_io_buffer *head, const char *string)
258{
259 if (head->r.w_pos < TOMOYO_MAX_IO_READ_QUEUE) {
260 head->r.w[head->r.w_pos++] = string;
261 tomoyo_flush(head);
262 } else
263 WARN_ON(1);
264}
265
266static void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt,
267 ...) __printf(2, 3);
268
269
270
271
272
273
274
275static void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt,
276 ...)
277{
278 va_list args;
279 size_t len;
280 size_t pos = head->r.avail;
281 int size = head->readbuf_size - pos;
282 if (size <= 0)
283 return;
284 va_start(args, fmt);
285 len = vsnprintf(head->read_buf + pos, size, fmt, args) + 1;
286 va_end(args);
287 if (pos + len >= head->readbuf_size) {
288 WARN_ON(1);
289 return;
290 }
291 head->r.avail += len;
292 tomoyo_set_string(head, head->read_buf + pos);
293}
294
295
296
297
298
299
300
301
302static void tomoyo_set_space(struct tomoyo_io_buffer *head)
303{
304 tomoyo_set_string(head, " ");
305}
306
307
308
309
310
311
312
313
314static bool tomoyo_set_lf(struct tomoyo_io_buffer *head)
315{
316 tomoyo_set_string(head, "\n");
317 return !head->r.w_pos;
318}
319
320
321
322
323
324
325
326
327static void tomoyo_set_slash(struct tomoyo_io_buffer *head)
328{
329 tomoyo_set_string(head, "/");
330}
331
332
333LIST_HEAD(tomoyo_namespace_list);
334
335static bool tomoyo_namespace_enabled;
336
337
338
339
340
341
342
343
344void tomoyo_init_policy_namespace(struct tomoyo_policy_namespace *ns)
345{
346 unsigned int idx;
347 for (idx = 0; idx < TOMOYO_MAX_ACL_GROUPS; idx++)
348 INIT_LIST_HEAD(&ns->acl_group[idx]);
349 for (idx = 0; idx < TOMOYO_MAX_GROUP; idx++)
350 INIT_LIST_HEAD(&ns->group_list[idx]);
351 for (idx = 0; idx < TOMOYO_MAX_POLICY; idx++)
352 INIT_LIST_HEAD(&ns->policy_list[idx]);
353 ns->profile_version = 20110903;
354 tomoyo_namespace_enabled = !list_empty(&tomoyo_namespace_list);
355 list_add_tail_rcu(&ns->namespace_list, &tomoyo_namespace_list);
356}
357
358
359
360
361
362
363
364
365static void tomoyo_print_namespace(struct tomoyo_io_buffer *head)
366{
367 if (!tomoyo_namespace_enabled)
368 return;
369 tomoyo_set_string(head,
370 container_of(head->r.ns,
371 struct tomoyo_policy_namespace,
372 namespace_list)->name);
373 tomoyo_set_space(head);
374}
375
376
377
378
379
380
381
382static void tomoyo_print_name_union(struct tomoyo_io_buffer *head,
383 const struct tomoyo_name_union *ptr)
384{
385 tomoyo_set_space(head);
386 if (ptr->group) {
387 tomoyo_set_string(head, "@");
388 tomoyo_set_string(head, ptr->group->group_name->name);
389 } else {
390 tomoyo_set_string(head, ptr->filename->name);
391 }
392}
393
394
395
396
397
398
399
400
401
402static void tomoyo_print_name_union_quoted(struct tomoyo_io_buffer *head,
403 const struct tomoyo_name_union *ptr)
404{
405 if (ptr->group) {
406 tomoyo_set_string(head, "@");
407 tomoyo_set_string(head, ptr->group->group_name->name);
408 } else {
409 tomoyo_set_string(head, "\"");
410 tomoyo_set_string(head, ptr->filename->name);
411 tomoyo_set_string(head, "\"");
412 }
413}
414
415
416
417
418
419
420
421
422
423static void tomoyo_print_number_union_nospace
424(struct tomoyo_io_buffer *head, const struct tomoyo_number_union *ptr)
425{
426 if (ptr->group) {
427 tomoyo_set_string(head, "@");
428 tomoyo_set_string(head, ptr->group->group_name->name);
429 } else {
430 int i;
431 unsigned long min = ptr->values[0];
432 const unsigned long max = ptr->values[1];
433 u8 min_type = ptr->value_type[0];
434 const u8 max_type = ptr->value_type[1];
435 char buffer[128];
436 buffer[0] = '\0';
437 for (i = 0; i < 2; i++) {
438 switch (min_type) {
439 case TOMOYO_VALUE_TYPE_HEXADECIMAL:
440 tomoyo_addprintf(buffer, sizeof(buffer),
441 "0x%lX", min);
442 break;
443 case TOMOYO_VALUE_TYPE_OCTAL:
444 tomoyo_addprintf(buffer, sizeof(buffer),
445 "0%lo", min);
446 break;
447 default:
448 tomoyo_addprintf(buffer, sizeof(buffer), "%lu",
449 min);
450 break;
451 }
452 if (min == max && min_type == max_type)
453 break;
454 tomoyo_addprintf(buffer, sizeof(buffer), "-");
455 min_type = max_type;
456 min = max;
457 }
458 tomoyo_io_printf(head, "%s", buffer);
459 }
460}
461
462
463
464
465
466
467
468
469
470static void tomoyo_print_number_union(struct tomoyo_io_buffer *head,
471 const struct tomoyo_number_union *ptr)
472{
473 tomoyo_set_space(head);
474 tomoyo_print_number_union_nospace(head, ptr);
475}
476
477
478
479
480
481
482
483
484
485static struct tomoyo_profile *tomoyo_assign_profile
486(struct tomoyo_policy_namespace *ns, const unsigned int profile)
487{
488 struct tomoyo_profile *ptr;
489 struct tomoyo_profile *entry;
490 if (profile >= TOMOYO_MAX_PROFILES)
491 return NULL;
492 ptr = ns->profile_ptr[profile];
493 if (ptr)
494 return ptr;
495 entry = kzalloc(sizeof(*entry), GFP_NOFS);
496 if (mutex_lock_interruptible(&tomoyo_policy_lock))
497 goto out;
498 ptr = ns->profile_ptr[profile];
499 if (!ptr && tomoyo_memory_ok(entry)) {
500 ptr = entry;
501 ptr->default_config = TOMOYO_CONFIG_DISABLED |
502 TOMOYO_CONFIG_WANT_GRANT_LOG |
503 TOMOYO_CONFIG_WANT_REJECT_LOG;
504 memset(ptr->config, TOMOYO_CONFIG_USE_DEFAULT,
505 sizeof(ptr->config));
506 ptr->pref[TOMOYO_PREF_MAX_AUDIT_LOG] =
507 CONFIG_SECURITY_TOMOYO_MAX_AUDIT_LOG;
508 ptr->pref[TOMOYO_PREF_MAX_LEARNING_ENTRY] =
509 CONFIG_SECURITY_TOMOYO_MAX_ACCEPT_ENTRY;
510 mb();
511 ns->profile_ptr[profile] = ptr;
512 entry = NULL;
513 }
514 mutex_unlock(&tomoyo_policy_lock);
515 out:
516 kfree(entry);
517 return ptr;
518}
519
520
521
522
523
524
525
526
527
528struct tomoyo_profile *tomoyo_profile(const struct tomoyo_policy_namespace *ns,
529 const u8 profile)
530{
531 static struct tomoyo_profile tomoyo_null_profile;
532 struct tomoyo_profile *ptr = ns->profile_ptr[profile];
533 if (!ptr)
534 ptr = &tomoyo_null_profile;
535 return ptr;
536}
537
538
539
540
541
542
543
544
545
546static s8 tomoyo_find_yesno(const char *string, const char *find)
547{
548 const char *cp = strstr(string, find);
549 if (cp) {
550 cp += strlen(find);
551 if (!strncmp(cp, "=yes", 4))
552 return 1;
553 else if (!strncmp(cp, "=no", 3))
554 return 0;
555 }
556 return -1;
557}
558
559
560
561
562
563
564
565
566
567
568static void tomoyo_set_uint(unsigned int *i, const char *string,
569 const char *find)
570{
571 const char *cp = strstr(string, find);
572 if (cp)
573 sscanf(cp + strlen(find), "=%u", i);
574}
575
576
577
578
579
580
581
582
583
584
585static int tomoyo_set_mode(char *name, const char *value,
586 struct tomoyo_profile *profile)
587{
588 u8 i;
589 u8 config;
590 if (!strcmp(name, "CONFIG")) {
591 i = TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX;
592 config = profile->default_config;
593 } else if (tomoyo_str_starts(&name, "CONFIG::")) {
594 config = 0;
595 for (i = 0; i < TOMOYO_MAX_MAC_INDEX
596 + TOMOYO_MAX_MAC_CATEGORY_INDEX; i++) {
597 int len = 0;
598 if (i < TOMOYO_MAX_MAC_INDEX) {
599 const u8 c = tomoyo_index2category[i];
600 const char *category =
601 tomoyo_category_keywords[c];
602 len = strlen(category);
603 if (strncmp(name, category, len) ||
604 name[len++] != ':' || name[len++] != ':')
605 continue;
606 }
607 if (strcmp(name + len, tomoyo_mac_keywords[i]))
608 continue;
609 config = profile->config[i];
610 break;
611 }
612 if (i == TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX)
613 return -EINVAL;
614 } else {
615 return -EINVAL;
616 }
617 if (strstr(value, "use_default")) {
618 config = TOMOYO_CONFIG_USE_DEFAULT;
619 } else {
620 u8 mode;
621 for (mode = 0; mode < 4; mode++)
622 if (strstr(value, tomoyo_mode[mode]))
623
624
625
626
627 config = (config & ~7) | mode;
628 if (config != TOMOYO_CONFIG_USE_DEFAULT) {
629 switch (tomoyo_find_yesno(value, "grant_log")) {
630 case 1:
631 config |= TOMOYO_CONFIG_WANT_GRANT_LOG;
632 break;
633 case 0:
634 config &= ~TOMOYO_CONFIG_WANT_GRANT_LOG;
635 break;
636 }
637 switch (tomoyo_find_yesno(value, "reject_log")) {
638 case 1:
639 config |= TOMOYO_CONFIG_WANT_REJECT_LOG;
640 break;
641 case 0:
642 config &= ~TOMOYO_CONFIG_WANT_REJECT_LOG;
643 break;
644 }
645 }
646 }
647 if (i < TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX)
648 profile->config[i] = config;
649 else if (config != TOMOYO_CONFIG_USE_DEFAULT)
650 profile->default_config = config;
651 return 0;
652}
653
654
655
656
657
658
659
660
661static int tomoyo_write_profile(struct tomoyo_io_buffer *head)
662{
663 char *data = head->write_buf;
664 unsigned int i;
665 char *cp;
666 struct tomoyo_profile *profile;
667 if (sscanf(data, "PROFILE_VERSION=%u", &head->w.ns->profile_version)
668 == 1)
669 return 0;
670 i = simple_strtoul(data, &cp, 10);
671 if (*cp != '-')
672 return -EINVAL;
673 data = cp + 1;
674 profile = tomoyo_assign_profile(head->w.ns, i);
675 if (!profile)
676 return -EINVAL;
677 cp = strchr(data, '=');
678 if (!cp)
679 return -EINVAL;
680 *cp++ = '\0';
681 if (!strcmp(data, "COMMENT")) {
682 static DEFINE_SPINLOCK(lock);
683 const struct tomoyo_path_info *new_comment
684 = tomoyo_get_name(cp);
685 const struct tomoyo_path_info *old_comment;
686 if (!new_comment)
687 return -ENOMEM;
688 spin_lock(&lock);
689 old_comment = profile->comment;
690 profile->comment = new_comment;
691 spin_unlock(&lock);
692 tomoyo_put_name(old_comment);
693 return 0;
694 }
695 if (!strcmp(data, "PREFERENCE")) {
696 for (i = 0; i < TOMOYO_MAX_PREF; i++)
697 tomoyo_set_uint(&profile->pref[i], cp,
698 tomoyo_pref_keywords[i]);
699 return 0;
700 }
701 return tomoyo_set_mode(data, cp, profile);
702}
703
704
705
706
707
708
709
710
711
712
713
714static void tomoyo_print_config(struct tomoyo_io_buffer *head, const u8 config)
715{
716 tomoyo_io_printf(head, "={ mode=%s grant_log=%s reject_log=%s }\n",
717 tomoyo_mode[config & 3],
718 tomoyo_yesno(config & TOMOYO_CONFIG_WANT_GRANT_LOG),
719 tomoyo_yesno(config & TOMOYO_CONFIG_WANT_REJECT_LOG));
720}
721
722
723
724
725
726
727
728
729static void tomoyo_read_profile(struct tomoyo_io_buffer *head)
730{
731 u8 index;
732 struct tomoyo_policy_namespace *ns =
733 container_of(head->r.ns, typeof(*ns), namespace_list);
734 const struct tomoyo_profile *profile;
735 if (head->r.eof)
736 return;
737 next:
738 index = head->r.index;
739 profile = ns->profile_ptr[index];
740 switch (head->r.step) {
741 case 0:
742 tomoyo_print_namespace(head);
743 tomoyo_io_printf(head, "PROFILE_VERSION=%u\n",
744 ns->profile_version);
745 head->r.step++;
746 break;
747 case 1:
748 for ( ; head->r.index < TOMOYO_MAX_PROFILES;
749 head->r.index++)
750 if (ns->profile_ptr[head->r.index])
751 break;
752 if (head->r.index == TOMOYO_MAX_PROFILES) {
753 head->r.eof = true;
754 return;
755 }
756 head->r.step++;
757 break;
758 case 2:
759 {
760 u8 i;
761 const struct tomoyo_path_info *comment =
762 profile->comment;
763 tomoyo_print_namespace(head);
764 tomoyo_io_printf(head, "%u-COMMENT=", index);
765 tomoyo_set_string(head, comment ? comment->name : "");
766 tomoyo_set_lf(head);
767 tomoyo_print_namespace(head);
768 tomoyo_io_printf(head, "%u-PREFERENCE={ ", index);
769 for (i = 0; i < TOMOYO_MAX_PREF; i++)
770 tomoyo_io_printf(head, "%s=%u ",
771 tomoyo_pref_keywords[i],
772 profile->pref[i]);
773 tomoyo_set_string(head, "}\n");
774 head->r.step++;
775 }
776 break;
777 case 3:
778 {
779 tomoyo_print_namespace(head);
780 tomoyo_io_printf(head, "%u-%s", index, "CONFIG");
781 tomoyo_print_config(head, profile->default_config);
782 head->r.bit = 0;
783 head->r.step++;
784 }
785 break;
786 case 4:
787 for ( ; head->r.bit < TOMOYO_MAX_MAC_INDEX
788 + TOMOYO_MAX_MAC_CATEGORY_INDEX; head->r.bit++) {
789 const u8 i = head->r.bit;
790 const u8 config = profile->config[i];
791 if (config == TOMOYO_CONFIG_USE_DEFAULT)
792 continue;
793 tomoyo_print_namespace(head);
794 if (i < TOMOYO_MAX_MAC_INDEX)
795 tomoyo_io_printf(head, "%u-CONFIG::%s::%s",
796 index,
797 tomoyo_category_keywords
798 [tomoyo_index2category[i]],
799 tomoyo_mac_keywords[i]);
800 else
801 tomoyo_io_printf(head, "%u-CONFIG::%s", index,
802 tomoyo_mac_keywords[i]);
803 tomoyo_print_config(head, config);
804 head->r.bit++;
805 break;
806 }
807 if (head->r.bit == TOMOYO_MAX_MAC_INDEX
808 + TOMOYO_MAX_MAC_CATEGORY_INDEX) {
809 head->r.index++;
810 head->r.step = 1;
811 }
812 break;
813 }
814 if (tomoyo_flush(head))
815 goto next;
816}
817
818
819
820
821
822
823
824
825
826static bool tomoyo_same_manager(const struct tomoyo_acl_head *a,
827 const struct tomoyo_acl_head *b)
828{
829 return container_of(a, struct tomoyo_manager, head)->manager ==
830 container_of(b, struct tomoyo_manager, head)->manager;
831}
832
833
834
835
836
837
838
839
840
841
842
843static int tomoyo_update_manager_entry(const char *manager,
844 const bool is_delete)
845{
846 struct tomoyo_manager e = { };
847 struct tomoyo_acl_param param = {
848
849 .is_delete = is_delete,
850 .list = &tomoyo_kernel_namespace.
851 policy_list[TOMOYO_ID_MANAGER],
852 };
853 int error = is_delete ? -ENOENT : -ENOMEM;
854 if (!tomoyo_correct_domain(manager) &&
855 !tomoyo_correct_word(manager))
856 return -EINVAL;
857 e.manager = tomoyo_get_name(manager);
858 if (e.manager) {
859 error = tomoyo_update_policy(&e.head, sizeof(e), ¶m,
860 tomoyo_same_manager);
861 tomoyo_put_name(e.manager);
862 }
863 return error;
864}
865
866
867
868
869
870
871
872
873
874
875static int tomoyo_write_manager(struct tomoyo_io_buffer *head)
876{
877 char *data = head->write_buf;
878
879 if (!strcmp(data, "manage_by_non_root")) {
880 tomoyo_manage_by_non_root = !head->w.is_delete;
881 return 0;
882 }
883 return tomoyo_update_manager_entry(data, head->w.is_delete);
884}
885
886
887
888
889
890
891
892
893static void tomoyo_read_manager(struct tomoyo_io_buffer *head)
894{
895 if (head->r.eof)
896 return;
897 list_for_each_cookie(head->r.acl, &tomoyo_kernel_namespace.
898 policy_list[TOMOYO_ID_MANAGER]) {
899 struct tomoyo_manager *ptr =
900 list_entry(head->r.acl, typeof(*ptr), head.list);
901 if (ptr->head.is_deleted)
902 continue;
903 if (!tomoyo_flush(head))
904 return;
905 tomoyo_set_string(head, ptr->manager->name);
906 tomoyo_set_lf(head);
907 }
908 head->r.eof = true;
909}
910
911
912
913
914
915
916
917
918
919static bool tomoyo_manager(void)
920{
921 struct tomoyo_manager *ptr;
922 const char *exe;
923 const struct task_struct *task = current;
924 const struct tomoyo_path_info *domainname = tomoyo_domain()->domainname;
925 bool found = false;
926
927 if (!tomoyo_policy_loaded)
928 return true;
929 if (!tomoyo_manage_by_non_root &&
930 (!uid_eq(task->cred->uid, GLOBAL_ROOT_UID) ||
931 !uid_eq(task->cred->euid, GLOBAL_ROOT_UID)))
932 return false;
933 exe = tomoyo_get_exe();
934 if (!exe)
935 return false;
936 list_for_each_entry_rcu(ptr, &tomoyo_kernel_namespace.
937 policy_list[TOMOYO_ID_MANAGER], head.list) {
938 if (!ptr->head.is_deleted &&
939 (!tomoyo_pathcmp(domainname, ptr->manager) ||
940 !strcmp(exe, ptr->manager->name))) {
941 found = true;
942 break;
943 }
944 }
945 if (!found) {
946 static pid_t last_pid;
947 const pid_t pid = current->pid;
948 if (last_pid != pid) {
949 printk(KERN_WARNING "%s ( %s ) is not permitted to "
950 "update policies.\n", domainname->name, exe);
951 last_pid = pid;
952 }
953 }
954 kfree(exe);
955 return found;
956}
957
958static struct tomoyo_domain_info *tomoyo_find_domain_by_qid
959(unsigned int serial);
960
961
962
963
964
965
966
967
968
969
970
971static bool tomoyo_select_domain(struct tomoyo_io_buffer *head,
972 const char *data)
973{
974 unsigned int pid;
975 struct tomoyo_domain_info *domain = NULL;
976 bool global_pid = false;
977 if (strncmp(data, "select ", 7))
978 return false;
979 data += 7;
980 if (sscanf(data, "pid=%u", &pid) == 1 ||
981 (global_pid = true, sscanf(data, "global-pid=%u", &pid) == 1)) {
982 struct task_struct *p;
983 rcu_read_lock();
984 if (global_pid)
985 p = find_task_by_pid_ns(pid, &init_pid_ns);
986 else
987 p = find_task_by_vpid(pid);
988 if (p)
989 domain = tomoyo_real_domain(p);
990 rcu_read_unlock();
991 } else if (!strncmp(data, "domain=", 7)) {
992 if (tomoyo_domain_def(data + 7))
993 domain = tomoyo_find_domain(data + 7);
994 } else if (sscanf(data, "Q=%u", &pid) == 1) {
995 domain = tomoyo_find_domain_by_qid(pid);
996 } else
997 return false;
998 head->w.domain = domain;
999
1000 if (!head->read_buf)
1001 return true;
1002 memset(&head->r, 0, sizeof(head->r));
1003 head->r.print_this_domain_only = true;
1004 if (domain)
1005 head->r.domain = &domain->list;
1006 else
1007 head->r.eof = 1;
1008 tomoyo_io_printf(head, "# select %s\n", data);
1009 if (domain && domain->is_deleted)
1010 tomoyo_io_printf(head, "# This is a deleted domain.\n");
1011 return true;
1012}
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022static bool tomoyo_same_task_acl(const struct tomoyo_acl_info *a,
1023 const struct tomoyo_acl_info *b)
1024{
1025 const struct tomoyo_task_acl *p1 = container_of(a, typeof(*p1), head);
1026 const struct tomoyo_task_acl *p2 = container_of(b, typeof(*p2), head);
1027 return p1->domainname == p2->domainname;
1028}
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039static int tomoyo_write_task(struct tomoyo_acl_param *param)
1040{
1041 int error = -EINVAL;
1042 if (tomoyo_str_starts(¶m->data, "manual_domain_transition ")) {
1043 struct tomoyo_task_acl e = {
1044 .head.type = TOMOYO_TYPE_MANUAL_TASK_ACL,
1045 .domainname = tomoyo_get_domainname(param),
1046 };
1047 if (e.domainname)
1048 error = tomoyo_update_domain(&e.head, sizeof(e), param,
1049 tomoyo_same_task_acl,
1050 NULL);
1051 tomoyo_put_name(e.domainname);
1052 }
1053 return error;
1054}
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065static int tomoyo_delete_domain(char *domainname)
1066{
1067 struct tomoyo_domain_info *domain;
1068 struct tomoyo_path_info name;
1069
1070 name.name = domainname;
1071 tomoyo_fill_path_info(&name);
1072 if (mutex_lock_interruptible(&tomoyo_policy_lock))
1073 return -EINTR;
1074
1075 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
1076
1077 if (domain == &tomoyo_kernel_domain)
1078 continue;
1079 if (domain->is_deleted ||
1080 tomoyo_pathcmp(domain->domainname, &name))
1081 continue;
1082 domain->is_deleted = true;
1083 break;
1084 }
1085 mutex_unlock(&tomoyo_policy_lock);
1086 return 0;
1087}
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101static int tomoyo_write_domain2(struct tomoyo_policy_namespace *ns,
1102 struct list_head *list, char *data,
1103 const bool is_delete)
1104{
1105 struct tomoyo_acl_param param = {
1106 .ns = ns,
1107 .list = list,
1108 .data = data,
1109 .is_delete = is_delete,
1110 };
1111 static const struct {
1112 const char *keyword;
1113 int (*write) (struct tomoyo_acl_param *);
1114 } tomoyo_callback[5] = {
1115 { "file ", tomoyo_write_file },
1116 { "network inet ", tomoyo_write_inet_network },
1117 { "network unix ", tomoyo_write_unix_network },
1118 { "misc ", tomoyo_write_misc },
1119 { "task ", tomoyo_write_task },
1120 };
1121 u8 i;
1122
1123 for (i = 0; i < ARRAY_SIZE(tomoyo_callback); i++) {
1124 if (!tomoyo_str_starts(¶m.data,
1125 tomoyo_callback[i].keyword))
1126 continue;
1127 return tomoyo_callback[i].write(¶m);
1128 }
1129 return -EINVAL;
1130}
1131
1132
1133const char * const tomoyo_dif[TOMOYO_MAX_DOMAIN_INFO_FLAGS] = {
1134 [TOMOYO_DIF_QUOTA_WARNED] = "quota_exceeded\n",
1135 [TOMOYO_DIF_TRANSITION_FAILED] = "transition_failed\n",
1136};
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147static int tomoyo_write_domain(struct tomoyo_io_buffer *head)
1148{
1149 char *data = head->write_buf;
1150 struct tomoyo_policy_namespace *ns;
1151 struct tomoyo_domain_info *domain = head->w.domain;
1152 const bool is_delete = head->w.is_delete;
1153 bool is_select = !is_delete && tomoyo_str_starts(&data, "select ");
1154 unsigned int profile;
1155 if (*data == '<') {
1156 int ret = 0;
1157 domain = NULL;
1158 if (is_delete)
1159 ret = tomoyo_delete_domain(data);
1160 else if (is_select)
1161 domain = tomoyo_find_domain(data);
1162 else
1163 domain = tomoyo_assign_domain(data, false);
1164 head->w.domain = domain;
1165 return ret;
1166 }
1167 if (!domain)
1168 return -EINVAL;
1169 ns = domain->ns;
1170 if (sscanf(data, "use_profile %u", &profile) == 1
1171 && profile < TOMOYO_MAX_PROFILES) {
1172 if (!tomoyo_policy_loaded || ns->profile_ptr[profile])
1173 domain->profile = (u8) profile;
1174 return 0;
1175 }
1176 if (sscanf(data, "use_group %u\n", &profile) == 1
1177 && profile < TOMOYO_MAX_ACL_GROUPS) {
1178 if (!is_delete)
1179 domain->group = (u8) profile;
1180 return 0;
1181 }
1182 for (profile = 0; profile < TOMOYO_MAX_DOMAIN_INFO_FLAGS; profile++) {
1183 const char *cp = tomoyo_dif[profile];
1184 if (strncmp(data, cp, strlen(cp) - 1))
1185 continue;
1186 domain->flags[profile] = !is_delete;
1187 return 0;
1188 }
1189 return tomoyo_write_domain2(ns, &domain->acl_info_list, data,
1190 is_delete);
1191}
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201static bool tomoyo_print_condition(struct tomoyo_io_buffer *head,
1202 const struct tomoyo_condition *cond)
1203{
1204 switch (head->r.cond_step) {
1205 case 0:
1206 head->r.cond_index = 0;
1207 head->r.cond_step++;
1208 if (cond->transit) {
1209 tomoyo_set_space(head);
1210 tomoyo_set_string(head, cond->transit->name);
1211 }
1212
1213 case 1:
1214 {
1215 const u16 condc = cond->condc;
1216 const struct tomoyo_condition_element *condp =
1217 (typeof(condp)) (cond + 1);
1218 const struct tomoyo_number_union *numbers_p =
1219 (typeof(numbers_p)) (condp + condc);
1220 const struct tomoyo_name_union *names_p =
1221 (typeof(names_p))
1222 (numbers_p + cond->numbers_count);
1223 const struct tomoyo_argv *argv =
1224 (typeof(argv)) (names_p + cond->names_count);
1225 const struct tomoyo_envp *envp =
1226 (typeof(envp)) (argv + cond->argc);
1227 u16 skip;
1228 for (skip = 0; skip < head->r.cond_index; skip++) {
1229 const u8 left = condp->left;
1230 const u8 right = condp->right;
1231 condp++;
1232 switch (left) {
1233 case TOMOYO_ARGV_ENTRY:
1234 argv++;
1235 continue;
1236 case TOMOYO_ENVP_ENTRY:
1237 envp++;
1238 continue;
1239 case TOMOYO_NUMBER_UNION:
1240 numbers_p++;
1241 break;
1242 }
1243 switch (right) {
1244 case TOMOYO_NAME_UNION:
1245 names_p++;
1246 break;
1247 case TOMOYO_NUMBER_UNION:
1248 numbers_p++;
1249 break;
1250 }
1251 }
1252 while (head->r.cond_index < condc) {
1253 const u8 match = condp->equals;
1254 const u8 left = condp->left;
1255 const u8 right = condp->right;
1256 if (!tomoyo_flush(head))
1257 return false;
1258 condp++;
1259 head->r.cond_index++;
1260 tomoyo_set_space(head);
1261 switch (left) {
1262 case TOMOYO_ARGV_ENTRY:
1263 tomoyo_io_printf(head,
1264 "exec.argv[%lu]%s=\"",
1265 argv->index, argv->
1266 is_not ? "!" : "");
1267 tomoyo_set_string(head,
1268 argv->value->name);
1269 tomoyo_set_string(head, "\"");
1270 argv++;
1271 continue;
1272 case TOMOYO_ENVP_ENTRY:
1273 tomoyo_set_string(head,
1274 "exec.envp[\"");
1275 tomoyo_set_string(head,
1276 envp->name->name);
1277 tomoyo_io_printf(head, "\"]%s=", envp->
1278 is_not ? "!" : "");
1279 if (envp->value) {
1280 tomoyo_set_string(head, "\"");
1281 tomoyo_set_string(head, envp->
1282 value->name);
1283 tomoyo_set_string(head, "\"");
1284 } else {
1285 tomoyo_set_string(head,
1286 "NULL");
1287 }
1288 envp++;
1289 continue;
1290 case TOMOYO_NUMBER_UNION:
1291 tomoyo_print_number_union_nospace
1292 (head, numbers_p++);
1293 break;
1294 default:
1295 tomoyo_set_string(head,
1296 tomoyo_condition_keyword[left]);
1297 break;
1298 }
1299 tomoyo_set_string(head, match ? "=" : "!=");
1300 switch (right) {
1301 case TOMOYO_NAME_UNION:
1302 tomoyo_print_name_union_quoted
1303 (head, names_p++);
1304 break;
1305 case TOMOYO_NUMBER_UNION:
1306 tomoyo_print_number_union_nospace
1307 (head, numbers_p++);
1308 break;
1309 default:
1310 tomoyo_set_string(head,
1311 tomoyo_condition_keyword[right]);
1312 break;
1313 }
1314 }
1315 }
1316 head->r.cond_step++;
1317
1318 case 2:
1319 if (!tomoyo_flush(head))
1320 break;
1321 head->r.cond_step++;
1322
1323 case 3:
1324 if (cond->grant_log != TOMOYO_GRANTLOG_AUTO)
1325 tomoyo_io_printf(head, " grant_log=%s",
1326 tomoyo_yesno(cond->grant_log ==
1327 TOMOYO_GRANTLOG_YES));
1328 tomoyo_set_lf(head);
1329 return true;
1330 }
1331 return false;
1332}
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342static void tomoyo_set_group(struct tomoyo_io_buffer *head,
1343 const char *category)
1344{
1345 if (head->type == TOMOYO_EXCEPTIONPOLICY) {
1346 tomoyo_print_namespace(head);
1347 tomoyo_io_printf(head, "acl_group %u ",
1348 head->r.acl_group_index);
1349 }
1350 tomoyo_set_string(head, category);
1351}
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361static bool tomoyo_print_entry(struct tomoyo_io_buffer *head,
1362 struct tomoyo_acl_info *acl)
1363{
1364 const u8 acl_type = acl->type;
1365 bool first = true;
1366 u8 bit;
1367
1368 if (head->r.print_cond_part)
1369 goto print_cond_part;
1370 if (acl->is_deleted)
1371 return true;
1372 if (!tomoyo_flush(head))
1373 return false;
1374 else if (acl_type == TOMOYO_TYPE_PATH_ACL) {
1375 struct tomoyo_path_acl *ptr =
1376 container_of(acl, typeof(*ptr), head);
1377 const u16 perm = ptr->perm;
1378 for (bit = 0; bit < TOMOYO_MAX_PATH_OPERATION; bit++) {
1379 if (!(perm & (1 << bit)))
1380 continue;
1381 if (head->r.print_transition_related_only &&
1382 bit != TOMOYO_TYPE_EXECUTE)
1383 continue;
1384 if (first) {
1385 tomoyo_set_group(head, "file ");
1386 first = false;
1387 } else {
1388 tomoyo_set_slash(head);
1389 }
1390 tomoyo_set_string(head, tomoyo_path_keyword[bit]);
1391 }
1392 if (first)
1393 return true;
1394 tomoyo_print_name_union(head, &ptr->name);
1395 } else if (acl_type == TOMOYO_TYPE_MANUAL_TASK_ACL) {
1396 struct tomoyo_task_acl *ptr =
1397 container_of(acl, typeof(*ptr), head);
1398 tomoyo_set_group(head, "task ");
1399 tomoyo_set_string(head, "manual_domain_transition ");
1400 tomoyo_set_string(head, ptr->domainname->name);
1401 } else if (head->r.print_transition_related_only) {
1402 return true;
1403 } else if (acl_type == TOMOYO_TYPE_PATH2_ACL) {
1404 struct tomoyo_path2_acl *ptr =
1405 container_of(acl, typeof(*ptr), head);
1406 const u8 perm = ptr->perm;
1407 for (bit = 0; bit < TOMOYO_MAX_PATH2_OPERATION; bit++) {
1408 if (!(perm & (1 << bit)))
1409 continue;
1410 if (first) {
1411 tomoyo_set_group(head, "file ");
1412 first = false;
1413 } else {
1414 tomoyo_set_slash(head);
1415 }
1416 tomoyo_set_string(head, tomoyo_mac_keywords
1417 [tomoyo_pp2mac[bit]]);
1418 }
1419 if (first)
1420 return true;
1421 tomoyo_print_name_union(head, &ptr->name1);
1422 tomoyo_print_name_union(head, &ptr->name2);
1423 } else if (acl_type == TOMOYO_TYPE_PATH_NUMBER_ACL) {
1424 struct tomoyo_path_number_acl *ptr =
1425 container_of(acl, typeof(*ptr), head);
1426 const u8 perm = ptr->perm;
1427 for (bit = 0; bit < TOMOYO_MAX_PATH_NUMBER_OPERATION; bit++) {
1428 if (!(perm & (1 << bit)))
1429 continue;
1430 if (first) {
1431 tomoyo_set_group(head, "file ");
1432 first = false;
1433 } else {
1434 tomoyo_set_slash(head);
1435 }
1436 tomoyo_set_string(head, tomoyo_mac_keywords
1437 [tomoyo_pn2mac[bit]]);
1438 }
1439 if (first)
1440 return true;
1441 tomoyo_print_name_union(head, &ptr->name);
1442 tomoyo_print_number_union(head, &ptr->number);
1443 } else if (acl_type == TOMOYO_TYPE_MKDEV_ACL) {
1444 struct tomoyo_mkdev_acl *ptr =
1445 container_of(acl, typeof(*ptr), head);
1446 const u8 perm = ptr->perm;
1447 for (bit = 0; bit < TOMOYO_MAX_MKDEV_OPERATION; bit++) {
1448 if (!(perm & (1 << bit)))
1449 continue;
1450 if (first) {
1451 tomoyo_set_group(head, "file ");
1452 first = false;
1453 } else {
1454 tomoyo_set_slash(head);
1455 }
1456 tomoyo_set_string(head, tomoyo_mac_keywords
1457 [tomoyo_pnnn2mac[bit]]);
1458 }
1459 if (first)
1460 return true;
1461 tomoyo_print_name_union(head, &ptr->name);
1462 tomoyo_print_number_union(head, &ptr->mode);
1463 tomoyo_print_number_union(head, &ptr->major);
1464 tomoyo_print_number_union(head, &ptr->minor);
1465 } else if (acl_type == TOMOYO_TYPE_INET_ACL) {
1466 struct tomoyo_inet_acl *ptr =
1467 container_of(acl, typeof(*ptr), head);
1468 const u8 perm = ptr->perm;
1469
1470 for (bit = 0; bit < TOMOYO_MAX_NETWORK_OPERATION; bit++) {
1471 if (!(perm & (1 << bit)))
1472 continue;
1473 if (first) {
1474 tomoyo_set_group(head, "network inet ");
1475 tomoyo_set_string(head, tomoyo_proto_keyword
1476 [ptr->protocol]);
1477 tomoyo_set_space(head);
1478 first = false;
1479 } else {
1480 tomoyo_set_slash(head);
1481 }
1482 tomoyo_set_string(head, tomoyo_socket_keyword[bit]);
1483 }
1484 if (first)
1485 return true;
1486 tomoyo_set_space(head);
1487 if (ptr->address.group) {
1488 tomoyo_set_string(head, "@");
1489 tomoyo_set_string(head, ptr->address.group->group_name
1490 ->name);
1491 } else {
1492 char buf[128];
1493 tomoyo_print_ip(buf, sizeof(buf), &ptr->address);
1494 tomoyo_io_printf(head, "%s", buf);
1495 }
1496 tomoyo_print_number_union(head, &ptr->port);
1497 } else if (acl_type == TOMOYO_TYPE_UNIX_ACL) {
1498 struct tomoyo_unix_acl *ptr =
1499 container_of(acl, typeof(*ptr), head);
1500 const u8 perm = ptr->perm;
1501
1502 for (bit = 0; bit < TOMOYO_MAX_NETWORK_OPERATION; bit++) {
1503 if (!(perm & (1 << bit)))
1504 continue;
1505 if (first) {
1506 tomoyo_set_group(head, "network unix ");
1507 tomoyo_set_string(head, tomoyo_proto_keyword
1508 [ptr->protocol]);
1509 tomoyo_set_space(head);
1510 first = false;
1511 } else {
1512 tomoyo_set_slash(head);
1513 }
1514 tomoyo_set_string(head, tomoyo_socket_keyword[bit]);
1515 }
1516 if (first)
1517 return true;
1518 tomoyo_print_name_union(head, &ptr->name);
1519 } else if (acl_type == TOMOYO_TYPE_MOUNT_ACL) {
1520 struct tomoyo_mount_acl *ptr =
1521 container_of(acl, typeof(*ptr), head);
1522 tomoyo_set_group(head, "file mount");
1523 tomoyo_print_name_union(head, &ptr->dev_name);
1524 tomoyo_print_name_union(head, &ptr->dir_name);
1525 tomoyo_print_name_union(head, &ptr->fs_type);
1526 tomoyo_print_number_union(head, &ptr->flags);
1527 } else if (acl_type == TOMOYO_TYPE_ENV_ACL) {
1528 struct tomoyo_env_acl *ptr =
1529 container_of(acl, typeof(*ptr), head);
1530
1531 tomoyo_set_group(head, "misc env ");
1532 tomoyo_set_string(head, ptr->env->name);
1533 }
1534 if (acl->cond) {
1535 head->r.print_cond_part = true;
1536 head->r.cond_step = 0;
1537 if (!tomoyo_flush(head))
1538 return false;
1539print_cond_part:
1540 if (!tomoyo_print_condition(head, acl->cond))
1541 return false;
1542 head->r.print_cond_part = false;
1543 } else {
1544 tomoyo_set_lf(head);
1545 }
1546 return true;
1547}
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559static bool tomoyo_read_domain2(struct tomoyo_io_buffer *head,
1560 struct list_head *list)
1561{
1562 list_for_each_cookie(head->r.acl, list) {
1563 struct tomoyo_acl_info *ptr =
1564 list_entry(head->r.acl, typeof(*ptr), list);
1565 if (!tomoyo_print_entry(head, ptr))
1566 return false;
1567 }
1568 head->r.acl = NULL;
1569 return true;
1570}
1571
1572
1573
1574
1575
1576
1577
1578
1579static void tomoyo_read_domain(struct tomoyo_io_buffer *head)
1580{
1581 if (head->r.eof)
1582 return;
1583 list_for_each_cookie(head->r.domain, &tomoyo_domain_list) {
1584 struct tomoyo_domain_info *domain =
1585 list_entry(head->r.domain, typeof(*domain), list);
1586 switch (head->r.step) {
1587 u8 i;
1588 case 0:
1589 if (domain->is_deleted &&
1590 !head->r.print_this_domain_only)
1591 continue;
1592
1593 tomoyo_set_string(head, domain->domainname->name);
1594 tomoyo_set_lf(head);
1595 tomoyo_io_printf(head, "use_profile %u\n",
1596 domain->profile);
1597 tomoyo_io_printf(head, "use_group %u\n",
1598 domain->group);
1599 for (i = 0; i < TOMOYO_MAX_DOMAIN_INFO_FLAGS; i++)
1600 if (domain->flags[i])
1601 tomoyo_set_string(head, tomoyo_dif[i]);
1602 head->r.step++;
1603 tomoyo_set_lf(head);
1604
1605 case 1:
1606 if (!tomoyo_read_domain2(head, &domain->acl_info_list))
1607 return;
1608 head->r.step++;
1609 if (!tomoyo_set_lf(head))
1610 return;
1611
1612 case 2:
1613 head->r.step = 0;
1614 if (head->r.print_this_domain_only)
1615 goto done;
1616 }
1617 }
1618 done:
1619 head->r.eof = true;
1620}
1621
1622
1623
1624
1625
1626
1627
1628
1629static int tomoyo_write_pid(struct tomoyo_io_buffer *head)
1630{
1631 head->r.eof = false;
1632 return 0;
1633}
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645static void tomoyo_read_pid(struct tomoyo_io_buffer *head)
1646{
1647 char *buf = head->write_buf;
1648 bool global_pid = false;
1649 unsigned int pid;
1650 struct task_struct *p;
1651 struct tomoyo_domain_info *domain = NULL;
1652
1653
1654 if (!buf) {
1655 head->r.eof = true;
1656 return;
1657 }
1658 if (head->r.w_pos || head->r.eof)
1659 return;
1660 head->r.eof = true;
1661 if (tomoyo_str_starts(&buf, "global-pid "))
1662 global_pid = true;
1663 pid = (unsigned int) simple_strtoul(buf, NULL, 10);
1664 rcu_read_lock();
1665 if (global_pid)
1666 p = find_task_by_pid_ns(pid, &init_pid_ns);
1667 else
1668 p = find_task_by_vpid(pid);
1669 if (p)
1670 domain = tomoyo_real_domain(p);
1671 rcu_read_unlock();
1672 if (!domain)
1673 return;
1674 tomoyo_io_printf(head, "%u %u ", pid, domain->profile);
1675 tomoyo_set_string(head, domain->domainname->name);
1676}
1677
1678
1679static const char *tomoyo_transition_type[TOMOYO_MAX_TRANSITION_TYPE] = {
1680 [TOMOYO_TRANSITION_CONTROL_NO_RESET] = "no_reset_domain ",
1681 [TOMOYO_TRANSITION_CONTROL_RESET] = "reset_domain ",
1682 [TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE] = "no_initialize_domain ",
1683 [TOMOYO_TRANSITION_CONTROL_INITIALIZE] = "initialize_domain ",
1684 [TOMOYO_TRANSITION_CONTROL_NO_KEEP] = "no_keep_domain ",
1685 [TOMOYO_TRANSITION_CONTROL_KEEP] = "keep_domain ",
1686};
1687
1688
1689static const char *tomoyo_group_name[TOMOYO_MAX_GROUP] = {
1690 [TOMOYO_PATH_GROUP] = "path_group ",
1691 [TOMOYO_NUMBER_GROUP] = "number_group ",
1692 [TOMOYO_ADDRESS_GROUP] = "address_group ",
1693};
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704static int tomoyo_write_exception(struct tomoyo_io_buffer *head)
1705{
1706 const bool is_delete = head->w.is_delete;
1707 struct tomoyo_acl_param param = {
1708 .ns = head->w.ns,
1709 .is_delete = is_delete,
1710 .data = head->write_buf,
1711 };
1712 u8 i;
1713 if (tomoyo_str_starts(¶m.data, "aggregator "))
1714 return tomoyo_write_aggregator(¶m);
1715 for (i = 0; i < TOMOYO_MAX_TRANSITION_TYPE; i++)
1716 if (tomoyo_str_starts(¶m.data, tomoyo_transition_type[i]))
1717 return tomoyo_write_transition_control(¶m, i);
1718 for (i = 0; i < TOMOYO_MAX_GROUP; i++)
1719 if (tomoyo_str_starts(¶m.data, tomoyo_group_name[i]))
1720 return tomoyo_write_group(¶m, i);
1721 if (tomoyo_str_starts(¶m.data, "acl_group ")) {
1722 unsigned int group;
1723 char *data;
1724 group = simple_strtoul(param.data, &data, 10);
1725 if (group < TOMOYO_MAX_ACL_GROUPS && *data++ == ' ')
1726 return tomoyo_write_domain2
1727 (head->w.ns, &head->w.ns->acl_group[group],
1728 data, is_delete);
1729 }
1730 return -EINVAL;
1731}
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743static bool tomoyo_read_group(struct tomoyo_io_buffer *head, const int idx)
1744{
1745 struct tomoyo_policy_namespace *ns =
1746 container_of(head->r.ns, typeof(*ns), namespace_list);
1747 struct list_head *list = &ns->group_list[idx];
1748 list_for_each_cookie(head->r.group, list) {
1749 struct tomoyo_group *group =
1750 list_entry(head->r.group, typeof(*group), head.list);
1751 list_for_each_cookie(head->r.acl, &group->member_list) {
1752 struct tomoyo_acl_head *ptr =
1753 list_entry(head->r.acl, typeof(*ptr), list);
1754 if (ptr->is_deleted)
1755 continue;
1756 if (!tomoyo_flush(head))
1757 return false;
1758 tomoyo_print_namespace(head);
1759 tomoyo_set_string(head, tomoyo_group_name[idx]);
1760 tomoyo_set_string(head, group->group_name->name);
1761 if (idx == TOMOYO_PATH_GROUP) {
1762 tomoyo_set_space(head);
1763 tomoyo_set_string(head, container_of
1764 (ptr, struct tomoyo_path_group,
1765 head)->member_name->name);
1766 } else if (idx == TOMOYO_NUMBER_GROUP) {
1767 tomoyo_print_number_union(head, &container_of
1768 (ptr,
1769 struct tomoyo_number_group,
1770 head)->number);
1771 } else if (idx == TOMOYO_ADDRESS_GROUP) {
1772 char buffer[128];
1773
1774 struct tomoyo_address_group *member =
1775 container_of(ptr, typeof(*member),
1776 head);
1777 tomoyo_print_ip(buffer, sizeof(buffer),
1778 &member->address);
1779 tomoyo_io_printf(head, " %s", buffer);
1780 }
1781 tomoyo_set_lf(head);
1782 }
1783 head->r.acl = NULL;
1784 }
1785 head->r.group = NULL;
1786 return true;
1787}
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799static bool tomoyo_read_policy(struct tomoyo_io_buffer *head, const int idx)
1800{
1801 struct tomoyo_policy_namespace *ns =
1802 container_of(head->r.ns, typeof(*ns), namespace_list);
1803 struct list_head *list = &ns->policy_list[idx];
1804 list_for_each_cookie(head->r.acl, list) {
1805 struct tomoyo_acl_head *acl =
1806 container_of(head->r.acl, typeof(*acl), list);
1807 if (acl->is_deleted)
1808 continue;
1809 if (!tomoyo_flush(head))
1810 return false;
1811 switch (idx) {
1812 case TOMOYO_ID_TRANSITION_CONTROL:
1813 {
1814 struct tomoyo_transition_control *ptr =
1815 container_of(acl, typeof(*ptr), head);
1816 tomoyo_print_namespace(head);
1817 tomoyo_set_string(head, tomoyo_transition_type
1818 [ptr->type]);
1819 tomoyo_set_string(head, ptr->program ?
1820 ptr->program->name : "any");
1821 tomoyo_set_string(head, " from ");
1822 tomoyo_set_string(head, ptr->domainname ?
1823 ptr->domainname->name :
1824 "any");
1825 }
1826 break;
1827 case TOMOYO_ID_AGGREGATOR:
1828 {
1829 struct tomoyo_aggregator *ptr =
1830 container_of(acl, typeof(*ptr), head);
1831 tomoyo_print_namespace(head);
1832 tomoyo_set_string(head, "aggregator ");
1833 tomoyo_set_string(head,
1834 ptr->original_name->name);
1835 tomoyo_set_space(head);
1836 tomoyo_set_string(head,
1837 ptr->aggregated_name->name);
1838 }
1839 break;
1840 default:
1841 continue;
1842 }
1843 tomoyo_set_lf(head);
1844 }
1845 head->r.acl = NULL;
1846 return true;
1847}
1848
1849
1850
1851
1852
1853
1854
1855
1856static void tomoyo_read_exception(struct tomoyo_io_buffer *head)
1857{
1858 struct tomoyo_policy_namespace *ns =
1859 container_of(head->r.ns, typeof(*ns), namespace_list);
1860 if (head->r.eof)
1861 return;
1862 while (head->r.step < TOMOYO_MAX_POLICY &&
1863 tomoyo_read_policy(head, head->r.step))
1864 head->r.step++;
1865 if (head->r.step < TOMOYO_MAX_POLICY)
1866 return;
1867 while (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP &&
1868 tomoyo_read_group(head, head->r.step - TOMOYO_MAX_POLICY))
1869 head->r.step++;
1870 if (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP)
1871 return;
1872 while (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP
1873 + TOMOYO_MAX_ACL_GROUPS) {
1874 head->r.acl_group_index = head->r.step - TOMOYO_MAX_POLICY
1875 - TOMOYO_MAX_GROUP;
1876 if (!tomoyo_read_domain2(head, &ns->acl_group
1877 [head->r.acl_group_index]))
1878 return;
1879 head->r.step++;
1880 }
1881 head->r.eof = true;
1882}
1883
1884
1885static DECLARE_WAIT_QUEUE_HEAD(tomoyo_query_wait);
1886
1887static DECLARE_WAIT_QUEUE_HEAD(tomoyo_answer_wait);
1888
1889
1890struct tomoyo_query {
1891 struct list_head list;
1892 struct tomoyo_domain_info *domain;
1893 char *query;
1894 size_t query_len;
1895 unsigned int serial;
1896 u8 timer;
1897 u8 answer;
1898 u8 retry;
1899};
1900
1901
1902static LIST_HEAD(tomoyo_query_list);
1903
1904
1905static DEFINE_SPINLOCK(tomoyo_query_list_lock);
1906
1907
1908
1909
1910
1911static atomic_t tomoyo_query_observers = ATOMIC_INIT(0);
1912
1913
1914
1915
1916
1917
1918
1919
1920static int tomoyo_truncate(char *str)
1921{
1922 char *start = str;
1923 while (*(unsigned char *) str > (unsigned char) ' ')
1924 str++;
1925 *str = '\0';
1926 return strlen(start) + 1;
1927}
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937static void tomoyo_add_entry(struct tomoyo_domain_info *domain, char *header)
1938{
1939 char *buffer;
1940 char *realpath = NULL;
1941 char *argv0 = NULL;
1942 char *symlink = NULL;
1943 char *cp = strchr(header, '\n');
1944 int len;
1945 if (!cp)
1946 return;
1947 cp = strchr(cp + 1, '\n');
1948 if (!cp)
1949 return;
1950 *cp++ = '\0';
1951 len = strlen(cp) + 1;
1952
1953 if (*cp == 'f') {
1954 argv0 = strstr(header, " argv[]={ \"");
1955 if (argv0) {
1956 argv0 += 10;
1957 len += tomoyo_truncate(argv0) + 14;
1958 }
1959 realpath = strstr(header, " exec={ realpath=\"");
1960 if (realpath) {
1961 realpath += 8;
1962 len += tomoyo_truncate(realpath) + 6;
1963 }
1964 symlink = strstr(header, " symlink.target=\"");
1965 if (symlink)
1966 len += tomoyo_truncate(symlink + 1) + 1;
1967 }
1968 buffer = kmalloc(len, GFP_NOFS);
1969 if (!buffer)
1970 return;
1971 snprintf(buffer, len - 1, "%s", cp);
1972 if (realpath)
1973 tomoyo_addprintf(buffer, len, " exec.%s", realpath);
1974 if (argv0)
1975 tomoyo_addprintf(buffer, len, " exec.argv[0]=%s", argv0);
1976 if (symlink)
1977 tomoyo_addprintf(buffer, len, "%s", symlink);
1978 tomoyo_normalize_line(buffer);
1979 if (!tomoyo_write_domain2(domain->ns, &domain->acl_info_list, buffer,
1980 false))
1981 tomoyo_update_stat(TOMOYO_STAT_POLICY_UPDATES);
1982 kfree(buffer);
1983}
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996int tomoyo_supervisor(struct tomoyo_request_info *r, const char *fmt, ...)
1997{
1998 va_list args;
1999 int error;
2000 int len;
2001 static unsigned int tomoyo_serial;
2002 struct tomoyo_query entry = { };
2003 bool quota_exceeded = false;
2004 va_start(args, fmt);
2005 len = vsnprintf((char *) &len, 1, fmt, args) + 1;
2006 va_end(args);
2007
2008 va_start(args, fmt);
2009 tomoyo_write_log2(r, len, fmt, args);
2010 va_end(args);
2011
2012 if (r->granted)
2013 return 0;
2014 if (r->mode)
2015 tomoyo_update_stat(r->mode);
2016 switch (r->mode) {
2017 case TOMOYO_CONFIG_ENFORCING:
2018 error = -EPERM;
2019 if (atomic_read(&tomoyo_query_observers))
2020 break;
2021 goto out;
2022 case TOMOYO_CONFIG_LEARNING:
2023 error = 0;
2024
2025 if (tomoyo_domain_quota_is_ok(r))
2026 break;
2027
2028 default:
2029 return 0;
2030 }
2031
2032 va_start(args, fmt);
2033 entry.query = tomoyo_init_log(r, len, fmt, args);
2034 va_end(args);
2035 if (!entry.query)
2036 goto out;
2037 entry.query_len = strlen(entry.query) + 1;
2038 if (!error) {
2039 tomoyo_add_entry(r->domain, entry.query);
2040 goto out;
2041 }
2042 len = tomoyo_round2(entry.query_len);
2043 entry.domain = r->domain;
2044 spin_lock(&tomoyo_query_list_lock);
2045 if (tomoyo_memory_quota[TOMOYO_MEMORY_QUERY] &&
2046 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] + len
2047 >= tomoyo_memory_quota[TOMOYO_MEMORY_QUERY]) {
2048 quota_exceeded = true;
2049 } else {
2050 entry.serial = tomoyo_serial++;
2051 entry.retry = r->retry;
2052 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] += len;
2053 list_add_tail(&entry.list, &tomoyo_query_list);
2054 }
2055 spin_unlock(&tomoyo_query_list_lock);
2056 if (quota_exceeded)
2057 goto out;
2058
2059 while (entry.timer < 10) {
2060 wake_up_all(&tomoyo_query_wait);
2061 if (wait_event_interruptible_timeout
2062 (tomoyo_answer_wait, entry.answer ||
2063 !atomic_read(&tomoyo_query_observers), HZ))
2064 break;
2065 else
2066 entry.timer++;
2067 }
2068 spin_lock(&tomoyo_query_list_lock);
2069 list_del(&entry.list);
2070 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] -= len;
2071 spin_unlock(&tomoyo_query_list_lock);
2072 switch (entry.answer) {
2073 case 3:
2074 error = TOMOYO_RETRY_REQUEST;
2075 r->retry++;
2076 break;
2077 case 1:
2078
2079 error = 0;
2080 break;
2081 default:
2082
2083 break;
2084 }
2085out:
2086 kfree(entry.query);
2087 return error;
2088}
2089
2090
2091
2092
2093
2094
2095
2096
2097static struct tomoyo_domain_info *tomoyo_find_domain_by_qid
2098(unsigned int serial)
2099{
2100 struct tomoyo_query *ptr;
2101 struct tomoyo_domain_info *domain = NULL;
2102 spin_lock(&tomoyo_query_list_lock);
2103 list_for_each_entry(ptr, &tomoyo_query_list, list) {
2104 if (ptr->serial != serial)
2105 continue;
2106 domain = ptr->domain;
2107 break;
2108 }
2109 spin_unlock(&tomoyo_query_list_lock);
2110 return domain;
2111}
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123static __poll_t tomoyo_poll_query(struct file *file, poll_table *wait)
2124{
2125 if (!list_empty(&tomoyo_query_list))
2126 return EPOLLIN | EPOLLRDNORM;
2127 poll_wait(file, &tomoyo_query_wait, wait);
2128 if (!list_empty(&tomoyo_query_list))
2129 return EPOLLIN | EPOLLRDNORM;
2130 return 0;
2131}
2132
2133
2134
2135
2136
2137
2138static void tomoyo_read_query(struct tomoyo_io_buffer *head)
2139{
2140 struct list_head *tmp;
2141 unsigned int pos = 0;
2142 size_t len = 0;
2143 char *buf;
2144 if (head->r.w_pos)
2145 return;
2146 if (head->read_buf) {
2147 kfree(head->read_buf);
2148 head->read_buf = NULL;
2149 }
2150 spin_lock(&tomoyo_query_list_lock);
2151 list_for_each(tmp, &tomoyo_query_list) {
2152 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2153 if (pos++ != head->r.query_index)
2154 continue;
2155 len = ptr->query_len;
2156 break;
2157 }
2158 spin_unlock(&tomoyo_query_list_lock);
2159 if (!len) {
2160 head->r.query_index = 0;
2161 return;
2162 }
2163 buf = kzalloc(len + 32, GFP_NOFS);
2164 if (!buf)
2165 return;
2166 pos = 0;
2167 spin_lock(&tomoyo_query_list_lock);
2168 list_for_each(tmp, &tomoyo_query_list) {
2169 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2170 if (pos++ != head->r.query_index)
2171 continue;
2172
2173
2174
2175
2176 if (len == ptr->query_len)
2177 snprintf(buf, len + 31, "Q%u-%hu\n%s", ptr->serial,
2178 ptr->retry, ptr->query);
2179 break;
2180 }
2181 spin_unlock(&tomoyo_query_list_lock);
2182 if (buf[0]) {
2183 head->read_buf = buf;
2184 head->r.w[head->r.w_pos++] = buf;
2185 head->r.query_index++;
2186 } else {
2187 kfree(buf);
2188 }
2189}
2190
2191
2192
2193
2194
2195
2196
2197
2198static int tomoyo_write_answer(struct tomoyo_io_buffer *head)
2199{
2200 char *data = head->write_buf;
2201 struct list_head *tmp;
2202 unsigned int serial;
2203 unsigned int answer;
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 ptr->timer = 0;
2208 }
2209 spin_unlock(&tomoyo_query_list_lock);
2210 if (sscanf(data, "A%u=%u", &serial, &answer) != 2)
2211 return -EINVAL;
2212 spin_lock(&tomoyo_query_list_lock);
2213 list_for_each(tmp, &tomoyo_query_list) {
2214 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
2215 if (ptr->serial != serial)
2216 continue;
2217 ptr->answer = answer;
2218
2219 if (ptr->answer)
2220 list_del_init(&ptr->list);
2221 break;
2222 }
2223 spin_unlock(&tomoyo_query_list_lock);
2224 return 0;
2225}
2226
2227
2228
2229
2230
2231
2232
2233
2234static void tomoyo_read_version(struct tomoyo_io_buffer *head)
2235{
2236 if (!head->r.eof) {
2237 tomoyo_io_printf(head, "2.5.0");
2238 head->r.eof = true;
2239 }
2240}
2241
2242
2243static const char * const tomoyo_policy_headers[TOMOYO_MAX_POLICY_STAT] = {
2244 [TOMOYO_STAT_POLICY_UPDATES] = "update:",
2245 [TOMOYO_STAT_POLICY_LEARNING] = "violation in learning mode:",
2246 [TOMOYO_STAT_POLICY_PERMISSIVE] = "violation in permissive mode:",
2247 [TOMOYO_STAT_POLICY_ENFORCING] = "violation in enforcing mode:",
2248};
2249
2250
2251static const char * const tomoyo_memory_headers[TOMOYO_MAX_MEMORY_STAT] = {
2252 [TOMOYO_MEMORY_POLICY] = "policy:",
2253 [TOMOYO_MEMORY_AUDIT] = "audit log:",
2254 [TOMOYO_MEMORY_QUERY] = "query message:",
2255};
2256
2257
2258static unsigned int tomoyo_stat_updated[TOMOYO_MAX_POLICY_STAT];
2259
2260static time64_t tomoyo_stat_modified[TOMOYO_MAX_POLICY_STAT];
2261
2262
2263
2264
2265
2266
2267
2268
2269void tomoyo_update_stat(const u8 index)
2270{
2271
2272
2273
2274 tomoyo_stat_updated[index]++;
2275 tomoyo_stat_modified[index] = ktime_get_real_seconds();
2276}
2277
2278
2279
2280
2281
2282
2283
2284
2285static void tomoyo_read_stat(struct tomoyo_io_buffer *head)
2286{
2287 u8 i;
2288 unsigned int total = 0;
2289 if (head->r.eof)
2290 return;
2291 for (i = 0; i < TOMOYO_MAX_POLICY_STAT; i++) {
2292 tomoyo_io_printf(head, "Policy %-30s %10u",
2293 tomoyo_policy_headers[i],
2294 tomoyo_stat_updated[i]);
2295 if (tomoyo_stat_modified[i]) {
2296 struct tomoyo_time stamp;
2297 tomoyo_convert_time(tomoyo_stat_modified[i], &stamp);
2298 tomoyo_io_printf(head, " (Last: %04u/%02u/%02u "
2299 "%02u:%02u:%02u)",
2300 stamp.year, stamp.month, stamp.day,
2301 stamp.hour, stamp.min, stamp.sec);
2302 }
2303 tomoyo_set_lf(head);
2304 }
2305 for (i = 0; i < TOMOYO_MAX_MEMORY_STAT; i++) {
2306 unsigned int used = tomoyo_memory_used[i];
2307 total += used;
2308 tomoyo_io_printf(head, "Memory used by %-22s %10u",
2309 tomoyo_memory_headers[i], used);
2310 used = tomoyo_memory_quota[i];
2311 if (used)
2312 tomoyo_io_printf(head, " (Quota: %10u)", used);
2313 tomoyo_set_lf(head);
2314 }
2315 tomoyo_io_printf(head, "Total memory used: %10u\n",
2316 total);
2317 head->r.eof = true;
2318}
2319
2320
2321
2322
2323
2324
2325
2326
2327static int tomoyo_write_stat(struct tomoyo_io_buffer *head)
2328{
2329 char *data = head->write_buf;
2330 u8 i;
2331 if (tomoyo_str_starts(&data, "Memory used by "))
2332 for (i = 0; i < TOMOYO_MAX_MEMORY_STAT; i++)
2333 if (tomoyo_str_starts(&data, tomoyo_memory_headers[i]))
2334 sscanf(data, "%u", &tomoyo_memory_quota[i]);
2335 return 0;
2336}
2337
2338
2339
2340
2341
2342
2343
2344
2345
2346int tomoyo_open_control(const u8 type, struct file *file)
2347{
2348 struct tomoyo_io_buffer *head = kzalloc(sizeof(*head), GFP_NOFS);
2349
2350 if (!head)
2351 return -ENOMEM;
2352 mutex_init(&head->io_sem);
2353 head->type = type;
2354 switch (type) {
2355 case TOMOYO_DOMAINPOLICY:
2356
2357 head->write = tomoyo_write_domain;
2358 head->read = tomoyo_read_domain;
2359 break;
2360 case TOMOYO_EXCEPTIONPOLICY:
2361
2362 head->write = tomoyo_write_exception;
2363 head->read = tomoyo_read_exception;
2364 break;
2365 case TOMOYO_AUDIT:
2366
2367 head->poll = tomoyo_poll_log;
2368 head->read = tomoyo_read_log;
2369 break;
2370 case TOMOYO_PROCESS_STATUS:
2371
2372 head->write = tomoyo_write_pid;
2373 head->read = tomoyo_read_pid;
2374 break;
2375 case TOMOYO_VERSION:
2376
2377 head->read = tomoyo_read_version;
2378 head->readbuf_size = 128;
2379 break;
2380 case TOMOYO_STAT:
2381
2382 head->write = tomoyo_write_stat;
2383 head->read = tomoyo_read_stat;
2384 head->readbuf_size = 1024;
2385 break;
2386 case TOMOYO_PROFILE:
2387
2388 head->write = tomoyo_write_profile;
2389 head->read = tomoyo_read_profile;
2390 break;
2391 case TOMOYO_QUERY:
2392 head->poll = tomoyo_poll_query;
2393 head->write = tomoyo_write_answer;
2394 head->read = tomoyo_read_query;
2395 break;
2396 case TOMOYO_MANAGER:
2397
2398 head->write = tomoyo_write_manager;
2399 head->read = tomoyo_read_manager;
2400 break;
2401 }
2402 if (!(file->f_mode & FMODE_READ)) {
2403
2404
2405
2406
2407 head->read = NULL;
2408 head->poll = NULL;
2409 } else if (!head->poll) {
2410
2411 if (!head->readbuf_size)
2412 head->readbuf_size = 4096 * 2;
2413 head->read_buf = kzalloc(head->readbuf_size, GFP_NOFS);
2414 if (!head->read_buf) {
2415 kfree(head);
2416 return -ENOMEM;
2417 }
2418 }
2419 if (!(file->f_mode & FMODE_WRITE)) {
2420
2421
2422
2423
2424 head->write = NULL;
2425 } else if (head->write) {
2426 head->writebuf_size = 4096 * 2;
2427 head->write_buf = kzalloc(head->writebuf_size, GFP_NOFS);
2428 if (!head->write_buf) {
2429 kfree(head->read_buf);
2430 kfree(head);
2431 return -ENOMEM;
2432 }
2433 }
2434
2435
2436
2437
2438
2439
2440 if (type == TOMOYO_QUERY)
2441 atomic_inc(&tomoyo_query_observers);
2442 file->private_data = head;
2443 tomoyo_notify_gc(head, true);
2444 return 0;
2445}
2446
2447
2448
2449
2450
2451
2452
2453
2454
2455
2456__poll_t tomoyo_poll_control(struct file *file, poll_table *wait)
2457{
2458 struct tomoyo_io_buffer *head = file->private_data;
2459 if (head->poll)
2460 return head->poll(file, wait) | EPOLLOUT | EPOLLWRNORM;
2461 return EPOLLIN | EPOLLRDNORM | EPOLLOUT | EPOLLWRNORM;
2462}
2463
2464
2465
2466
2467
2468
2469
2470
2471static inline void tomoyo_set_namespace_cursor(struct tomoyo_io_buffer *head)
2472{
2473 struct list_head *ns;
2474 if (head->type != TOMOYO_EXCEPTIONPOLICY &&
2475 head->type != TOMOYO_PROFILE)
2476 return;
2477
2478
2479
2480
2481 ns = head->r.ns;
2482 if (!ns || (head->r.eof && ns->next != &tomoyo_namespace_list)) {
2483
2484 memset(&head->r, 0, sizeof(head->r));
2485 head->r.ns = ns ? ns->next : tomoyo_namespace_list.next;
2486 }
2487}
2488
2489
2490
2491
2492
2493
2494
2495
2496static inline bool tomoyo_has_more_namespace(struct tomoyo_io_buffer *head)
2497{
2498 return (head->type == TOMOYO_EXCEPTIONPOLICY ||
2499 head->type == TOMOYO_PROFILE) && head->r.eof &&
2500 head->r.ns->next != &tomoyo_namespace_list;
2501}
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512ssize_t tomoyo_read_control(struct tomoyo_io_buffer *head, char __user *buffer,
2513 const int buffer_len)
2514{
2515 int len;
2516 int idx;
2517
2518 if (!head->read)
2519 return -ENOSYS;
2520 if (mutex_lock_interruptible(&head->io_sem))
2521 return -EINTR;
2522 head->read_user_buf = buffer;
2523 head->read_user_buf_avail = buffer_len;
2524 idx = tomoyo_read_lock();
2525 if (tomoyo_flush(head))
2526
2527 do {
2528 tomoyo_set_namespace_cursor(head);
2529 head->read(head);
2530 } while (tomoyo_flush(head) &&
2531 tomoyo_has_more_namespace(head));
2532 tomoyo_read_unlock(idx);
2533 len = head->read_user_buf - buffer;
2534 mutex_unlock(&head->io_sem);
2535 return len;
2536}
2537
2538
2539
2540
2541
2542
2543
2544
2545
2546
2547
2548static int tomoyo_parse_policy(struct tomoyo_io_buffer *head, char *line)
2549{
2550
2551 head->w.is_delete = !strncmp(line, "delete ", 7);
2552 if (head->w.is_delete)
2553 memmove(line, line + 7, strlen(line + 7) + 1);
2554
2555 if (head->type == TOMOYO_EXCEPTIONPOLICY ||
2556 head->type == TOMOYO_PROFILE) {
2557 if (*line == '<') {
2558 char *cp = strchr(line, ' ');
2559 if (cp) {
2560 *cp++ = '\0';
2561 head->w.ns = tomoyo_assign_namespace(line);
2562 memmove(line, cp, strlen(cp) + 1);
2563 } else
2564 head->w.ns = NULL;
2565 } else
2566 head->w.ns = &tomoyo_kernel_namespace;
2567
2568 if (!head->w.ns)
2569 return -ENOENT;
2570 }
2571
2572 return head->write(head);
2573}
2574
2575
2576
2577
2578
2579
2580
2581
2582
2583
2584ssize_t tomoyo_write_control(struct tomoyo_io_buffer *head,
2585 const char __user *buffer, const int buffer_len)
2586{
2587 int error = buffer_len;
2588 size_t avail_len = buffer_len;
2589 char *cp0 = head->write_buf;
2590 int idx;
2591 if (!head->write)
2592 return -ENOSYS;
2593 if (!access_ok(VERIFY_READ, buffer, buffer_len))
2594 return -EFAULT;
2595 if (mutex_lock_interruptible(&head->io_sem))
2596 return -EINTR;
2597 head->read_user_buf_avail = 0;
2598 idx = tomoyo_read_lock();
2599
2600 while (avail_len > 0) {
2601 char c;
2602 if (head->w.avail >= head->writebuf_size - 1) {
2603 const int len = head->writebuf_size * 2;
2604 char *cp = kzalloc(len, GFP_NOFS);
2605 if (!cp) {
2606 error = -ENOMEM;
2607 break;
2608 }
2609 memmove(cp, cp0, head->w.avail);
2610 kfree(cp0);
2611 head->write_buf = cp;
2612 cp0 = cp;
2613 head->writebuf_size = len;
2614 }
2615 if (get_user(c, buffer)) {
2616 error = -EFAULT;
2617 break;
2618 }
2619 buffer++;
2620 avail_len--;
2621 cp0[head->w.avail++] = c;
2622 if (c != '\n')
2623 continue;
2624 cp0[head->w.avail - 1] = '\0';
2625 head->w.avail = 0;
2626 tomoyo_normalize_line(cp0);
2627 if (!strcmp(cp0, "reset")) {
2628 head->w.ns = &tomoyo_kernel_namespace;
2629 head->w.domain = NULL;
2630 memset(&head->r, 0, sizeof(head->r));
2631 continue;
2632 }
2633
2634 switch (head->type) {
2635 case TOMOYO_PROCESS_STATUS:
2636
2637 break;
2638 case TOMOYO_DOMAINPOLICY:
2639 if (tomoyo_select_domain(head, cp0))
2640 continue;
2641
2642 case TOMOYO_EXCEPTIONPOLICY:
2643 if (!strcmp(cp0, "select transition_only")) {
2644 head->r.print_transition_related_only = true;
2645 continue;
2646 }
2647
2648 default:
2649 if (!tomoyo_manager()) {
2650 error = -EPERM;
2651 goto out;
2652 }
2653 }
2654 switch (tomoyo_parse_policy(head, cp0)) {
2655 case -EPERM:
2656 error = -EPERM;
2657 goto out;
2658 case 0:
2659 switch (head->type) {
2660 case TOMOYO_DOMAINPOLICY:
2661 case TOMOYO_EXCEPTIONPOLICY:
2662 case TOMOYO_STAT:
2663 case TOMOYO_PROFILE:
2664 case TOMOYO_MANAGER:
2665 tomoyo_update_stat(TOMOYO_STAT_POLICY_UPDATES);
2666 break;
2667 default:
2668 break;
2669 }
2670 break;
2671 }
2672 }
2673out:
2674 tomoyo_read_unlock(idx);
2675 mutex_unlock(&head->io_sem);
2676 return error;
2677}
2678
2679
2680
2681
2682
2683
2684void tomoyo_close_control(struct tomoyo_io_buffer *head)
2685{
2686
2687
2688
2689
2690 if (head->type == TOMOYO_QUERY &&
2691 atomic_dec_and_test(&tomoyo_query_observers))
2692 wake_up_all(&tomoyo_answer_wait);
2693 tomoyo_notify_gc(head, false);
2694}
2695
2696
2697
2698
2699void tomoyo_check_profile(void)
2700{
2701 struct tomoyo_domain_info *domain;
2702 const int idx = tomoyo_read_lock();
2703 tomoyo_policy_loaded = true;
2704 printk(KERN_INFO "TOMOYO: 2.5.0\n");
2705 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
2706 const u8 profile = domain->profile;
2707 const struct tomoyo_policy_namespace *ns = domain->ns;
2708 if (ns->profile_version != 20110903)
2709 printk(KERN_ERR
2710 "Profile version %u is not supported.\n",
2711 ns->profile_version);
2712 else if (!ns->profile_ptr[profile])
2713 printk(KERN_ERR
2714 "Profile %u (used by '%s') is not defined.\n",
2715 profile, domain->domainname->name);
2716 else
2717 continue;
2718 printk(KERN_ERR
2719 "Userland tools for TOMOYO 2.5 must be installed and "
2720 "policy must be initialized.\n");
2721 printk(KERN_ERR "Please see http://tomoyo.sourceforge.jp/2.5/ "
2722 "for more information.\n");
2723 panic("STOP!");
2724 }
2725 tomoyo_read_unlock(idx);
2726 printk(KERN_INFO "Mandatory Access Control activated.\n");
2727}
2728
2729
2730
2731
2732
2733
2734void __init tomoyo_load_builtin_policy(void)
2735{
2736
2737
2738
2739
2740
2741
2742#include "builtin-policy.h"
2743 u8 i;
2744 const int idx = tomoyo_read_lock();
2745 for (i = 0; i < 5; i++) {
2746 struct tomoyo_io_buffer head = { };
2747 char *start = "";
2748 switch (i) {
2749 case 0:
2750 start = tomoyo_builtin_profile;
2751 head.type = TOMOYO_PROFILE;
2752 head.write = tomoyo_write_profile;
2753 break;
2754 case 1:
2755 start = tomoyo_builtin_exception_policy;
2756 head.type = TOMOYO_EXCEPTIONPOLICY;
2757 head.write = tomoyo_write_exception;
2758 break;
2759 case 2:
2760 start = tomoyo_builtin_domain_policy;
2761 head.type = TOMOYO_DOMAINPOLICY;
2762 head.write = tomoyo_write_domain;
2763 break;
2764 case 3:
2765 start = tomoyo_builtin_manager;
2766 head.type = TOMOYO_MANAGER;
2767 head.write = tomoyo_write_manager;
2768 break;
2769 case 4:
2770 start = tomoyo_builtin_stat;
2771 head.type = TOMOYO_STAT;
2772 head.write = tomoyo_write_stat;
2773 break;
2774 }
2775 while (1) {
2776 char *end = strchr(start, '\n');
2777 if (!end)
2778 break;
2779 *end = '\0';
2780 tomoyo_normalize_line(start);
2781 head.write_buf = start;
2782 tomoyo_parse_policy(&head, start);
2783 start = end + 1;
2784 }
2785 }
2786 tomoyo_read_unlock(idx);
2787#ifdef CONFIG_SECURITY_TOMOYO_OMIT_USERSPACE_LOADER
2788 tomoyo_check_profile();
2789#endif
2790}
2791