blob: 038071a8a3d3c42c70a97800753328e2b22205ed [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 Handa237ab452010-06-12 20:46:22 +090018/**
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090019 * tomoyo_update_policy - Update an entry for exception policy.
20 *
21 * @new_entry: Pointer to "struct tomoyo_acl_info".
22 * @size: Size of @new_entry in bytes.
23 * @is_delete: True if it is a delete request.
24 * @list: Pointer to "struct list_head".
25 * @check_duplicate: Callback function to find duplicated entry.
26 *
27 * Returns 0 on success, negative value otherwise.
28 *
29 * Caller holds tomoyo_read_lock().
30 */
31int tomoyo_update_policy(struct tomoyo_acl_head *new_entry, const int size,
32 bool is_delete, struct list_head *list,
33 bool (*check_duplicate) (const struct tomoyo_acl_head
34 *,
35 const struct tomoyo_acl_head
36 *))
37{
38 int error = is_delete ? -ENOENT : -ENOMEM;
39 struct tomoyo_acl_head *entry;
40
41 if (mutex_lock_interruptible(&tomoyo_policy_lock))
42 return -ENOMEM;
43 list_for_each_entry_rcu(entry, list, list) {
44 if (!check_duplicate(entry, new_entry))
45 continue;
46 entry->is_deleted = is_delete;
47 error = 0;
48 break;
49 }
50 if (error && !is_delete) {
51 entry = tomoyo_commit_ok(new_entry, size);
52 if (entry) {
53 list_add_tail_rcu(&entry->list, list);
54 error = 0;
55 }
56 }
57 mutex_unlock(&tomoyo_policy_lock);
58 return error;
59}
60
61/**
Tetsuo Handa237ab452010-06-12 20:46:22 +090062 * tomoyo_update_domain - Update an entry for domain policy.
63 *
64 * @new_entry: Pointer to "struct tomoyo_acl_info".
65 * @size: Size of @new_entry in bytes.
66 * @is_delete: True if it is a delete request.
67 * @domain: Pointer to "struct tomoyo_domain_info".
68 * @check_duplicate: Callback function to find duplicated entry.
69 * @merge_duplicate: Callback function to merge duplicated entry.
70 *
71 * Returns 0 on success, negative value otherwise.
72 *
73 * Caller holds tomoyo_read_lock().
74 */
75int tomoyo_update_domain(struct tomoyo_acl_info *new_entry, const int size,
76 bool is_delete, struct tomoyo_domain_info *domain,
77 bool (*check_duplicate) (const struct tomoyo_acl_info
78 *,
79 const struct tomoyo_acl_info
80 *),
81 bool (*merge_duplicate) (struct tomoyo_acl_info *,
82 struct tomoyo_acl_info *,
83 const bool))
84{
85 int error = is_delete ? -ENOENT : -ENOMEM;
86 struct tomoyo_acl_info *entry;
87
88 if (mutex_lock_interruptible(&tomoyo_policy_lock))
89 return error;
90 list_for_each_entry_rcu(entry, &domain->acl_info_list, list) {
91 if (!check_duplicate(entry, new_entry))
92 continue;
93 if (merge_duplicate)
94 entry->is_deleted = merge_duplicate(entry, new_entry,
95 is_delete);
96 else
97 entry->is_deleted = is_delete;
98 error = 0;
99 break;
100 }
101 if (error && !is_delete) {
102 entry = tomoyo_commit_ok(new_entry, size);
103 if (entry) {
104 list_add_tail_rcu(&entry->list, &domain->acl_info_list);
105 error = 0;
106 }
107 }
108 mutex_unlock(&tomoyo_policy_lock);
109 return error;
110}
111
Tetsuo Handa99a85252010-06-16 16:22:51 +0900112void tomoyo_check_acl(struct tomoyo_request_info *r,
113 bool (*check_entry) (const struct tomoyo_request_info *,
114 const struct tomoyo_acl_info *))
115{
116 const struct tomoyo_domain_info *domain = r->domain;
117 struct tomoyo_acl_info *ptr;
118
119 list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) {
120 if (ptr->is_deleted || ptr->type != r->param_type)
121 continue;
122 if (check_entry(r, ptr)) {
123 r->granted = true;
124 return;
125 }
126 }
127 r->granted = false;
128}
129
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900130/* The list for "struct tomoyo_domain_info". */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900131LIST_HEAD(tomoyo_domain_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900132
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900133struct list_head tomoyo_policy_list[TOMOYO_MAX_POLICY];
134struct list_head tomoyo_group_list[TOMOYO_MAX_GROUP];
135
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900136/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900137 * tomoyo_get_last_name - Get last component of a domainname.
138 *
139 * @domain: Pointer to "struct tomoyo_domain_info".
140 *
141 * Returns the last component of the domainname.
142 */
143const char *tomoyo_get_last_name(const struct tomoyo_domain_info *domain)
144{
145 const char *cp0 = domain->domainname->name;
146 const char *cp1 = strrchr(cp0, ' ');
147
148 if (cp1)
149 return cp1 + 1;
150 return cp0;
151}
152
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900153static bool tomoyo_same_domain_initializer_entry(const struct tomoyo_acl_head *
154 a,
155 const struct tomoyo_acl_head *
156 b)
157{
158 const struct tomoyo_domain_initializer_entry *p1 =
159 container_of(a, typeof(*p1), head);
160 const struct tomoyo_domain_initializer_entry *p2 =
161 container_of(b, typeof(*p2), head);
162 return p1->is_not == p2->is_not && p1->is_last_name == p2->is_last_name
163 && p1->domainname == p2->domainname
164 && p1->program == p2->program;
165}
166
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900167/**
168 * tomoyo_update_domain_initializer_entry - Update "struct tomoyo_domain_initializer_entry" list.
169 *
170 * @domainname: The name of domain. May be NULL.
171 * @program: The name of program.
172 * @is_not: True if it is "no_initialize_domain" entry.
173 * @is_delete: True if it is a delete request.
174 *
175 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900176 *
177 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900178 */
179static int tomoyo_update_domain_initializer_entry(const char *domainname,
180 const char *program,
181 const bool is_not,
182 const bool is_delete)
183{
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900184 struct tomoyo_domain_initializer_entry e = { .is_not = is_not };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900185 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900186
Tetsuo Handa75093152010-06-16 16:23:55 +0900187 if (!tomoyo_correct_path(program))
Tetsuo Handa3f629632010-06-03 20:37:26 +0900188 return -EINVAL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900189 if (domainname) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900190 if (!tomoyo_domain_def(domainname) &&
191 tomoyo_correct_path(domainname))
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900192 e.is_last_name = true;
Tetsuo Handa75093152010-06-16 16:23:55 +0900193 else if (!tomoyo_correct_domain(domainname))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900194 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900195 e.domainname = tomoyo_get_name(domainname);
196 if (!e.domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900197 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900198 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900199 e.program = tomoyo_get_name(program);
200 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900201 goto out;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900202 error = tomoyo_update_policy(&e.head, sizeof(e), is_delete,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900203 &tomoyo_policy_list
204 [TOMOYO_ID_DOMAIN_INITIALIZER],
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900205 tomoyo_same_domain_initializer_entry);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900206 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900207 tomoyo_put_name(e.domainname);
208 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900209 return error;
210}
211
212/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900213 * tomoyo_write_domain_initializer_policy - Write "struct tomoyo_domain_initializer_entry" list.
214 *
215 * @data: String to parse.
216 * @is_not: True if it is "no_initialize_domain" entry.
217 * @is_delete: True if it is a delete request.
218 *
219 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900220 *
221 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900222 */
223int tomoyo_write_domain_initializer_policy(char *data, const bool is_not,
224 const bool is_delete)
225{
226 char *cp = strstr(data, " from ");
227
228 if (cp) {
229 *cp = '\0';
230 return tomoyo_update_domain_initializer_entry(cp + 6, data,
231 is_not,
232 is_delete);
233 }
234 return tomoyo_update_domain_initializer_entry(NULL, data, is_not,
235 is_delete);
236}
237
238/**
Tetsuo Handa75093152010-06-16 16:23:55 +0900239 * tomoyo_domain_initializer - Check whether the given program causes domainname reinitialization.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900240 *
241 * @domainname: The name of domain.
242 * @program: The name of program.
243 * @last_name: The last component of @domainname.
244 *
245 * Returns true if executing @program reinitializes domain transition,
246 * false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900247 *
248 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900249 */
Tetsuo Handa75093152010-06-16 16:23:55 +0900250static bool tomoyo_domain_initializer(const struct tomoyo_path_info *
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900251 domainname,
252 const struct tomoyo_path_info *program,
253 const struct tomoyo_path_info *
254 last_name)
255{
256 struct tomoyo_domain_initializer_entry *ptr;
257 bool flag = false;
258
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900259 list_for_each_entry_rcu(ptr, &tomoyo_policy_list
260 [TOMOYO_ID_DOMAIN_INITIALIZER], head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900261 if (ptr->head.is_deleted)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900262 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 Handa36f5e1f2010-06-15 09:23:26 +0900283static bool tomoyo_same_domain_keeper_entry(const struct tomoyo_acl_head *a,
284 const struct tomoyo_acl_head *b)
285{
286 const struct tomoyo_domain_keeper_entry *p1 =
287 container_of(a, typeof(*p1), head);
288 const struct tomoyo_domain_keeper_entry *p2 =
289 container_of(b, typeof(*p2), head);
290 return p1->is_not == p2->is_not && p1->is_last_name == p2->is_last_name
291 && p1->domainname == p2->domainname
292 && p1->program == p2->program;
293}
294
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900295/**
296 * tomoyo_update_domain_keeper_entry - Update "struct tomoyo_domain_keeper_entry" list.
297 *
298 * @domainname: The name of domain.
299 * @program: The name of program. May be NULL.
300 * @is_not: True if it is "no_keep_domain" entry.
301 * @is_delete: True if it is a delete request.
302 *
303 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900304 *
305 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900306 */
307static int tomoyo_update_domain_keeper_entry(const char *domainname,
308 const char *program,
309 const bool is_not,
310 const bool is_delete)
311{
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900312 struct tomoyo_domain_keeper_entry e = { .is_not = is_not };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900313 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900314
Tetsuo Handa75093152010-06-16 16:23:55 +0900315 if (!tomoyo_domain_def(domainname) &&
316 tomoyo_correct_path(domainname))
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900317 e.is_last_name = true;
Tetsuo Handa75093152010-06-16 16:23:55 +0900318 else if (!tomoyo_correct_domain(domainname))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900319 return -EINVAL;
320 if (program) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900321 if (!tomoyo_correct_path(program))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900322 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900323 e.program = tomoyo_get_name(program);
324 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900325 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900326 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900327 e.domainname = tomoyo_get_name(domainname);
328 if (!e.domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900329 goto out;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900330 error = tomoyo_update_policy(&e.head, sizeof(e), is_delete,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900331 &tomoyo_policy_list
332 [TOMOYO_ID_DOMAIN_KEEPER],
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900333 tomoyo_same_domain_keeper_entry);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900334 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900335 tomoyo_put_name(e.domainname);
336 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900337 return error;
338}
339
340/**
341 * tomoyo_write_domain_keeper_policy - Write "struct tomoyo_domain_keeper_entry" list.
342 *
343 * @data: String to parse.
344 * @is_not: True if it is "no_keep_domain" entry.
345 * @is_delete: True if it is a delete request.
346 *
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900347 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900348 */
349int tomoyo_write_domain_keeper_policy(char *data, const bool is_not,
350 const bool is_delete)
351{
352 char *cp = strstr(data, " from ");
353
354 if (cp) {
355 *cp = '\0';
356 return tomoyo_update_domain_keeper_entry(cp + 6, data, is_not,
357 is_delete);
358 }
359 return tomoyo_update_domain_keeper_entry(data, NULL, is_not, is_delete);
360}
361
362/**
Tetsuo Handa75093152010-06-16 16:23:55 +0900363 * tomoyo_domain_keeper - Check whether the given program causes domain transition suppression.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900364 *
365 * @domainname: The name of domain.
366 * @program: The name of program.
367 * @last_name: The last component of @domainname.
368 *
369 * Returns true if executing @program supresses domain transition,
370 * false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900371 *
372 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900373 */
Tetsuo Handa75093152010-06-16 16:23:55 +0900374static bool tomoyo_domain_keeper(const struct tomoyo_path_info *domainname,
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900375 const struct tomoyo_path_info *program,
376 const struct tomoyo_path_info *last_name)
377{
378 struct tomoyo_domain_keeper_entry *ptr;
379 bool flag = false;
380
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900381 list_for_each_entry_rcu(ptr,
382 &tomoyo_policy_list[TOMOYO_ID_DOMAIN_KEEPER],
383 head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900384 if (ptr->head.is_deleted)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900385 continue;
386 if (!ptr->is_last_name) {
387 if (ptr->domainname != domainname)
388 continue;
389 } else {
390 if (tomoyo_pathcmp(ptr->domainname, last_name))
391 continue;
392 }
393 if (ptr->program && tomoyo_pathcmp(ptr->program, program))
394 continue;
395 if (ptr->is_not) {
396 flag = false;
397 break;
398 }
399 flag = true;
400 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900401 return flag;
402}
403
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900404static bool tomoyo_same_aggregator_entry(const struct tomoyo_acl_head *a,
405 const struct tomoyo_acl_head *b)
406{
407 const struct tomoyo_aggregator_entry *p1 = container_of(a, typeof(*p1),
408 head);
409 const struct tomoyo_aggregator_entry *p2 = container_of(b, typeof(*p2),
410 head);
411 return p1->original_name == p2->original_name &&
412 p1->aggregated_name == p2->aggregated_name;
413}
414
Tetsuo Handa10843072010-06-03 20:38:03 +0900415/**
416 * tomoyo_update_aggregator_entry - Update "struct tomoyo_aggregator_entry" list.
417 *
418 * @original_name: The original program's name.
419 * @aggregated_name: The program name to use.
420 * @is_delete: True if it is a delete request.
421 *
422 * Returns 0 on success, negative value otherwise.
423 *
424 * Caller holds tomoyo_read_lock().
425 */
426static int tomoyo_update_aggregator_entry(const char *original_name,
427 const char *aggregated_name,
428 const bool is_delete)
429{
Tetsuo Handa10843072010-06-03 20:38:03 +0900430 struct tomoyo_aggregator_entry e = { };
431 int error = is_delete ? -ENOENT : -ENOMEM;
432
Tetsuo Handa75093152010-06-16 16:23:55 +0900433 if (!tomoyo_correct_path(original_name) ||
434 !tomoyo_correct_path(aggregated_name))
Tetsuo Handa10843072010-06-03 20:38:03 +0900435 return -EINVAL;
436 e.original_name = tomoyo_get_name(original_name);
437 e.aggregated_name = tomoyo_get_name(aggregated_name);
438 if (!e.original_name || !e.aggregated_name ||
439 e.aggregated_name->is_patterned) /* No patterns allowed. */
440 goto out;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900441 error = tomoyo_update_policy(&e.head, sizeof(e), is_delete,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900442 &tomoyo_policy_list[TOMOYO_ID_AGGREGATOR],
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900443 tomoyo_same_aggregator_entry);
Tetsuo Handa10843072010-06-03 20:38:03 +0900444 out:
445 tomoyo_put_name(e.original_name);
446 tomoyo_put_name(e.aggregated_name);
447 return error;
448}
449
450/**
Tetsuo Handa10843072010-06-03 20:38:03 +0900451 * tomoyo_write_aggregator_policy - Write "struct tomoyo_aggregator_entry" list.
452 *
453 * @data: String to parse.
454 * @is_delete: True if it is a delete request.
455 *
456 * Returns 0 on success, negative value otherwise.
457 *
458 * Caller holds tomoyo_read_lock().
459 */
460int tomoyo_write_aggregator_policy(char *data, const bool is_delete)
461{
462 char *cp = strchr(data, ' ');
463
464 if (!cp)
465 return -EINVAL;
466 *cp++ = '\0';
467 return tomoyo_update_aggregator_entry(data, cp, is_delete);
468}
469
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900470static bool tomoyo_same_alias_entry(const struct tomoyo_acl_head *a,
471 const struct tomoyo_acl_head *b)
472{
473 const struct tomoyo_alias_entry *p1 = container_of(a, typeof(*p1),
474 head);
475 const struct tomoyo_alias_entry *p2 = container_of(b, typeof(*p2),
476 head);
477 return p1->original_name == p2->original_name &&
478 p1->aliased_name == p2->aliased_name;
479}
480
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900481/**
482 * tomoyo_update_alias_entry - Update "struct tomoyo_alias_entry" list.
483 *
484 * @original_name: The original program's real name.
485 * @aliased_name: The symbolic program's symbolic link's name.
486 * @is_delete: True if it is a delete request.
487 *
488 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900489 *
490 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900491 */
492static int tomoyo_update_alias_entry(const char *original_name,
493 const char *aliased_name,
494 const bool is_delete)
495{
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900496 struct tomoyo_alias_entry e = { };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900497 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900498
Tetsuo Handa75093152010-06-16 16:23:55 +0900499 if (!tomoyo_correct_path(original_name) ||
500 !tomoyo_correct_path(aliased_name))
Tetsuo Handa3f629632010-06-03 20:37:26 +0900501 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900502 e.original_name = tomoyo_get_name(original_name);
503 e.aliased_name = tomoyo_get_name(aliased_name);
Tetsuo Handa3f629632010-06-03 20:37:26 +0900504 if (!e.original_name || !e.aliased_name ||
505 e.original_name->is_patterned || e.aliased_name->is_patterned)
506 goto out; /* No patterns allowed. */
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900507 error = tomoyo_update_policy(&e.head, sizeof(e), is_delete,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900508 &tomoyo_policy_list[TOMOYO_ID_ALIAS],
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900509 tomoyo_same_alias_entry);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900510 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900511 tomoyo_put_name(e.original_name);
512 tomoyo_put_name(e.aliased_name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900513 return error;
514}
515
516/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900517 * tomoyo_write_alias_policy - Write "struct tomoyo_alias_entry" list.
518 *
519 * @data: String to parse.
520 * @is_delete: True if it is a delete request.
521 *
522 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900523 *
524 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900525 */
526int tomoyo_write_alias_policy(char *data, const bool is_delete)
527{
528 char *cp = strchr(data, ' ');
529
530 if (!cp)
531 return -EINVAL;
532 *cp++ = '\0';
533 return tomoyo_update_alias_entry(data, cp, is_delete);
534}
535
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900536/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900537 * tomoyo_find_or_assign_new_domain - Create a domain.
538 *
539 * @domainname: The name of domain.
540 * @profile: Profile number to assign if the domain was newly created.
541 *
542 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900543 *
544 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900545 */
546struct tomoyo_domain_info *tomoyo_find_or_assign_new_domain(const char *
547 domainname,
548 const u8 profile)
549{
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900550 struct tomoyo_domain_info *entry;
Tetsuo Handa29282382010-05-06 00:18:15 +0900551 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900552 const struct tomoyo_path_info *saved_domainname;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900553 bool found = false;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900554
Tetsuo Handa75093152010-06-16 16:23:55 +0900555 if (!tomoyo_correct_domain(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900556 return NULL;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900557 saved_domainname = tomoyo_get_name(domainname);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900558 if (!saved_domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900559 return NULL;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +0900560 entry = kzalloc(sizeof(*entry), GFP_NOFS);
Tetsuo Handa29282382010-05-06 00:18:15 +0900561 if (mutex_lock_interruptible(&tomoyo_policy_lock))
562 goto out;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900563 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
564 if (domain->is_deleted ||
565 tomoyo_pathcmp(saved_domainname, domain->domainname))
566 continue;
567 found = true;
568 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900569 }
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900570 if (!found && tomoyo_memory_ok(entry)) {
571 INIT_LIST_HEAD(&entry->acl_info_list);
572 entry->domainname = saved_domainname;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900573 saved_domainname = NULL;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900574 entry->profile = profile;
575 list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
576 domain = entry;
577 entry = NULL;
578 found = true;
579 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900580 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa29282382010-05-06 00:18:15 +0900581 out:
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900582 tomoyo_put_name(saved_domainname);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900583 kfree(entry);
584 return found ? domain : NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900585}
586
587/**
588 * tomoyo_find_next_domain - Find a domain.
589 *
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900590 * @bprm: Pointer to "struct linux_binprm".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900591 *
592 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900593 *
594 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900595 */
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900596int tomoyo_find_next_domain(struct linux_binprm *bprm)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900597{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900598 struct tomoyo_request_info r;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900599 char *tmp = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900600 struct tomoyo_domain_info *old_domain = tomoyo_domain();
601 struct tomoyo_domain_info *domain = NULL;
602 const char *old_domain_name = old_domain->domainname->name;
603 const char *original_name = bprm->filename;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900604 u8 mode;
605 bool is_enforce;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900606 int retval = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900607 bool need_kfree = false;
608 struct tomoyo_path_info rn = { }; /* real name */
609 struct tomoyo_path_info sn = { }; /* symlink name */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900610 struct tomoyo_path_info ln; /* last name */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900611
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900612 ln.name = tomoyo_get_last_name(old_domain);
613 tomoyo_fill_path_info(&ln);
Tetsuo Handa57c25902010-06-03 20:38:44 +0900614 mode = tomoyo_init_request_info(&r, NULL, TOMOYO_MAC_FILE_EXECUTE);
615 is_enforce = (mode == TOMOYO_CONFIG_ENFORCING);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900616 if (!tmp)
617 goto out;
618
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900619 retry:
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900620 if (need_kfree) {
621 kfree(rn.name);
622 need_kfree = false;
623 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900624 /* Get tomoyo_realpath of program. */
625 retval = -ENOENT;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900626 rn.name = tomoyo_realpath(original_name);
627 if (!rn.name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900628 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900629 tomoyo_fill_path_info(&rn);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900630 need_kfree = true;
631
632 /* Get tomoyo_realpath of symbolic link. */
633 sn.name = tomoyo_realpath_nofollow(original_name);
634 if (!sn.name)
635 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900636 tomoyo_fill_path_info(&sn);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900637
638 /* Check 'alias' directive. */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900639 if (tomoyo_pathcmp(&rn, &sn)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900640 struct tomoyo_alias_entry *ptr;
641 /* Is this program allowed to be called via symbolic links? */
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900642 list_for_each_entry_rcu(ptr,
643 &tomoyo_policy_list[TOMOYO_ID_ALIAS],
644 head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900645 if (ptr->head.is_deleted ||
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900646 tomoyo_pathcmp(&rn, ptr->original_name) ||
647 tomoyo_pathcmp(&sn, ptr->aliased_name))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900648 continue;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900649 kfree(rn.name);
650 need_kfree = false;
651 /* This is OK because it is read only. */
652 rn = *ptr->aliased_name;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900653 break;
654 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900655 }
656
Tetsuo Handa10843072010-06-03 20:38:03 +0900657 /* Check 'aggregator' directive. */
658 {
659 struct tomoyo_aggregator_entry *ptr;
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900660 list_for_each_entry_rcu(ptr, &tomoyo_policy_list
661 [TOMOYO_ID_AGGREGATOR], head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900662 if (ptr->head.is_deleted ||
Tetsuo Handa10843072010-06-03 20:38:03 +0900663 !tomoyo_path_matches_pattern(&rn,
664 ptr->original_name))
665 continue;
666 if (need_kfree)
667 kfree(rn.name);
668 need_kfree = false;
669 /* This is OK because it is read only. */
670 rn = *ptr->aggregated_name;
671 break;
672 }
673 }
674
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900675 /* Check execute permission. */
Tetsuo Handa05336de2010-06-16 16:20:24 +0900676 retval = tomoyo_path_permission(&r, TOMOYO_TYPE_EXECUTE, &rn);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900677 if (retval == TOMOYO_RETRY_REQUEST)
678 goto retry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900679 if (retval < 0)
680 goto out;
681
Tetsuo Handa75093152010-06-16 16:23:55 +0900682 if (tomoyo_domain_initializer(old_domain->domainname, &rn, &ln)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900683 /* Transit to the child of tomoyo_kernel_domain domain. */
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900684 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1,
685 TOMOYO_ROOT_NAME " " "%s", rn.name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900686 } else if (old_domain == &tomoyo_kernel_domain &&
687 !tomoyo_policy_loaded) {
688 /*
689 * Needn't to transit from kernel domain before starting
690 * /sbin/init. But transit from kernel domain if executing
691 * initializers because they might start before /sbin/init.
692 */
693 domain = old_domain;
Tetsuo Handa75093152010-06-16 16:23:55 +0900694 } else if (tomoyo_domain_keeper(old_domain->domainname, &rn, &ln)) {
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900695 /* Keep current domain. */
696 domain = old_domain;
697 } else {
698 /* Normal domain transition. */
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900699 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1,
700 "%s %s", old_domain_name, rn.name);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900701 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900702 if (domain || strlen(tmp) >= TOMOYO_EXEC_TMPSIZE - 10)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900703 goto done;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900704 domain = tomoyo_find_domain(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900705 if (domain)
706 goto done;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900707 if (is_enforce) {
708 int error = tomoyo_supervisor(&r, "# wants to create domain\n"
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900709 "%s\n", tmp);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900710 if (error == TOMOYO_RETRY_REQUEST)
711 goto retry;
712 if (error < 0)
713 goto done;
714 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900715 domain = tomoyo_find_or_assign_new_domain(tmp, old_domain->profile);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900716 done:
717 if (domain)
718 goto out;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900719 printk(KERN_WARNING "TOMOYO-ERROR: Domain '%s' not defined.\n", tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900720 if (is_enforce)
721 retval = -EPERM;
722 else
Tetsuo Handaea13ddb2010-02-03 06:43:06 +0900723 old_domain->transition_failed = true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900724 out:
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900725 if (!domain)
726 domain = old_domain;
Tetsuo Handaec8e6a42010-02-11 09:43:20 +0900727 /* Update reference count on "struct tomoyo_domain_info". */
728 atomic_inc(&domain->users);
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900729 bprm->cred->security = domain;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900730 if (need_kfree)
731 kfree(rn.name);
732 kfree(sn.name);
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900733 kfree(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900734 return retval;
735}