blob: 0f02c7852090f3fbc9f65ec6541d82295be78ece [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.
Tetsuo Handaa238cf52011-06-26 23:17:10 +090023 * @param: Pointer to "struct tomoyo_acl_param".
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090024 * @check_duplicate: Callback function to find duplicated entry.
25 *
26 * Returns 0 on success, negative value otherwise.
27 *
28 * Caller holds tomoyo_read_lock().
29 */
30int tomoyo_update_policy(struct tomoyo_acl_head *new_entry, const int size,
Tetsuo Handaa238cf52011-06-26 23:17:10 +090031 struct tomoyo_acl_param *param,
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090032 bool (*check_duplicate) (const struct tomoyo_acl_head
33 *,
34 const struct tomoyo_acl_head
35 *))
36{
Tetsuo Handaa238cf52011-06-26 23:17:10 +090037 int error = param->is_delete ? -ENOENT : -ENOMEM;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090038 struct tomoyo_acl_head *entry;
Tetsuo Handaa238cf52011-06-26 23:17:10 +090039 struct list_head *list = param->list;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090040
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;
Tetsuo Handaa238cf52011-06-26 23:17:10 +090046 entry->is_deleted = param->is_delete;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090047 error = 0;
48 break;
49 }
Tetsuo Handaa238cf52011-06-26 23:17:10 +090050 if (error && !param->is_delete) {
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090051 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 Handa0df7e8b2011-06-26 23:16:36 +090062 * tomoyo_same_acl_head - Check for duplicated "struct tomoyo_acl_info" entry.
63 *
64 * @a: Pointer to "struct tomoyo_acl_info".
65 * @b: Pointer to "struct tomoyo_acl_info".
66 *
67 * Returns true if @a == @b, false otherwise.
68 */
69static inline bool tomoyo_same_acl_head(const struct tomoyo_acl_info *a,
70 const struct tomoyo_acl_info *b)
71{
Tetsuo Handa2066a362011-07-08 13:21:37 +090072 return a->type == b->type && a->cond == b->cond;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +090073}
74
75/**
Tetsuo Handa237ab452010-06-12 20:46:22 +090076 * tomoyo_update_domain - Update an entry for domain policy.
77 *
78 * @new_entry: Pointer to "struct tomoyo_acl_info".
79 * @size: Size of @new_entry in bytes.
Tetsuo Handaa238cf52011-06-26 23:17:10 +090080 * @param: Pointer to "struct tomoyo_acl_param".
Tetsuo Handa237ab452010-06-12 20:46:22 +090081 * @check_duplicate: Callback function to find duplicated entry.
82 * @merge_duplicate: Callback function to merge duplicated entry.
83 *
84 * Returns 0 on success, negative value otherwise.
85 *
86 * Caller holds tomoyo_read_lock().
87 */
88int tomoyo_update_domain(struct tomoyo_acl_info *new_entry, const int size,
Tetsuo Handaa238cf52011-06-26 23:17:10 +090089 struct tomoyo_acl_param *param,
Tetsuo Handa237ab452010-06-12 20:46:22 +090090 bool (*check_duplicate) (const struct tomoyo_acl_info
91 *,
92 const struct tomoyo_acl_info
93 *),
94 bool (*merge_duplicate) (struct tomoyo_acl_info *,
95 struct tomoyo_acl_info *,
96 const bool))
97{
Tetsuo Handaa238cf52011-06-26 23:17:10 +090098 const bool is_delete = param->is_delete;
Tetsuo Handa237ab452010-06-12 20:46:22 +090099 int error = is_delete ? -ENOENT : -ENOMEM;
100 struct tomoyo_acl_info *entry;
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900101 struct list_head * const list = param->list;
Tetsuo Handa237ab452010-06-12 20:46:22 +0900102
Tetsuo Handa2066a362011-07-08 13:21:37 +0900103 if (param->data[0]) {
104 new_entry->cond = tomoyo_get_condition(param);
105 if (!new_entry->cond)
106 return -EINVAL;
107 }
Tetsuo Handa237ab452010-06-12 20:46:22 +0900108 if (mutex_lock_interruptible(&tomoyo_policy_lock))
Tetsuo Handa2066a362011-07-08 13:21:37 +0900109 goto out;
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900110 list_for_each_entry_rcu(entry, list, list) {
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900111 if (!tomoyo_same_acl_head(entry, new_entry) ||
112 !check_duplicate(entry, new_entry))
Tetsuo Handa237ab452010-06-12 20:46:22 +0900113 continue;
114 if (merge_duplicate)
115 entry->is_deleted = merge_duplicate(entry, new_entry,
116 is_delete);
117 else
118 entry->is_deleted = is_delete;
119 error = 0;
120 break;
121 }
122 if (error && !is_delete) {
123 entry = tomoyo_commit_ok(new_entry, size);
124 if (entry) {
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900125 list_add_tail_rcu(&entry->list, list);
Tetsuo Handa237ab452010-06-12 20:46:22 +0900126 error = 0;
127 }
128 }
129 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa2066a362011-07-08 13:21:37 +0900130out:
131 tomoyo_put_condition(new_entry->cond);
Tetsuo Handa237ab452010-06-12 20:46:22 +0900132 return error;
133}
134
Tetsuo Handa32997142011-06-26 23:19:28 +0900135/**
136 * tomoyo_check_acl - Do permission check.
137 *
138 * @r: Pointer to "struct tomoyo_request_info".
139 * @check_entry: Callback function to check type specific parameters.
140 *
141 * Returns 0 on success, negative value otherwise.
142 *
143 * Caller holds tomoyo_read_lock().
144 */
Tetsuo Handa99a85252010-06-16 16:22:51 +0900145void tomoyo_check_acl(struct tomoyo_request_info *r,
Tetsuo Handa484ca792010-07-29 14:29:55 +0900146 bool (*check_entry) (struct tomoyo_request_info *,
Tetsuo Handa99a85252010-06-16 16:22:51 +0900147 const struct tomoyo_acl_info *))
148{
149 const struct tomoyo_domain_info *domain = r->domain;
150 struct tomoyo_acl_info *ptr;
Tetsuo Handa32997142011-06-26 23:19:28 +0900151 bool retried = false;
152 const struct list_head *list = &domain->acl_info_list;
Tetsuo Handa99a85252010-06-16 16:22:51 +0900153
Tetsuo Handa32997142011-06-26 23:19:28 +0900154retry:
155 list_for_each_entry_rcu(ptr, list, list) {
Tetsuo Handa99a85252010-06-16 16:22:51 +0900156 if (ptr->is_deleted || ptr->type != r->param_type)
157 continue;
Tetsuo Handa2066a362011-07-08 13:21:37 +0900158 if (!check_entry(r, ptr))
159 continue;
160 if (!tomoyo_condition(r, ptr->cond))
161 continue;
162 r->granted = true;
163 return;
Tetsuo Handa99a85252010-06-16 16:22:51 +0900164 }
Tetsuo Handa32997142011-06-26 23:19:28 +0900165 if (!retried) {
166 retried = true;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900167 list = &domain->ns->acl_group[domain->group];
Tetsuo Handa32997142011-06-26 23:19:28 +0900168 goto retry;
169 }
Tetsuo Handa99a85252010-06-16 16:22:51 +0900170 r->granted = false;
171}
172
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900173/* The list for "struct tomoyo_domain_info". */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900174LIST_HEAD(tomoyo_domain_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900175
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900176/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900177 * tomoyo_last_word - Get last component of a domainname.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900178 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900179 * @name: Domainname to check.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900180 *
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900181 * Returns the last word of @domainname.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900182 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900183static const char *tomoyo_last_word(const char *name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900184{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900185 const char *cp = strrchr(name, ' ');
186 if (cp)
187 return cp + 1;
188 return name;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900189}
190
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900191/**
192 * tomoyo_same_transition_control - Check for duplicated "struct tomoyo_transition_control" entry.
193 *
194 * @a: Pointer to "struct tomoyo_acl_head".
195 * @b: Pointer to "struct tomoyo_acl_head".
196 *
197 * Returns true if @a == @b, false otherwise.
198 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900199static bool tomoyo_same_transition_control(const struct tomoyo_acl_head *a,
200 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900201{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900202 const struct tomoyo_transition_control *p1 = container_of(a,
203 typeof(*p1),
204 head);
205 const struct tomoyo_transition_control *p2 = container_of(b,
206 typeof(*p2),
207 head);
208 return p1->type == p2->type && p1->is_last_name == p2->is_last_name
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900209 && p1->domainname == p2->domainname
210 && p1->program == p2->program;
211}
212
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900213/**
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900214 * tomoyo_write_transition_control - Write "struct tomoyo_transition_control" list.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900215 *
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900216 * @param: Pointer to "struct tomoyo_acl_param".
217 * @type: Type of this entry.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900218 *
219 * Returns 0 on success, negative value otherwise.
220 */
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900221int tomoyo_write_transition_control(struct tomoyo_acl_param *param,
222 const u8 type)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900223{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900224 struct tomoyo_transition_control e = { .type = type };
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900225 int error = param->is_delete ? -ENOENT : -ENOMEM;
226 char *program = param->data;
227 char *domainname = strstr(program, " from ");
228 if (domainname) {
229 *domainname = '\0';
230 domainname += 6;
231 } else if (type == TOMOYO_TRANSITION_CONTROL_NO_KEEP ||
232 type == TOMOYO_TRANSITION_CONTROL_KEEP) {
233 domainname = program;
234 program = NULL;
235 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900236 if (program && strcmp(program, "any")) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900237 if (!tomoyo_correct_path(program))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900238 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900239 e.program = tomoyo_get_name(program);
240 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900241 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900242 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900243 if (domainname && strcmp(domainname, "any")) {
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900244 if (!tomoyo_correct_domain(domainname)) {
245 if (!tomoyo_correct_path(domainname))
246 goto out;
247 e.is_last_name = true;
248 }
249 e.domainname = tomoyo_get_name(domainname);
250 if (!e.domainname)
251 goto out;
252 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900253 param->list = &param->ns->policy_list[TOMOYO_ID_TRANSITION_CONTROL];
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900254 error = tomoyo_update_policy(&e.head, sizeof(e), param,
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900255 tomoyo_same_transition_control);
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900256out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900257 tomoyo_put_name(e.domainname);
258 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900259 return error;
260}
261
262/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900263 * tomoyo_scan_transition - Try to find specific domain transition type.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900264 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900265 * @list: Pointer to "struct list_head".
266 * @domainname: The name of current domain.
267 * @program: The name of requested program.
268 * @last_name: The last component of @domainname.
269 * @type: One of values in "enum tomoyo_transition_type".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900270 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900271 * Returns true if found one, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900272 *
273 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900274 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900275static inline bool tomoyo_scan_transition
276(const struct list_head *list, const struct tomoyo_path_info *domainname,
277 const struct tomoyo_path_info *program, const char *last_name,
278 const enum tomoyo_transition_type type)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900279{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900280 const struct tomoyo_transition_control *ptr;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900281 list_for_each_entry_rcu(ptr, list, head.list) {
282 if (ptr->head.is_deleted || ptr->type != type)
283 continue;
284 if (ptr->domainname) {
285 if (!ptr->is_last_name) {
286 if (ptr->domainname != domainname)
287 continue;
288 } else {
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900289 /*
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900290 * Use direct strcmp() since this is
291 * unlikely used.
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900292 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900293 if (strcmp(ptr->domainname->name, last_name))
294 continue;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900295 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900296 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900297 if (ptr->program && tomoyo_pathcmp(ptr->program, program))
298 continue;
299 return true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900300 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900301 return false;
302}
303
304/**
305 * tomoyo_transition_type - Get domain transition type.
306 *
307 * @ns: Pointer to "struct tomoyo_policy_namespace".
308 * @domainname: The name of current domain.
309 * @program: The name of requested program.
310 *
311 * Returns TOMOYO_TRANSITION_CONTROL_TRANSIT if executing @program causes
312 * domain transition across namespaces, TOMOYO_TRANSITION_CONTROL_INITIALIZE if
313 * executing @program reinitializes domain transition within that namespace,
314 * TOMOYO_TRANSITION_CONTROL_KEEP if executing @program stays at @domainname ,
315 * others otherwise.
316 *
317 * Caller holds tomoyo_read_lock().
318 */
319static enum tomoyo_transition_type tomoyo_transition_type
320(const struct tomoyo_policy_namespace *ns,
321 const struct tomoyo_path_info *domainname,
322 const struct tomoyo_path_info *program)
323{
324 const char *last_name = tomoyo_last_word(domainname->name);
325 enum tomoyo_transition_type type = TOMOYO_TRANSITION_CONTROL_NO_RESET;
326 while (type < TOMOYO_MAX_TRANSITION_TYPE) {
327 const struct list_head * const list =
328 &ns->policy_list[TOMOYO_ID_TRANSITION_CONTROL];
329 if (!tomoyo_scan_transition(list, domainname, program,
330 last_name, type)) {
331 type++;
332 continue;
333 }
334 if (type != TOMOYO_TRANSITION_CONTROL_NO_RESET &&
335 type != TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE)
336 break;
337 /*
338 * Do not check for reset_domain if no_reset_domain matched.
339 * Do not check for initialize_domain if no_initialize_domain
340 * matched.
341 */
342 type++;
343 type++;
344 }
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900345 return type;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900346}
347
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900348/**
349 * tomoyo_same_aggregator - Check for duplicated "struct tomoyo_aggregator" entry.
350 *
351 * @a: Pointer to "struct tomoyo_acl_head".
352 * @b: Pointer to "struct tomoyo_acl_head".
353 *
354 * Returns true if @a == @b, false otherwise.
355 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900356static bool tomoyo_same_aggregator(const struct tomoyo_acl_head *a,
357 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900358{
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900359 const struct tomoyo_aggregator *p1 = container_of(a, typeof(*p1),
360 head);
361 const struct tomoyo_aggregator *p2 = container_of(b, typeof(*p2),
362 head);
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900363 return p1->original_name == p2->original_name &&
364 p1->aggregated_name == p2->aggregated_name;
365}
366
Tetsuo Handa10843072010-06-03 20:38:03 +0900367/**
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900368 * tomoyo_write_aggregator - Write "struct tomoyo_aggregator" list.
Tetsuo Handa10843072010-06-03 20:38:03 +0900369 *
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900370 * @param: Pointer to "struct tomoyo_acl_param".
Tetsuo Handa10843072010-06-03 20:38:03 +0900371 *
372 * Returns 0 on success, negative value otherwise.
373 *
374 * Caller holds tomoyo_read_lock().
375 */
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900376int tomoyo_write_aggregator(struct tomoyo_acl_param *param)
Tetsuo Handa10843072010-06-03 20:38:03 +0900377{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900378 struct tomoyo_aggregator e = { };
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900379 int error = param->is_delete ? -ENOENT : -ENOMEM;
380 const char *original_name = tomoyo_read_token(param);
381 const char *aggregated_name = tomoyo_read_token(param);
382 if (!tomoyo_correct_word(original_name) ||
Tetsuo Handa75093152010-06-16 16:23:55 +0900383 !tomoyo_correct_path(aggregated_name))
Tetsuo Handa10843072010-06-03 20:38:03 +0900384 return -EINVAL;
385 e.original_name = tomoyo_get_name(original_name);
386 e.aggregated_name = tomoyo_get_name(aggregated_name);
387 if (!e.original_name || !e.aggregated_name ||
388 e.aggregated_name->is_patterned) /* No patterns allowed. */
389 goto out;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900390 param->list = &param->ns->policy_list[TOMOYO_ID_AGGREGATOR];
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900391 error = tomoyo_update_policy(&e.head, sizeof(e), param,
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900392 tomoyo_same_aggregator);
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900393out:
Tetsuo Handa10843072010-06-03 20:38:03 +0900394 tomoyo_put_name(e.original_name);
395 tomoyo_put_name(e.aggregated_name);
396 return error;
397}
398
399/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900400 * tomoyo_find_namespace - Find specified namespace.
401 *
402 * @name: Name of namespace to find.
403 * @len: Length of @name.
404 *
405 * Returns pointer to "struct tomoyo_policy_namespace" if found,
406 * NULL otherwise.
407 *
408 * Caller holds tomoyo_read_lock().
409 */
410static struct tomoyo_policy_namespace *tomoyo_find_namespace
411(const char *name, const unsigned int len)
412{
413 struct tomoyo_policy_namespace *ns;
414 list_for_each_entry(ns, &tomoyo_namespace_list, namespace_list) {
415 if (strncmp(name, ns->name, len) ||
416 (name[len] && name[len] != ' '))
417 continue;
418 return ns;
419 }
420 return NULL;
421}
422
423/**
424 * tomoyo_assign_namespace - Create a new namespace.
425 *
426 * @domainname: Name of namespace to create.
427 *
428 * Returns pointer to "struct tomoyo_policy_namespace" on success,
429 * NULL otherwise.
430 *
431 * Caller holds tomoyo_read_lock().
432 */
433struct tomoyo_policy_namespace *tomoyo_assign_namespace(const char *domainname)
434{
435 struct tomoyo_policy_namespace *ptr;
436 struct tomoyo_policy_namespace *entry;
437 const char *cp = domainname;
438 unsigned int len = 0;
439 while (*cp && *cp++ != ' ')
440 len++;
441 ptr = tomoyo_find_namespace(domainname, len);
442 if (ptr)
443 return ptr;
444 if (len >= TOMOYO_EXEC_TMPSIZE - 10 || !tomoyo_domain_def(domainname))
445 return NULL;
446 entry = kzalloc(sizeof(*entry) + len + 1, GFP_NOFS);
447 if (!entry)
448 return NULL;
449 if (mutex_lock_interruptible(&tomoyo_policy_lock))
450 goto out;
451 ptr = tomoyo_find_namespace(domainname, len);
452 if (!ptr && tomoyo_memory_ok(entry)) {
453 char *name = (char *) (entry + 1);
454 ptr = entry;
455 memmove(name, domainname, len);
456 name[len] = '\0';
457 entry->name = name;
458 tomoyo_init_policy_namespace(entry);
459 entry = NULL;
460 }
461 mutex_unlock(&tomoyo_policy_lock);
462out:
463 kfree(entry);
464 return ptr;
465}
466
467/**
468 * tomoyo_namespace_jump - Check for namespace jump.
469 *
470 * @domainname: Name of domain.
471 *
472 * Returns true if namespace differs, false otherwise.
473 */
474static bool tomoyo_namespace_jump(const char *domainname)
475{
476 const char *namespace = tomoyo_current_namespace()->name;
477 const int len = strlen(namespace);
478 return strncmp(domainname, namespace, len) ||
479 (domainname[len] && domainname[len] != ' ');
480}
481
482/**
483 * tomoyo_assign_domain - Create a domain or a namespace.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900484 *
485 * @domainname: The name of domain.
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900486 * @transit: True if transit to domain found or created.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900487 *
488 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900489 *
490 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900491 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900492struct tomoyo_domain_info *tomoyo_assign_domain(const char *domainname,
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900493 const bool transit)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900494{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900495 struct tomoyo_domain_info e = { };
496 struct tomoyo_domain_info *entry = tomoyo_find_domain(domainname);
497 bool created = false;
498 if (entry) {
499 if (transit) {
500 /*
501 * Since namespace is created at runtime, profiles may
502 * not be created by the moment the process transits to
503 * that domain. Do not perform domain transition if
504 * profile for that domain is not yet created.
505 */
506 if (!entry->ns->profile_ptr[entry->profile])
507 return NULL;
508 }
509 return entry;
510 }
511 /* Requested domain does not exist. */
512 /* Don't create requested domain if domainname is invalid. */
513 if (strlen(domainname) >= TOMOYO_EXEC_TMPSIZE - 10 ||
514 !tomoyo_correct_domain(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900515 return NULL;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900516 /*
517 * Since definition of profiles and acl_groups may differ across
518 * namespaces, do not inherit "use_profile" and "use_group" settings
519 * by automatically creating requested domain upon domain transition.
520 */
521 if (transit && tomoyo_namespace_jump(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900522 return NULL;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900523 e.ns = tomoyo_assign_namespace(domainname);
524 if (!e.ns)
525 return NULL;
526 /*
527 * "use_profile" and "use_group" settings for automatically created
528 * domains are inherited from current domain. These are 0 for manually
529 * created domains.
530 */
531 if (transit) {
532 const struct tomoyo_domain_info *domain = tomoyo_domain();
533 e.profile = domain->profile;
534 e.group = domain->group;
535 }
536 e.domainname = tomoyo_get_name(domainname);
537 if (!e.domainname)
538 return NULL;
Tetsuo Handa29282382010-05-06 00:18:15 +0900539 if (mutex_lock_interruptible(&tomoyo_policy_lock))
540 goto out;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900541 entry = tomoyo_find_domain(domainname);
542 if (!entry) {
543 entry = tomoyo_commit_ok(&e, sizeof(e));
544 if (entry) {
545 INIT_LIST_HEAD(&entry->acl_info_list);
546 list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
547 created = true;
548 }
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900549 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900550 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900551out:
552 tomoyo_put_name(e.domainname);
553 if (entry && transit) {
554 if (created) {
555 struct tomoyo_request_info r;
556 tomoyo_init_request_info(&r, entry,
557 TOMOYO_MAC_FILE_EXECUTE);
558 r.granted = false;
559 tomoyo_write_log(&r, "use_profile %u\n",
560 entry->profile);
561 tomoyo_write_log(&r, "use_group %u\n", entry->group);
562 }
563 }
564 return entry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900565}
566
567/**
568 * tomoyo_find_next_domain - Find a domain.
569 *
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900570 * @bprm: Pointer to "struct linux_binprm".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900571 *
572 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900573 *
574 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900575 */
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900576int tomoyo_find_next_domain(struct linux_binprm *bprm)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900577{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900578 struct tomoyo_request_info r;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900579 char *tmp = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900580 struct tomoyo_domain_info *old_domain = tomoyo_domain();
581 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900582 const char *original_name = bprm->filename;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900583 u8 mode;
584 bool is_enforce;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900585 int retval = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900586 bool need_kfree = false;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900587 bool reject_on_transition_failure = false;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900588 struct tomoyo_path_info rn = { }; /* real name */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900589
Tetsuo Handa57c25902010-06-03 20:38:44 +0900590 mode = tomoyo_init_request_info(&r, NULL, TOMOYO_MAC_FILE_EXECUTE);
591 is_enforce = (mode == TOMOYO_CONFIG_ENFORCING);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900592 if (!tmp)
593 goto out;
594
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900595 retry:
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900596 if (need_kfree) {
597 kfree(rn.name);
598 need_kfree = false;
599 }
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900600 /* Get symlink's pathname of program. */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900601 retval = -ENOENT;
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900602 rn.name = tomoyo_realpath_nofollow(original_name);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900603 if (!rn.name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900604 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900605 tomoyo_fill_path_info(&rn);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900606 need_kfree = true;
607
Tetsuo Handa10843072010-06-03 20:38:03 +0900608 /* Check 'aggregator' directive. */
609 {
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900610 struct tomoyo_aggregator *ptr;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900611 struct list_head *list =
612 &old_domain->ns->policy_list[TOMOYO_ID_AGGREGATOR];
613 /* Check 'aggregator' directive. */
614 list_for_each_entry_rcu(ptr, list, head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900615 if (ptr->head.is_deleted ||
Tetsuo Handa10843072010-06-03 20:38:03 +0900616 !tomoyo_path_matches_pattern(&rn,
617 ptr->original_name))
618 continue;
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900619 kfree(rn.name);
Tetsuo Handa10843072010-06-03 20:38:03 +0900620 need_kfree = false;
621 /* This is OK because it is read only. */
622 rn = *ptr->aggregated_name;
623 break;
624 }
625 }
626
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900627 /* Check execute permission. */
Tetsuo Handa05336de2010-06-16 16:20:24 +0900628 retval = tomoyo_path_permission(&r, TOMOYO_TYPE_EXECUTE, &rn);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900629 if (retval == TOMOYO_RETRY_REQUEST)
630 goto retry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900631 if (retval < 0)
632 goto out;
Tetsuo Handa484ca792010-07-29 14:29:55 +0900633 /*
634 * To be able to specify domainnames with wildcards, use the
635 * pathname specified in the policy (which may contain
636 * wildcard) rather than the pathname passed to execve()
637 * (which never contains wildcard).
638 */
639 if (r.param.path.matched_path) {
640 if (need_kfree)
641 kfree(rn.name);
642 need_kfree = false;
643 /* This is OK because it is read only. */
644 rn = *r.param.path.matched_path;
645 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900646
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900647 /* Calculate domain to transit to. */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900648 switch (tomoyo_transition_type(old_domain->ns, old_domain->domainname,
649 &rn)) {
650 case TOMOYO_TRANSITION_CONTROL_RESET:
651 /* Transit to the root of specified namespace. */
652 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1, "<%s>", rn.name);
653 /*
654 * Make do_execve() fail if domain transition across namespaces
655 * has failed.
656 */
657 reject_on_transition_failure = true;
658 break;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900659 case TOMOYO_TRANSITION_CONTROL_INITIALIZE:
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900660 /* Transit to the child of current namespace's root. */
661 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
662 old_domain->ns->name, rn.name);
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900663 break;
664 case TOMOYO_TRANSITION_CONTROL_KEEP:
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900665 /* Keep current domain. */
666 domain = old_domain;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900667 break;
668 default:
669 if (old_domain == &tomoyo_kernel_domain &&
670 !tomoyo_policy_loaded) {
671 /*
672 * Needn't to transit from kernel domain before
673 * starting /sbin/init. But transit from kernel domain
674 * if executing initializers because they might start
675 * before /sbin/init.
676 */
677 domain = old_domain;
678 } else {
679 /* Normal domain transition. */
680 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
681 old_domain->domainname->name, rn.name);
682 }
683 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900684 }
Tetsuo Handa7c759642011-06-26 23:15:31 +0900685 if (!domain)
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900686 domain = tomoyo_assign_domain(tmp, true);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900687 if (domain)
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900688 retval = 0;
689 else if (reject_on_transition_failure) {
690 printk(KERN_WARNING "ERROR: Domain '%s' not ready.\n", tmp);
691 retval = -ENOMEM;
692 } else if (r.mode == TOMOYO_CONFIG_ENFORCING)
693 retval = -ENOMEM;
694 else {
695 retval = 0;
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900696 if (!old_domain->flags[TOMOYO_DIF_TRANSITION_FAILED]) {
697 old_domain->flags[TOMOYO_DIF_TRANSITION_FAILED] = true;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900698 r.granted = false;
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900699 tomoyo_write_log(&r, "%s", tomoyo_dif
700 [TOMOYO_DIF_TRANSITION_FAILED]);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900701 printk(KERN_WARNING
702 "ERROR: Domain '%s' not defined.\n", tmp);
703 }
704 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900705 out:
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900706 if (!domain)
707 domain = old_domain;
Tetsuo Handaec8e6a42010-02-11 09:43:20 +0900708 /* Update reference count on "struct tomoyo_domain_info". */
709 atomic_inc(&domain->users);
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900710 bprm->cred->security = domain;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900711 if (need_kfree)
712 kfree(rn.name);
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900713 kfree(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900714 return retval;
715}