blob: 08428bc082df1fe33591e1b719c7645073695fd2 [file] [log] [blame]
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09001/*
2 * security/tomoyo/domain.c
3 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09004 * Domain transition functions for TOMOYO.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09005 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09006 * Copyright (C) 2005-2010 NTT DATA CORPORATION
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09007 */
8
9#include "common.h"
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090010#include <linux/binfmts.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090011#include <linux/slab.h>
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090012
13/* Variables definitions.*/
14
15/* The initial domain. */
16struct tomoyo_domain_info tomoyo_kernel_domain;
17
Tetsuo Handac3fa1092009-06-08 12:37:39 +090018/*
19 * tomoyo_domain_list is used for holding list of domains.
20 * The ->acl_info_list of "struct tomoyo_domain_info" is used for holding
21 * permissions (e.g. "allow_read /lib/libc-2.5.so") given to each domain.
22 *
23 * An entry is added by
24 *
25 * # ( echo "<kernel>"; echo "allow_execute /sbin/init" ) > \
26 * /sys/kernel/security/tomoyo/domain_policy
27 *
28 * and is deleted by
29 *
30 * # ( echo "<kernel>"; echo "delete allow_execute /sbin/init" ) > \
31 * /sys/kernel/security/tomoyo/domain_policy
32 *
33 * and all entries are retrieved by
34 *
35 * # cat /sys/kernel/security/tomoyo/domain_policy
36 *
37 * A domain is added by
38 *
39 * # echo "<kernel>" > /sys/kernel/security/tomoyo/domain_policy
40 *
41 * and is deleted by
42 *
43 * # echo "delete <kernel>" > /sys/kernel/security/tomoyo/domain_policy
44 *
45 * and all domains are retrieved by
46 *
47 * # grep '^<kernel>' /sys/kernel/security/tomoyo/domain_policy
48 *
49 * Normally, a domainname is monotonically getting longer because a domainname
50 * which the process will belong to if an execve() operation succeeds is
51 * defined as a concatenation of "current domainname" + "pathname passed to
52 * execve()".
53 * See tomoyo_domain_initializer_list and tomoyo_domain_keeper_list for
54 * exceptions.
55 */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090056LIST_HEAD(tomoyo_domain_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090057
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090058/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090059 * tomoyo_get_last_name - Get last component of a domainname.
60 *
61 * @domain: Pointer to "struct tomoyo_domain_info".
62 *
63 * Returns the last component of the domainname.
64 */
65const char *tomoyo_get_last_name(const struct tomoyo_domain_info *domain)
66{
67 const char *cp0 = domain->domainname->name;
68 const char *cp1 = strrchr(cp0, ' ');
69
70 if (cp1)
71 return cp1 + 1;
72 return cp0;
73}
74
Tetsuo Handac3fa1092009-06-08 12:37:39 +090075/*
76 * tomoyo_domain_initializer_list is used for holding list of programs which
77 * triggers reinitialization of domainname. Normally, a domainname is
78 * monotonically getting longer. But sometimes, we restart daemon programs.
79 * It would be convenient for us that "a daemon started upon system boot" and
80 * "the daemon restarted from console" belong to the same domain. Thus, TOMOYO
81 * provides a way to shorten domainnames.
82 *
83 * An entry is added by
84 *
85 * # echo 'initialize_domain /usr/sbin/httpd' > \
86 * /sys/kernel/security/tomoyo/exception_policy
87 *
88 * and is deleted by
89 *
90 * # echo 'delete initialize_domain /usr/sbin/httpd' > \
91 * /sys/kernel/security/tomoyo/exception_policy
92 *
93 * and all entries are retrieved by
94 *
95 * # grep ^initialize_domain /sys/kernel/security/tomoyo/exception_policy
96 *
97 * In the example above, /usr/sbin/httpd will belong to
98 * "<kernel> /usr/sbin/httpd" domain.
99 *
100 * You may specify a domainname using "from" keyword.
101 * "initialize_domain /usr/sbin/httpd from <kernel> /etc/rc.d/init.d/httpd"
102 * will cause "/usr/sbin/httpd" executed from "<kernel> /etc/rc.d/init.d/httpd"
103 * domain to belong to "<kernel> /usr/sbin/httpd" domain.
104 *
105 * You may add "no_" prefix to "initialize_domain".
106 * "initialize_domain /usr/sbin/httpd" and
107 * "no_initialize_domain /usr/sbin/httpd from <kernel> /etc/rc.d/init.d/httpd"
108 * will cause "/usr/sbin/httpd" to belong to "<kernel> /usr/sbin/httpd" domain
109 * unless executed from "<kernel> /etc/rc.d/init.d/httpd" domain.
110 */
Tetsuo Handa847b1732010-02-11 09:43:54 +0900111LIST_HEAD(tomoyo_domain_initializer_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900112
113/**
114 * tomoyo_update_domain_initializer_entry - Update "struct tomoyo_domain_initializer_entry" list.
115 *
116 * @domainname: The name of domain. May be NULL.
117 * @program: The name of program.
118 * @is_not: True if it is "no_initialize_domain" entry.
119 * @is_delete: True if it is a delete request.
120 *
121 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900122 *
123 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900124 */
125static int tomoyo_update_domain_initializer_entry(const char *domainname,
126 const char *program,
127 const bool is_not,
128 const bool is_delete)
129{
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900130 struct tomoyo_domain_initializer_entry *ptr;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900131 struct tomoyo_domain_initializer_entry e = { .is_not = is_not };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900132 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900133
Tetsuo Handa17080002010-02-16 21:14:48 +0900134 if (!tomoyo_is_correct_path(program, 1, -1, -1))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900135 return -EINVAL; /* No patterns allowed. */
136 if (domainname) {
137 if (!tomoyo_is_domain_def(domainname) &&
Tetsuo Handa17080002010-02-16 21:14:48 +0900138 tomoyo_is_correct_path(domainname, 1, -1, -1))
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900139 e.is_last_name = true;
Tetsuo Handa17080002010-02-16 21:14:48 +0900140 else if (!tomoyo_is_correct_domain(domainname))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900141 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900142 e.domainname = tomoyo_get_name(domainname);
143 if (!e.domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900144 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900145 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900146 e.program = tomoyo_get_name(program);
147 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900148 goto out;
Tetsuo Handa29282382010-05-06 00:18:15 +0900149 if (mutex_lock_interruptible(&tomoyo_policy_lock))
150 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900151 list_for_each_entry_rcu(ptr, &tomoyo_domain_initializer_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900152 if (!tomoyo_is_same_domain_initializer_entry(ptr, &e))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900153 continue;
154 ptr->is_deleted = is_delete;
155 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900156 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900157 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900158 if (!is_delete && error) {
159 struct tomoyo_domain_initializer_entry *entry =
160 tomoyo_commit_ok(&e, sizeof(e));
161 if (entry) {
162 list_add_tail_rcu(&entry->list,
163 &tomoyo_domain_initializer_list);
164 error = 0;
165 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900166 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900167 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900168 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900169 tomoyo_put_name(e.domainname);
170 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900171 return error;
172}
173
174/**
175 * tomoyo_read_domain_initializer_policy - Read "struct tomoyo_domain_initializer_entry" list.
176 *
177 * @head: Pointer to "struct tomoyo_io_buffer".
178 *
179 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900180 *
181 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900182 */
183bool tomoyo_read_domain_initializer_policy(struct tomoyo_io_buffer *head)
184{
185 struct list_head *pos;
186 bool done = true;
187
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900188 list_for_each_cookie(pos, head->read_var2,
189 &tomoyo_domain_initializer_list) {
190 const char *no;
191 const char *from = "";
192 const char *domain = "";
193 struct tomoyo_domain_initializer_entry *ptr;
194 ptr = list_entry(pos, struct tomoyo_domain_initializer_entry,
195 list);
196 if (ptr->is_deleted)
197 continue;
198 no = ptr->is_not ? "no_" : "";
199 if (ptr->domainname) {
200 from = " from ";
201 domain = ptr->domainname->name;
202 }
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900203 done = tomoyo_io_printf(head,
204 "%s" TOMOYO_KEYWORD_INITIALIZE_DOMAIN
205 "%s%s%s\n", no, ptr->program->name,
206 from, domain);
207 if (!done)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900208 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900209 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900210 return done;
211}
212
213/**
214 * tomoyo_write_domain_initializer_policy - Write "struct tomoyo_domain_initializer_entry" list.
215 *
216 * @data: String to parse.
217 * @is_not: True if it is "no_initialize_domain" entry.
218 * @is_delete: True if it is a delete request.
219 *
220 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900221 *
222 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900223 */
224int tomoyo_write_domain_initializer_policy(char *data, const bool is_not,
225 const bool is_delete)
226{
227 char *cp = strstr(data, " from ");
228
229 if (cp) {
230 *cp = '\0';
231 return tomoyo_update_domain_initializer_entry(cp + 6, data,
232 is_not,
233 is_delete);
234 }
235 return tomoyo_update_domain_initializer_entry(NULL, data, is_not,
236 is_delete);
237}
238
239/**
240 * tomoyo_is_domain_initializer - Check whether the given program causes domainname reinitialization.
241 *
242 * @domainname: The name of domain.
243 * @program: The name of program.
244 * @last_name: The last component of @domainname.
245 *
246 * Returns true if executing @program reinitializes domain transition,
247 * false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900248 *
249 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900250 */
251static bool tomoyo_is_domain_initializer(const struct tomoyo_path_info *
252 domainname,
253 const struct tomoyo_path_info *program,
254 const struct tomoyo_path_info *
255 last_name)
256{
257 struct tomoyo_domain_initializer_entry *ptr;
258 bool flag = false;
259
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900260 list_for_each_entry_rcu(ptr, &tomoyo_domain_initializer_list, list) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900261 if (ptr->is_deleted)
262 continue;
263 if (ptr->domainname) {
264 if (!ptr->is_last_name) {
265 if (ptr->domainname != domainname)
266 continue;
267 } else {
268 if (tomoyo_pathcmp(ptr->domainname, last_name))
269 continue;
270 }
271 }
272 if (tomoyo_pathcmp(ptr->program, program))
273 continue;
274 if (ptr->is_not) {
275 flag = false;
276 break;
277 }
278 flag = true;
279 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900280 return flag;
281}
282
Tetsuo Handac3fa1092009-06-08 12:37:39 +0900283/*
284 * tomoyo_domain_keeper_list is used for holding list of domainnames which
285 * suppresses domain transition. Normally, a domainname is monotonically
286 * getting longer. But sometimes, we want to suppress domain transition.
287 * It would be convenient for us that programs executed from a login session
288 * belong to the same domain. Thus, TOMOYO provides a way to suppress domain
289 * transition.
290 *
291 * An entry is added by
292 *
293 * # echo 'keep_domain <kernel> /usr/sbin/sshd /bin/bash' > \
294 * /sys/kernel/security/tomoyo/exception_policy
295 *
296 * and is deleted by
297 *
298 * # echo 'delete keep_domain <kernel> /usr/sbin/sshd /bin/bash' > \
299 * /sys/kernel/security/tomoyo/exception_policy
300 *
301 * and all entries are retrieved by
302 *
303 * # grep ^keep_domain /sys/kernel/security/tomoyo/exception_policy
304 *
305 * In the example above, any process which belongs to
306 * "<kernel> /usr/sbin/sshd /bin/bash" domain will remain in that domain,
307 * unless explicitly specified by "initialize_domain" or "no_keep_domain".
308 *
309 * You may specify a program using "from" keyword.
310 * "keep_domain /bin/pwd from <kernel> /usr/sbin/sshd /bin/bash"
311 * will cause "/bin/pwd" executed from "<kernel> /usr/sbin/sshd /bin/bash"
312 * domain to remain in "<kernel> /usr/sbin/sshd /bin/bash" domain.
313 *
314 * You may add "no_" prefix to "keep_domain".
315 * "keep_domain <kernel> /usr/sbin/sshd /bin/bash" and
316 * "no_keep_domain /usr/bin/passwd from <kernel> /usr/sbin/sshd /bin/bash" will
317 * cause "/usr/bin/passwd" to belong to
318 * "<kernel> /usr/sbin/sshd /bin/bash /usr/bin/passwd" domain, unless
319 * explicitly specified by "initialize_domain".
320 */
Tetsuo Handa847b1732010-02-11 09:43:54 +0900321LIST_HEAD(tomoyo_domain_keeper_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900322
323/**
324 * tomoyo_update_domain_keeper_entry - Update "struct tomoyo_domain_keeper_entry" list.
325 *
326 * @domainname: The name of domain.
327 * @program: The name of program. May be NULL.
328 * @is_not: True if it is "no_keep_domain" entry.
329 * @is_delete: True if it is a delete request.
330 *
331 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900332 *
333 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900334 */
335static int tomoyo_update_domain_keeper_entry(const char *domainname,
336 const char *program,
337 const bool is_not,
338 const bool is_delete)
339{
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900340 struct tomoyo_domain_keeper_entry *ptr;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900341 struct tomoyo_domain_keeper_entry e = { .is_not = is_not };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900342 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900343
344 if (!tomoyo_is_domain_def(domainname) &&
Tetsuo Handa17080002010-02-16 21:14:48 +0900345 tomoyo_is_correct_path(domainname, 1, -1, -1))
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900346 e.is_last_name = true;
Tetsuo Handa17080002010-02-16 21:14:48 +0900347 else if (!tomoyo_is_correct_domain(domainname))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900348 return -EINVAL;
349 if (program) {
Tetsuo Handa17080002010-02-16 21:14:48 +0900350 if (!tomoyo_is_correct_path(program, 1, -1, -1))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900351 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900352 e.program = tomoyo_get_name(program);
353 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900354 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900355 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900356 e.domainname = tomoyo_get_name(domainname);
357 if (!e.domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900358 goto out;
Tetsuo Handa29282382010-05-06 00:18:15 +0900359 if (mutex_lock_interruptible(&tomoyo_policy_lock))
360 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900361 list_for_each_entry_rcu(ptr, &tomoyo_domain_keeper_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900362 if (!tomoyo_is_same_domain_keeper_entry(ptr, &e))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900363 continue;
364 ptr->is_deleted = is_delete;
365 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900366 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900367 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900368 if (!is_delete && error) {
369 struct tomoyo_domain_keeper_entry *entry =
370 tomoyo_commit_ok(&e, sizeof(e));
371 if (entry) {
372 list_add_tail_rcu(&entry->list,
373 &tomoyo_domain_keeper_list);
374 error = 0;
375 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900376 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900377 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900378 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900379 tomoyo_put_name(e.domainname);
380 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900381 return error;
382}
383
384/**
385 * tomoyo_write_domain_keeper_policy - Write "struct tomoyo_domain_keeper_entry" list.
386 *
387 * @data: String to parse.
388 * @is_not: True if it is "no_keep_domain" entry.
389 * @is_delete: True if it is a delete request.
390 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900391 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900392 */
393int tomoyo_write_domain_keeper_policy(char *data, const bool is_not,
394 const bool is_delete)
395{
396 char *cp = strstr(data, " from ");
397
398 if (cp) {
399 *cp = '\0';
400 return tomoyo_update_domain_keeper_entry(cp + 6, data, is_not,
401 is_delete);
402 }
403 return tomoyo_update_domain_keeper_entry(data, NULL, is_not, is_delete);
404}
405
406/**
407 * tomoyo_read_domain_keeper_policy - Read "struct tomoyo_domain_keeper_entry" list.
408 *
409 * @head: Pointer to "struct tomoyo_io_buffer".
410 *
411 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900412 *
413 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900414 */
415bool tomoyo_read_domain_keeper_policy(struct tomoyo_io_buffer *head)
416{
417 struct list_head *pos;
Tetsuo Handa33043cb2009-02-13 16:00:58 +0900418 bool done = true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900419
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900420 list_for_each_cookie(pos, head->read_var2,
421 &tomoyo_domain_keeper_list) {
422 struct tomoyo_domain_keeper_entry *ptr;
423 const char *no;
424 const char *from = "";
425 const char *program = "";
426
427 ptr = list_entry(pos, struct tomoyo_domain_keeper_entry, list);
428 if (ptr->is_deleted)
429 continue;
430 no = ptr->is_not ? "no_" : "";
431 if (ptr->program) {
432 from = " from ";
433 program = ptr->program->name;
434 }
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900435 done = tomoyo_io_printf(head,
436 "%s" TOMOYO_KEYWORD_KEEP_DOMAIN
437 "%s%s%s\n", no, program, from,
438 ptr->domainname->name);
439 if (!done)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900440 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900441 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900442 return done;
443}
444
445/**
446 * tomoyo_is_domain_keeper - Check whether the given program causes domain transition suppression.
447 *
448 * @domainname: The name of domain.
449 * @program: The name of program.
450 * @last_name: The last component of @domainname.
451 *
452 * Returns true if executing @program supresses domain transition,
453 * false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900454 *
455 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900456 */
457static bool tomoyo_is_domain_keeper(const struct tomoyo_path_info *domainname,
458 const struct tomoyo_path_info *program,
459 const struct tomoyo_path_info *last_name)
460{
461 struct tomoyo_domain_keeper_entry *ptr;
462 bool flag = false;
463
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900464 list_for_each_entry_rcu(ptr, &tomoyo_domain_keeper_list, list) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900465 if (ptr->is_deleted)
466 continue;
467 if (!ptr->is_last_name) {
468 if (ptr->domainname != domainname)
469 continue;
470 } else {
471 if (tomoyo_pathcmp(ptr->domainname, last_name))
472 continue;
473 }
474 if (ptr->program && tomoyo_pathcmp(ptr->program, program))
475 continue;
476 if (ptr->is_not) {
477 flag = false;
478 break;
479 }
480 flag = true;
481 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900482 return flag;
483}
484
Tetsuo Handac3fa1092009-06-08 12:37:39 +0900485/*
486 * tomoyo_alias_list is used for holding list of symlink's pathnames which are
487 * allowed to be passed to an execve() request. Normally, the domainname which
488 * the current process will belong to after execve() succeeds is calculated
489 * using dereferenced pathnames. But some programs behave differently depending
490 * on the name passed to argv[0]. For busybox, calculating domainname using
491 * dereferenced pathnames will cause all programs in the busybox to belong to
492 * the same domain. Thus, TOMOYO provides a way to allow use of symlink's
493 * pathname for checking execve()'s permission and calculating domainname which
494 * the current process will belong to after execve() succeeds.
495 *
496 * An entry is added by
497 *
498 * # echo 'alias /bin/busybox /bin/cat' > \
499 * /sys/kernel/security/tomoyo/exception_policy
500 *
501 * and is deleted by
502 *
503 * # echo 'delete alias /bin/busybox /bin/cat' > \
504 * /sys/kernel/security/tomoyo/exception_policy
505 *
506 * and all entries are retrieved by
507 *
508 * # grep ^alias /sys/kernel/security/tomoyo/exception_policy
509 *
510 * In the example above, if /bin/cat is a symlink to /bin/busybox and execution
511 * of /bin/cat is requested, permission is checked for /bin/cat rather than
512 * /bin/busybox and domainname which the current process will belong to after
513 * execve() succeeds is calculated using /bin/cat rather than /bin/busybox .
514 */
Tetsuo Handa847b1732010-02-11 09:43:54 +0900515LIST_HEAD(tomoyo_alias_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900516
517/**
518 * tomoyo_update_alias_entry - Update "struct tomoyo_alias_entry" list.
519 *
520 * @original_name: The original program's real name.
521 * @aliased_name: The symbolic program's symbolic link's name.
522 * @is_delete: True if it is a delete request.
523 *
524 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900525 *
526 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900527 */
528static int tomoyo_update_alias_entry(const char *original_name,
529 const char *aliased_name,
530 const bool is_delete)
531{
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900532 struct tomoyo_alias_entry *ptr;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900533 struct tomoyo_alias_entry e = { };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900534 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900535
Tetsuo Handa17080002010-02-16 21:14:48 +0900536 if (!tomoyo_is_correct_path(original_name, 1, -1, -1) ||
537 !tomoyo_is_correct_path(aliased_name, 1, -1, -1))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900538 return -EINVAL; /* No patterns allowed. */
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900539 e.original_name = tomoyo_get_name(original_name);
540 e.aliased_name = tomoyo_get_name(aliased_name);
541 if (!e.original_name || !e.aliased_name)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900542 goto out;
Tetsuo Handa29282382010-05-06 00:18:15 +0900543 if (mutex_lock_interruptible(&tomoyo_policy_lock))
544 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900545 list_for_each_entry_rcu(ptr, &tomoyo_alias_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900546 if (!tomoyo_is_same_alias_entry(ptr, &e))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900547 continue;
548 ptr->is_deleted = is_delete;
549 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900550 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900551 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900552 if (!is_delete && error) {
553 struct tomoyo_alias_entry *entry =
554 tomoyo_commit_ok(&e, sizeof(e));
555 if (entry) {
556 list_add_tail_rcu(&entry->list, &tomoyo_alias_list);
557 error = 0;
558 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900559 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900560 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900561 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900562 tomoyo_put_name(e.original_name);
563 tomoyo_put_name(e.aliased_name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900564 return error;
565}
566
567/**
568 * tomoyo_read_alias_policy - Read "struct tomoyo_alias_entry" list.
569 *
570 * @head: Pointer to "struct tomoyo_io_buffer".
571 *
572 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900573 *
574 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900575 */
576bool tomoyo_read_alias_policy(struct tomoyo_io_buffer *head)
577{
578 struct list_head *pos;
579 bool done = true;
580
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900581 list_for_each_cookie(pos, head->read_var2, &tomoyo_alias_list) {
582 struct tomoyo_alias_entry *ptr;
583
584 ptr = list_entry(pos, struct tomoyo_alias_entry, list);
585 if (ptr->is_deleted)
586 continue;
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900587 done = tomoyo_io_printf(head, TOMOYO_KEYWORD_ALIAS "%s %s\n",
588 ptr->original_name->name,
589 ptr->aliased_name->name);
590 if (!done)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900591 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900592 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900593 return done;
594}
595
596/**
597 * tomoyo_write_alias_policy - Write "struct tomoyo_alias_entry" list.
598 *
599 * @data: String to parse.
600 * @is_delete: True if it is a delete request.
601 *
602 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900603 *
604 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900605 */
606int tomoyo_write_alias_policy(char *data, const bool is_delete)
607{
608 char *cp = strchr(data, ' ');
609
610 if (!cp)
611 return -EINVAL;
612 *cp++ = '\0';
613 return tomoyo_update_alias_entry(data, cp, is_delete);
614}
615
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900616/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900617 * tomoyo_find_or_assign_new_domain - Create a domain.
618 *
619 * @domainname: The name of domain.
620 * @profile: Profile number to assign if the domain was newly created.
621 *
622 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900623 *
624 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900625 */
626struct tomoyo_domain_info *tomoyo_find_or_assign_new_domain(const char *
627 domainname,
628 const u8 profile)
629{
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900630 struct tomoyo_domain_info *entry;
Tetsuo Handa29282382010-05-06 00:18:15 +0900631 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900632 const struct tomoyo_path_info *saved_domainname;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900633 bool found = false;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900634
Tetsuo Handa17080002010-02-16 21:14:48 +0900635 if (!tomoyo_is_correct_domain(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900636 return NULL;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900637 saved_domainname = tomoyo_get_name(domainname);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900638 if (!saved_domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900639 return NULL;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +0900640 entry = kzalloc(sizeof(*entry), GFP_NOFS);
Tetsuo Handa29282382010-05-06 00:18:15 +0900641 if (mutex_lock_interruptible(&tomoyo_policy_lock))
642 goto out;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900643 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
644 if (domain->is_deleted ||
645 tomoyo_pathcmp(saved_domainname, domain->domainname))
646 continue;
647 found = true;
648 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900649 }
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900650 if (!found && tomoyo_memory_ok(entry)) {
651 INIT_LIST_HEAD(&entry->acl_info_list);
652 entry->domainname = saved_domainname;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900653 saved_domainname = NULL;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900654 entry->profile = profile;
655 list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
656 domain = entry;
657 entry = NULL;
658 found = true;
659 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900660 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa29282382010-05-06 00:18:15 +0900661 out:
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900662 tomoyo_put_name(saved_domainname);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900663 kfree(entry);
664 return found ? domain : NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900665}
666
667/**
668 * tomoyo_find_next_domain - Find a domain.
669 *
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900670 * @bprm: Pointer to "struct linux_binprm".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900671 *
672 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900673 *
674 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900675 */
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900676int tomoyo_find_next_domain(struct linux_binprm *bprm)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900677{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900678 struct tomoyo_request_info r;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900679 /*
680 * This function assumes that the size of buffer returned by
681 * tomoyo_realpath() = TOMOYO_MAX_PATHNAME_LEN.
682 */
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +0900683 struct tomoyo_page_buffer *tmp = kzalloc(sizeof(*tmp), GFP_NOFS);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900684 struct tomoyo_domain_info *old_domain = tomoyo_domain();
685 struct tomoyo_domain_info *domain = NULL;
686 const char *old_domain_name = old_domain->domainname->name;
687 const char *original_name = bprm->filename;
688 char *new_domain_name = NULL;
689 char *real_program_name = NULL;
690 char *symlink_program_name = NULL;
691 const u8 mode = tomoyo_check_flags(old_domain, TOMOYO_MAC_FOR_FILE);
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900692 const bool is_enforce = (mode == TOMOYO_CONFIG_ENFORCING);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900693 int retval = -ENOMEM;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900694 struct tomoyo_path_info rn; /* real name */
695 struct tomoyo_path_info sn; /* symlink name */
696 struct tomoyo_path_info ln; /* last name */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900697
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900698 tomoyo_init_request_info(&r, NULL);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900699 if (!tmp)
700 goto out;
701
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900702 retry:
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900703 /* Get tomoyo_realpath of program. */
704 retval = -ENOENT;
705 /* I hope tomoyo_realpath() won't fail with -ENOMEM. */
706 real_program_name = tomoyo_realpath(original_name);
707 if (!real_program_name)
708 goto out;
709 /* Get tomoyo_realpath of symbolic link. */
710 symlink_program_name = tomoyo_realpath_nofollow(original_name);
711 if (!symlink_program_name)
712 goto out;
713
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900714 rn.name = real_program_name;
715 tomoyo_fill_path_info(&rn);
716 sn.name = symlink_program_name;
717 tomoyo_fill_path_info(&sn);
718 ln.name = tomoyo_get_last_name(old_domain);
719 tomoyo_fill_path_info(&ln);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900720
721 /* Check 'alias' directive. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900722 if (tomoyo_pathcmp(&rn, &sn)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900723 struct tomoyo_alias_entry *ptr;
724 /* Is this program allowed to be called via symbolic links? */
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900725 list_for_each_entry_rcu(ptr, &tomoyo_alias_list, list) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900726 if (ptr->is_deleted ||
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900727 tomoyo_pathcmp(&rn, ptr->original_name) ||
728 tomoyo_pathcmp(&sn, ptr->aliased_name))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900729 continue;
730 memset(real_program_name, 0, TOMOYO_MAX_PATHNAME_LEN);
731 strncpy(real_program_name, ptr->aliased_name->name,
732 TOMOYO_MAX_PATHNAME_LEN - 1);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900733 tomoyo_fill_path_info(&rn);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900734 break;
735 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900736 }
737
738 /* Check execute permission. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900739 retval = tomoyo_check_exec_perm(old_domain, &rn);
740 if (retval == TOMOYO_RETRY_REQUEST)
741 goto retry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900742 if (retval < 0)
743 goto out;
744
745 new_domain_name = tmp->buffer;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900746 if (tomoyo_is_domain_initializer(old_domain->domainname, &rn, &ln)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900747 /* Transit to the child of tomoyo_kernel_domain domain. */
748 snprintf(new_domain_name, TOMOYO_MAX_PATHNAME_LEN + 1,
749 TOMOYO_ROOT_NAME " " "%s", real_program_name);
750 } else if (old_domain == &tomoyo_kernel_domain &&
751 !tomoyo_policy_loaded) {
752 /*
753 * Needn't to transit from kernel domain before starting
754 * /sbin/init. But transit from kernel domain if executing
755 * initializers because they might start before /sbin/init.
756 */
757 domain = old_domain;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900758 } else if (tomoyo_is_domain_keeper(old_domain->domainname, &rn, &ln)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900759 /* Keep current domain. */
760 domain = old_domain;
761 } else {
762 /* Normal domain transition. */
763 snprintf(new_domain_name, TOMOYO_MAX_PATHNAME_LEN + 1,
764 "%s %s", old_domain_name, real_program_name);
765 }
766 if (domain || strlen(new_domain_name) >= TOMOYO_MAX_PATHNAME_LEN)
767 goto done;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900768 domain = tomoyo_find_domain(new_domain_name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900769 if (domain)
770 goto done;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900771 if (is_enforce) {
772 int error = tomoyo_supervisor(&r, "# wants to create domain\n"
773 "%s\n", new_domain_name);
774 if (error == TOMOYO_RETRY_REQUEST)
775 goto retry;
776 if (error < 0)
777 goto done;
778 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900779 domain = tomoyo_find_or_assign_new_domain(new_domain_name,
780 old_domain->profile);
781 done:
782 if (domain)
783 goto out;
784 printk(KERN_WARNING "TOMOYO-ERROR: Domain '%s' not defined.\n",
785 new_domain_name);
786 if (is_enforce)
787 retval = -EPERM;
788 else
Tetsuo Handaea13ddb2010-02-03 06:43:06 +0900789 old_domain->transition_failed = true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900790 out:
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900791 if (!domain)
792 domain = old_domain;
Tetsuo Handaec8e6a42010-02-11 09:43:20 +0900793 /* Update reference count on "struct tomoyo_domain_info". */
794 atomic_inc(&domain->users);
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900795 bprm->cred->security = domain;
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900796 kfree(real_program_name);
797 kfree(symlink_program_name);
798 kfree(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900799 return retval;
800}