blob: 50f6e7972174d6fcb08bf8dadf8ebb99dbb8117d [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 Handa3f629632010-06-03 20:37:26 +0900134 if (!tomoyo_is_correct_path(program))
135 return -EINVAL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900136 if (domainname) {
137 if (!tomoyo_is_domain_def(domainname) &&
Tetsuo Handa3f629632010-06-03 20:37:26 +0900138 tomoyo_is_correct_path(domainname))
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 Handa3f629632010-06-03 20:37:26 +0900345 tomoyo_is_correct_path(domainname))
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 Handa3f629632010-06-03 20:37:26 +0900350 if (!tomoyo_is_correct_path(program))
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 Handa3f629632010-06-03 20:37:26 +0900536 if (!tomoyo_is_correct_path(original_name) ||
537 !tomoyo_is_correct_path(aliased_name))
538 return -EINVAL;
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);
Tetsuo Handa3f629632010-06-03 20:37:26 +0900541 if (!e.original_name || !e.aliased_name ||
542 e.original_name->is_patterned || e.aliased_name->is_patterned)
543 goto out; /* No patterns allowed. */
Tetsuo Handa29282382010-05-06 00:18:15 +0900544 if (mutex_lock_interruptible(&tomoyo_policy_lock))
545 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900546 list_for_each_entry_rcu(ptr, &tomoyo_alias_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900547 if (!tomoyo_is_same_alias_entry(ptr, &e))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900548 continue;
549 ptr->is_deleted = is_delete;
550 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900551 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900552 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900553 if (!is_delete && error) {
554 struct tomoyo_alias_entry *entry =
555 tomoyo_commit_ok(&e, sizeof(e));
556 if (entry) {
557 list_add_tail_rcu(&entry->list, &tomoyo_alias_list);
558 error = 0;
559 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900560 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900561 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900562 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900563 tomoyo_put_name(e.original_name);
564 tomoyo_put_name(e.aliased_name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900565 return error;
566}
567
568/**
569 * tomoyo_read_alias_policy - Read "struct tomoyo_alias_entry" list.
570 *
571 * @head: Pointer to "struct tomoyo_io_buffer".
572 *
573 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900574 *
575 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900576 */
577bool tomoyo_read_alias_policy(struct tomoyo_io_buffer *head)
578{
579 struct list_head *pos;
580 bool done = true;
581
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900582 list_for_each_cookie(pos, head->read_var2, &tomoyo_alias_list) {
583 struct tomoyo_alias_entry *ptr;
584
585 ptr = list_entry(pos, struct tomoyo_alias_entry, list);
586 if (ptr->is_deleted)
587 continue;
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900588 done = tomoyo_io_printf(head, TOMOYO_KEYWORD_ALIAS "%s %s\n",
589 ptr->original_name->name,
590 ptr->aliased_name->name);
591 if (!done)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900592 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900593 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900594 return done;
595}
596
597/**
598 * tomoyo_write_alias_policy - Write "struct tomoyo_alias_entry" list.
599 *
600 * @data: String to parse.
601 * @is_delete: True if it is a delete request.
602 *
603 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900604 *
605 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900606 */
607int tomoyo_write_alias_policy(char *data, const bool is_delete)
608{
609 char *cp = strchr(data, ' ');
610
611 if (!cp)
612 return -EINVAL;
613 *cp++ = '\0';
614 return tomoyo_update_alias_entry(data, cp, is_delete);
615}
616
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900617/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900618 * tomoyo_find_or_assign_new_domain - Create a domain.
619 *
620 * @domainname: The name of domain.
621 * @profile: Profile number to assign if the domain was newly created.
622 *
623 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900624 *
625 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900626 */
627struct tomoyo_domain_info *tomoyo_find_or_assign_new_domain(const char *
628 domainname,
629 const u8 profile)
630{
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900631 struct tomoyo_domain_info *entry;
Tetsuo Handa29282382010-05-06 00:18:15 +0900632 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900633 const struct tomoyo_path_info *saved_domainname;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900634 bool found = false;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900635
Tetsuo Handa17080002010-02-16 21:14:48 +0900636 if (!tomoyo_is_correct_domain(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900637 return NULL;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900638 saved_domainname = tomoyo_get_name(domainname);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900639 if (!saved_domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900640 return NULL;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +0900641 entry = kzalloc(sizeof(*entry), GFP_NOFS);
Tetsuo Handa29282382010-05-06 00:18:15 +0900642 if (mutex_lock_interruptible(&tomoyo_policy_lock))
643 goto out;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900644 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
645 if (domain->is_deleted ||
646 tomoyo_pathcmp(saved_domainname, domain->domainname))
647 continue;
648 found = true;
649 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900650 }
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900651 if (!found && tomoyo_memory_ok(entry)) {
652 INIT_LIST_HEAD(&entry->acl_info_list);
653 entry->domainname = saved_domainname;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900654 saved_domainname = NULL;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900655 entry->profile = profile;
656 list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
657 domain = entry;
658 entry = NULL;
659 found = true;
660 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900661 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa29282382010-05-06 00:18:15 +0900662 out:
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900663 tomoyo_put_name(saved_domainname);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900664 kfree(entry);
665 return found ? domain : NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900666}
667
668/**
669 * tomoyo_find_next_domain - Find a domain.
670 *
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900671 * @bprm: Pointer to "struct linux_binprm".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900672 *
673 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900674 *
675 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900676 */
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900677int tomoyo_find_next_domain(struct linux_binprm *bprm)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900678{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900679 struct tomoyo_request_info r;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900680 char *tmp = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900681 struct tomoyo_domain_info *old_domain = tomoyo_domain();
682 struct tomoyo_domain_info *domain = NULL;
683 const char *old_domain_name = old_domain->domainname->name;
684 const char *original_name = bprm->filename;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900685 const u8 mode = tomoyo_check_flags(old_domain, TOMOYO_MAC_FOR_FILE);
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900686 const bool is_enforce = (mode == TOMOYO_CONFIG_ENFORCING);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900687 int retval = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900688 bool need_kfree = false;
689 struct tomoyo_path_info rn = { }; /* real name */
690 struct tomoyo_path_info sn = { }; /* symlink name */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900691 struct tomoyo_path_info ln; /* last name */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900692
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900693 ln.name = tomoyo_get_last_name(old_domain);
694 tomoyo_fill_path_info(&ln);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900695 tomoyo_init_request_info(&r, NULL);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900696 if (!tmp)
697 goto out;
698
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900699 retry:
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900700 if (need_kfree) {
701 kfree(rn.name);
702 need_kfree = false;
703 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900704 /* Get tomoyo_realpath of program. */
705 retval = -ENOENT;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900706 rn.name = tomoyo_realpath(original_name);
707 if (!rn.name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900708 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900709 tomoyo_fill_path_info(&rn);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900710 need_kfree = true;
711
712 /* Get tomoyo_realpath of symbolic link. */
713 sn.name = tomoyo_realpath_nofollow(original_name);
714 if (!sn.name)
715 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900716 tomoyo_fill_path_info(&sn);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900717
718 /* Check 'alias' directive. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900719 if (tomoyo_pathcmp(&rn, &sn)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900720 struct tomoyo_alias_entry *ptr;
721 /* Is this program allowed to be called via symbolic links? */
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900722 list_for_each_entry_rcu(ptr, &tomoyo_alias_list, list) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900723 if (ptr->is_deleted ||
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900724 tomoyo_pathcmp(&rn, ptr->original_name) ||
725 tomoyo_pathcmp(&sn, ptr->aliased_name))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900726 continue;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900727 kfree(rn.name);
728 need_kfree = false;
729 /* This is OK because it is read only. */
730 rn = *ptr->aliased_name;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900731 break;
732 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900733 }
734
735 /* Check execute permission. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900736 retval = tomoyo_check_exec_perm(old_domain, &rn);
737 if (retval == TOMOYO_RETRY_REQUEST)
738 goto retry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900739 if (retval < 0)
740 goto out;
741
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900742 if (tomoyo_is_domain_initializer(old_domain->domainname, &rn, &ln)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900743 /* Transit to the child of tomoyo_kernel_domain domain. */
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900744 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1,
745 TOMOYO_ROOT_NAME " " "%s", rn.name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900746 } else if (old_domain == &tomoyo_kernel_domain &&
747 !tomoyo_policy_loaded) {
748 /*
749 * Needn't to transit from kernel domain before starting
750 * /sbin/init. But transit from kernel domain if executing
751 * initializers because they might start before /sbin/init.
752 */
753 domain = old_domain;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900754 } else if (tomoyo_is_domain_keeper(old_domain->domainname, &rn, &ln)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900755 /* Keep current domain. */
756 domain = old_domain;
757 } else {
758 /* Normal domain transition. */
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900759 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1,
760 "%s %s", old_domain_name, rn.name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900761 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900762 if (domain || strlen(tmp) >= TOMOYO_EXEC_TMPSIZE - 10)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900763 goto done;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900764 domain = tomoyo_find_domain(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900765 if (domain)
766 goto done;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900767 if (is_enforce) {
768 int error = tomoyo_supervisor(&r, "# wants to create domain\n"
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900769 "%s\n", tmp);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900770 if (error == TOMOYO_RETRY_REQUEST)
771 goto retry;
772 if (error < 0)
773 goto done;
774 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900775 domain = tomoyo_find_or_assign_new_domain(tmp, old_domain->profile);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900776 done:
777 if (domain)
778 goto out;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900779 printk(KERN_WARNING "TOMOYO-ERROR: Domain '%s' not defined.\n", tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900780 if (is_enforce)
781 retval = -EPERM;
782 else
Tetsuo Handaea13ddb2010-02-03 06:43:06 +0900783 old_domain->transition_failed = true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900784 out:
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900785 if (!domain)
786 domain = old_domain;
Tetsuo Handaec8e6a42010-02-11 09:43:20 +0900787 /* Update reference count on "struct tomoyo_domain_info". */
788 atomic_inc(&domain->users);
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900789 bprm->cred->security = domain;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900790 if (need_kfree)
791 kfree(rn.name);
792 kfree(sn.name);
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900793 kfree(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900794 return retval;
795}