blob: 03923a138ef54430612eceeee9d962b9f37f6699 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Kentaro Takeda95908372009-02-05 17:18:13 +09002/*
3 * security/tomoyo/common.c
4 *
Tetsuo Handa0f2a55d2011-07-14 14:46:51 +09005 * Copyright (C) 2005-2011 NTT DATA CORPORATION
Kentaro Takeda95908372009-02-05 17:18:13 +09006 */
7
8#include <linux/uaccess.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +09009#include <linux/slab.h>
Kentaro Takeda95908372009-02-05 17:18:13 +090010#include <linux/security.h>
Kentaro Takeda95908372009-02-05 17:18:13 +090011#include "common.h"
Kentaro Takeda95908372009-02-05 17:18:13 +090012
Tetsuo Handaeadd99c2011-06-26 23:18:58 +090013/* String table for operation mode. */
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"
Kentaro Takeda95908372009-02-05 17:18:13 +090019};
Kentaro Takeda95908372009-02-05 17:18:13 +090020
Tetsuo Handa57c25902010-06-03 20:38:44 +090021/* String table for /sys/kernel/security/tomoyo/profile */
Tetsuo Handa2c47ab92011-06-26 23:21:19 +090022const char * const tomoyo_mac_keywords[TOMOYO_MAX_MAC_INDEX
Tetsuo Handa57c25902010-06-03 20:38:44 +090023 + TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
Tetsuo Handad58e0da2011-09-10 15:22:48 +090024 /* CONFIG::file group */
Tetsuo Handa2c47ab92011-06-26 23:21:19 +090025 [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",
Tetsuo Handa059d84d2011-09-10 15:23:54 +090048 /* CONFIG::network group */
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",
Tetsuo Handad58e0da2011-09-10 15:22:48 +090064 /* CONFIG::misc group */
65 [TOMOYO_MAC_ENVIRON] = "env",
66 /* CONFIG group */
Tetsuo Handa57c25902010-06-03 20:38:44 +090067 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_FILE] = "file",
Tetsuo Handa059d84d2011-09-10 15:23:54 +090068 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_NETWORK] = "network",
Tetsuo Handad58e0da2011-09-10 15:22:48 +090069 [TOMOYO_MAX_MAC_INDEX + TOMOYO_MAC_CATEGORY_MISC] = "misc",
Kentaro Takeda95908372009-02-05 17:18:13 +090070};
71
Tetsuo Handa2066a362011-07-08 13:21:37 +090072/* String table for conditions. */
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",
Tetsuo Handa5b636852011-07-08 13:24:54 +090084 [TOMOYO_EXEC_ARGC] = "exec.argc",
85 [TOMOYO_EXEC_ENVC] = "exec.envc",
Tetsuo Handa8761afd2011-07-08 13:22:41 +090086 [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",
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +0900105 [TOMOYO_EXEC_REALPATH] = "exec.realpath",
106 [TOMOYO_SYMLINK_TARGET] = "symlink.target",
Tetsuo Handa8761afd2011-07-08 13:22:41 +0900107 [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",
Tetsuo Handa2066a362011-07-08 13:21:37 +0900133};
134
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900135/* String table for PREFERENCE keyword. */
136static const char * const tomoyo_pref_keywords[TOMOYO_MAX_PREF] = {
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900137 [TOMOYO_PREF_MAX_AUDIT_LOG] = "max_audit_log",
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900138 [TOMOYO_PREF_MAX_LEARNING_ENTRY] = "max_learning_entry",
139};
140
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900141/* String table for path operation. */
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
Tetsuo Handa059d84d2011-09-10 15:23:54 +0900156/* String table for socket's operation. */
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
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900164/* String table for categories. */
165static const char * const tomoyo_category_keywords
166[TOMOYO_MAX_MAC_CATEGORY_INDEX] = {
Tetsuo Handa059d84d2011-09-10 15:23:54 +0900167 [TOMOYO_MAC_CATEGORY_FILE] = "file",
168 [TOMOYO_MAC_CATEGORY_NETWORK] = "network",
169 [TOMOYO_MAC_CATEGORY_MISC] = "misc",
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900170};
171
Kentaro Takeda95908372009-02-05 17:18:13 +0900172/* Permit policy management by non-root user? */
173static bool tomoyo_manage_by_non_root;
174
175/* Utility functions. */
176
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900177/**
Tetsuo Handa57c25902010-06-03 20:38:44 +0900178 * tomoyo_yesno - Return "yes" or "no".
179 *
180 * @value: Bool value.
181 */
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900182const char *tomoyo_yesno(const unsigned int value)
Tetsuo Handa57c25902010-06-03 20:38:44 +0900183{
184 return value ? "yes" : "no";
185}
186
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900187/**
188 * tomoyo_addprintf - strncat()-like-snprintf().
189 *
190 * @buffer: Buffer to write to. Must be '\0'-terminated.
191 * @len: Size of @buffer.
192 * @fmt: The printf()'s format string, followed by parameters.
193 *
194 * Returns nothing.
195 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900196static 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 * tomoyo_flush - Flush queued string to userspace's buffer.
207 *
208 * @head: Pointer to "struct tomoyo_io_buffer".
209 *
210 * Returns true if all data was flushed, false otherwise.
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];
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900216 size_t len = strlen(w);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900217 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 }
Tetsuo Handac0fa7972011-04-03 00:12:54 +0900228 head->r.w[0] = w;
229 if (*w)
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900230 return false;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900231 /* Add '\0' for audit logs and query. */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900232 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 * tomoyo_set_string - Queue string to "struct tomoyo_io_buffer" structure.
249 *
250 * @head: Pointer to "struct tomoyo_io_buffer".
251 * @string: String to print.
252 *
253 * Note that @string has to be kept valid until @head is kfree()d.
254 * This means that char[] allocated on stack memory cannot be passed to
255 * this function. Use tomoyo_io_printf() for char[] allocated on stack memory.
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
Tetsuo Handa778c4a42011-09-25 17:49:09 +0900266static void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt,
267 ...) __printf(2, 3);
268
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900269/**
270 * tomoyo_io_printf - printf() to "struct tomoyo_io_buffer" structure.
271 *
272 * @head: Pointer to "struct tomoyo_io_buffer".
273 * @fmt: The printf()'s format string, followed by parameters.
274 */
Tetsuo Handa778c4a42011-09-25 17:49:09 +0900275static void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt,
276 ...)
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900277{
278 va_list args;
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900279 size_t len;
280 size_t pos = head->r.avail;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900281 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
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900295/**
296 * tomoyo_set_space - Put a space to "struct tomoyo_io_buffer" structure.
297 *
298 * @head: Pointer to "struct tomoyo_io_buffer".
299 *
300 * Returns nothing.
301 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900302static void tomoyo_set_space(struct tomoyo_io_buffer *head)
303{
304 tomoyo_set_string(head, " ");
305}
306
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900307/**
308 * tomoyo_set_lf - Put a line feed to "struct tomoyo_io_buffer" structure.
309 *
310 * @head: Pointer to "struct tomoyo_io_buffer".
311 *
312 * Returns nothing.
313 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900314static bool tomoyo_set_lf(struct tomoyo_io_buffer *head)
315{
316 tomoyo_set_string(head, "\n");
317 return !head->r.w_pos;
318}
319
Tetsuo Handa57c25902010-06-03 20:38:44 +0900320/**
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900321 * tomoyo_set_slash - Put a shash to "struct tomoyo_io_buffer" structure.
322 *
323 * @head: Pointer to "struct tomoyo_io_buffer".
324 *
325 * Returns nothing.
326 */
327static void tomoyo_set_slash(struct tomoyo_io_buffer *head)
328{
329 tomoyo_set_string(head, "/");
330}
331
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900332/* List of namespaces. */
333LIST_HEAD(tomoyo_namespace_list);
334/* True if namespace other than tomoyo_kernel_namespace is defined. */
335static bool tomoyo_namespace_enabled;
336
337/**
338 * tomoyo_init_policy_namespace - Initialize namespace.
339 *
340 * @ns: Pointer to "struct tomoyo_policy_namespace".
341 *
342 * Returns nothing.
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]);
Tetsuo Handa843d1832011-09-14 17:03:19 +0900353 ns->profile_version = 20110903;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900354 tomoyo_namespace_enabled = !list_empty(&tomoyo_namespace_list);
355 list_add_tail_rcu(&ns->namespace_list, &tomoyo_namespace_list);
356}
357
358/**
359 * tomoyo_print_namespace - Print namespace header.
360 *
361 * @head: Pointer to "struct tomoyo_io_buffer".
362 *
363 * Returns nothing.
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
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900376/**
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900377 * tomoyo_print_name_union - Print a tomoyo_name_union.
378 *
379 * @head: Pointer to "struct tomoyo_io_buffer".
380 * @ptr: Pointer to "struct tomoyo_name_union".
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900381 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900382static void tomoyo_print_name_union(struct tomoyo_io_buffer *head,
383 const struct tomoyo_name_union *ptr)
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900384{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900385 tomoyo_set_space(head);
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900386 if (ptr->group) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900387 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 }
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900392}
393
394/**
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +0900395 * tomoyo_print_name_union_quoted - Print a tomoyo_name_union with a quote.
396 *
397 * @head: Pointer to "struct tomoyo_io_buffer".
398 * @ptr: Pointer to "struct tomoyo_name_union".
399 *
400 * Returns nothing.
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/**
Tetsuo Handa2066a362011-07-08 13:21:37 +0900416 * tomoyo_print_number_union_nospace - Print a tomoyo_number_union without a space.
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900417 *
Tetsuo Handa2066a362011-07-08 13:21:37 +0900418 * @head: Pointer to "struct tomoyo_io_buffer".
419 * @ptr: Pointer to "struct tomoyo_number_union".
420 *
421 * Returns nothing.
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900422 */
Tetsuo Handa2066a362011-07-08 13:21:37 +0900423static void tomoyo_print_number_union_nospace
424(struct tomoyo_io_buffer *head, const struct tomoyo_number_union *ptr)
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900425{
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900426 if (ptr->group) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900427 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];
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900433 u8 min_type = ptr->value_type[0];
434 const u8 max_type = ptr->value_type[1];
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900435 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:
Tetsuo Handa2066a362011-07-08 13:21:37 +0900448 tomoyo_addprintf(buffer, sizeof(buffer), "%lu",
449 min);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900450 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);
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900459 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900460}
461
462/**
Tetsuo Handa2066a362011-07-08 13:21:37 +0900463 * tomoyo_print_number_union - Print a tomoyo_number_union.
464 *
465 * @head: Pointer to "struct tomoyo_io_buffer".
466 * @ptr: Pointer to "struct tomoyo_number_union".
467 *
468 * Returns nothing.
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/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900478 * tomoyo_assign_profile - Create a new profile.
Kentaro Takeda95908372009-02-05 17:18:13 +0900479 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900480 * @ns: Pointer to "struct tomoyo_policy_namespace".
Kentaro Takeda95908372009-02-05 17:18:13 +0900481 * @profile: Profile number to create.
482 *
483 * Returns pointer to "struct tomoyo_profile" on success, NULL otherwise.
484 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900485static struct tomoyo_profile *tomoyo_assign_profile
486(struct tomoyo_policy_namespace *ns, const unsigned int profile)
Kentaro Takeda95908372009-02-05 17:18:13 +0900487{
Tetsuo Handa57c25902010-06-03 20:38:44 +0900488 struct tomoyo_profile *ptr;
489 struct tomoyo_profile *entry;
Kentaro Takeda95908372009-02-05 17:18:13 +0900490 if (profile >= TOMOYO_MAX_PROFILES)
491 return NULL;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900492 ptr = ns->profile_ptr[profile];
Kentaro Takeda95908372009-02-05 17:18:13 +0900493 if (ptr)
Tetsuo Handa57c25902010-06-03 20:38:44 +0900494 return ptr;
495 entry = kzalloc(sizeof(*entry), GFP_NOFS);
496 if (mutex_lock_interruptible(&tomoyo_policy_lock))
497 goto out;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900498 ptr = ns->profile_ptr[profile];
Tetsuo Handa57c25902010-06-03 20:38:44 +0900499 if (!ptr && tomoyo_memory_ok(entry)) {
500 ptr = entry;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900501 ptr->default_config = TOMOYO_CONFIG_DISABLED |
502 TOMOYO_CONFIG_WANT_GRANT_LOG |
503 TOMOYO_CONFIG_WANT_REJECT_LOG;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900504 memset(ptr->config, TOMOYO_CONFIG_USE_DEFAULT,
505 sizeof(ptr->config));
Tetsuo Handa6afcb3b2011-10-16 09:43:46 +0900506 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;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900510 mb(); /* Avoid out-of-order execution. */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900511 ns->profile_ptr[profile] = ptr;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900512 entry = NULL;
Tetsuo Handacd7bec62010-01-05 06:39:37 +0900513 }
Tetsuo Handa29282382010-05-06 00:18:15 +0900514 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa57c25902010-06-03 20:38:44 +0900515 out:
516 kfree(entry);
Kentaro Takeda95908372009-02-05 17:18:13 +0900517 return ptr;
518}
519
520/**
Tetsuo Handa57c25902010-06-03 20:38:44 +0900521 * tomoyo_profile - Find a profile.
522 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900523 * @ns: Pointer to "struct tomoyo_policy_namespace".
Tetsuo Handa57c25902010-06-03 20:38:44 +0900524 * @profile: Profile number to find.
525 *
526 * Returns pointer to "struct tomoyo_profile".
527 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900528struct tomoyo_profile *tomoyo_profile(const struct tomoyo_policy_namespace *ns,
529 const u8 profile)
Tetsuo Handa57c25902010-06-03 20:38:44 +0900530{
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900531 static struct tomoyo_profile tomoyo_null_profile;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900532 struct tomoyo_profile *ptr = ns->profile_ptr[profile];
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900533 if (!ptr)
534 ptr = &tomoyo_null_profile;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900535 return ptr;
536}
537
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900538/**
539 * tomoyo_find_yesno - Find values for specified keyword.
540 *
541 * @string: String to check.
542 * @find: Name of keyword.
543 *
544 * Returns 1 if "@find=yes" was found, 0 if "@find=no" was found, -1 otherwise.
545 */
Tetsuo Handa8e568682010-06-25 09:30:09 +0900546static 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
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900559/**
560 * tomoyo_set_uint - Set value for specified preference.
561 *
562 * @i: Pointer to "unsigned int".
563 * @string: String to check.
564 * @find: Name of keyword.
565 *
566 * Returns nothing.
567 */
Tetsuo Handa8e568682010-06-25 09:30:09 +0900568static 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
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900576/**
577 * tomoyo_set_mode - Set mode for specified profile.
578 *
579 * @name: Name of functionality.
580 * @value: Mode for @name.
581 * @profile: Pointer to "struct tomoyo_profile".
582 *
583 * Returns 0 on success, negative value otherwise.
584 */
Tetsuo Handa8e568682010-06-25 09:30:09 +0900585static int tomoyo_set_mode(char *name, const char *value,
Tetsuo Handa8e568682010-06-25 09:30:09 +0900586 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++) {
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900597 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]))
Tetsuo Handa8e568682010-06-25 09:30:09 +0900608 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 }
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900617 if (strstr(value, "use_default")) {
Tetsuo Handa8e568682010-06-25 09:30:09 +0900618 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 * Update lower 3 bits in order to distinguish
625 * 'config' from 'TOMOYO_CONFIG_USE_DEAFULT'.
626 */
627 config = (config & ~7) | mode;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900628 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 }
Tetsuo Handa8e568682010-06-25 09:30:09 +0900646 }
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
Tetsuo Handa57c25902010-06-03 20:38:44 +0900654/**
655 * tomoyo_write_profile - Write profile table.
Kentaro Takeda95908372009-02-05 17:18:13 +0900656 *
657 * @head: Pointer to "struct tomoyo_io_buffer".
658 *
659 * Returns 0 on success, negative value otherwise.
660 */
661static int tomoyo_write_profile(struct tomoyo_io_buffer *head)
662{
663 char *data = head->write_buf;
664 unsigned int i;
Kentaro Takeda95908372009-02-05 17:18:13 +0900665 char *cp;
666 struct tomoyo_profile *profile;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900667 if (sscanf(data, "PROFILE_VERSION=%u", &head->w.ns->profile_version)
668 == 1)
Tetsuo Handa57c25902010-06-03 20:38:44 +0900669 return 0;
670 i = simple_strtoul(data, &cp, 10);
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900671 if (*cp != '-')
672 return -EINVAL;
673 data = cp + 1;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900674 profile = tomoyo_assign_profile(head->w.ns, i);
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900675 if (!profile)
676 return -EINVAL;
Kentaro Takeda95908372009-02-05 17:18:13 +0900677 cp = strchr(data, '=');
678 if (!cp)
679 return -EINVAL;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900680 *cp++ = '\0';
Kentaro Takeda95908372009-02-05 17:18:13 +0900681 if (!strcmp(data, "COMMENT")) {
Tetsuo Handa2a086e52011-04-03 00:09:26 +0900682 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);
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900692 tomoyo_put_name(old_comment);
Kentaro Takeda95908372009-02-05 17:18:13 +0900693 return 0;
694 }
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900695 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;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900700 }
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900701 return tomoyo_set_mode(data, cp, profile);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900702}
703
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900704/**
705 * tomoyo_print_config - Print mode for specified functionality.
706 *
707 * @head: Pointer to "struct tomoyo_io_buffer".
708 * @config: Mode for that functionality.
709 *
710 * Returns nothing.
711 *
712 * Caller prints functionality's name.
713 */
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900714static void tomoyo_print_config(struct tomoyo_io_buffer *head, const u8 config)
715{
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900716 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));
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900720}
721
Kentaro Takeda95908372009-02-05 17:18:13 +0900722/**
Tetsuo Handa57c25902010-06-03 20:38:44 +0900723 * tomoyo_read_profile - Read profile table.
Kentaro Takeda95908372009-02-05 17:18:13 +0900724 *
725 * @head: Pointer to "struct tomoyo_io_buffer".
Tetsuo Handaeadd99c2011-06-26 23:18:58 +0900726 *
727 * Returns nothing.
Kentaro Takeda95908372009-02-05 17:18:13 +0900728 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +0900729static void tomoyo_read_profile(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900730{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900731 u8 index;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900732 struct tomoyo_policy_namespace *ns =
733 container_of(head->r.ns, typeof(*ns), namespace_list);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900734 const struct tomoyo_profile *profile;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900735 if (head->r.eof)
736 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900737 next:
738 index = head->r.index;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900739 profile = ns->profile_ptr[index];
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900740 switch (head->r.step) {
741 case 0:
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900742 tomoyo_print_namespace(head);
743 tomoyo_io_printf(head, "PROFILE_VERSION=%u\n",
744 ns->profile_version);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900745 head->r.step++;
746 break;
747 case 1:
748 for ( ; head->r.index < TOMOYO_MAX_PROFILES;
749 head->r.index++)
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900750 if (ns->profile_ptr[head->r.index])
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900751 break;
Tetsuo Handa4d818972011-08-06 23:38:30 +0900752 if (head->r.index == TOMOYO_MAX_PROFILES) {
753 head->r.eof = true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900754 return;
Tetsuo Handa4d818972011-08-06 23:38:30 +0900755 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900756 head->r.step++;
757 break;
758 case 2:
759 {
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900760 u8 i;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900761 const struct tomoyo_path_info *comment =
762 profile->comment;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900763 tomoyo_print_namespace(head);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900764 tomoyo_io_printf(head, "%u-COMMENT=", index);
765 tomoyo_set_string(head, comment ? comment->name : "");
766 tomoyo_set_lf(head);
Tetsuo Handa4d818972011-08-06 23:38:30 +0900767 tomoyo_print_namespace(head);
Tetsuo Handad5ca1722011-06-26 23:18:21 +0900768 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");
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900774 head->r.step++;
775 }
776 break;
777 case 3:
778 {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900779 tomoyo_print_namespace(head);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900780 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];
Tetsuo Handa57c25902010-06-03 20:38:44 +0900791 if (config == TOMOYO_CONFIG_USE_DEFAULT)
792 continue;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900793 tomoyo_print_namespace(head);
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900794 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]);
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900803 tomoyo_print_config(head, config);
804 head->r.bit++;
805 break;
Kentaro Takeda95908372009-02-05 17:18:13 +0900806 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900807 if (head->r.bit == TOMOYO_MAX_MAC_INDEX
808 + TOMOYO_MAX_MAC_CATEGORY_INDEX) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900809 head->r.index++;
810 head->r.step = 1;
811 }
Tetsuo Handa57c25902010-06-03 20:38:44 +0900812 break;
Kentaro Takeda95908372009-02-05 17:18:13 +0900813 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900814 if (tomoyo_flush(head))
815 goto next;
Kentaro Takeda95908372009-02-05 17:18:13 +0900816}
817
Tetsuo Handa0f2a55d2011-07-14 14:46:51 +0900818/**
819 * tomoyo_same_manager - Check for duplicated "struct tomoyo_manager" entry.
820 *
821 * @a: Pointer to "struct tomoyo_acl_head".
822 * @b: Pointer to "struct tomoyo_acl_head".
823 *
824 * Returns true if @a == @b, false otherwise.
825 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900826static bool tomoyo_same_manager(const struct tomoyo_acl_head *a,
827 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900828{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900829 return container_of(a, struct tomoyo_manager, head)->manager ==
830 container_of(b, struct tomoyo_manager, head)->manager;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900831}
832
Kentaro Takeda95908372009-02-05 17:18:13 +0900833/**
834 * tomoyo_update_manager_entry - Add a manager entry.
835 *
836 * @manager: The path to manager or the domainnamme.
837 * @is_delete: True if it is a delete request.
838 *
839 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900840 *
841 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900842 */
843static int tomoyo_update_manager_entry(const char *manager,
844 const bool is_delete)
845{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900846 struct tomoyo_manager e = { };
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900847 struct tomoyo_acl_param param = {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900848 /* .ns = &tomoyo_kernel_namespace, */
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900849 .is_delete = is_delete,
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900850 .list = &tomoyo_kernel_namespace.
851 policy_list[TOMOYO_ID_MANAGER],
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900852 };
853 int error = is_delete ? -ENOENT : -ENOMEM;
Tetsuo Handa77b513d2012-05-13 23:03:23 +0900854 if (!tomoyo_correct_domain(manager) &&
855 !tomoyo_correct_word(manager))
856 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900857 e.manager = tomoyo_get_name(manager);
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900858 if (e.manager) {
859 error = tomoyo_update_policy(&e.head, sizeof(e), &param,
860 tomoyo_same_manager);
861 tomoyo_put_name(e.manager);
862 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900863 return error;
864}
865
866/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900867 * tomoyo_write_manager - Write manager policy.
Kentaro Takeda95908372009-02-05 17:18:13 +0900868 *
869 * @head: Pointer to "struct tomoyo_io_buffer".
870 *
871 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900872 *
873 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900874 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900875static int tomoyo_write_manager(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900876{
877 char *data = head->write_buf;
Kentaro Takeda95908372009-02-05 17:18:13 +0900878
879 if (!strcmp(data, "manage_by_non_root")) {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900880 tomoyo_manage_by_non_root = !head->w.is_delete;
Kentaro Takeda95908372009-02-05 17:18:13 +0900881 return 0;
882 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900883 return tomoyo_update_manager_entry(data, head->w.is_delete);
Kentaro Takeda95908372009-02-05 17:18:13 +0900884}
885
886/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900887 * tomoyo_read_manager - Read manager policy.
Kentaro Takeda95908372009-02-05 17:18:13 +0900888 *
889 * @head: Pointer to "struct tomoyo_io_buffer".
890 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900891 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900892 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900893static void tomoyo_read_manager(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +0900894{
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900895 if (head->r.eof)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +0900896 return;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900897 list_for_each_cookie(head->r.acl, &tomoyo_kernel_namespace.
898 policy_list[TOMOYO_ID_MANAGER]) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900899 struct tomoyo_manager *ptr =
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900900 list_entry(head->r.acl, typeof(*ptr), head.list);
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900901 if (ptr->head.is_deleted)
Kentaro Takeda95908372009-02-05 17:18:13 +0900902 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900903 if (!tomoyo_flush(head))
904 return;
905 tomoyo_set_string(head, ptr->manager->name);
906 tomoyo_set_lf(head);
Kentaro Takeda95908372009-02-05 17:18:13 +0900907 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +0900908 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +0900909}
910
911/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900912 * tomoyo_manager - Check whether the current process is a policy manager.
Kentaro Takeda95908372009-02-05 17:18:13 +0900913 *
914 * Returns true if the current process is permitted to modify policy
915 * via /sys/kernel/security/tomoyo/ interface.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900916 *
917 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900918 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900919static bool tomoyo_manager(void)
Kentaro Takeda95908372009-02-05 17:18:13 +0900920{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900921 struct tomoyo_manager *ptr;
Kentaro Takeda95908372009-02-05 17:18:13 +0900922 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;
Eric W. Biederman609fcd1b2012-02-07 16:34:10 -0800929 if (!tomoyo_manage_by_non_root &&
930 (!uid_eq(task->cred->uid, GLOBAL_ROOT_UID) ||
931 !uid_eq(task->cred->euid, GLOBAL_ROOT_UID)))
Kentaro Takeda95908372009-02-05 17:18:13 +0900932 return false;
Kentaro Takeda95908372009-02-05 17:18:13 +0900933 exe = tomoyo_get_exe();
934 if (!exe)
935 return false;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900936 list_for_each_entry_rcu(ptr, &tomoyo_kernel_namespace.
937 policy_list[TOMOYO_ID_MANAGER], head.list) {
Tetsuo Handa77b513d2012-05-13 23:03:23 +0900938 if (!ptr->head.is_deleted &&
939 (!tomoyo_pathcmp(domainname, ptr->manager) ||
940 !strcmp(exe, ptr->manager->name))) {
Kentaro Takeda95908372009-02-05 17:18:13 +0900941 found = true;
942 break;
943 }
944 }
Kentaro Takeda95908372009-02-05 17:18:13 +0900945 if (!found) { /* Reduce error messages. */
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 }
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900954 kfree(exe);
Kentaro Takeda95908372009-02-05 17:18:13 +0900955 return found;
956}
957
Tetsuo Handa59df3162011-10-20 06:48:57 +0900958static struct tomoyo_domain_info *tomoyo_find_domain_by_qid
959(unsigned int serial);
960
Kentaro Takeda95908372009-02-05 17:18:13 +0900961/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900962 * tomoyo_select_domain - Parse select command.
Kentaro Takeda95908372009-02-05 17:18:13 +0900963 *
964 * @head: Pointer to "struct tomoyo_io_buffer".
965 * @data: String to parse.
966 *
967 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900968 *
969 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +0900970 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900971static bool tomoyo_select_domain(struct tomoyo_io_buffer *head,
972 const char *data)
Kentaro Takeda95908372009-02-05 17:18:13 +0900973{
974 unsigned int pid;
975 struct tomoyo_domain_info *domain = NULL;
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900976 bool global_pid = false;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900977 if (strncmp(data, "select ", 7))
978 return false;
979 data += 7;
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900980 if (sscanf(data, "pid=%u", &pid) == 1 ||
981 (global_pid = true, sscanf(data, "global-pid=%u", &pid) == 1)) {
Kentaro Takeda95908372009-02-05 17:18:13 +0900982 struct task_struct *p;
Tetsuo Handa1fcdc7c2010-02-25 17:19:25 +0900983 rcu_read_lock();
Tetsuo Handa9b2443732010-06-03 20:35:53 +0900984 if (global_pid)
985 p = find_task_by_pid_ns(pid, &init_pid_ns);
986 else
987 p = find_task_by_vpid(pid);
Kentaro Takeda95908372009-02-05 17:18:13 +0900988 if (p)
989 domain = tomoyo_real_domain(p);
Tetsuo Handa1fcdc7c2010-02-25 17:19:25 +0900990 rcu_read_unlock();
Kentaro Takeda95908372009-02-05 17:18:13 +0900991 } else if (!strncmp(data, "domain=", 7)) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900992 if (tomoyo_domain_def(data + 7))
Kentaro Takeda95908372009-02-05 17:18:13 +0900993 domain = tomoyo_find_domain(data + 7);
Tetsuo Handa59df3162011-10-20 06:48:57 +0900994 } else if (sscanf(data, "Q=%u", &pid) == 1) {
995 domain = tomoyo_find_domain_by_qid(pid);
Kentaro Takeda95908372009-02-05 17:18:13 +0900996 } else
997 return false;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900998 head->w.domain = domain;
Kentaro Takeda95908372009-02-05 17:18:13 +0900999 /* Accessing read_buf is safe because head->io_sem is held. */
1000 if (!head->read_buf)
1001 return true; /* Do nothing if open(O_WRONLY). */
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001002 memset(&head->r, 0, sizeof(head->r));
1003 head->r.print_this_domain_only = true;
Dan Carpenter68eda8f2010-08-08 00:17:51 +02001004 if (domain)
1005 head->r.domain = &domain->list;
1006 else
1007 head->r.eof = 1;
Kentaro Takeda95908372009-02-05 17:18:13 +09001008 tomoyo_io_printf(head, "# select %s\n", data);
Tetsuo Handa475e6fa2010-06-24 11:28:14 +09001009 if (domain && domain->is_deleted)
1010 tomoyo_io_printf(head, "# This is a deleted domain.\n");
Kentaro Takeda95908372009-02-05 17:18:13 +09001011 return true;
1012}
1013
1014/**
Tetsuo Handa731d37a2011-09-10 15:25:58 +09001015 * tomoyo_same_task_acl - Check for duplicated "struct tomoyo_task_acl" entry.
1016 *
1017 * @a: Pointer to "struct tomoyo_acl_info".
1018 * @b: Pointer to "struct tomoyo_acl_info".
1019 *
1020 * Returns true if @a == @b, false otherwise.
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 * tomoyo_write_task - Update task related list.
1032 *
1033 * @param: Pointer to "struct tomoyo_acl_param".
1034 *
1035 * Returns 0 on success, negative value otherwise.
1036 *
1037 * Caller holds tomoyo_read_lock().
1038 */
1039static int tomoyo_write_task(struct tomoyo_acl_param *param)
1040{
1041 int error = -EINVAL;
1042 if (tomoyo_str_starts(&param->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/**
Tetsuo Handaccf135f2009-06-19 10:29:34 +09001057 * tomoyo_delete_domain - Delete a domain.
1058 *
1059 * @domainname: The name of domain.
1060 *
Tetsuo Handa7d7473d2012-03-17 20:33:38 +09001061 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001062 *
1063 * Caller holds tomoyo_read_lock().
Tetsuo Handaccf135f2009-06-19 10:29:34 +09001064 */
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);
Tetsuo Handa29282382010-05-06 00:18:15 +09001072 if (mutex_lock_interruptible(&tomoyo_policy_lock))
Tetsuo Handa7d7473d2012-03-17 20:33:38 +09001073 return -EINTR;
Tetsuo Handaccf135f2009-06-19 10:29:34 +09001074 /* Is there an active domain? */
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001075 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
Tetsuo Handaccf135f2009-06-19 10:29:34 +09001076 /* Never delete tomoyo_kernel_domain */
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 }
Tetsuo Handaf737d952010-01-03 21:16:32 +09001085 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaccf135f2009-06-19 10:29:34 +09001086 return 0;
1087}
1088
1089/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001090 * tomoyo_write_domain2 - Write domain policy.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001091 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001092 * @ns: Pointer to "struct tomoyo_policy_namespace".
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001093 * @list: Pointer to "struct list_head".
1094 * @data: Policy to be interpreted.
1095 * @is_delete: True if it is a delete request.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001096 *
1097 * Returns 0 on success, negative value otherwise.
1098 *
1099 * Caller holds tomoyo_read_lock().
1100 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001101static int tomoyo_write_domain2(struct tomoyo_policy_namespace *ns,
1102 struct list_head *list, char *data,
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001103 const bool is_delete)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001104{
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001105 struct tomoyo_acl_param param = {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001106 .ns = ns,
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001107 .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 *);
Tetsuo Handa731d37a2011-09-10 15:25:58 +09001114 } tomoyo_callback[5] = {
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001115 { "file ", tomoyo_write_file },
Tetsuo Handa059d84d2011-09-10 15:23:54 +09001116 { "network inet ", tomoyo_write_inet_network },
1117 { "network unix ", tomoyo_write_unix_network },
Tetsuo Handad58e0da2011-09-10 15:22:48 +09001118 { "misc ", tomoyo_write_misc },
Tetsuo Handa731d37a2011-09-10 15:25:58 +09001119 { "task ", tomoyo_write_task },
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001120 };
1121 u8 i;
Tetsuo Handad58e0da2011-09-10 15:22:48 +09001122
1123 for (i = 0; i < ARRAY_SIZE(tomoyo_callback); i++) {
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001124 if (!tomoyo_str_starts(&param.data,
1125 tomoyo_callback[i].keyword))
1126 continue;
1127 return tomoyo_callback[i].write(&param);
1128 }
1129 return -EINVAL;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001130}
1131
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09001132/* String table for domain flags. */
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
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001138/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001139 * tomoyo_write_domain - Write domain policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001140 *
1141 * @head: Pointer to "struct tomoyo_io_buffer".
1142 *
1143 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001144 *
1145 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001146 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001147static int tomoyo_write_domain(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001148{
1149 char *data = head->write_buf;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001150 struct tomoyo_policy_namespace *ns;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001151 struct tomoyo_domain_info *domain = head->w.domain;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001152 const bool is_delete = head->w.is_delete;
1153 bool is_select = !is_delete && tomoyo_str_starts(&data, "select ");
Kentaro Takeda95908372009-02-05 17:18:13 +09001154 unsigned int profile;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001155 if (*data == '<') {
Tetsuo Handa7d7473d2012-03-17 20:33:38 +09001156 int ret = 0;
Kentaro Takeda95908372009-02-05 17:18:13 +09001157 domain = NULL;
1158 if (is_delete)
Tetsuo Handa7d7473d2012-03-17 20:33:38 +09001159 ret = tomoyo_delete_domain(data);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001160 else if (is_select)
Kentaro Takeda95908372009-02-05 17:18:13 +09001161 domain = tomoyo_find_domain(data);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001162 else
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001163 domain = tomoyo_assign_domain(data, false);
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001164 head->w.domain = domain;
Tetsuo Handa7d7473d2012-03-17 20:33:38 +09001165 return ret;
Kentaro Takeda95908372009-02-05 17:18:13 +09001166 }
1167 if (!domain)
1168 return -EINVAL;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001169 ns = domain->ns;
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001170 if (sscanf(data, "use_profile %u", &profile) == 1
Kentaro Takeda95908372009-02-05 17:18:13 +09001171 && profile < TOMOYO_MAX_PROFILES) {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001172 if (!tomoyo_policy_loaded || ns->profile_ptr[profile])
Kentaro Takeda95908372009-02-05 17:18:13 +09001173 domain->profile = (u8) profile;
1174 return 0;
1175 }
Tetsuo Handa32997142011-06-26 23:19:28 +09001176 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 }
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09001182 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;
Tetsuo Handa9b2443732010-06-03 20:35:53 +09001187 return 0;
1188 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001189 return tomoyo_write_domain2(ns, &domain->acl_info_list, data,
1190 is_delete);
Kentaro Takeda95908372009-02-05 17:18:13 +09001191}
1192
1193/**
Tetsuo Handa2066a362011-07-08 13:21:37 +09001194 * tomoyo_print_condition - Print condition part.
1195 *
1196 * @head: Pointer to "struct tomoyo_io_buffer".
1197 * @cond: Pointer to "struct tomoyo_condition".
1198 *
1199 * Returns true on success, false otherwise.
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++;
Tetsuo Handa6bce98e2011-09-16 22:54:25 +09001208 if (cond->transit) {
1209 tomoyo_set_space(head);
1210 tomoyo_set_string(head, cond->transit->name);
1211 }
Tetsuo Handa2066a362011-07-08 13:21:37 +09001212 /* fall through */
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);
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001220 const struct tomoyo_name_union *names_p =
1221 (typeof(names_p))
1222 (numbers_p + cond->numbers_count);
Tetsuo Handa5b636852011-07-08 13:24:54 +09001223 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);
Tetsuo Handa2066a362011-07-08 13:21:37 +09001227 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) {
Tetsuo Handa5b636852011-07-08 13:24:54 +09001233 case TOMOYO_ARGV_ENTRY:
1234 argv++;
1235 continue;
1236 case TOMOYO_ENVP_ENTRY:
1237 envp++;
1238 continue;
Tetsuo Handa2066a362011-07-08 13:21:37 +09001239 case TOMOYO_NUMBER_UNION:
1240 numbers_p++;
1241 break;
1242 }
1243 switch (right) {
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001244 case TOMOYO_NAME_UNION:
1245 names_p++;
1246 break;
Tetsuo Handa2066a362011-07-08 13:21:37 +09001247 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) {
Tetsuo Handa5b636852011-07-08 13:24:54 +09001262 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;
Tetsuo Handa2066a362011-07-08 13:21:37 +09001290 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) {
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001301 case TOMOYO_NAME_UNION:
1302 tomoyo_print_name_union_quoted
1303 (head, names_p++);
1304 break;
Tetsuo Handa2066a362011-07-08 13:21:37 +09001305 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 /* fall through */
1318 case 2:
1319 if (!tomoyo_flush(head))
1320 break;
1321 head->r.cond_step++;
1322 /* fall through */
1323 case 3:
Tetsuo Handa1f067a62011-09-10 15:24:56 +09001324 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));
Tetsuo Handa2066a362011-07-08 13:21:37 +09001328 tomoyo_set_lf(head);
1329 return true;
1330 }
1331 return false;
1332}
1333
1334/**
Tetsuo Handa32997142011-06-26 23:19:28 +09001335 * tomoyo_set_group - Print "acl_group " header keyword and category name.
Kentaro Takeda95908372009-02-05 17:18:13 +09001336 *
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001337 * @head: Pointer to "struct tomoyo_io_buffer".
1338 * @category: Category name.
Kentaro Takeda95908372009-02-05 17:18:13 +09001339 *
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001340 * Returns nothing.
Kentaro Takeda95908372009-02-05 17:18:13 +09001341 */
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001342static void tomoyo_set_group(struct tomoyo_io_buffer *head,
1343 const char *category)
Kentaro Takeda95908372009-02-05 17:18:13 +09001344{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001345 if (head->type == TOMOYO_EXCEPTIONPOLICY) {
1346 tomoyo_print_namespace(head);
Tetsuo Handa32997142011-06-26 23:19:28 +09001347 tomoyo_io_printf(head, "acl_group %u ",
1348 head->r.acl_group_index);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001349 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001350 tomoyo_set_string(head, category);
Tetsuo Handa2106ccd2010-05-17 10:10:31 +09001351}
1352
1353/**
Kentaro Takeda95908372009-02-05 17:18:13 +09001354 * tomoyo_print_entry - Print an ACL entry.
1355 *
1356 * @head: Pointer to "struct tomoyo_io_buffer".
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001357 * @acl: Pointer to an ACL entry.
Kentaro Takeda95908372009-02-05 17:18:13 +09001358 *
1359 * Returns true on success, false otherwise.
1360 */
1361static bool tomoyo_print_entry(struct tomoyo_io_buffer *head,
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001362 struct tomoyo_acl_info *acl)
Kentaro Takeda95908372009-02-05 17:18:13 +09001363{
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001364 const u8 acl_type = acl->type;
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001365 bool first = true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001366 u8 bit;
Kentaro Takeda95908372009-02-05 17:18:13 +09001367
Tetsuo Handa2066a362011-07-08 13:21:37 +09001368 if (head->r.print_cond_part)
1369 goto print_cond_part;
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001370 if (acl->is_deleted)
Tetsuo Handa237ab452010-06-12 20:46:22 +09001371 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001372 if (!tomoyo_flush(head))
1373 return false;
1374 else if (acl_type == TOMOYO_TYPE_PATH_ACL) {
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001375 struct tomoyo_path_acl *ptr =
1376 container_of(acl, typeof(*ptr), head);
1377 const u16 perm = ptr->perm;
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001378 for (bit = 0; bit < TOMOYO_MAX_PATH_OPERATION; bit++) {
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001379 if (!(perm & (1 << bit)))
1380 continue;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001381 if (head->r.print_transition_related_only &&
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001382 bit != TOMOYO_TYPE_EXECUTE)
1383 continue;
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001384 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]);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001391 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001392 if (first)
1393 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001394 tomoyo_print_name_union(head, &ptr->name);
Tetsuo Handa731d37a2011-09-10 15:25:58 +09001395 } 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);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001401 } else if (head->r.print_transition_related_only) {
Tetsuo Handa063821c2010-06-24 12:00:25 +09001402 return true;
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001403 } else if (acl_type == TOMOYO_TYPE_PATH2_ACL) {
1404 struct tomoyo_path2_acl *ptr =
1405 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001406 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;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001421 tomoyo_print_name_union(head, &ptr->name1);
1422 tomoyo_print_name_union(head, &ptr->name2);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001423 } else if (acl_type == TOMOYO_TYPE_PATH_NUMBER_ACL) {
1424 struct tomoyo_path_number_acl *ptr =
1425 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001426 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;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001441 tomoyo_print_name_union(head, &ptr->name);
1442 tomoyo_print_number_union(head, &ptr->number);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001443 } else if (acl_type == TOMOYO_TYPE_MKDEV_ACL) {
1444 struct tomoyo_mkdev_acl *ptr =
1445 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001446 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;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001461 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);
Tetsuo Handa059d84d2011-09-10 15:23:54 +09001465 } 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);
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001519 } else if (acl_type == TOMOYO_TYPE_MOUNT_ACL) {
1520 struct tomoyo_mount_acl *ptr =
1521 container_of(acl, typeof(*ptr), head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001522 tomoyo_set_group(head, "file mount");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001523 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);
Tetsuo Handad58e0da2011-09-10 15:22:48 +09001527 } 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);
Kentaro Takeda95908372009-02-05 17:18:13 +09001533 }
Tetsuo Handa2066a362011-07-08 13:21:37 +09001534 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 }
Tetsuo Handa5db5a392010-06-24 12:24:19 +09001546 return true;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001547}
1548
1549/**
1550 * tomoyo_read_domain2 - Read domain policy.
1551 *
Tetsuo Handa32997142011-06-26 23:19:28 +09001552 * @head: Pointer to "struct tomoyo_io_buffer".
1553 * @list: Pointer to "struct list_head".
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001554 *
1555 * Caller holds tomoyo_read_lock().
1556 *
1557 * Returns true on success, false otherwise.
1558 */
1559static bool tomoyo_read_domain2(struct tomoyo_io_buffer *head,
Tetsuo Handa32997142011-06-26 23:19:28 +09001560 struct list_head *list)
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001561{
Tetsuo Handa32997142011-06-26 23:19:28 +09001562 list_for_each_cookie(head->r.acl, list) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001563 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;
Kentaro Takeda95908372009-02-05 17:18:13 +09001570}
1571
1572/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001573 * tomoyo_read_domain - Read domain policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001574 *
1575 * @head: Pointer to "struct tomoyo_io_buffer".
1576 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001577 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001578 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001579static void tomoyo_read_domain(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001580{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001581 if (head->r.eof)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001582 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001583 list_for_each_cookie(head->r.domain, &tomoyo_domain_list) {
Tetsuo Handa475e6fa2010-06-24 11:28:14 +09001584 struct tomoyo_domain_info *domain =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001585 list_entry(head->r.domain, typeof(*domain), list);
1586 switch (head->r.step) {
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09001587 u8 i;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001588 case 0:
1589 if (domain->is_deleted &&
1590 !head->r.print_this_domain_only)
1591 continue;
1592 /* Print domainname and flags. */
1593 tomoyo_set_string(head, domain->domainname->name);
1594 tomoyo_set_lf(head);
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001595 tomoyo_io_printf(head, "use_profile %u\n",
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001596 domain->profile);
Tetsuo Handa32997142011-06-26 23:19:28 +09001597 tomoyo_io_printf(head, "use_group %u\n",
1598 domain->group);
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09001599 for (i = 0; i < TOMOYO_MAX_DOMAIN_INFO_FLAGS; i++)
1600 if (domain->flags[i])
1601 tomoyo_set_string(head, tomoyo_dif[i]);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001602 head->r.step++;
1603 tomoyo_set_lf(head);
1604 /* fall through */
1605 case 1:
Tetsuo Handa32997142011-06-26 23:19:28 +09001606 if (!tomoyo_read_domain2(head, &domain->acl_info_list))
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001607 return;
1608 head->r.step++;
1609 if (!tomoyo_set_lf(head))
1610 return;
1611 /* fall through */
1612 case 2:
1613 head->r.step = 0;
1614 if (head->r.print_this_domain_only)
1615 goto done;
Kentaro Takeda95908372009-02-05 17:18:13 +09001616 }
Kentaro Takeda95908372009-02-05 17:18:13 +09001617 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001618 done:
1619 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001620}
1621
1622/**
Kentaro Takeda95908372009-02-05 17:18:13 +09001623 * tomoyo_write_pid: Specify PID to obtain domainname.
1624 *
1625 * @head: Pointer to "struct tomoyo_io_buffer".
1626 *
1627 * Returns 0.
1628 */
1629static int tomoyo_write_pid(struct tomoyo_io_buffer *head)
1630{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001631 head->r.eof = false;
Kentaro Takeda95908372009-02-05 17:18:13 +09001632 return 0;
1633}
1634
1635/**
1636 * tomoyo_read_pid - Get domainname of the specified PID.
1637 *
1638 * @head: Pointer to "struct tomoyo_io_buffer".
1639 *
1640 * Returns the domainname which the specified PID is in on success,
1641 * empty string otherwise.
1642 * The PID is specified by tomoyo_write_pid() so that the user can obtain
1643 * using read()/write() interface rather than sysctl() interface.
1644 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09001645static void tomoyo_read_pid(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001646{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001647 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 /* Accessing write_buf is safe because head->io_sem is held. */
1654 if (!buf) {
1655 head->r.eof = true;
1656 return; /* Do nothing if open(O_RDONLY). */
Kentaro Takeda95908372009-02-05 17:18:13 +09001657 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001658 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();
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001665 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);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001671 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);
Kentaro Takeda95908372009-02-05 17:18:13 +09001676}
1677
Tetsuo Handa0f2a55d2011-07-14 14:46:51 +09001678/* String table for domain transition control keywords. */
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001679static const char *tomoyo_transition_type[TOMOYO_MAX_TRANSITION_TYPE] = {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001680 [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 ",
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001686};
1687
Tetsuo Handa0f2a55d2011-07-14 14:46:51 +09001688/* String table for grouping keywords. */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001689static const char *tomoyo_group_name[TOMOYO_MAX_GROUP] = {
Tetsuo Handa059d84d2011-09-10 15:23:54 +09001690 [TOMOYO_PATH_GROUP] = "path_group ",
1691 [TOMOYO_NUMBER_GROUP] = "number_group ",
1692 [TOMOYO_ADDRESS_GROUP] = "address_group ",
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001693};
1694
Kentaro Takeda95908372009-02-05 17:18:13 +09001695/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001696 * tomoyo_write_exception - Write exception policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001697 *
1698 * @head: Pointer to "struct tomoyo_io_buffer".
1699 *
1700 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001701 *
1702 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001703 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001704static int tomoyo_write_exception(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001705{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001706 const bool is_delete = head->w.is_delete;
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001707 struct tomoyo_acl_param param = {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001708 .ns = head->w.ns,
1709 .is_delete = is_delete,
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001710 .data = head->write_buf,
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001711 };
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001712 u8 i;
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001713 if (tomoyo_str_starts(&param.data, "aggregator "))
1714 return tomoyo_write_aggregator(&param);
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001715 for (i = 0; i < TOMOYO_MAX_TRANSITION_TYPE; i++)
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001716 if (tomoyo_str_starts(&param.data, tomoyo_transition_type[i]))
1717 return tomoyo_write_transition_control(&param, i);
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001718 for (i = 0; i < TOMOYO_MAX_GROUP; i++)
Tetsuo Handaa238cf52011-06-26 23:17:10 +09001719 if (tomoyo_str_starts(&param.data, tomoyo_group_name[i]))
1720 return tomoyo_write_group(&param, i);
Tetsuo Handa32997142011-06-26 23:19:28 +09001721 if (tomoyo_str_starts(&param.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++ == ' ')
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001726 return tomoyo_write_domain2
1727 (head->w.ns, &head->w.ns->acl_group[group],
1728 data, is_delete);
Tetsuo Handa32997142011-06-26 23:19:28 +09001729 }
Kentaro Takeda95908372009-02-05 17:18:13 +09001730 return -EINVAL;
1731}
1732
Tetsuo Handa31845e82010-06-17 16:54:33 +09001733/**
Tetsuo Handa059d84d2011-09-10 15:23:54 +09001734 * tomoyo_read_group - Read "struct tomoyo_path_group"/"struct tomoyo_number_group"/"struct tomoyo_address_group" list.
Tetsuo Handa31845e82010-06-17 16:54:33 +09001735 *
1736 * @head: Pointer to "struct tomoyo_io_buffer".
1737 * @idx: Index number.
1738 *
1739 * Returns true on success, false otherwise.
1740 *
1741 * Caller holds tomoyo_read_lock().
1742 */
1743static bool tomoyo_read_group(struct tomoyo_io_buffer *head, const int idx)
1744{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001745 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) {
Tetsuo Handa31845e82010-06-17 16:54:33 +09001749 struct tomoyo_group *group =
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09001750 list_entry(head->r.group, typeof(*group), head.list);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001751 list_for_each_cookie(head->r.acl, &group->member_list) {
Tetsuo Handa31845e82010-06-17 16:54:33 +09001752 struct tomoyo_acl_head *ptr =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001753 list_entry(head->r.acl, typeof(*ptr), list);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001754 if (ptr->is_deleted)
1755 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001756 if (!tomoyo_flush(head))
Tetsuo Handa31845e82010-06-17 16:54:33 +09001757 return false;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001758 tomoyo_print_namespace(head);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001759 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);
Tetsuo Handa059d84d2011-09-10 15:23:54 +09001771 } 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);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001780 }
1781 tomoyo_set_lf(head);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001782 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001783 head->r.acl = NULL;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001784 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001785 head->r.group = NULL;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001786 return true;
1787}
1788
1789/**
1790 * tomoyo_read_policy - Read "struct tomoyo_..._entry" list.
1791 *
1792 * @head: Pointer to "struct tomoyo_io_buffer".
1793 * @idx: Index number.
1794 *
1795 * Returns true on success, false otherwise.
1796 *
1797 * Caller holds tomoyo_read_lock().
1798 */
1799static bool tomoyo_read_policy(struct tomoyo_io_buffer *head, const int idx)
1800{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001801 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) {
Tetsuo Handa475e6fa2010-06-24 11:28:14 +09001805 struct tomoyo_acl_head *acl =
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001806 container_of(head->r.acl, typeof(*acl), list);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001807 if (acl->is_deleted)
1808 continue;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001809 if (!tomoyo_flush(head))
1810 return false;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001811 switch (idx) {
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001812 case TOMOYO_ID_TRANSITION_CONTROL:
Tetsuo Handa31845e82010-06-17 16:54:33 +09001813 {
Tetsuo Handa5448ec42010-06-21 11:14:39 +09001814 struct tomoyo_transition_control *ptr =
Tetsuo Handa31845e82010-06-17 16:54:33 +09001815 container_of(acl, typeof(*ptr), head);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001816 tomoyo_print_namespace(head);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001817 tomoyo_set_string(head, tomoyo_transition_type
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001818 [ptr->type]);
Tetsuo Handa0d2171d2011-06-26 23:17:46 +09001819 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");
Tetsuo Handa31845e82010-06-17 16:54:33 +09001825 }
1826 break;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001827 case TOMOYO_ID_AGGREGATOR:
1828 {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001829 struct tomoyo_aggregator *ptr =
Tetsuo Handa31845e82010-06-17 16:54:33 +09001830 container_of(acl, typeof(*ptr), head);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001831 tomoyo_print_namespace(head);
Tetsuo Handab5bc60b2011-06-26 23:16:03 +09001832 tomoyo_set_string(head, "aggregator ");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001833 tomoyo_set_string(head,
1834 ptr->original_name->name);
1835 tomoyo_set_space(head);
1836 tomoyo_set_string(head,
1837 ptr->aggregated_name->name);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001838 }
1839 break;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001840 default:
1841 continue;
1842 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001843 tomoyo_set_lf(head);
Tetsuo Handa31845e82010-06-17 16:54:33 +09001844 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001845 head->r.acl = NULL;
Tetsuo Handa31845e82010-06-17 16:54:33 +09001846 return true;
1847}
1848
Kentaro Takeda95908372009-02-05 17:18:13 +09001849/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001850 * tomoyo_read_exception - Read exception policy.
Kentaro Takeda95908372009-02-05 17:18:13 +09001851 *
1852 * @head: Pointer to "struct tomoyo_io_buffer".
1853 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001854 * Caller holds tomoyo_read_lock().
Kentaro Takeda95908372009-02-05 17:18:13 +09001855 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001856static void tomoyo_read_exception(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09001857{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001858 struct tomoyo_policy_namespace *ns =
1859 container_of(head->r.ns, typeof(*ns), namespace_list);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001860 if (head->r.eof)
Tetsuo Handa31845e82010-06-17 16:54:33 +09001861 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001862 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)
Tetsuo Handa31845e82010-06-17 16:54:33 +09001866 return;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001867 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)
Tetsuo Handa31845e82010-06-17 16:54:33 +09001871 return;
Tetsuo Handa32997142011-06-26 23:19:28 +09001872 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;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09001876 if (!tomoyo_read_domain2(head, &ns->acl_group
Tetsuo Handa32997142011-06-26 23:19:28 +09001877 [head->r.acl_group_index]))
1878 return;
1879 head->r.step++;
1880 }
Tetsuo Handaf23571e2010-06-24 14:57:16 +09001881 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09001882}
1883
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001884/* Wait queue for kernel -> userspace notification. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001885static DECLARE_WAIT_QUEUE_HEAD(tomoyo_query_wait);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001886/* Wait queue for userspace -> kernel notification. */
1887static DECLARE_WAIT_QUEUE_HEAD(tomoyo_answer_wait);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001888
1889/* Structure for query. */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001890struct tomoyo_query {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001891 struct list_head list;
Tetsuo Handa59df3162011-10-20 06:48:57 +09001892 struct tomoyo_domain_info *domain;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001893 char *query;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001894 size_t query_len;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001895 unsigned int serial;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001896 u8 timer;
1897 u8 answer;
1898 u8 retry;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001899};
1900
Tetsuo Handae2bf6902010-06-25 11:16:00 +09001901/* The list for "struct tomoyo_query". */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001902static LIST_HEAD(tomoyo_query_list);
1903
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001904/* Lock for manipulating tomoyo_query_list. */
1905static DEFINE_SPINLOCK(tomoyo_query_list_lock);
1906
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001907/*
1908 * Number of "struct file" referring /sys/kernel/security/tomoyo/query
1909 * interface.
1910 */
1911static atomic_t tomoyo_query_observers = ATOMIC_INIT(0);
1912
1913/**
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001914 * tomoyo_truncate - Truncate a line.
1915 *
1916 * @str: String to truncate.
1917 *
1918 * Returns length of truncated @str.
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/**
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001930 * tomoyo_add_entry - Add an ACL to current thread's domain. Used by learning mode.
1931 *
1932 * @domain: Pointer to "struct tomoyo_domain_info".
1933 * @header: Lines containing ACL.
1934 *
1935 * Returns nothing.
1936 */
1937static void tomoyo_add_entry(struct tomoyo_domain_info *domain, char *header)
1938{
1939 char *buffer;
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001940 char *realpath = NULL;
Tetsuo Handa5b636852011-07-08 13:24:54 +09001941 char *argv0 = NULL;
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001942 char *symlink = NULL;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001943 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;
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001952 /* strstr() will return NULL if ordering is wrong. */
1953 if (*cp == 'f') {
Tetsuo Handa5b636852011-07-08 13:24:54 +09001954 argv0 = strstr(header, " argv[]={ \"");
1955 if (argv0) {
1956 argv0 += 10;
1957 len += tomoyo_truncate(argv0) + 14;
1958 }
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001959 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 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001968 buffer = kmalloc(len, GFP_NOFS);
1969 if (!buffer)
1970 return;
1971 snprintf(buffer, len - 1, "%s", cp);
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001972 if (realpath)
1973 tomoyo_addprintf(buffer, len, " exec.%s", realpath);
Tetsuo Handa5b636852011-07-08 13:24:54 +09001974 if (argv0)
1975 tomoyo_addprintf(buffer, len, " exec.argv[0]=%s", argv0);
Tetsuo Handa2ca9bf42011-07-08 13:23:44 +09001976 if (symlink)
1977 tomoyo_addprintf(buffer, len, "%s", symlink);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001978 tomoyo_normalize_line(buffer);
Tetsuo Handab22b8b92011-06-26 23:21:50 +09001979 if (!tomoyo_write_domain2(domain->ns, &domain->acl_info_list, buffer,
1980 false))
1981 tomoyo_update_stat(TOMOYO_STAT_POLICY_UPDATES);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001982 kfree(buffer);
1983}
1984
1985/**
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001986 * tomoyo_supervisor - Ask for the supervisor's decision.
1987 *
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001988 * @r: Pointer to "struct tomoyo_request_info".
1989 * @fmt: The printf()'s format string, followed by parameters.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001990 *
1991 * Returns 0 if the supervisor decided to permit the access request which
1992 * violated the policy in enforcing mode, TOMOYO_RETRY_REQUEST if the
1993 * supervisor decided to retry the access request which violated the policy in
1994 * enforcing mode, 0 if it is not in enforcing mode, -EPERM otherwise.
1995 */
1996int tomoyo_supervisor(struct tomoyo_request_info *r, const char *fmt, ...)
1997{
1998 va_list args;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09001999 int error;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002000 int len;
2001 static unsigned int tomoyo_serial;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002002 struct tomoyo_query entry = { };
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002003 bool quota_exceeded = false;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002004 va_start(args, fmt);
2005 len = vsnprintf((char *) &len, 1, fmt, args) + 1;
2006 va_end(args);
2007 /* Write /sys/kernel/security/tomoyo/audit. */
2008 va_start(args, fmt);
2009 tomoyo_write_log2(r, len, fmt, args);
2010 va_end(args);
2011 /* Nothing more to do if granted. */
2012 if (r->granted)
2013 return 0;
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002014 if (r->mode)
2015 tomoyo_update_stat(r->mode);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002016 switch (r->mode) {
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002017 case TOMOYO_CONFIG_ENFORCING:
2018 error = -EPERM;
2019 if (atomic_read(&tomoyo_query_observers))
2020 break;
2021 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002022 case TOMOYO_CONFIG_LEARNING:
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002023 error = 0;
2024 /* Check max_learning_entry parameter. */
2025 if (tomoyo_domain_quota_is_ok(r))
2026 break;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002027 /* fall through */
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002028 default:
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002029 return 0;
2030 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002031 /* Get message. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002032 va_start(args, fmt);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002033 entry.query = tomoyo_init_log(r, len, fmt, args);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002034 va_end(args);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002035 if (!entry.query)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002036 goto out;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002037 entry.query_len = strlen(entry.query) + 1;
2038 if (!error) {
2039 tomoyo_add_entry(r->domain, entry.query);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002040 goto out;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002041 }
2042 len = tomoyo_round2(entry.query_len);
Tetsuo Handa59df3162011-10-20 06:48:57 +09002043 entry.domain = r->domain;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002044 spin_lock(&tomoyo_query_list_lock);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002045 if (tomoyo_memory_quota[TOMOYO_MEMORY_QUERY] &&
2046 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] + len
2047 >= tomoyo_memory_quota[TOMOYO_MEMORY_QUERY]) {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002048 quota_exceeded = true;
2049 } else {
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002050 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);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002054 }
2055 spin_unlock(&tomoyo_query_list_lock);
2056 if (quota_exceeded)
2057 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002058 /* Give 10 seconds for supervisor's opinion. */
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002059 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))
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002064 break;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002065 else
2066 entry.timer++;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002067 }
2068 spin_lock(&tomoyo_query_list_lock);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002069 list_del(&entry.list);
2070 tomoyo_memory_used[TOMOYO_MEMORY_QUERY] -= len;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002071 spin_unlock(&tomoyo_query_list_lock);
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002072 switch (entry.answer) {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002073 case 3: /* Asked to retry by administrator. */
2074 error = TOMOYO_RETRY_REQUEST;
2075 r->retry++;
2076 break;
2077 case 1:
2078 /* Granted by administrator. */
2079 error = 0;
2080 break;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002081 default:
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002082 /* Timed out or rejected by administrator. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002083 break;
2084 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002085out:
2086 kfree(entry.query);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002087 return error;
2088}
2089
2090/**
Tetsuo Handa59df3162011-10-20 06:48:57 +09002091 * tomoyo_find_domain_by_qid - Get domain by query id.
2092 *
2093 * @serial: Query ID assigned by tomoyo_supervisor().
2094 *
2095 * Returns pointer to "struct tomoyo_domain_info" if found, NULL otherwise.
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) {
Tetsuo Handa6041e832012-03-14 18:27:49 +09002104 if (ptr->serial != serial)
Tetsuo Handa59df3162011-10-20 06:48:57 +09002105 continue;
2106 domain = ptr->domain;
2107 break;
2108 }
2109 spin_unlock(&tomoyo_query_list_lock);
2110 return domain;
2111}
2112
2113/**
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002114 * tomoyo_poll_query - poll() for /sys/kernel/security/tomoyo/query.
2115 *
2116 * @file: Pointer to "struct file".
2117 * @wait: Pointer to "poll_table".
2118 *
Linus Torvaldsa9a08842018-02-11 14:34:03 -08002119 * Returns EPOLLIN | EPOLLRDNORM when ready to read, 0 otherwise.
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002120 *
2121 * Waits for access requests which violated policy in enforcing mode.
2122 */
Al Viroc0d4be22017-07-02 23:32:02 -04002123static __poll_t tomoyo_poll_query(struct file *file, poll_table *wait)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002124{
Tetsuo Handa6041e832012-03-14 18:27:49 +09002125 if (!list_empty(&tomoyo_query_list))
Linus Torvaldsa9a08842018-02-11 14:34:03 -08002126 return EPOLLIN | EPOLLRDNORM;
Tetsuo Handa6041e832012-03-14 18:27:49 +09002127 poll_wait(file, &tomoyo_query_wait, wait);
2128 if (!list_empty(&tomoyo_query_list))
Linus Torvaldsa9a08842018-02-11 14:34:03 -08002129 return EPOLLIN | EPOLLRDNORM;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002130 return 0;
2131}
2132
2133/**
2134 * tomoyo_read_query - Read access requests which violated policy in enforcing mode.
2135 *
2136 * @head: Pointer to "struct tomoyo_io_buffer".
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002137 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09002138static void tomoyo_read_query(struct tomoyo_io_buffer *head)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002139{
2140 struct list_head *tmp;
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09002141 unsigned int pos = 0;
2142 size_t len = 0;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002143 char *buf;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002144 if (head->r.w_pos)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09002145 return;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002146 if (head->read_buf) {
2147 kfree(head->read_buf);
2148 head->read_buf = NULL;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002149 }
2150 spin_lock(&tomoyo_query_list_lock);
2151 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002152 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002153 if (pos++ != head->r.query_index)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002154 continue;
2155 len = ptr->query_len;
2156 break;
2157 }
2158 spin_unlock(&tomoyo_query_list_lock);
2159 if (!len) {
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002160 head->r.query_index = 0;
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09002161 return;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002162 }
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002163 buf = kzalloc(len + 32, GFP_NOFS);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002164 if (!buf)
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09002165 return;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002166 pos = 0;
2167 spin_lock(&tomoyo_query_list_lock);
2168 list_for_each(tmp, &tomoyo_query_list) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002169 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002170 if (pos++ != head->r.query_index)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002171 continue;
2172 /*
2173 * Some query can be skipped because tomoyo_query_list
2174 * can change, but I don't care.
2175 */
2176 if (len == ptr->query_len)
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002177 snprintf(buf, len + 31, "Q%u-%hu\n%s", ptr->serial,
2178 ptr->retry, ptr->query);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002179 break;
2180 }
2181 spin_unlock(&tomoyo_query_list_lock);
2182 if (buf[0]) {
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002183 head->read_buf = buf;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002184 head->r.w[head->r.w_pos++] = buf;
2185 head->r.query_index++;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002186 } else {
2187 kfree(buf);
2188 }
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002189}
2190
2191/**
2192 * tomoyo_write_answer - Write the supervisor's decision.
2193 *
2194 * @head: Pointer to "struct tomoyo_io_buffer".
2195 *
2196 * Returns 0 on success, -EINVAL otherwise.
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) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002206 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002207 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) {
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002214 struct tomoyo_query *ptr = list_entry(tmp, typeof(*ptr), list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002215 if (ptr->serial != serial)
2216 continue;
Tetsuo Handa6041e832012-03-14 18:27:49 +09002217 ptr->answer = answer;
2218 /* Remove from tomoyo_query_list. */
2219 if (ptr->answer)
2220 list_del_init(&ptr->list);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002221 break;
2222 }
2223 spin_unlock(&tomoyo_query_list_lock);
2224 return 0;
2225}
2226
2227/**
Kentaro Takeda95908372009-02-05 17:18:13 +09002228 * tomoyo_read_version: Get version.
2229 *
2230 * @head: Pointer to "struct tomoyo_io_buffer".
2231 *
2232 * Returns version information.
2233 */
Tetsuo Handa8fbe71f2010-06-16 16:29:59 +09002234static void tomoyo_read_version(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09002235{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002236 if (!head->r.eof) {
Tetsuo Handa843d1832011-09-14 17:03:19 +09002237 tomoyo_io_printf(head, "2.5.0");
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002238 head->r.eof = true;
Kentaro Takeda95908372009-02-05 17:18:13 +09002239 }
Kentaro Takeda95908372009-02-05 17:18:13 +09002240}
2241
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002242/* String table for /sys/kernel/security/tomoyo/stat interface. */
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/* String table for /sys/kernel/security/tomoyo/stat interface. */
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/* Timestamp counter for last updated. */
2258static unsigned int tomoyo_stat_updated[TOMOYO_MAX_POLICY_STAT];
2259/* Counter for number of updates. */
Arnd Bergmann92734092017-10-19 14:29:04 +02002260static time64_t tomoyo_stat_modified[TOMOYO_MAX_POLICY_STAT];
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002261
2262/**
2263 * tomoyo_update_stat - Update statistic counters.
2264 *
2265 * @index: Index for policy type.
2266 *
2267 * Returns nothing.
2268 */
2269void tomoyo_update_stat(const u8 index)
2270{
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002271 /*
2272 * I don't use atomic operations because race condition is not fatal.
2273 */
2274 tomoyo_stat_updated[index]++;
Arnd Bergmann92734092017-10-19 14:29:04 +02002275 tomoyo_stat_modified[index] = ktime_get_real_seconds();
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002276}
2277
2278/**
2279 * tomoyo_read_stat - Read statistic data.
2280 *
2281 * @head: Pointer to "struct tomoyo_io_buffer".
2282 *
2283 * Returns nothing.
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 * tomoyo_write_stat - Set memory quota.
2322 *
2323 * @head: Pointer to "struct tomoyo_io_buffer".
2324 *
2325 * Returns 0.
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
Kentaro Takeda95908372009-02-05 17:18:13 +09002338/**
2339 * tomoyo_open_control - open() for /sys/kernel/security/tomoyo/ interface.
2340 *
2341 * @type: Type of interface.
2342 * @file: Pointer to "struct file".
2343 *
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002344 * Returns 0 on success, negative value otherwise.
Kentaro Takeda95908372009-02-05 17:18:13 +09002345 */
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002346int tomoyo_open_control(const u8 type, struct file *file)
Kentaro Takeda95908372009-02-05 17:18:13 +09002347{
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +09002348 struct tomoyo_io_buffer *head = kzalloc(sizeof(*head), GFP_NOFS);
Kentaro Takeda95908372009-02-05 17:18:13 +09002349
2350 if (!head)
2351 return -ENOMEM;
2352 mutex_init(&head->io_sem);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002353 head->type = type;
Kentaro Takeda95908372009-02-05 17:18:13 +09002354 switch (type) {
2355 case TOMOYO_DOMAINPOLICY:
2356 /* /sys/kernel/security/tomoyo/domain_policy */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002357 head->write = tomoyo_write_domain;
2358 head->read = tomoyo_read_domain;
Kentaro Takeda95908372009-02-05 17:18:13 +09002359 break;
2360 case TOMOYO_EXCEPTIONPOLICY:
2361 /* /sys/kernel/security/tomoyo/exception_policy */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002362 head->write = tomoyo_write_exception;
2363 head->read = tomoyo_read_exception;
Kentaro Takeda95908372009-02-05 17:18:13 +09002364 break;
Tetsuo Handaeadd99c2011-06-26 23:18:58 +09002365 case TOMOYO_AUDIT:
2366 /* /sys/kernel/security/tomoyo/audit */
2367 head->poll = tomoyo_poll_log;
2368 head->read = tomoyo_read_log;
2369 break;
Kentaro Takeda95908372009-02-05 17:18:13 +09002370 case TOMOYO_PROCESS_STATUS:
2371 /* /sys/kernel/security/tomoyo/.process_status */
2372 head->write = tomoyo_write_pid;
2373 head->read = tomoyo_read_pid;
2374 break;
2375 case TOMOYO_VERSION:
2376 /* /sys/kernel/security/tomoyo/version */
2377 head->read = tomoyo_read_version;
2378 head->readbuf_size = 128;
2379 break;
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002380 case TOMOYO_STAT:
2381 /* /sys/kernel/security/tomoyo/stat */
2382 head->write = tomoyo_write_stat;
2383 head->read = tomoyo_read_stat;
2384 head->readbuf_size = 1024;
Kentaro Takeda95908372009-02-05 17:18:13 +09002385 break;
2386 case TOMOYO_PROFILE:
2387 /* /sys/kernel/security/tomoyo/profile */
2388 head->write = tomoyo_write_profile;
2389 head->read = tomoyo_read_profile;
2390 break;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002391 case TOMOYO_QUERY: /* /sys/kernel/security/tomoyo/query */
2392 head->poll = tomoyo_poll_query;
2393 head->write = tomoyo_write_answer;
2394 head->read = tomoyo_read_query;
2395 break;
Kentaro Takeda95908372009-02-05 17:18:13 +09002396 case TOMOYO_MANAGER:
2397 /* /sys/kernel/security/tomoyo/manager */
Tetsuo Handae2bf6902010-06-25 11:16:00 +09002398 head->write = tomoyo_write_manager;
2399 head->read = tomoyo_read_manager;
Kentaro Takeda95908372009-02-05 17:18:13 +09002400 break;
2401 }
2402 if (!(file->f_mode & FMODE_READ)) {
2403 /*
2404 * No need to allocate read_buf since it is not opened
2405 * for reading.
2406 */
2407 head->read = NULL;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002408 head->poll = NULL;
2409 } else if (!head->poll) {
2410 /* Don't allocate read_buf for poll() access. */
Kentaro Takeda95908372009-02-05 17:18:13 +09002411 if (!head->readbuf_size)
2412 head->readbuf_size = 4096 * 2;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +09002413 head->read_buf = kzalloc(head->readbuf_size, GFP_NOFS);
Kentaro Takeda95908372009-02-05 17:18:13 +09002414 if (!head->read_buf) {
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09002415 kfree(head);
Kentaro Takeda95908372009-02-05 17:18:13 +09002416 return -ENOMEM;
2417 }
2418 }
2419 if (!(file->f_mode & FMODE_WRITE)) {
2420 /*
2421 * No need to allocate write_buf since it is not opened
2422 * for writing.
2423 */
2424 head->write = NULL;
2425 } else if (head->write) {
2426 head->writebuf_size = 4096 * 2;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +09002427 head->write_buf = kzalloc(head->writebuf_size, GFP_NOFS);
Kentaro Takeda95908372009-02-05 17:18:13 +09002428 if (!head->write_buf) {
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +09002429 kfree(head->read_buf);
2430 kfree(head);
Kentaro Takeda95908372009-02-05 17:18:13 +09002431 return -ENOMEM;
2432 }
2433 }
Kentaro Takeda95908372009-02-05 17:18:13 +09002434 /*
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002435 * If the file is /sys/kernel/security/tomoyo/query , increment the
2436 * observer counter.
2437 * The obserber counter is used by tomoyo_supervisor() to see if
2438 * there is some process monitoring /sys/kernel/security/tomoyo/query.
2439 */
Tetsuo Handa7c759642011-06-26 23:15:31 +09002440 if (type == TOMOYO_QUERY)
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002441 atomic_inc(&tomoyo_query_observers);
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002442 file->private_data = head;
2443 tomoyo_notify_gc(head, true);
Kentaro Takeda95908372009-02-05 17:18:13 +09002444 return 0;
2445}
2446
2447/**
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09002448 * tomoyo_poll_control - poll() for /sys/kernel/security/tomoyo/ interface.
2449 *
2450 * @file: Pointer to "struct file".
Tetsuo Handa6041e832012-03-14 18:27:49 +09002451 * @wait: Pointer to "poll_table". Maybe NULL.
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09002452 *
Linus Torvaldsa9a08842018-02-11 14:34:03 -08002453 * Returns EPOLLIN | EPOLLRDNORM | EPOLLOUT | EPOLLWRNORM if ready to read/write,
2454 * EPOLLOUT | EPOLLWRNORM otherwise.
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09002455 */
Al Viroc0d4be22017-07-02 23:32:02 -04002456__poll_t tomoyo_poll_control(struct file *file, poll_table *wait)
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09002457{
2458 struct tomoyo_io_buffer *head = file->private_data;
Tetsuo Handa6041e832012-03-14 18:27:49 +09002459 if (head->poll)
Linus Torvaldsa9a08842018-02-11 14:34:03 -08002460 return head->poll(file, wait) | EPOLLOUT | EPOLLWRNORM;
2461 return EPOLLIN | EPOLLRDNORM | EPOLLOUT | EPOLLWRNORM;
Tetsuo Handa0849e3b2010-06-25 12:22:09 +09002462}
2463
2464/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002465 * tomoyo_set_namespace_cursor - Set namespace to read.
2466 *
2467 * @head: Pointer to "struct tomoyo_io_buffer".
2468 *
2469 * Returns nothing.
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 * If this is the first read, or reading previous namespace finished
2479 * and has more namespaces to read, update the namespace cursor.
2480 */
2481 ns = head->r.ns;
2482 if (!ns || (head->r.eof && ns->next != &tomoyo_namespace_list)) {
2483 /* Clearing is OK because tomoyo_flush() returned true. */
2484 memset(&head->r, 0, sizeof(head->r));
2485 head->r.ns = ns ? ns->next : tomoyo_namespace_list.next;
2486 }
2487}
2488
2489/**
2490 * tomoyo_has_more_namespace - Check for unread namespaces.
2491 *
2492 * @head: Pointer to "struct tomoyo_io_buffer".
2493 *
2494 * Returns true if we have more entries to print, false otherwise.
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/**
Kentaro Takeda95908372009-02-05 17:18:13 +09002504 * tomoyo_read_control - read() for /sys/kernel/security/tomoyo/ interface.
2505 *
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09002506 * @head: Pointer to "struct tomoyo_io_buffer".
Kentaro Takeda95908372009-02-05 17:18:13 +09002507 * @buffer: Poiner to buffer to write to.
2508 * @buffer_len: Size of @buffer.
2509 *
2510 * Returns bytes read on success, negative value otherwise.
2511 */
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09002512ssize_t tomoyo_read_control(struct tomoyo_io_buffer *head, char __user *buffer,
2513 const int buffer_len)
Kentaro Takeda95908372009-02-05 17:18:13 +09002514{
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002515 int len;
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002516 int idx;
Kentaro Takeda95908372009-02-05 17:18:13 +09002517
2518 if (!head->read)
2519 return -ENOSYS;
2520 if (mutex_lock_interruptible(&head->io_sem))
2521 return -EINTR;
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002522 head->read_user_buf = buffer;
2523 head->read_user_buf_avail = buffer_len;
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002524 idx = tomoyo_read_lock();
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002525 if (tomoyo_flush(head))
2526 /* Call the policy handler. */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002527 do {
2528 tomoyo_set_namespace_cursor(head);
2529 head->read(head);
2530 } while (tomoyo_flush(head) &&
2531 tomoyo_has_more_namespace(head));
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002532 tomoyo_read_unlock(idx);
Tetsuo Handaf23571e2010-06-24 14:57:16 +09002533 len = head->read_user_buf - buffer;
Kentaro Takeda95908372009-02-05 17:18:13 +09002534 mutex_unlock(&head->io_sem);
2535 return len;
2536}
2537
2538/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002539 * tomoyo_parse_policy - Parse a policy line.
2540 *
2541 * @head: Poiter to "struct tomoyo_io_buffer".
2542 * @line: Line to parse.
2543 *
2544 * Returns 0 on success, negative value otherwise.
2545 *
2546 * Caller holds tomoyo_read_lock().
2547 */
2548static int tomoyo_parse_policy(struct tomoyo_io_buffer *head, char *line)
2549{
2550 /* Delete request? */
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 /* Selecting namespace to update. */
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 /* Don't allow updating if namespace is invalid. */
2568 if (!head->w.ns)
2569 return -ENOENT;
2570 }
2571 /* Do the update. */
2572 return head->write(head);
2573}
2574
2575/**
Kentaro Takeda95908372009-02-05 17:18:13 +09002576 * tomoyo_write_control - write() for /sys/kernel/security/tomoyo/ interface.
2577 *
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09002578 * @head: Pointer to "struct tomoyo_io_buffer".
Kentaro Takeda95908372009-02-05 17:18:13 +09002579 * @buffer: Pointer to buffer to read from.
2580 * @buffer_len: Size of @buffer.
2581 *
2582 * Returns @buffer_len on success, negative value otherwise.
2583 */
Tetsuo Handa2c47ab92011-06-26 23:21:19 +09002584ssize_t tomoyo_write_control(struct tomoyo_io_buffer *head,
2585 const char __user *buffer, const int buffer_len)
Kentaro Takeda95908372009-02-05 17:18:13 +09002586{
Kentaro Takeda95908372009-02-05 17:18:13 +09002587 int error = buffer_len;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002588 size_t avail_len = buffer_len;
Kentaro Takeda95908372009-02-05 17:18:13 +09002589 char *cp0 = head->write_buf;
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002590 int idx;
Kentaro Takeda95908372009-02-05 17:18:13 +09002591 if (!head->write)
2592 return -ENOSYS;
2593 if (!access_ok(VERIFY_READ, buffer, buffer_len))
2594 return -EFAULT;
Kentaro Takeda95908372009-02-05 17:18:13 +09002595 if (mutex_lock_interruptible(&head->io_sem))
2596 return -EINTR;
Tetsuo Handae0b057b2011-10-21 12:37:13 +09002597 head->read_user_buf_avail = 0;
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002598 idx = tomoyo_read_lock();
Kentaro Takeda95908372009-02-05 17:18:13 +09002599 /* Read a line and dispatch it to the policy handler. */
2600 while (avail_len > 0) {
2601 char c;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09002602 if (head->w.avail >= head->writebuf_size - 1) {
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002603 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)) {
Kentaro Takeda95908372009-02-05 17:18:13 +09002616 error = -EFAULT;
2617 break;
2618 }
2619 buffer++;
2620 avail_len--;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09002621 cp0[head->w.avail++] = c;
Kentaro Takeda95908372009-02-05 17:18:13 +09002622 if (c != '\n')
2623 continue;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09002624 cp0[head->w.avail - 1] = '\0';
2625 head->w.avail = 0;
Kentaro Takeda95908372009-02-05 17:18:13 +09002626 tomoyo_normalize_line(cp0);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002627 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 /* Don't allow updating policies by non manager programs. */
2634 switch (head->type) {
2635 case TOMOYO_PROCESS_STATUS:
2636 /* This does not write anything. */
2637 break;
2638 case TOMOYO_DOMAINPOLICY:
2639 if (tomoyo_select_domain(head, cp0))
2640 continue;
2641 /* fall through */
2642 case TOMOYO_EXCEPTIONPOLICY:
2643 if (!strcmp(cp0, "select transition_only")) {
2644 head->r.print_transition_related_only = true;
2645 continue;
2646 }
2647 /* fall through */
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;
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002658 case 0:
2659 switch (head->type) {
2660 case TOMOYO_DOMAINPOLICY:
2661 case TOMOYO_EXCEPTIONPOLICY:
Tetsuo Handab22b8b92011-06-26 23:21:50 +09002662 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;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002671 }
Kentaro Takeda95908372009-02-05 17:18:13 +09002672 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002673out:
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002674 tomoyo_read_unlock(idx);
Kentaro Takeda95908372009-02-05 17:18:13 +09002675 mutex_unlock(&head->io_sem);
2676 return error;
2677}
2678
2679/**
2680 * tomoyo_close_control - close() for /sys/kernel/security/tomoyo/ interface.
2681 *
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +09002682 * @head: Pointer to "struct tomoyo_io_buffer".
Kentaro Takeda95908372009-02-05 17:18:13 +09002683 */
Al Viroe53cfda2013-04-14 16:59:00 -04002684void tomoyo_close_control(struct tomoyo_io_buffer *head)
Kentaro Takeda95908372009-02-05 17:18:13 +09002685{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09002686 /*
2687 * If the file is /sys/kernel/security/tomoyo/query , decrement the
2688 * observer counter.
2689 */
Tetsuo Handa2e503bb2011-06-26 23:20:55 +09002690 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);
Kentaro Takeda95908372009-02-05 17:18:13 +09002694}
2695
2696/**
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002697 * tomoyo_check_profile - Check all profiles currently assigned to domains are defined.
Kentaro Takeda95908372009-02-05 17:18:13 +09002698 */
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002699void tomoyo_check_profile(void)
Kentaro Takeda95908372009-02-05 17:18:13 +09002700{
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002701 struct tomoyo_domain_info *domain;
2702 const int idx = tomoyo_read_lock();
2703 tomoyo_policy_loaded = true;
Tetsuo Handa843d1832011-09-14 17:03:19 +09002704 printk(KERN_INFO "TOMOYO: 2.5.0\n");
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002705 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
2706 const u8 profile = domain->profile;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002707 const struct tomoyo_policy_namespace *ns = domain->ns;
Tetsuo Handa843d1832011-09-14 17:03:19 +09002708 if (ns->profile_version != 20110903)
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002709 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
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002717 continue;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002718 printk(KERN_ERR
Tetsuo Handa843d1832011-09-14 17:03:19 +09002719 "Userland tools for TOMOYO 2.5 must be installed and "
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002720 "policy must be initialized.\n");
Tetsuo Handa843d1832011-09-14 17:03:19 +09002721 printk(KERN_ERR "Please see http://tomoyo.sourceforge.jp/2.5/ "
Tetsuo Handa9f1c1d42010-10-08 14:43:22 +09002722 "for more information.\n");
Tetsuo Handabd03a3e2011-06-26 23:19:52 +09002723 panic("STOP!");
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002724 }
2725 tomoyo_read_unlock(idx);
Tetsuo Handac3ef1502010-05-17 10:12:46 +09002726 printk(KERN_INFO "Mandatory Access Control activated.\n");
Kentaro Takeda95908372009-02-05 17:18:13 +09002727}
Tetsuo Handaefe836a2011-06-26 23:22:18 +09002728
2729/**
2730 * tomoyo_load_builtin_policy - Load built-in policy.
2731 *
2732 * Returns nothing.
2733 */
2734void __init tomoyo_load_builtin_policy(void)
2735{
2736 /*
2737 * This include file is manually created and contains built-in policy
2738 * named "tomoyo_builtin_profile", "tomoyo_builtin_exception_policy",
2739 * "tomoyo_builtin_domain_policy", "tomoyo_builtin_manager",
2740 * "tomoyo_builtin_stat" in the form of "static char [] __initdata".
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);
Tetsuo Handa0e4ae0e2011-06-26 23:22:59 +09002787#ifdef CONFIG_SECURITY_TOMOYO_OMIT_USERSPACE_LOADER
2788 tomoyo_check_profile();
2789#endif
Tetsuo Handaefe836a2011-06-26 23:22:18 +09002790}