blob: 507ebf01e43bd8afdb5057b3d8f48d2c78573bcd [file] [log] [blame]
Kentaro Takeda95908372009-02-05 17:18:13 +09001/*
2 * security/tomoyo/common.c
3 *
4 * Common functions for TOMOYO.
5 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09006 * Copyright (C) 2005-2010 NTT DATA CORPORATION
Kentaro Takeda95908372009-02-05 17:18:13 +09007 */
8
9#include <linux/uaccess.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090010#include <linux/slab.h>
Kentaro Takeda95908372009-02-05 17:18:13 +090011#include <linux/security.h>
Kentaro Takeda95908372009-02-05 17:18:13 +090012#include "common.h"
Kentaro Takeda95908372009-02-05 17:18:13 +090013
Tetsuo Handa57c25902010-06-03 20:38:44 +090014/* Profile version. Currently only 20090903 is defined. */
15static unsigned int tomoyo_profile_version;
16
17/* Profile table. Memory is allocated as needed. */
18static struct tomoyo_profile *tomoyo_profile_ptr[TOMOYO_MAX_PROFILES];
19
Tetsuo Handaeadd99c2011-06-26 23:18:58 +090020/* String table for operation mode. */
21const char * const tomoyo_mode[TOMOYO_CONFIG_MAX_MODE] = {
22 [TOMOYO_CONFIG_DISABLED] = "disabled",
23 [TOMOYO_CONFIG_LEARNING] = "learning",
24 [TOMOYO_CONFIG_PERMISSIVE] = "permissive",
25 [TOMOYO_CONFIG_ENFORCING] = "enforcing"
Kentaro Takeda95908372009-02-05 17:18:13 +090026};
Kentaro Takeda95908372009-02-05 17:18:13 +090027
Tetsuo Handa57c25902010-06-03 20:38:44 +090028/* String table for /sys/kernel/security/tomoyo/profile */
29static const char *tomoyo_mac_keywords[TOMOYO_MAX_MAC_INDEX
30 + TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
31 [TOMOYO_MAC_FILE_EXECUTE] = "file::execute",
32 [TOMOYO_MAC_FILE_OPEN] = "file::open",
33 [TOMOYO_MAC_FILE_CREATE] = "file::create",
34 [TOMOYO_MAC_FILE_UNLINK] = "file::unlink",
Tetsuo Handa7c759642011-06-26 23:15:31 +090035 [TOMOYO_MAC_FILE_GETATTR] = "file::getattr",
Tetsuo Handa57c25902010-06-03 20:38:44 +090036 [TOMOYO_MAC_FILE_MKDIR] = "file::mkdir",
37 [TOMOYO_MAC_FILE_RMDIR] = "file::rmdir",
38 [TOMOYO_MAC_FILE_MKFIFO] = "file::mkfifo",
39 [TOMOYO_MAC_FILE_MKSOCK] = "file::mksock",
40 [TOMOYO_MAC_FILE_TRUNCATE] = "file::truncate",
41 [TOMOYO_MAC_FILE_SYMLINK] = "file::symlink",
Tetsuo Handa57c25902010-06-03 20:38:44 +090042 [TOMOYO_MAC_FILE_MKBLOCK] = "file::mkblock",
43 [TOMOYO_MAC_FILE_MKCHAR] = "file::mkchar",
44 [TOMOYO_MAC_FILE_LINK] = "file::link",
45 [TOMOYO_MAC_FILE_RENAME] = "file::rename",
46 [TOMOYO_MAC_FILE_CHMOD] = "file::chmod",
47 [TOMOYO_MAC_FILE_CHOWN] = "file::chown",
48 [TOMOYO_MAC_FILE_CHGRP] = "file::chgrp",
49 [TOMOYO_MAC_FILE_IOCTL] = "file::ioctl",
50 [TOMOYO_MAC_FILE_CHROOT] = "file::chroot",
51 [TOMOYO_MAC_FILE_MOUNT] = "file::mount",
Tetsuo Handa0d2171d2011-06-26 23:17:46 +090052 [TOMOYO_MAC_FILE_UMOUNT] = "file::unmount",
Tetsuo Handa57c25902010-06-03 20:38:44 +090053 [TOMOYO_MAC_FILE_PIVOT_ROOT] = "file::pivot_root",
54 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_FILE] = "file",
Kentaro Takeda95908372009-02-05 17:18:13 +090055};
56
Tetsuo Handad5ca1722011-06-26 23:18:21 +090057/* String table for PREFERENCE keyword. */
58static const char * const tomoyo_pref_keywords[TOMOYO_MAX_PREF] = {
Tetsuo Handaeadd99c2011-06-26 23:18:58 +090059 [TOMOYO_PREF_MAX_AUDIT_LOG] = "max_audit_log",
Tetsuo Handad5ca1722011-06-26 23:18:21 +090060 [TOMOYO_PREF_MAX_LEARNING_ENTRY] = "max_learning_entry",
61};
62
Kentaro Takeda95908372009-02-05 17:18:13 +090063/* Permit policy management by non-root user? */
64static bool tomoyo_manage_by_non_root;
65
66/* Utility functions. */
67
Tetsuo Handa7762fbf2010-05-10 17:30:26 +090068/**
Tetsuo Handa57c25902010-06-03 20:38:44 +090069 * tomoyo_yesno - Return "yes" or "no".
70 *
71 * @value: Bool value.
72 */
Tetsuo Handaeadd99c2011-06-26 23:18:58 +090073const char *tomoyo_yesno(const unsigned int value)
Tetsuo Handa57c25902010-06-03 20:38:44 +090074{
75 return value ? "yes" : "no";
76}
77
Tetsuo Handad5ca1722011-06-26 23:18:21 +090078/**
79 * tomoyo_addprintf - strncat()-like-snprintf().
80 *
81 * @buffer: Buffer to write to. Must be '\0'-terminated.
82 * @len: Size of @buffer.
83 * @fmt: The printf()'s format string, followed by parameters.
84 *
85 * Returns nothing.
86 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +090087static void tomoyo_addprintf(char *buffer, int len, const char *fmt, ...)
88{
89 va_list args;
90 const int pos = strlen(buffer);
91 va_start(args, fmt);
92 vsnprintf(buffer + pos, len - pos - 1, fmt, args);
93 va_end(args);
94}
95
96/**
97 * tomoyo_flush - Flush queued string to userspace's buffer.
98 *
99 * @head: Pointer to "struct tomoyo_io_buffer".
100 *
101 * Returns true if all data was flushed, false otherwise.
102 */
103static bool tomoyo_flush(struct tomoyo_io_buffer *head)
104{
105 while (head->r.w_pos) {
106 const char *w = head->r.w[0];
107 int len = strlen(w);
108 if (len) {
109 if (len > head->read_user_buf_avail)
110 len = head->read_user_buf_avail;
111 if (!len)
112 return false;
113 if (copy_to_user(head->read_user_buf, w, len))
114 return false;
115 head->read_user_buf_avail -= len;
116 head->read_user_buf += len;
117 w += len;
118 }
Tetsuo Handac0fa7972011-04-03 00:12:54 +0900119 head->r.w[0] = w;
120 if (*w)
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900121 return false;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900122 /* Add '\0' for audit logs and query. */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900123 if (head->poll) {
124 if (!head->read_user_buf_avail ||
125 copy_to_user(head->read_user_buf, "", 1))
126 return false;
127 head->read_user_buf_avail--;
128 head->read_user_buf++;
129 }
130 head->r.w_pos--;
131 for (len = 0; len < head->r.w_pos; len++)
132 head->r.w[len] = head->r.w[len + 1];
133 }
134 head->r.avail = 0;
135 return true;
136}
137
138/**
139 * tomoyo_set_string - Queue string to "struct tomoyo_io_buffer" structure.
140 *
141 * @head: Pointer to "struct tomoyo_io_buffer".
142 * @string: String to print.
143 *
144 * Note that @string has to be kept valid until @head is kfree()d.
145 * This means that char[] allocated on stack memory cannot be passed to
146 * this function. Use tomoyo_io_printf() for char[] allocated on stack memory.
147 */
148static void tomoyo_set_string(struct tomoyo_io_buffer *head, const char *string)
149{
150 if (head->r.w_pos < TOMOYO_MAX_IO_READ_QUEUE) {
151 head->r.w[head->r.w_pos++] = string;
152 tomoyo_flush(head);
153 } else
154 WARN_ON(1);
155}
156
157/**
158 * tomoyo_io_printf - printf() to "struct tomoyo_io_buffer" structure.
159 *
160 * @head: Pointer to "struct tomoyo_io_buffer".
161 * @fmt: The printf()'s format string, followed by parameters.
162 */
163void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt, ...)
164{
165 va_list args;
166 int len;
167 int pos = head->r.avail;
168 int size = head->readbuf_size - pos;
169 if (size <= 0)
170 return;
171 va_start(args, fmt);
172 len = vsnprintf(head->read_buf + pos, size, fmt, args) + 1;
173 va_end(args);
174 if (pos + len >= head->readbuf_size) {
175 WARN_ON(1);
176 return;
177 }
178 head->r.avail += len;
179 tomoyo_set_string(head, head->read_buf + pos);
180}
181
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900182/**
183 * tomoyo_set_space - Put a space to "struct tomoyo_io_buffer" structure.
184 *
185 * @head: Pointer to "struct tomoyo_io_buffer".
186 *
187 * Returns nothing.
188 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900189static void tomoyo_set_space(struct tomoyo_io_buffer *head)
190{
191 tomoyo_set_string(head, " ");
192}
193
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900194/**
195 * tomoyo_set_lf - Put a line feed to "struct tomoyo_io_buffer" structure.
196 *
197 * @head: Pointer to "struct tomoyo_io_buffer".
198 *
199 * Returns nothing.
200 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900201static bool tomoyo_set_lf(struct tomoyo_io_buffer *head)
202{
203 tomoyo_set_string(head, "\n");
204 return !head->r.w_pos;
205}
206
Tetsuo Handa57c25902010-06-03 20:38:44 +0900207/**
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900208 * tomoyo_set_slash - Put a shash to "struct tomoyo_io_buffer" structure.
209 *
210 * @head: Pointer to "struct tomoyo_io_buffer".
211 *
212 * Returns nothing.
213 */
214static void tomoyo_set_slash(struct tomoyo_io_buffer *head)
215{
216 tomoyo_set_string(head, "/");
217}
218
219/**
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900220 * tomoyo_print_name_union - Print a tomoyo_name_union.
221 *
222 * @head: Pointer to "struct tomoyo_io_buffer".
223 * @ptr: Pointer to "struct tomoyo_name_union".
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900224 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900225static void tomoyo_print_name_union(struct tomoyo_io_buffer *head,
226 const struct tomoyo_name_union *ptr)
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900227{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900228 tomoyo_set_space(head);
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900229 if (ptr->group) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900230 tomoyo_set_string(head, "@");
231 tomoyo_set_string(head, ptr->group->group_name->name);
232 } else {
233 tomoyo_set_string(head, ptr->filename->name);
234 }
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900235}
236
237/**
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900238 * tomoyo_print_number_union - Print a tomoyo_number_union.
239 *
240 * @head: Pointer to "struct tomoyo_io_buffer".
241 * @ptr: Pointer to "struct tomoyo_number_union".
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900242 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900243static void tomoyo_print_number_union(struct tomoyo_io_buffer *head,
244 const struct tomoyo_number_union *ptr)
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900245{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900246 tomoyo_set_space(head);
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900247 if (ptr->group) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900248 tomoyo_set_string(head, "@");
249 tomoyo_set_string(head, ptr->group->group_name->name);
250 } else {
251 int i;
252 unsigned long min = ptr->values[0];
253 const unsigned long max = ptr->values[1];
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900254 u8 min_type = ptr->value_type[0];
255 const u8 max_type = ptr->value_type[1];
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900256 char buffer[128];
257 buffer[0] = '\0';
258 for (i = 0; i < 2; i++) {
259 switch (min_type) {
260 case TOMOYO_VALUE_TYPE_HEXADECIMAL:
261 tomoyo_addprintf(buffer, sizeof(buffer),
262 "0x%lX", min);
263 break;
264 case TOMOYO_VALUE_TYPE_OCTAL:
265 tomoyo_addprintf(buffer, sizeof(buffer),
266 "0%lo", min);
267 break;
268 default:
269 tomoyo_addprintf(buffer, sizeof(buffer),
270 "%lu", min);
271 break;
272 }
273 if (min == max && min_type == max_type)
274 break;
275 tomoyo_addprintf(buffer, sizeof(buffer), "-");
276 min_type = max_type;
277 min = max;
278 }
279 tomoyo_io_printf(head, "%s", buffer);
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900280 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900281}
282
283/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900284 * tomoyo_assign_profile - Create a new profile.
Kentaro Takeda95908372009-02-05 17:18:13 +0900285 *
286 * @profile: Profile number to create.
287 *
288 * Returns pointer to "struct tomoyo_profile" on success, NULL otherwise.
289 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900290static struct tomoyo_profile *tomoyo_assign_profile(const unsigned int profile)
Kentaro Takeda95908372009-02-05 17:18:13 +0900291{
Tetsuo Handa57c25902010-06-03 20:38:44 +0900292 struct tomoyo_profile *ptr;
293 struct tomoyo_profile *entry;
Kentaro Takeda95908372009-02-05 17:18:13 +0900294 if (profile >= TOMOYO_MAX_PROFILES)
295 return NULL;
Kentaro Takeda95908372009-02-05 17:18:13 +0900296 ptr = tomoyo_profile_ptr[profile];
297 if (ptr)
Tetsuo Handa57c25902010-06-03 20:38:44 +0900298 return ptr;
299 entry = kzalloc(sizeof(*entry), GFP_NOFS);
300 if (mutex_lock_interruptible(&tomoyo_policy_lock))
301 goto out;
302 ptr = tomoyo_profile_ptr[profile];
303 if (!ptr && tomoyo_memory_ok(entry)) {
304 ptr = entry;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900305 ptr->default_config = TOMOYO_CONFIG_DISABLED |
306 TOMOYO_CONFIG_WANT_GRANT_LOG |
307 TOMOYO_CONFIG_WANT_REJECT_LOG;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900308 memset(ptr->config, TOMOYO_CONFIG_USE_DEFAULT,
309 sizeof(ptr->config));
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900310 ptr->pref[TOMOYO_PREF_MAX_AUDIT_LOG] = 1024;
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900311 ptr->pref[TOMOYO_PREF_MAX_LEARNING_ENTRY] = 2048;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900312 mb(); /* Avoid out-of-order execution. */
313 tomoyo_profile_ptr[profile] = ptr;
314 entry = NULL;
Tetsuo Handacd7bec62010-01-05 06:39:37 +0900315 }
Tetsuo Handa29282382010-05-06 00:18:15 +0900316 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa57c25902010-06-03 20:38:44 +0900317 out:
318 kfree(entry);
Kentaro Takeda95908372009-02-05 17:18:13 +0900319 return ptr;
320}
321
322/**
Tetsuo Handa57c25902010-06-03 20:38:44 +0900323 * tomoyo_profile - Find a profile.
324 *
325 * @profile: Profile number to find.
326 *
327 * Returns pointer to "struct tomoyo_profile".
328 */
329struct tomoyo_profile *tomoyo_profile(const u8 profile)
330{
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900331 static struct tomoyo_profile tomoyo_null_profile;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900332 struct tomoyo_profile *ptr = tomoyo_profile_ptr[profile];
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900333 if (!ptr)
334 ptr = &tomoyo_null_profile;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900335 return ptr;
336}
337
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900338/**
339 * tomoyo_find_yesno - Find values for specified keyword.
340 *
341 * @string: String to check.
342 * @find: Name of keyword.
343 *
344 * Returns 1 if "@find=yes" was found, 0 if "@find=no" was found, -1 otherwise.
345 */
Tetsuo Handa8e568682010-06-25 09:30:09 +0900346static s8 tomoyo_find_yesno(const char *string, const char *find)
347{
348 const char *cp = strstr(string, find);
349 if (cp) {
350 cp += strlen(find);
351 if (!strncmp(cp, "=yes", 4))
352 return 1;
353 else if (!strncmp(cp, "=no", 3))
354 return 0;
355 }
356 return -1;
357}
358
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900359/**
360 * tomoyo_set_uint - Set value for specified preference.
361 *
362 * @i: Pointer to "unsigned int".
363 * @string: String to check.
364 * @find: Name of keyword.
365 *
366 * Returns nothing.
367 */
Tetsuo Handa8e568682010-06-25 09:30:09 +0900368static void tomoyo_set_uint(unsigned int *i, const char *string,
369 const char *find)
370{
371 const char *cp = strstr(string, find);
372 if (cp)
373 sscanf(cp + strlen(find), "=%u", i);
374}
375
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900376/**
377 * tomoyo_set_mode - Set mode for specified profile.
378 *
379 * @name: Name of functionality.
380 * @value: Mode for @name.
381 * @profile: Pointer to "struct tomoyo_profile".
382 *
383 * Returns 0 on success, negative value otherwise.
384 */
Tetsuo Handa8e568682010-06-25 09:30:09 +0900385static int tomoyo_set_mode(char *name, const char *value,
Tetsuo Handa8e568682010-06-25 09:30:09 +0900386 struct tomoyo_profile *profile)
387{
388 u8 i;
389 u8 config;
390 if (!strcmp(name, "CONFIG")) {
391 i = TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX;
392 config = profile->default_config;
393 } else if (tomoyo_str_starts(&name, "CONFIG::")) {
394 config = 0;
395 for (i = 0; i < TOMOYO_MAX_MAC_INDEX
396 + TOMOYO_MAX_MAC_CATEGORY_INDEX; i++) {
397 if (strcmp(name, tomoyo_mac_keywords[i]))
398 continue;
399 config = profile->config[i];
400 break;
401 }
402 if (i == TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX)
403 return -EINVAL;
404 } else {
405 return -EINVAL;
406 }
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900407 if (strstr(value, "use_default")) {
Tetsuo Handa8e568682010-06-25 09:30:09 +0900408 config = TOMOYO_CONFIG_USE_DEFAULT;
409 } else {
410 u8 mode;
411 for (mode = 0; mode < 4; mode++)
412 if (strstr(value, tomoyo_mode[mode]))
413 /*
414 * Update lower 3 bits in order to distinguish
415 * 'config' from 'TOMOYO_CONFIG_USE_DEAFULT'.
416 */
417 config = (config & ~7) | mode;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900418 if (config != TOMOYO_CONFIG_USE_DEFAULT) {
419 switch (tomoyo_find_yesno(value, "grant_log")) {
420 case 1:
421 config |= TOMOYO_CONFIG_WANT_GRANT_LOG;
422 break;
423 case 0:
424 config &= ~TOMOYO_CONFIG_WANT_GRANT_LOG;
425 break;
426 }
427 switch (tomoyo_find_yesno(value, "reject_log")) {
428 case 1:
429 config |= TOMOYO_CONFIG_WANT_REJECT_LOG;
430 break;
431 case 0:
432 config &= ~TOMOYO_CONFIG_WANT_REJECT_LOG;
433 break;
434 }
435 }
Tetsuo Handa8e568682010-06-25 09:30:09 +0900436 }
437 if (i < TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX)
438 profile->config[i] = config;
439 else if (config != TOMOYO_CONFIG_USE_DEFAULT)
440 profile->default_config = config;
441 return 0;
442}
443
Tetsuo Handa57c25902010-06-03 20:38:44 +0900444/**
445 * tomoyo_write_profile - Write profile table.
Kentaro Takeda95908372009-02-05 17:18:13 +0900446 *
447 * @head: Pointer to "struct tomoyo_io_buffer".
448 *
449 * Returns 0 on success, negative value otherwise.
450 */
451static int tomoyo_write_profile(struct tomoyo_io_buffer *head)
452{
453 char *data = head->write_buf;
454 unsigned int i;
Kentaro Takeda95908372009-02-05 17:18:13 +0900455 char *cp;
456 struct tomoyo_profile *profile;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900457 if (sscanf(data, "PROFILE_VERSION=%u", &tomoyo_profile_version) == 1)
458 return 0;
459 i = simple_strtoul(data, &cp, 10);
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900460 if (*cp != '-')
461 return -EINVAL;
462 data = cp + 1;
463 profile = tomoyo_assign_profile(i);
464 if (!profile)
465 return -EINVAL;
Kentaro Takeda95908372009-02-05 17:18:13 +0900466 cp = strchr(data, '=');
467 if (!cp)
468 return -EINVAL;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900469 *cp++ = '\0';
Kentaro Takeda95908372009-02-05 17:18:13 +0900470 if (!strcmp(data, "COMMENT")) {
Tetsuo Handa2a086e52011-04-03 00:09:26 +0900471 static DEFINE_SPINLOCK(lock);
472 const struct tomoyo_path_info *new_comment
473 = tomoyo_get_name(cp);
474 const struct tomoyo_path_info *old_comment;
475 if (!new_comment)
476 return -ENOMEM;
477 spin_lock(&lock);
478 old_comment = profile->comment;
479 profile->comment = new_comment;
480 spin_unlock(&lock);
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900481 tomoyo_put_name(old_comment);
Kentaro Takeda95908372009-02-05 17:18:13 +0900482 return 0;
483 }
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900484 if (!strcmp(data, "PREFERENCE")) {
485 for (i = 0; i < TOMOYO_MAX_PREF; i++)
486 tomoyo_set_uint(&profile->pref[i], cp,
487 tomoyo_pref_keywords[i]);
488 return 0;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900489 }
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900490 return tomoyo_set_mode(data, cp, profile);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900491}
492
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900493/**
494 * tomoyo_print_config - Print mode for specified functionality.
495 *
496 * @head: Pointer to "struct tomoyo_io_buffer".
497 * @config: Mode for that functionality.
498 *
499 * Returns nothing.
500 *
501 * Caller prints functionality's name.
502 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900503static void tomoyo_print_config(struct tomoyo_io_buffer *head, const u8 config)
504{
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900505 tomoyo_io_printf(head, "={ mode=%s grant_log=%s reject_log=%s }\n",
506 tomoyo_mode[config & 3],
507 tomoyo_yesno(config & TOMOYO_CONFIG_WANT_GRANT_LOG),
508 tomoyo_yesno(config & TOMOYO_CONFIG_WANT_REJECT_LOG));
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900509}
510
Kentaro Takeda95908372009-02-05 17:18:13 +0900511/**
Tetsuo Handa57c25902010-06-03 20:38:44 +0900512 * tomoyo_read_profile - Read profile table.
Kentaro Takeda95908372009-02-05 17:18:13 +0900513 *
514 * @head: Pointer to "struct tomoyo_io_buffer".
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900515 *
516 * Returns nothing.
Kentaro Takeda95908372009-02-05 17:18:13 +0900517 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +0900518static void tomoyo_read_profile(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900519{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900520 u8 index;
521 const struct tomoyo_profile *profile;
522 next:
523 index = head->r.index;
524 profile = tomoyo_profile_ptr[index];
525 switch (head->r.step) {
526 case 0:
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900527 tomoyo_io_printf(head, "PROFILE_VERSION=%u\n", 20090903);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900528 head->r.step++;
529 break;
530 case 1:
531 for ( ; head->r.index < TOMOYO_MAX_PROFILES;
532 head->r.index++)
533 if (tomoyo_profile_ptr[head->r.index])
534 break;
535 if (head->r.index == TOMOYO_MAX_PROFILES)
536 return;
537 head->r.step++;
538 break;
539 case 2:
540 {
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900541 u8 i;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900542 const struct tomoyo_path_info *comment =
543 profile->comment;
544 tomoyo_io_printf(head, "%u-COMMENT=", index);
545 tomoyo_set_string(head, comment ? comment->name : "");
546 tomoyo_set_lf(head);
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900547 tomoyo_io_printf(head, "%u-PREFERENCE={ ", index);
548 for (i = 0; i < TOMOYO_MAX_PREF; i++)
549 tomoyo_io_printf(head, "%s=%u ",
550 tomoyo_pref_keywords[i],
551 profile->pref[i]);
552 tomoyo_set_string(head, "}\n");
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900553 head->r.step++;
554 }
555 break;
556 case 3:
557 {
558 tomoyo_io_printf(head, "%u-%s", index, "CONFIG");
559 tomoyo_print_config(head, profile->default_config);
560 head->r.bit = 0;
561 head->r.step++;
562 }
563 break;
564 case 4:
565 for ( ; head->r.bit < TOMOYO_MAX_MAC_INDEX
566 + TOMOYO_MAX_MAC_CATEGORY_INDEX; head->r.bit++) {
567 const u8 i = head->r.bit;
568 const u8 config = profile->config[i];
Tetsuo Handa57c25902010-06-03 20:38:44 +0900569 if (config == TOMOYO_CONFIG_USE_DEFAULT)
570 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900571 tomoyo_io_printf(head, "%u-%s%s", index, "CONFIG::",
572 tomoyo_mac_keywords[i]);
573 tomoyo_print_config(head, config);
574 head->r.bit++;
575 break;
Kentaro Takeda95908372009-02-05 17:18:13 +0900576 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900577 if (head->r.bit == TOMOYO_MAX_MAC_INDEX
578 + TOMOYO_MAX_MAC_CATEGORY_INDEX) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900579 head->r.index++;
580 head->r.step = 1;
581 }
Tetsuo Handa57c25902010-06-03 20:38:44 +0900582 break;
Kentaro Takeda95908372009-02-05 17:18:13 +0900583 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900584 if (tomoyo_flush(head))
585 goto next;
Kentaro Takeda95908372009-02-05 17:18:13 +0900586}
587
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900588static bool tomoyo_same_manager(const struct tomoyo_acl_head *a,
589 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900590{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900591 return container_of(a, struct tomoyo_manager, head)->manager ==
592 container_of(b, struct tomoyo_manager, head)->manager;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900593}
594
Kentaro Takeda95908372009-02-05 17:18:13 +0900595/**
596 * tomoyo_update_manager_entry - Add a manager entry.
597 *
598 * @manager: The path to manager or the domainnamme.
599 * @is_delete: True if it is a delete request.
600 *
601 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900602 *
603 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900604 */
605static int tomoyo_update_manager_entry(const char *manager,
606 const bool is_delete)
607{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900608 struct tomoyo_manager e = { };
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900609 struct tomoyo_acl_param param = {
610 .is_delete = is_delete,
611 .list = &tomoyo_policy_list[TOMOYO_ID_MANAGER],
612 };
613 int error = is_delete ? -ENOENT : -ENOMEM;
Tetsuo Handa75093152010-06-16 16:23:55 +0900614 if (tomoyo_domain_def(manager)) {
615 if (!tomoyo_correct_domain(manager))
Kentaro Takeda95908372009-02-05 17:18:13 +0900616 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900617 e.is_domain = true;
Kentaro Takeda95908372009-02-05 17:18:13 +0900618 } else {
Tetsuo Handa75093152010-06-16 16:23:55 +0900619 if (!tomoyo_correct_path(manager))
Kentaro Takeda95908372009-02-05 17:18:13 +0900620 return -EINVAL;
621 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900622 e.manager = tomoyo_get_name(manager);
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900623 if (e.manager) {
624 error = tomoyo_update_policy(&e.head, sizeof(e), &param,
625 tomoyo_same_manager);
626 tomoyo_put_name(e.manager);
627 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900628 return error;
629}
630
631/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900632 * tomoyo_write_manager - Write manager policy.
Kentaro Takeda95908372009-02-05 17:18:13 +0900633 *
634 * @head: Pointer to "struct tomoyo_io_buffer".
635 *
636 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900637 *
638 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900639 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900640static int tomoyo_write_manager(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900641{
642 char *data = head->write_buf;
Tetsuo Handab5bc60b2011-06-26 23:16:03 +0900643 bool is_delete = tomoyo_str_starts(&data, "delete ");
Kentaro Takeda95908372009-02-05 17:18:13 +0900644
645 if (!strcmp(data, "manage_by_non_root")) {
646 tomoyo_manage_by_non_root = !is_delete;
647 return 0;
648 }
649 return tomoyo_update_manager_entry(data, is_delete);
650}
651
652/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900653 * tomoyo_read_manager - Read manager policy.
Kentaro Takeda95908372009-02-05 17:18:13 +0900654 *
655 * @head: Pointer to "struct tomoyo_io_buffer".
656 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900657 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900658 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900659static void tomoyo_read_manager(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900660{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900661 if (head->r.eof)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +0900662 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900663 list_for_each_cookie(head->r.acl,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900664 &tomoyo_policy_list[TOMOYO_ID_MANAGER]) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900665 struct tomoyo_manager *ptr =
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900666 list_entry(head->r.acl, typeof(*ptr), head.list);
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900667 if (ptr->head.is_deleted)
Kentaro Takeda95908372009-02-05 17:18:13 +0900668 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900669 if (!tomoyo_flush(head))
670 return;
671 tomoyo_set_string(head, ptr->manager->name);
672 tomoyo_set_lf(head);
Kentaro Takeda95908372009-02-05 17:18:13 +0900673 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900674 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +0900675}
676
677/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900678 * tomoyo_manager - Check whether the current process is a policy manager.
Kentaro Takeda95908372009-02-05 17:18:13 +0900679 *
680 * Returns true if the current process is permitted to modify policy
681 * via /sys/kernel/security/tomoyo/ interface.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900682 *
683 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900684 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900685static bool tomoyo_manager(void)
Kentaro Takeda95908372009-02-05 17:18:13 +0900686{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900687 struct tomoyo_manager *ptr;
Kentaro Takeda95908372009-02-05 17:18:13 +0900688 const char *exe;
689 const struct task_struct *task = current;
690 const struct tomoyo_path_info *domainname = tomoyo_domain()->domainname;
691 bool found = false;
692
693 if (!tomoyo_policy_loaded)
694 return true;
695 if (!tomoyo_manage_by_non_root && (task->cred->uid || task->cred->euid))
696 return false;
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900697 list_for_each_entry_rcu(ptr, &tomoyo_policy_list[TOMOYO_ID_MANAGER],
698 head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900699 if (!ptr->head.is_deleted && ptr->is_domain
Kentaro Takeda95908372009-02-05 17:18:13 +0900700 && !tomoyo_pathcmp(domainname, ptr->manager)) {
701 found = true;
702 break;
703 }
704 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900705 if (found)
706 return true;
707 exe = tomoyo_get_exe();
708 if (!exe)
709 return false;
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900710 list_for_each_entry_rcu(ptr, &tomoyo_policy_list[TOMOYO_ID_MANAGER],
711 head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900712 if (!ptr->head.is_deleted && !ptr->is_domain
Kentaro Takeda95908372009-02-05 17:18:13 +0900713 && !strcmp(exe, ptr->manager->name)) {
714 found = true;
715 break;
716 }
717 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900718 if (!found) { /* Reduce error messages. */
719 static pid_t last_pid;
720 const pid_t pid = current->pid;
721 if (last_pid != pid) {
722 printk(KERN_WARNING "%s ( %s ) is not permitted to "
723 "update policies.\n", domainname->name, exe);
724 last_pid = pid;
725 }
726 }
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900727 kfree(exe);
Kentaro Takeda95908372009-02-05 17:18:13 +0900728 return found;
729}
730
731/**
Tetsuo Handa75093152010-06-16 16:23:55 +0900732 * tomoyo_select_one - Parse select command.
Kentaro Takeda95908372009-02-05 17:18:13 +0900733 *
734 * @head: Pointer to "struct tomoyo_io_buffer".
735 * @data: String to parse.
736 *
737 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900738 *
739 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900740 */
Tetsuo Handa475e6fa2010-06-24 11:28:14 +0900741static bool tomoyo_select_one(struct tomoyo_io_buffer *head, const char *data)
Kentaro Takeda95908372009-02-05 17:18:13 +0900742{
743 unsigned int pid;
744 struct tomoyo_domain_info *domain = NULL;
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900745 bool global_pid = false;
Kentaro Takeda95908372009-02-05 17:18:13 +0900746
Tetsuo Handa063821c2010-06-24 12:00:25 +0900747 if (!strcmp(data, "allow_execute")) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900748 head->r.print_execute_only = true;
Tetsuo Handa063821c2010-06-24 12:00:25 +0900749 return true;
750 }
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900751 if (sscanf(data, "pid=%u", &pid) == 1 ||
752 (global_pid = true, sscanf(data, "global-pid=%u", &pid) == 1)) {
Kentaro Takeda95908372009-02-05 17:18:13 +0900753 struct task_struct *p;
Tetsuo Handa1fcdc7c2010-02-25 17:19:25 +0900754 rcu_read_lock();
Kentaro Takeda95908372009-02-05 17:18:13 +0900755 read_lock(&tasklist_lock);
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900756 if (global_pid)
757 p = find_task_by_pid_ns(pid, &init_pid_ns);
758 else
759 p = find_task_by_vpid(pid);
Kentaro Takeda95908372009-02-05 17:18:13 +0900760 if (p)
761 domain = tomoyo_real_domain(p);
762 read_unlock(&tasklist_lock);
Tetsuo Handa1fcdc7c2010-02-25 17:19:25 +0900763 rcu_read_unlock();
Kentaro Takeda95908372009-02-05 17:18:13 +0900764 } else if (!strncmp(data, "domain=", 7)) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900765 if (tomoyo_domain_def(data + 7))
Kentaro Takeda95908372009-02-05 17:18:13 +0900766 domain = tomoyo_find_domain(data + 7);
Kentaro Takeda95908372009-02-05 17:18:13 +0900767 } else
768 return false;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900769 head->w.domain = domain;
Kentaro Takeda95908372009-02-05 17:18:13 +0900770 /* Accessing read_buf is safe because head->io_sem is held. */
771 if (!head->read_buf)
772 return true; /* Do nothing if open(O_WRONLY). */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900773 memset(&head->r, 0, sizeof(head->r));
774 head->r.print_this_domain_only = true;
Dan Carpenter68eda8f2010-08-08 00:17:51 +0200775 if (domain)
776 head->r.domain = &domain->list;
777 else
778 head->r.eof = 1;
Kentaro Takeda95908372009-02-05 17:18:13 +0900779 tomoyo_io_printf(head, "# select %s\n", data);
Tetsuo Handa475e6fa2010-06-24 11:28:14 +0900780 if (domain && domain->is_deleted)
781 tomoyo_io_printf(head, "# This is a deleted domain.\n");
Kentaro Takeda95908372009-02-05 17:18:13 +0900782 return true;
783}
784
785/**
Tetsuo Handaccf135f2009-06-19 10:29:34 +0900786 * tomoyo_delete_domain - Delete a domain.
787 *
788 * @domainname: The name of domain.
789 *
790 * Returns 0.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900791 *
792 * Caller holds tomoyo_read_lock().
Tetsuo Handaccf135f2009-06-19 10:29:34 +0900793 */
794static int tomoyo_delete_domain(char *domainname)
795{
796 struct tomoyo_domain_info *domain;
797 struct tomoyo_path_info name;
798
799 name.name = domainname;
800 tomoyo_fill_path_info(&name);
Tetsuo Handa29282382010-05-06 00:18:15 +0900801 if (mutex_lock_interruptible(&tomoyo_policy_lock))
802 return 0;
Tetsuo Handaccf135f2009-06-19 10:29:34 +0900803 /* Is there an active domain? */
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900804 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
Tetsuo Handaccf135f2009-06-19 10:29:34 +0900805 /* Never delete tomoyo_kernel_domain */
806 if (domain == &tomoyo_kernel_domain)
807 continue;
808 if (domain->is_deleted ||
809 tomoyo_pathcmp(domain->domainname, &name))
810 continue;
811 domain->is_deleted = true;
812 break;
813 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900814 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaccf135f2009-06-19 10:29:34 +0900815 return 0;
816}
817
818/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900819 * tomoyo_write_domain2 - Write domain policy.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900820 *
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900821 * @list: Pointer to "struct list_head".
822 * @data: Policy to be interpreted.
823 * @is_delete: True if it is a delete request.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900824 *
825 * Returns 0 on success, negative value otherwise.
826 *
827 * Caller holds tomoyo_read_lock().
828 */
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900829static int tomoyo_write_domain2(struct list_head *list, char *data,
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900830 const bool is_delete)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900831{
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900832 struct tomoyo_acl_param param = {
833 .list = list,
834 .data = data,
835 .is_delete = is_delete,
836 };
837 static const struct {
838 const char *keyword;
839 int (*write) (struct tomoyo_acl_param *);
840 } tomoyo_callback[1] = {
841 { "file ", tomoyo_write_file },
842 };
843 u8 i;
844 for (i = 0; i < 1; i++) {
845 if (!tomoyo_str_starts(&param.data,
846 tomoyo_callback[i].keyword))
847 continue;
848 return tomoyo_callback[i].write(&param);
849 }
850 return -EINVAL;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900851}
852
853/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900854 * tomoyo_write_domain - Write domain policy.
Kentaro Takeda95908372009-02-05 17:18:13 +0900855 *
856 * @head: Pointer to "struct tomoyo_io_buffer".
857 *
858 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900859 *
860 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900861 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900862static int tomoyo_write_domain(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900863{
864 char *data = head->write_buf;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900865 struct tomoyo_domain_info *domain = head->w.domain;
Kentaro Takeda95908372009-02-05 17:18:13 +0900866 bool is_delete = false;
867 bool is_select = false;
Kentaro Takeda95908372009-02-05 17:18:13 +0900868 unsigned int profile;
869
Tetsuo Handab5bc60b2011-06-26 23:16:03 +0900870 if (tomoyo_str_starts(&data, "delete "))
Kentaro Takeda95908372009-02-05 17:18:13 +0900871 is_delete = true;
Tetsuo Handab5bc60b2011-06-26 23:16:03 +0900872 else if (tomoyo_str_starts(&data, "select "))
Kentaro Takeda95908372009-02-05 17:18:13 +0900873 is_select = true;
Tetsuo Handa75093152010-06-16 16:23:55 +0900874 if (is_select && tomoyo_select_one(head, data))
Kentaro Takeda95908372009-02-05 17:18:13 +0900875 return 0;
876 /* Don't allow updating policies by non manager programs. */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900877 if (!tomoyo_manager())
Kentaro Takeda95908372009-02-05 17:18:13 +0900878 return -EPERM;
Tetsuo Handa75093152010-06-16 16:23:55 +0900879 if (tomoyo_domain_def(data)) {
Kentaro Takeda95908372009-02-05 17:18:13 +0900880 domain = NULL;
881 if (is_delete)
882 tomoyo_delete_domain(data);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900883 else if (is_select)
Kentaro Takeda95908372009-02-05 17:18:13 +0900884 domain = tomoyo_find_domain(data);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900885 else
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900886 domain = tomoyo_assign_domain(data, 0);
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900887 head->w.domain = domain;
Kentaro Takeda95908372009-02-05 17:18:13 +0900888 return 0;
889 }
890 if (!domain)
891 return -EINVAL;
892
Tetsuo Handab5bc60b2011-06-26 23:16:03 +0900893 if (sscanf(data, "use_profile %u", &profile) == 1
Kentaro Takeda95908372009-02-05 17:18:13 +0900894 && profile < TOMOYO_MAX_PROFILES) {
895 if (tomoyo_profile_ptr[profile] || !tomoyo_policy_loaded)
896 domain->profile = (u8) profile;
897 return 0;
898 }
Tetsuo Handa32997142011-06-26 23:19:28 +0900899 if (sscanf(data, "use_group %u\n", &profile) == 1
900 && profile < TOMOYO_MAX_ACL_GROUPS) {
901 if (!is_delete)
902 domain->group = (u8) profile;
903 return 0;
904 }
Tetsuo Handab5bc60b2011-06-26 23:16:03 +0900905 if (!strcmp(data, "quota_exceeded")) {
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900906 domain->quota_warned = !is_delete;
907 return 0;
908 }
Tetsuo Handab5bc60b2011-06-26 23:16:03 +0900909 if (!strcmp(data, "transition_failed")) {
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900910 domain->transition_failed = !is_delete;
911 return 0;
912 }
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900913 return tomoyo_write_domain2(&domain->acl_info_list, data, is_delete);
Kentaro Takeda95908372009-02-05 17:18:13 +0900914}
915
916/**
Tetsuo Handa32997142011-06-26 23:19:28 +0900917 * tomoyo_set_group - Print "acl_group " header keyword and category name.
Kentaro Takeda95908372009-02-05 17:18:13 +0900918 *
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900919 * @head: Pointer to "struct tomoyo_io_buffer".
920 * @category: Category name.
Kentaro Takeda95908372009-02-05 17:18:13 +0900921 *
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900922 * Returns nothing.
Kentaro Takeda95908372009-02-05 17:18:13 +0900923 */
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900924static void tomoyo_set_group(struct tomoyo_io_buffer *head,
925 const char *category)
Kentaro Takeda95908372009-02-05 17:18:13 +0900926{
Tetsuo Handa32997142011-06-26 23:19:28 +0900927 if (head->type == TOMOYO_EXCEPTIONPOLICY)
928 tomoyo_io_printf(head, "acl_group %u ",
929 head->r.acl_group_index);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900930 tomoyo_set_string(head, category);
Tetsuo Handa2106ccd2010-05-17 10:10:31 +0900931}
932
933/**
Kentaro Takeda95908372009-02-05 17:18:13 +0900934 * tomoyo_print_entry - Print an ACL entry.
935 *
936 * @head: Pointer to "struct tomoyo_io_buffer".
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900937 * @acl: Pointer to an ACL entry.
Kentaro Takeda95908372009-02-05 17:18:13 +0900938 *
939 * Returns true on success, false otherwise.
940 */
941static bool tomoyo_print_entry(struct tomoyo_io_buffer *head,
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900942 struct tomoyo_acl_info *acl)
Kentaro Takeda95908372009-02-05 17:18:13 +0900943{
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900944 const u8 acl_type = acl->type;
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900945 bool first = true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900946 u8 bit;
Kentaro Takeda95908372009-02-05 17:18:13 +0900947
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900948 if (acl->is_deleted)
Tetsuo Handa237ab452010-06-12 20:46:22 +0900949 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900950 if (!tomoyo_flush(head))
951 return false;
952 else if (acl_type == TOMOYO_TYPE_PATH_ACL) {
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900953 struct tomoyo_path_acl *ptr =
954 container_of(acl, typeof(*ptr), head);
955 const u16 perm = ptr->perm;
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900956 for (bit = 0; bit < TOMOYO_MAX_PATH_OPERATION; bit++) {
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900957 if (!(perm & (1 << bit)))
958 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900959 if (head->r.print_execute_only &&
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900960 bit != TOMOYO_TYPE_EXECUTE)
961 continue;
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900962 if (first) {
963 tomoyo_set_group(head, "file ");
964 first = false;
965 } else {
966 tomoyo_set_slash(head);
967 }
968 tomoyo_set_string(head, tomoyo_path_keyword[bit]);
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900969 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900970 if (first)
971 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900972 tomoyo_print_name_union(head, &ptr->name);
973 } else if (head->r.print_execute_only) {
Tetsuo Handa063821c2010-06-24 12:00:25 +0900974 return true;
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900975 } else if (acl_type == TOMOYO_TYPE_PATH2_ACL) {
976 struct tomoyo_path2_acl *ptr =
977 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900978 const u8 perm = ptr->perm;
979 for (bit = 0; bit < TOMOYO_MAX_PATH2_OPERATION; bit++) {
980 if (!(perm & (1 << bit)))
981 continue;
982 if (first) {
983 tomoyo_set_group(head, "file ");
984 first = false;
985 } else {
986 tomoyo_set_slash(head);
987 }
988 tomoyo_set_string(head, tomoyo_mac_keywords
989 [tomoyo_pp2mac[bit]]);
990 }
991 if (first)
992 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900993 tomoyo_print_name_union(head, &ptr->name1);
994 tomoyo_print_name_union(head, &ptr->name2);
Tetsuo Handa5db5a392010-06-24 12:24:19 +0900995 } else if (acl_type == TOMOYO_TYPE_PATH_NUMBER_ACL) {
996 struct tomoyo_path_number_acl *ptr =
997 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900998 const u8 perm = ptr->perm;
999 for (bit = 0; bit < TOMOYO_MAX_PATH_NUMBER_OPERATION; bit++) {
1000 if (!(perm & (1 << bit)))
1001 continue;
1002 if (first) {
1003 tomoyo_set_group(head, "file ");
1004 first = false;
1005 } else {
1006 tomoyo_set_slash(head);
1007 }
1008 tomoyo_set_string(head, tomoyo_mac_keywords
1009 [tomoyo_pn2mac[bit]]);
1010 }
1011 if (first)
1012 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001013 tomoyo_print_name_union(head, &ptr->name);
1014 tomoyo_print_number_union(head, &ptr->number);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001015 } else if (acl_type == TOMOYO_TYPE_MKDEV_ACL) {
1016 struct tomoyo_mkdev_acl *ptr =
1017 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001018 const u8 perm = ptr->perm;
1019 for (bit = 0; bit < TOMOYO_MAX_MKDEV_OPERATION; bit++) {
1020 if (!(perm & (1 << bit)))
1021 continue;
1022 if (first) {
1023 tomoyo_set_group(head, "file ");
1024 first = false;
1025 } else {
1026 tomoyo_set_slash(head);
1027 }
1028 tomoyo_set_string(head, tomoyo_mac_keywords
1029 [tomoyo_pnnn2mac[bit]]);
1030 }
1031 if (first)
1032 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001033 tomoyo_print_name_union(head, &ptr->name);
1034 tomoyo_print_number_union(head, &ptr->mode);
1035 tomoyo_print_number_union(head, &ptr->major);
1036 tomoyo_print_number_union(head, &ptr->minor);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001037 } else if (acl_type == TOMOYO_TYPE_MOUNT_ACL) {
1038 struct tomoyo_mount_acl *ptr =
1039 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001040 tomoyo_set_group(head, "file mount");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001041 tomoyo_print_name_union(head, &ptr->dev_name);
1042 tomoyo_print_name_union(head, &ptr->dir_name);
1043 tomoyo_print_name_union(head, &ptr->fs_type);
1044 tomoyo_print_number_union(head, &ptr->flags);
Kentaro Takeda95908372009-02-05 17:18:13 +09001045 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001046 tomoyo_set_lf(head);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001047 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001048}
1049
1050/**
1051 * tomoyo_read_domain2 - Read domain policy.
1052 *
Tetsuo Handa32997142011-06-26 23:19:28 +09001053 * @head: Pointer to "struct tomoyo_io_buffer".
1054 * @list: Pointer to "struct list_head".
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001055 *
1056 * Caller holds tomoyo_read_lock().
1057 *
1058 * Returns true on success, false otherwise.
1059 */
1060static bool tomoyo_read_domain2(struct tomoyo_io_buffer *head,
Tetsuo Handa32997142011-06-26 23:19:28 +09001061 struct list_head *list)
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001062{
Tetsuo Handa32997142011-06-26 23:19:28 +09001063 list_for_each_cookie(head->r.acl, list) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001064 struct tomoyo_acl_info *ptr =
1065 list_entry(head->r.acl, typeof(*ptr), list);
1066 if (!tomoyo_print_entry(head, ptr))
1067 return false;
1068 }
1069 head->r.acl = NULL;
1070 return true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001071}
1072
1073/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001074 * tomoyo_read_domain - Read domain policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001075 *
1076 * @head: Pointer to "struct tomoyo_io_buffer".
1077 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001078 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001079 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001080static void tomoyo_read_domain(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001081{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001082 if (head->r.eof)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001083 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001084 list_for_each_cookie(head->r.domain, &tomoyo_domain_list) {
Tetsuo Handa475e6fa2010-06-24 11:28:14 +09001085 struct tomoyo_domain_info *domain =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001086 list_entry(head->r.domain, typeof(*domain), list);
1087 switch (head->r.step) {
1088 case 0:
1089 if (domain->is_deleted &&
1090 !head->r.print_this_domain_only)
1091 continue;
1092 /* Print domainname and flags. */
1093 tomoyo_set_string(head, domain->domainname->name);
1094 tomoyo_set_lf(head);
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001095 tomoyo_io_printf(head, "use_profile %u\n",
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001096 domain->profile);
Tetsuo Handa32997142011-06-26 23:19:28 +09001097 tomoyo_io_printf(head, "use_group %u\n",
1098 domain->group);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001099 if (domain->quota_warned)
1100 tomoyo_set_string(head, "quota_exceeded\n");
1101 if (domain->transition_failed)
1102 tomoyo_set_string(head, "transition_failed\n");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001103 head->r.step++;
1104 tomoyo_set_lf(head);
1105 /* fall through */
1106 case 1:
Tetsuo Handa32997142011-06-26 23:19:28 +09001107 if (!tomoyo_read_domain2(head, &domain->acl_info_list))
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001108 return;
1109 head->r.step++;
1110 if (!tomoyo_set_lf(head))
1111 return;
1112 /* fall through */
1113 case 2:
1114 head->r.step = 0;
1115 if (head->r.print_this_domain_only)
1116 goto done;
Kentaro Takeda95908372009-02-05 17:18:13 +09001117 }
Kentaro Takeda95908372009-02-05 17:18:13 +09001118 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001119 done:
1120 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001121}
1122
1123/**
1124 * tomoyo_write_domain_profile - Assign profile for specified domain.
1125 *
1126 * @head: Pointer to "struct tomoyo_io_buffer".
1127 *
1128 * Returns 0 on success, -EINVAL otherwise.
1129 *
1130 * This is equivalent to doing
1131 *
1132 * ( echo "select " $domainname; echo "use_profile " $profile ) |
Tetsuo Handa9b2443732010-06-03 20:35:53 +09001133 * /usr/sbin/tomoyo-loadpolicy -d
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001134 *
1135 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001136 */
1137static int tomoyo_write_domain_profile(struct tomoyo_io_buffer *head)
1138{
1139 char *data = head->write_buf;
1140 char *cp = strchr(data, ' ');
1141 struct tomoyo_domain_info *domain;
1142 unsigned long profile;
1143
1144 if (!cp)
1145 return -EINVAL;
1146 *cp = '\0';
Kentaro Takeda95908372009-02-05 17:18:13 +09001147 domain = tomoyo_find_domain(cp + 1);
Kentaro Takeda95908372009-02-05 17:18:13 +09001148 if (strict_strtoul(data, 10, &profile))
1149 return -EINVAL;
1150 if (domain && profile < TOMOYO_MAX_PROFILES
1151 && (tomoyo_profile_ptr[profile] || !tomoyo_policy_loaded))
1152 domain->profile = (u8) profile;
1153 return 0;
1154}
1155
1156/**
1157 * tomoyo_read_domain_profile - Read only domainname and profile.
1158 *
1159 * @head: Pointer to "struct tomoyo_io_buffer".
1160 *
1161 * Returns list of profile number and domainname pairs.
1162 *
1163 * This is equivalent to doing
1164 *
1165 * grep -A 1 '^<kernel>' /sys/kernel/security/tomoyo/domain_policy |
1166 * awk ' { if ( domainname == "" ) { if ( $1 == "<kernel>" )
1167 * domainname = $0; } else if ( $1 == "use_profile" ) {
1168 * print $2 " " domainname; domainname = ""; } } ; '
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001169 *
1170 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001171 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001172static void tomoyo_read_domain_profile(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001173{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001174 if (head->r.eof)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001175 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001176 list_for_each_cookie(head->r.domain, &tomoyo_domain_list) {
Tetsuo Handa475e6fa2010-06-24 11:28:14 +09001177 struct tomoyo_domain_info *domain =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001178 list_entry(head->r.domain, typeof(*domain), list);
Kentaro Takeda95908372009-02-05 17:18:13 +09001179 if (domain->is_deleted)
1180 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001181 if (!tomoyo_flush(head))
1182 return;
1183 tomoyo_io_printf(head, "%u ", domain->profile);
1184 tomoyo_set_string(head, domain->domainname->name);
1185 tomoyo_set_lf(head);
Kentaro Takeda95908372009-02-05 17:18:13 +09001186 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001187 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001188}
1189
1190/**
1191 * tomoyo_write_pid: Specify PID to obtain domainname.
1192 *
1193 * @head: Pointer to "struct tomoyo_io_buffer".
1194 *
1195 * Returns 0.
1196 */
1197static int tomoyo_write_pid(struct tomoyo_io_buffer *head)
1198{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001199 head->r.eof = false;
Kentaro Takeda95908372009-02-05 17:18:13 +09001200 return 0;
1201}
1202
1203/**
1204 * tomoyo_read_pid - Get domainname of the specified PID.
1205 *
1206 * @head: Pointer to "struct tomoyo_io_buffer".
1207 *
1208 * Returns the domainname which the specified PID is in on success,
1209 * empty string otherwise.
1210 * The PID is specified by tomoyo_write_pid() so that the user can obtain
1211 * using read()/write() interface rather than sysctl() interface.
1212 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001213static void tomoyo_read_pid(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001214{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001215 char *buf = head->write_buf;
1216 bool global_pid = false;
1217 unsigned int pid;
1218 struct task_struct *p;
1219 struct tomoyo_domain_info *domain = NULL;
1220
1221 /* Accessing write_buf is safe because head->io_sem is held. */
1222 if (!buf) {
1223 head->r.eof = true;
1224 return; /* Do nothing if open(O_RDONLY). */
Kentaro Takeda95908372009-02-05 17:18:13 +09001225 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001226 if (head->r.w_pos || head->r.eof)
1227 return;
1228 head->r.eof = true;
1229 if (tomoyo_str_starts(&buf, "global-pid "))
1230 global_pid = true;
1231 pid = (unsigned int) simple_strtoul(buf, NULL, 10);
1232 rcu_read_lock();
1233 read_lock(&tasklist_lock);
1234 if (global_pid)
1235 p = find_task_by_pid_ns(pid, &init_pid_ns);
1236 else
1237 p = find_task_by_vpid(pid);
1238 if (p)
1239 domain = tomoyo_real_domain(p);
1240 read_unlock(&tasklist_lock);
1241 rcu_read_unlock();
1242 if (!domain)
1243 return;
1244 tomoyo_io_printf(head, "%u %u ", pid, domain->profile);
1245 tomoyo_set_string(head, domain->domainname->name);
Kentaro Takeda95908372009-02-05 17:18:13 +09001246}
1247
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001248static const char *tomoyo_transition_type[TOMOYO_MAX_TRANSITION_TYPE] = {
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001249 [TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE] = "no_initialize_domain",
1250 [TOMOYO_TRANSITION_CONTROL_INITIALIZE] = "initialize_domain",
1251 [TOMOYO_TRANSITION_CONTROL_NO_KEEP] = "no_keep_domain",
1252 [TOMOYO_TRANSITION_CONTROL_KEEP] = "keep_domain",
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001253};
1254
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001255static const char *tomoyo_group_name[TOMOYO_MAX_GROUP] = {
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001256 [TOMOYO_PATH_GROUP] = "path_group ",
1257 [TOMOYO_NUMBER_GROUP] = "number_group ",
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001258};
1259
Kentaro Takeda95908372009-02-05 17:18:13 +09001260/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001261 * tomoyo_write_exception - Write exception policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001262 *
1263 * @head: Pointer to "struct tomoyo_io_buffer".
1264 *
1265 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001266 *
1267 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001268 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001269static int tomoyo_write_exception(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001270{
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001271 struct tomoyo_acl_param param = {
1272 .data = head->write_buf,
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001273 };
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001274 u8 i;
1275 param.is_delete = tomoyo_str_starts(&param.data, "delete ");
Tetsuo Handa32997142011-06-26 23:19:28 +09001276 if (!param.is_delete && tomoyo_str_starts(&param.data, "select ") &&
1277 !strcmp(param.data, "execute_only")) {
1278 head->r.print_execute_only = true;
1279 return 0;
1280 }
1281 /* Don't allow updating policies by non manager programs. */
1282 if (!tomoyo_manager())
1283 return -EPERM;
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001284 if (tomoyo_str_starts(&param.data, "aggregator "))
1285 return tomoyo_write_aggregator(&param);
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001286 for (i = 0; i < TOMOYO_MAX_TRANSITION_TYPE; i++)
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001287 if (tomoyo_str_starts(&param.data, tomoyo_transition_type[i]))
1288 return tomoyo_write_transition_control(&param, i);
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001289 for (i = 0; i < TOMOYO_MAX_GROUP; i++)
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001290 if (tomoyo_str_starts(&param.data, tomoyo_group_name[i]))
1291 return tomoyo_write_group(&param, i);
Tetsuo Handa32997142011-06-26 23:19:28 +09001292 if (tomoyo_str_starts(&param.data, "acl_group ")) {
1293 unsigned int group;
1294 char *data;
1295 group = simple_strtoul(param.data, &data, 10);
1296 if (group < TOMOYO_MAX_ACL_GROUPS && *data++ == ' ')
1297 return tomoyo_write_domain2(&tomoyo_acl_group[group],
1298 data, param.is_delete);
1299 }
Kentaro Takeda95908372009-02-05 17:18:13 +09001300 return -EINVAL;
1301}
1302
Tetsuo Handa31845e82010-06-17 16:54:33 +09001303/**
1304 * tomoyo_read_group - Read "struct tomoyo_path_group"/"struct tomoyo_number_group" list.
1305 *
1306 * @head: Pointer to "struct tomoyo_io_buffer".
1307 * @idx: Index number.
1308 *
1309 * Returns true on success, false otherwise.
1310 *
1311 * Caller holds tomoyo_read_lock().
1312 */
1313static bool tomoyo_read_group(struct tomoyo_io_buffer *head, const int idx)
1314{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001315 list_for_each_cookie(head->r.group, &tomoyo_group_list[idx]) {
Tetsuo Handa31845e82010-06-17 16:54:33 +09001316 struct tomoyo_group *group =
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001317 list_entry(head->r.group, typeof(*group), head.list);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001318 list_for_each_cookie(head->r.acl, &group->member_list) {
Tetsuo Handa31845e82010-06-17 16:54:33 +09001319 struct tomoyo_acl_head *ptr =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001320 list_entry(head->r.acl, typeof(*ptr), list);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001321 if (ptr->is_deleted)
1322 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001323 if (!tomoyo_flush(head))
Tetsuo Handa31845e82010-06-17 16:54:33 +09001324 return false;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001325 tomoyo_set_string(head, tomoyo_group_name[idx]);
1326 tomoyo_set_string(head, group->group_name->name);
1327 if (idx == TOMOYO_PATH_GROUP) {
1328 tomoyo_set_space(head);
1329 tomoyo_set_string(head, container_of
1330 (ptr, struct tomoyo_path_group,
1331 head)->member_name->name);
1332 } else if (idx == TOMOYO_NUMBER_GROUP) {
1333 tomoyo_print_number_union(head, &container_of
1334 (ptr,
1335 struct tomoyo_number_group,
1336 head)->number);
1337 }
1338 tomoyo_set_lf(head);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001339 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001340 head->r.acl = NULL;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001341 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001342 head->r.group = NULL;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001343 return true;
1344}
1345
1346/**
1347 * tomoyo_read_policy - Read "struct tomoyo_..._entry" list.
1348 *
1349 * @head: Pointer to "struct tomoyo_io_buffer".
1350 * @idx: Index number.
1351 *
1352 * Returns true on success, false otherwise.
1353 *
1354 * Caller holds tomoyo_read_lock().
1355 */
1356static bool tomoyo_read_policy(struct tomoyo_io_buffer *head, const int idx)
1357{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001358 list_for_each_cookie(head->r.acl, &tomoyo_policy_list[idx]) {
Tetsuo Handa475e6fa2010-06-24 11:28:14 +09001359 struct tomoyo_acl_head *acl =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001360 container_of(head->r.acl, typeof(*acl), list);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001361 if (acl->is_deleted)
1362 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001363 if (!tomoyo_flush(head))
1364 return false;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001365 switch (idx) {
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001366 case TOMOYO_ID_TRANSITION_CONTROL:
Tetsuo Handa31845e82010-06-17 16:54:33 +09001367 {
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001368 struct tomoyo_transition_control *ptr =
Tetsuo Handa31845e82010-06-17 16:54:33 +09001369 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001370 tomoyo_set_string(head, tomoyo_transition_type
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001371 [ptr->type]);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001372 tomoyo_set_string(head, ptr->program ?
1373 ptr->program->name : "any");
1374 tomoyo_set_string(head, " from ");
1375 tomoyo_set_string(head, ptr->domainname ?
1376 ptr->domainname->name :
1377 "any");
Tetsuo Handa31845e82010-06-17 16:54:33 +09001378 }
1379 break;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001380 case TOMOYO_ID_AGGREGATOR:
1381 {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001382 struct tomoyo_aggregator *ptr =
Tetsuo Handa31845e82010-06-17 16:54:33 +09001383 container_of(acl, typeof(*ptr), head);
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001384 tomoyo_set_string(head, "aggregator ");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001385 tomoyo_set_string(head,
1386 ptr->original_name->name);
1387 tomoyo_set_space(head);
1388 tomoyo_set_string(head,
1389 ptr->aggregated_name->name);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001390 }
1391 break;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001392 default:
1393 continue;
1394 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001395 tomoyo_set_lf(head);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001396 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001397 head->r.acl = NULL;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001398 return true;
1399}
1400
Kentaro Takeda95908372009-02-05 17:18:13 +09001401/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001402 * tomoyo_read_exception - Read exception policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001403 *
1404 * @head: Pointer to "struct tomoyo_io_buffer".
1405 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001406 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001407 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001408static void tomoyo_read_exception(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001409{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001410 if (head->r.eof)
Tetsuo Handa31845e82010-06-17 16:54:33 +09001411 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001412 while (head->r.step < TOMOYO_MAX_POLICY &&
1413 tomoyo_read_policy(head, head->r.step))
1414 head->r.step++;
1415 if (head->r.step < TOMOYO_MAX_POLICY)
Tetsuo Handa31845e82010-06-17 16:54:33 +09001416 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001417 while (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP &&
1418 tomoyo_read_group(head, head->r.step - TOMOYO_MAX_POLICY))
1419 head->r.step++;
1420 if (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP)
Tetsuo Handa31845e82010-06-17 16:54:33 +09001421 return;
Tetsuo Handa32997142011-06-26 23:19:28 +09001422 while (head->r.step < TOMOYO_MAX_POLICY + TOMOYO_MAX_GROUP
1423 + TOMOYO_MAX_ACL_GROUPS) {
1424 head->r.acl_group_index = head->r.step - TOMOYO_MAX_POLICY
1425 - TOMOYO_MAX_GROUP;
1426 if (!tomoyo_read_domain2(head, &tomoyo_acl_group
1427 [head->r.acl_group_index]))
1428 return;
1429 head->r.step++;
1430 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001431 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001432}
1433
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001434/* Wait queue for kernel -> userspace notification. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001435static DECLARE_WAIT_QUEUE_HEAD(tomoyo_query_wait);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001436/* Wait queue for userspace -> kernel notification. */
1437static DECLARE_WAIT_QUEUE_HEAD(tomoyo_answer_wait);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001438
1439/* Structure for query. */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001440struct tomoyo_query {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001441 struct list_head list;
1442 char *query;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001443 size_t query_len;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001444 unsigned int serial;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001445 u8 timer;
1446 u8 answer;
1447 u8 retry;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001448};
1449
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001450/* The list for "struct tomoyo_query". */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001451static LIST_HEAD(tomoyo_query_list);
1452
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001453/* Lock for manipulating tomoyo_query_list. */
1454static DEFINE_SPINLOCK(tomoyo_query_list_lock);
1455
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001456/*
1457 * Number of "struct file" referring /sys/kernel/security/tomoyo/query
1458 * interface.
1459 */
1460static atomic_t tomoyo_query_observers = ATOMIC_INIT(0);
1461
1462/**
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001463 * tomoyo_add_entry - Add an ACL to current thread's domain. Used by learning mode.
1464 *
1465 * @domain: Pointer to "struct tomoyo_domain_info".
1466 * @header: Lines containing ACL.
1467 *
1468 * Returns nothing.
1469 */
1470static void tomoyo_add_entry(struct tomoyo_domain_info *domain, char *header)
1471{
1472 char *buffer;
1473 char *cp = strchr(header, '\n');
1474 int len;
1475 if (!cp)
1476 return;
1477 cp = strchr(cp + 1, '\n');
1478 if (!cp)
1479 return;
1480 *cp++ = '\0';
1481 len = strlen(cp) + 1;
1482 buffer = kmalloc(len, GFP_NOFS);
1483 if (!buffer)
1484 return;
1485 snprintf(buffer, len - 1, "%s", cp);
1486 tomoyo_normalize_line(buffer);
1487 tomoyo_write_domain2(&domain->acl_info_list, buffer, false);
1488 kfree(buffer);
1489}
1490
1491/**
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001492 * tomoyo_supervisor - Ask for the supervisor's decision.
1493 *
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001494 * @r: Pointer to "struct tomoyo_request_info".
1495 * @fmt: The printf()'s format string, followed by parameters.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001496 *
1497 * Returns 0 if the supervisor decided to permit the access request which
1498 * violated the policy in enforcing mode, TOMOYO_RETRY_REQUEST if the
1499 * supervisor decided to retry the access request which violated the policy in
1500 * enforcing mode, 0 if it is not in enforcing mode, -EPERM otherwise.
1501 */
1502int tomoyo_supervisor(struct tomoyo_request_info *r, const char *fmt, ...)
1503{
1504 va_list args;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001505 int error;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001506 int len;
1507 static unsigned int tomoyo_serial;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001508 struct tomoyo_query entry = { };
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001509 bool quota_exceeded = false;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001510 va_start(args, fmt);
1511 len = vsnprintf((char *) &len, 1, fmt, args) + 1;
1512 va_end(args);
1513 /* Write /sys/kernel/security/tomoyo/audit. */
1514 va_start(args, fmt);
1515 tomoyo_write_log2(r, len, fmt, args);
1516 va_end(args);
1517 /* Nothing more to do if granted. */
1518 if (r->granted)
1519 return 0;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001520 switch (r->mode) {
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001521 case TOMOYO_CONFIG_ENFORCING:
1522 error = -EPERM;
1523 if (atomic_read(&tomoyo_query_observers))
1524 break;
1525 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001526 case TOMOYO_CONFIG_LEARNING:
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001527 error = 0;
1528 /* Check max_learning_entry parameter. */
1529 if (tomoyo_domain_quota_is_ok(r))
1530 break;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001531 /* fall through */
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001532 default:
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001533 return 0;
1534 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001535 /* Get message. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001536 va_start(args, fmt);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001537 entry.query = tomoyo_init_log(r, len, fmt, args);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001538 va_end(args);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001539 if (!entry.query)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001540 goto out;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001541 entry.query_len = strlen(entry.query) + 1;
1542 if (!error) {
1543 tomoyo_add_entry(r->domain, entry.query);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001544 goto out;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001545 }
1546 len = tomoyo_round2(entry.query_len);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001547 spin_lock(&tomoyo_query_list_lock);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001548 if (tomoyo_memory_quota[TOMOYO_MEMORY_QUERY] &&
1549 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] + len
1550 >= tomoyo_memory_quota[TOMOYO_MEMORY_QUERY]) {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001551 quota_exceeded = true;
1552 } else {
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001553 entry.serial = tomoyo_serial++;
1554 entry.retry = r->retry;
1555 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] += len;
1556 list_add_tail(&entry.list, &tomoyo_query_list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001557 }
1558 spin_unlock(&tomoyo_query_list_lock);
1559 if (quota_exceeded)
1560 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001561 /* Give 10 seconds for supervisor's opinion. */
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001562 while (entry.timer < 10) {
1563 wake_up_all(&tomoyo_query_wait);
1564 if (wait_event_interruptible_timeout
1565 (tomoyo_answer_wait, entry.answer ||
1566 !atomic_read(&tomoyo_query_observers), HZ))
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001567 break;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001568 else
1569 entry.timer++;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001570 }
1571 spin_lock(&tomoyo_query_list_lock);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001572 list_del(&entry.list);
1573 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] -= len;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001574 spin_unlock(&tomoyo_query_list_lock);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001575 switch (entry.answer) {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001576 case 3: /* Asked to retry by administrator. */
1577 error = TOMOYO_RETRY_REQUEST;
1578 r->retry++;
1579 break;
1580 case 1:
1581 /* Granted by administrator. */
1582 error = 0;
1583 break;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001584 default:
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001585 /* Timed out or rejected by administrator. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001586 break;
1587 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001588out:
1589 kfree(entry.query);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001590 return error;
1591}
1592
1593/**
1594 * tomoyo_poll_query - poll() for /sys/kernel/security/tomoyo/query.
1595 *
1596 * @file: Pointer to "struct file".
1597 * @wait: Pointer to "poll_table".
1598 *
1599 * Returns POLLIN | POLLRDNORM when ready to read, 0 otherwise.
1600 *
1601 * Waits for access requests which violated policy in enforcing mode.
1602 */
1603static int tomoyo_poll_query(struct file *file, poll_table *wait)
1604{
1605 struct list_head *tmp;
1606 bool found = false;
1607 u8 i;
1608 for (i = 0; i < 2; i++) {
1609 spin_lock(&tomoyo_query_list_lock);
1610 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001611 struct tomoyo_query *ptr =
1612 list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001613 if (ptr->answer)
1614 continue;
1615 found = true;
1616 break;
1617 }
1618 spin_unlock(&tomoyo_query_list_lock);
1619 if (found)
1620 return POLLIN | POLLRDNORM;
1621 if (i)
1622 break;
1623 poll_wait(file, &tomoyo_query_wait, wait);
1624 }
1625 return 0;
1626}
1627
1628/**
1629 * tomoyo_read_query - Read access requests which violated policy in enforcing mode.
1630 *
1631 * @head: Pointer to "struct tomoyo_io_buffer".
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001632 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001633static void tomoyo_read_query(struct tomoyo_io_buffer *head)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001634{
1635 struct list_head *tmp;
1636 int pos = 0;
1637 int len = 0;
1638 char *buf;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001639 if (head->r.w_pos)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001640 return;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001641 if (head->read_buf) {
1642 kfree(head->read_buf);
1643 head->read_buf = NULL;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001644 }
1645 spin_lock(&tomoyo_query_list_lock);
1646 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001647 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001648 if (ptr->answer)
1649 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001650 if (pos++ != head->r.query_index)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001651 continue;
1652 len = ptr->query_len;
1653 break;
1654 }
1655 spin_unlock(&tomoyo_query_list_lock);
1656 if (!len) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001657 head->r.query_index = 0;
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001658 return;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001659 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001660 buf = kzalloc(len + 32, GFP_NOFS);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001661 if (!buf)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001662 return;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001663 pos = 0;
1664 spin_lock(&tomoyo_query_list_lock);
1665 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001666 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001667 if (ptr->answer)
1668 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001669 if (pos++ != head->r.query_index)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001670 continue;
1671 /*
1672 * Some query can be skipped because tomoyo_query_list
1673 * can change, but I don't care.
1674 */
1675 if (len == ptr->query_len)
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001676 snprintf(buf, len + 31, "Q%u-%hu\n%s", ptr->serial,
1677 ptr->retry, ptr->query);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001678 break;
1679 }
1680 spin_unlock(&tomoyo_query_list_lock);
1681 if (buf[0]) {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001682 head->read_buf = buf;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001683 head->r.w[head->r.w_pos++] = buf;
1684 head->r.query_index++;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001685 } else {
1686 kfree(buf);
1687 }
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001688}
1689
1690/**
1691 * tomoyo_write_answer - Write the supervisor's decision.
1692 *
1693 * @head: Pointer to "struct tomoyo_io_buffer".
1694 *
1695 * Returns 0 on success, -EINVAL otherwise.
1696 */
1697static int tomoyo_write_answer(struct tomoyo_io_buffer *head)
1698{
1699 char *data = head->write_buf;
1700 struct list_head *tmp;
1701 unsigned int serial;
1702 unsigned int answer;
1703 spin_lock(&tomoyo_query_list_lock);
1704 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001705 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001706 ptr->timer = 0;
1707 }
1708 spin_unlock(&tomoyo_query_list_lock);
1709 if (sscanf(data, "A%u=%u", &serial, &answer) != 2)
1710 return -EINVAL;
1711 spin_lock(&tomoyo_query_list_lock);
1712 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001713 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001714 if (ptr->serial != serial)
1715 continue;
1716 if (!ptr->answer)
1717 ptr->answer = answer;
1718 break;
1719 }
1720 spin_unlock(&tomoyo_query_list_lock);
1721 return 0;
1722}
1723
1724/**
Kentaro Takeda95908372009-02-05 17:18:13 +09001725 * tomoyo_read_version: Get version.
1726 *
1727 * @head: Pointer to "struct tomoyo_io_buffer".
1728 *
1729 * Returns version information.
1730 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001731static void tomoyo_read_version(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001732{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001733 if (!head->r.eof) {
Tetsuo Handad5ca1722011-06-26 23:18:21 +09001734 tomoyo_io_printf(head, "2.4.0");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001735 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001736 }
Kentaro Takeda95908372009-02-05 17:18:13 +09001737}
1738
1739/**
1740 * tomoyo_read_self_domain - Get the current process's domainname.
1741 *
1742 * @head: Pointer to "struct tomoyo_io_buffer".
1743 *
1744 * Returns the current process's domainname.
1745 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001746static void tomoyo_read_self_domain(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001747{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001748 if (!head->r.eof) {
Kentaro Takeda95908372009-02-05 17:18:13 +09001749 /*
1750 * tomoyo_domain()->domainname != NULL
1751 * because every process belongs to a domain and
1752 * the domain's name cannot be NULL.
1753 */
1754 tomoyo_io_printf(head, "%s", tomoyo_domain()->domainname->name);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001755 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001756 }
Kentaro Takeda95908372009-02-05 17:18:13 +09001757}
1758
1759/**
1760 * tomoyo_open_control - open() for /sys/kernel/security/tomoyo/ interface.
1761 *
1762 * @type: Type of interface.
1763 * @file: Pointer to "struct file".
1764 *
1765 * Associates policy handler and returns 0 on success, -ENOMEM otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001766 *
1767 * Caller acquires tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001768 */
Tetsuo Handac3ef1502010-05-17 10:12:46 +09001769int tomoyo_open_control(const u8 type, struct file *file)
Kentaro Takeda95908372009-02-05 17:18:13 +09001770{
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +09001771 struct tomoyo_io_buffer *head = kzalloc(sizeof(*head), GFP_NOFS);
Kentaro Takeda95908372009-02-05 17:18:13 +09001772
1773 if (!head)
1774 return -ENOMEM;
1775 mutex_init(&head->io_sem);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001776 head->type = type;
Kentaro Takeda95908372009-02-05 17:18:13 +09001777 switch (type) {
1778 case TOMOYO_DOMAINPOLICY:
1779 /* /sys/kernel/security/tomoyo/domain_policy */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001780 head->write = tomoyo_write_domain;
1781 head->read = tomoyo_read_domain;
Kentaro Takeda95908372009-02-05 17:18:13 +09001782 break;
1783 case TOMOYO_EXCEPTIONPOLICY:
1784 /* /sys/kernel/security/tomoyo/exception_policy */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001785 head->write = tomoyo_write_exception;
1786 head->read = tomoyo_read_exception;
Kentaro Takeda95908372009-02-05 17:18:13 +09001787 break;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001788 case TOMOYO_AUDIT:
1789 /* /sys/kernel/security/tomoyo/audit */
1790 head->poll = tomoyo_poll_log;
1791 head->read = tomoyo_read_log;
1792 break;
Kentaro Takeda95908372009-02-05 17:18:13 +09001793 case TOMOYO_SELFDOMAIN:
1794 /* /sys/kernel/security/tomoyo/self_domain */
1795 head->read = tomoyo_read_self_domain;
1796 break;
1797 case TOMOYO_DOMAIN_STATUS:
1798 /* /sys/kernel/security/tomoyo/.domain_status */
1799 head->write = tomoyo_write_domain_profile;
1800 head->read = tomoyo_read_domain_profile;
1801 break;
1802 case TOMOYO_PROCESS_STATUS:
1803 /* /sys/kernel/security/tomoyo/.process_status */
1804 head->write = tomoyo_write_pid;
1805 head->read = tomoyo_read_pid;
1806 break;
1807 case TOMOYO_VERSION:
1808 /* /sys/kernel/security/tomoyo/version */
1809 head->read = tomoyo_read_version;
1810 head->readbuf_size = 128;
1811 break;
1812 case TOMOYO_MEMINFO:
1813 /* /sys/kernel/security/tomoyo/meminfo */
1814 head->write = tomoyo_write_memory_quota;
1815 head->read = tomoyo_read_memory_counter;
1816 head->readbuf_size = 512;
1817 break;
1818 case TOMOYO_PROFILE:
1819 /* /sys/kernel/security/tomoyo/profile */
1820 head->write = tomoyo_write_profile;
1821 head->read = tomoyo_read_profile;
1822 break;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001823 case TOMOYO_QUERY: /* /sys/kernel/security/tomoyo/query */
1824 head->poll = tomoyo_poll_query;
1825 head->write = tomoyo_write_answer;
1826 head->read = tomoyo_read_query;
1827 break;
Kentaro Takeda95908372009-02-05 17:18:13 +09001828 case TOMOYO_MANAGER:
1829 /* /sys/kernel/security/tomoyo/manager */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001830 head->write = tomoyo_write_manager;
1831 head->read = tomoyo_read_manager;
Kentaro Takeda95908372009-02-05 17:18:13 +09001832 break;
1833 }
1834 if (!(file->f_mode & FMODE_READ)) {
1835 /*
1836 * No need to allocate read_buf since it is not opened
1837 * for reading.
1838 */
1839 head->read = NULL;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001840 head->poll = NULL;
1841 } else if (!head->poll) {
1842 /* Don't allocate read_buf for poll() access. */
Kentaro Takeda95908372009-02-05 17:18:13 +09001843 if (!head->readbuf_size)
1844 head->readbuf_size = 4096 * 2;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +09001845 head->read_buf = kzalloc(head->readbuf_size, GFP_NOFS);
Kentaro Takeda95908372009-02-05 17:18:13 +09001846 if (!head->read_buf) {
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09001847 kfree(head);
Kentaro Takeda95908372009-02-05 17:18:13 +09001848 return -ENOMEM;
1849 }
1850 }
1851 if (!(file->f_mode & FMODE_WRITE)) {
1852 /*
1853 * No need to allocate write_buf since it is not opened
1854 * for writing.
1855 */
1856 head->write = NULL;
1857 } else if (head->write) {
1858 head->writebuf_size = 4096 * 2;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +09001859 head->write_buf = kzalloc(head->writebuf_size, GFP_NOFS);
Kentaro Takeda95908372009-02-05 17:18:13 +09001860 if (!head->write_buf) {
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09001861 kfree(head->read_buf);
1862 kfree(head);
Kentaro Takeda95908372009-02-05 17:18:13 +09001863 return -ENOMEM;
1864 }
1865 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001866 if (type != TOMOYO_QUERY && type != TOMOYO_AUDIT)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001867 head->reader_idx = tomoyo_read_lock();
Kentaro Takeda95908372009-02-05 17:18:13 +09001868 file->private_data = head;
1869 /*
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001870 * If the file is /sys/kernel/security/tomoyo/query , increment the
1871 * observer counter.
1872 * The obserber counter is used by tomoyo_supervisor() to see if
1873 * there is some process monitoring /sys/kernel/security/tomoyo/query.
1874 */
Tetsuo Handa7c759642011-06-26 23:15:31 +09001875 if (type == TOMOYO_QUERY)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001876 atomic_inc(&tomoyo_query_observers);
Kentaro Takeda95908372009-02-05 17:18:13 +09001877 return 0;
1878}
1879
1880/**
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09001881 * tomoyo_poll_control - poll() for /sys/kernel/security/tomoyo/ interface.
1882 *
1883 * @file: Pointer to "struct file".
1884 * @wait: Pointer to "poll_table".
1885 *
1886 * Waits for read readiness.
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001887 * /sys/kernel/security/tomoyo/query is handled by /usr/sbin/tomoyo-queryd and
1888 * /sys/kernel/security/tomoyo/audit is handled by /usr/sbin/tomoyo-auditd.
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09001889 */
1890int tomoyo_poll_control(struct file *file, poll_table *wait)
1891{
1892 struct tomoyo_io_buffer *head = file->private_data;
1893 if (!head->poll)
1894 return -ENOSYS;
1895 return head->poll(file, wait);
1896}
1897
1898/**
Kentaro Takeda95908372009-02-05 17:18:13 +09001899 * tomoyo_read_control - read() for /sys/kernel/security/tomoyo/ interface.
1900 *
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001901 * @head: Pointer to "struct tomoyo_io_buffer".
Kentaro Takeda95908372009-02-05 17:18:13 +09001902 * @buffer: Poiner to buffer to write to.
1903 * @buffer_len: Size of @buffer.
1904 *
1905 * Returns bytes read on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001906 *
1907 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001908 */
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001909int tomoyo_read_control(struct tomoyo_io_buffer *head, char __user *buffer,
Tetsuo Handac3ef1502010-05-17 10:12:46 +09001910 const int buffer_len)
Kentaro Takeda95908372009-02-05 17:18:13 +09001911{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001912 int len;
Kentaro Takeda95908372009-02-05 17:18:13 +09001913
1914 if (!head->read)
1915 return -ENOSYS;
1916 if (mutex_lock_interruptible(&head->io_sem))
1917 return -EINTR;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001918 head->read_user_buf = buffer;
1919 head->read_user_buf_avail = buffer_len;
1920 if (tomoyo_flush(head))
1921 /* Call the policy handler. */
1922 head->read(head);
1923 tomoyo_flush(head);
1924 len = head->read_user_buf - buffer;
Kentaro Takeda95908372009-02-05 17:18:13 +09001925 mutex_unlock(&head->io_sem);
1926 return len;
1927}
1928
1929/**
1930 * tomoyo_write_control - write() for /sys/kernel/security/tomoyo/ interface.
1931 *
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001932 * @head: Pointer to "struct tomoyo_io_buffer".
Kentaro Takeda95908372009-02-05 17:18:13 +09001933 * @buffer: Pointer to buffer to read from.
1934 * @buffer_len: Size of @buffer.
1935 *
1936 * Returns @buffer_len on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001937 *
1938 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001939 */
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001940int tomoyo_write_control(struct tomoyo_io_buffer *head,
1941 const char __user *buffer, const int buffer_len)
Kentaro Takeda95908372009-02-05 17:18:13 +09001942{
Kentaro Takeda95908372009-02-05 17:18:13 +09001943 int error = buffer_len;
1944 int avail_len = buffer_len;
1945 char *cp0 = head->write_buf;
1946
1947 if (!head->write)
1948 return -ENOSYS;
1949 if (!access_ok(VERIFY_READ, buffer, buffer_len))
1950 return -EFAULT;
1951 /* Don't allow updating policies by non manager programs. */
1952 if (head->write != tomoyo_write_pid &&
Tetsuo Handa32997142011-06-26 23:19:28 +09001953 head->write != tomoyo_write_domain &&
1954 head->write != tomoyo_write_exception && !tomoyo_manager())
Kentaro Takeda95908372009-02-05 17:18:13 +09001955 return -EPERM;
1956 if (mutex_lock_interruptible(&head->io_sem))
1957 return -EINTR;
1958 /* Read a line and dispatch it to the policy handler. */
1959 while (avail_len > 0) {
1960 char c;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001961 if (head->w.avail >= head->writebuf_size - 1) {
Kentaro Takeda95908372009-02-05 17:18:13 +09001962 error = -ENOMEM;
1963 break;
1964 } else if (get_user(c, buffer)) {
1965 error = -EFAULT;
1966 break;
1967 }
1968 buffer++;
1969 avail_len--;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001970 cp0[head->w.avail++] = c;
Kentaro Takeda95908372009-02-05 17:18:13 +09001971 if (c != '\n')
1972 continue;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001973 cp0[head->w.avail - 1] = '\0';
1974 head->w.avail = 0;
Kentaro Takeda95908372009-02-05 17:18:13 +09001975 tomoyo_normalize_line(cp0);
1976 head->write(head);
1977 }
1978 mutex_unlock(&head->io_sem);
1979 return error;
1980}
1981
1982/**
1983 * tomoyo_close_control - close() for /sys/kernel/security/tomoyo/ interface.
1984 *
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001985 * @head: Pointer to "struct tomoyo_io_buffer".
Kentaro Takeda95908372009-02-05 17:18:13 +09001986 *
1987 * Releases memory and returns 0.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001988 *
1989 * Caller looses tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001990 */
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001991int tomoyo_close_control(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001992{
Tetsuo Handa847b1732010-02-11 09:43:54 +09001993 const bool is_write = !!head->write_buf;
Kentaro Takeda95908372009-02-05 17:18:13 +09001994
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001995 /*
1996 * If the file is /sys/kernel/security/tomoyo/query , decrement the
1997 * observer counter.
1998 */
1999 if (head->type == TOMOYO_QUERY)
2000 atomic_dec(&tomoyo_query_observers);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002001 else if (head->type != TOMOYO_AUDIT)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002002 tomoyo_read_unlock(head->reader_idx);
Kentaro Takeda95908372009-02-05 17:18:13 +09002003 /* Release memory used for policy I/O. */
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09002004 kfree(head->read_buf);
Kentaro Takeda95908372009-02-05 17:18:13 +09002005 head->read_buf = NULL;
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09002006 kfree(head->write_buf);
Kentaro Takeda95908372009-02-05 17:18:13 +09002007 head->write_buf = NULL;
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09002008 kfree(head);
Tetsuo Handa847b1732010-02-11 09:43:54 +09002009 if (is_write)
2010 tomoyo_run_gc();
Kentaro Takeda95908372009-02-05 17:18:13 +09002011 return 0;
2012}
2013
2014/**
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002015 * tomoyo_check_profile - Check all profiles currently assigned to domains are defined.
Kentaro Takeda95908372009-02-05 17:18:13 +09002016 */
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002017void tomoyo_check_profile(void)
Kentaro Takeda95908372009-02-05 17:18:13 +09002018{
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002019 struct tomoyo_domain_info *domain;
2020 const int idx = tomoyo_read_lock();
2021 tomoyo_policy_loaded = true;
2022 /* Check all profiles currently assigned to domains are defined. */
2023 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
2024 const u8 profile = domain->profile;
2025 if (tomoyo_profile_ptr[profile])
2026 continue;
Tetsuo Handa9f1c1d42010-10-08 14:43:22 +09002027 printk(KERN_ERR "You need to define profile %u before using it.\n",
2028 profile);
2029 printk(KERN_ERR "Please see http://tomoyo.sourceforge.jp/2.3/ "
2030 "for more information.\n");
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002031 panic("Profile %u (used by '%s') not defined.\n",
2032 profile, domain->domainname->name);
2033 }
2034 tomoyo_read_unlock(idx);
Tetsuo Handa9f1c1d42010-10-08 14:43:22 +09002035 if (tomoyo_profile_version != 20090903) {
2036 printk(KERN_ERR "You need to install userland programs for "
2037 "TOMOYO 2.3 and initialize policy configuration.\n");
2038 printk(KERN_ERR "Please see http://tomoyo.sourceforge.jp/2.3/ "
2039 "for more information.\n");
Tetsuo Handa57c25902010-06-03 20:38:44 +09002040 panic("Profile version %u is not supported.\n",
2041 tomoyo_profile_version);
Tetsuo Handa9f1c1d42010-10-08 14:43:22 +09002042 }
Tetsuo Handae6f6a4c2010-07-27 17:17:06 +09002043 printk(KERN_INFO "TOMOYO: 2.3.0\n");
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002044 printk(KERN_INFO "Mandatory Access Control activated.\n");
Kentaro Takeda95908372009-02-05 17:18:13 +09002045}