blob: 498fea732f4843f537fa3c66b5b1a96006a4d8e5 [file] [log] [blame]
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09001/*
2 * security/tomoyo/domain.c
3 *
Tetsuo Handa0f2a55d2011-07-14 14:46:51 +09004 * Copyright (C) 2005-2011 NTT DATA CORPORATION
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09005 */
6
7#include "common.h"
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09008#include <linux/binfmts.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +09009#include <linux/slab.h>
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090010
11/* Variables definitions.*/
12
13/* The initial domain. */
14struct tomoyo_domain_info tomoyo_kernel_domain;
15
Tetsuo Handa237ab452010-06-12 20:46:22 +090016/**
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090017 * tomoyo_update_policy - Update an entry for exception policy.
18 *
19 * @new_entry: Pointer to "struct tomoyo_acl_info".
20 * @size: Size of @new_entry in bytes.
Tetsuo Handaa238cf52011-06-26 23:17:10 +090021 * @param: Pointer to "struct tomoyo_acl_param".
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090022 * @check_duplicate: Callback function to find duplicated entry.
23 *
24 * Returns 0 on success, negative value otherwise.
25 *
26 * Caller holds tomoyo_read_lock().
27 */
28int tomoyo_update_policy(struct tomoyo_acl_head *new_entry, const int size,
Tetsuo Handaa238cf52011-06-26 23:17:10 +090029 struct tomoyo_acl_param *param,
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090030 bool (*check_duplicate) (const struct tomoyo_acl_head
31 *,
32 const struct tomoyo_acl_head
33 *))
34{
Tetsuo Handaa238cf52011-06-26 23:17:10 +090035 int error = param->is_delete ? -ENOENT : -ENOMEM;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090036 struct tomoyo_acl_head *entry;
Tetsuo Handaa238cf52011-06-26 23:17:10 +090037 struct list_head *list = param->list;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090038
39 if (mutex_lock_interruptible(&tomoyo_policy_lock))
40 return -ENOMEM;
41 list_for_each_entry_rcu(entry, list, list) {
42 if (!check_duplicate(entry, new_entry))
43 continue;
Tetsuo Handaa238cf52011-06-26 23:17:10 +090044 entry->is_deleted = param->is_delete;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090045 error = 0;
46 break;
47 }
Tetsuo Handaa238cf52011-06-26 23:17:10 +090048 if (error && !param->is_delete) {
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090049 entry = tomoyo_commit_ok(new_entry, size);
50 if (entry) {
51 list_add_tail_rcu(&entry->list, list);
52 error = 0;
53 }
54 }
55 mutex_unlock(&tomoyo_policy_lock);
56 return error;
57}
58
59/**
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +090060 * tomoyo_same_acl_head - Check for duplicated "struct tomoyo_acl_info" entry.
61 *
62 * @a: Pointer to "struct tomoyo_acl_info".
63 * @b: Pointer to "struct tomoyo_acl_info".
64 *
65 * Returns true if @a == @b, false otherwise.
66 */
67static inline bool tomoyo_same_acl_head(const struct tomoyo_acl_info *a,
68 const struct tomoyo_acl_info *b)
69{
Tetsuo Handa2066a362011-07-08 13:21:37 +090070 return a->type == b->type && a->cond == b->cond;
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +090071}
72
73/**
Tetsuo Handa237ab452010-06-12 20:46:22 +090074 * tomoyo_update_domain - Update an entry for domain policy.
75 *
76 * @new_entry: Pointer to "struct tomoyo_acl_info".
77 * @size: Size of @new_entry in bytes.
Tetsuo Handaa238cf52011-06-26 23:17:10 +090078 * @param: Pointer to "struct tomoyo_acl_param".
Tetsuo Handa237ab452010-06-12 20:46:22 +090079 * @check_duplicate: Callback function to find duplicated entry.
80 * @merge_duplicate: Callback function to merge duplicated entry.
81 *
82 * Returns 0 on success, negative value otherwise.
83 *
84 * Caller holds tomoyo_read_lock().
85 */
86int tomoyo_update_domain(struct tomoyo_acl_info *new_entry, const int size,
Tetsuo Handaa238cf52011-06-26 23:17:10 +090087 struct tomoyo_acl_param *param,
Tetsuo Handa237ab452010-06-12 20:46:22 +090088 bool (*check_duplicate) (const struct tomoyo_acl_info
89 *,
90 const struct tomoyo_acl_info
91 *),
92 bool (*merge_duplicate) (struct tomoyo_acl_info *,
93 struct tomoyo_acl_info *,
94 const bool))
95{
Tetsuo Handaa238cf52011-06-26 23:17:10 +090096 const bool is_delete = param->is_delete;
Tetsuo Handa237ab452010-06-12 20:46:22 +090097 int error = is_delete ? -ENOENT : -ENOMEM;
98 struct tomoyo_acl_info *entry;
Tetsuo Handaa238cf52011-06-26 23:17:10 +090099 struct list_head * const list = param->list;
Tetsuo Handa237ab452010-06-12 20:46:22 +0900100
Tetsuo Handa2066a362011-07-08 13:21:37 +0900101 if (param->data[0]) {
102 new_entry->cond = tomoyo_get_condition(param);
103 if (!new_entry->cond)
104 return -EINVAL;
105 }
Tetsuo Handa237ab452010-06-12 20:46:22 +0900106 if (mutex_lock_interruptible(&tomoyo_policy_lock))
Tetsuo Handa2066a362011-07-08 13:21:37 +0900107 goto out;
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900108 list_for_each_entry_rcu(entry, list, list) {
Tetsuo Handa0df7e8b2011-06-26 23:16:36 +0900109 if (!tomoyo_same_acl_head(entry, new_entry) ||
110 !check_duplicate(entry, new_entry))
Tetsuo Handa237ab452010-06-12 20:46:22 +0900111 continue;
112 if (merge_duplicate)
113 entry->is_deleted = merge_duplicate(entry, new_entry,
114 is_delete);
115 else
116 entry->is_deleted = is_delete;
117 error = 0;
118 break;
119 }
120 if (error && !is_delete) {
121 entry = tomoyo_commit_ok(new_entry, size);
122 if (entry) {
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900123 list_add_tail_rcu(&entry->list, list);
Tetsuo Handa237ab452010-06-12 20:46:22 +0900124 error = 0;
125 }
126 }
127 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa2066a362011-07-08 13:21:37 +0900128out:
129 tomoyo_put_condition(new_entry->cond);
Tetsuo Handa237ab452010-06-12 20:46:22 +0900130 return error;
131}
132
Tetsuo Handa32997142011-06-26 23:19:28 +0900133/**
134 * tomoyo_check_acl - Do permission check.
135 *
136 * @r: Pointer to "struct tomoyo_request_info".
137 * @check_entry: Callback function to check type specific parameters.
138 *
139 * Returns 0 on success, negative value otherwise.
140 *
141 * Caller holds tomoyo_read_lock().
142 */
Tetsuo Handa99a85252010-06-16 16:22:51 +0900143void tomoyo_check_acl(struct tomoyo_request_info *r,
Tetsuo Handa484ca792010-07-29 14:29:55 +0900144 bool (*check_entry) (struct tomoyo_request_info *,
Tetsuo Handa99a85252010-06-16 16:22:51 +0900145 const struct tomoyo_acl_info *))
146{
147 const struct tomoyo_domain_info *domain = r->domain;
148 struct tomoyo_acl_info *ptr;
Tetsuo Handa32997142011-06-26 23:19:28 +0900149 bool retried = false;
150 const struct list_head *list = &domain->acl_info_list;
Tetsuo Handa99a85252010-06-16 16:22:51 +0900151
Tetsuo Handa32997142011-06-26 23:19:28 +0900152retry:
153 list_for_each_entry_rcu(ptr, list, list) {
Tetsuo Handa99a85252010-06-16 16:22:51 +0900154 if (ptr->is_deleted || ptr->type != r->param_type)
155 continue;
Tetsuo Handa2066a362011-07-08 13:21:37 +0900156 if (!check_entry(r, ptr))
157 continue;
158 if (!tomoyo_condition(r, ptr->cond))
159 continue;
Tetsuo Handa1f067a62011-09-10 15:24:56 +0900160 r->matched_acl = ptr;
Tetsuo Handa2066a362011-07-08 13:21:37 +0900161 r->granted = true;
162 return;
Tetsuo Handa99a85252010-06-16 16:22:51 +0900163 }
Tetsuo Handa32997142011-06-26 23:19:28 +0900164 if (!retried) {
165 retried = true;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900166 list = &domain->ns->acl_group[domain->group];
Tetsuo Handa32997142011-06-26 23:19:28 +0900167 goto retry;
168 }
Tetsuo Handa99a85252010-06-16 16:22:51 +0900169 r->granted = false;
170}
171
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900172/* The list for "struct tomoyo_domain_info". */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900173LIST_HEAD(tomoyo_domain_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900174
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900175/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900176 * tomoyo_last_word - Get last component of a domainname.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900177 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900178 * @name: Domainname to check.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900179 *
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900180 * Returns the last word of @domainname.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900181 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900182static const char *tomoyo_last_word(const char *name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900183{
Tetsuo Handa0f2a55d2011-07-14 14:46:51 +0900184 const char *cp = strrchr(name, ' ');
185 if (cp)
186 return cp + 1;
187 return name;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900188}
189
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900190/**
191 * tomoyo_same_transition_control - Check for duplicated "struct tomoyo_transition_control" entry.
192 *
193 * @a: Pointer to "struct tomoyo_acl_head".
194 * @b: Pointer to "struct tomoyo_acl_head".
195 *
196 * Returns true if @a == @b, false otherwise.
197 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900198static bool tomoyo_same_transition_control(const struct tomoyo_acl_head *a,
199 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900200{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900201 const struct tomoyo_transition_control *p1 = container_of(a,
202 typeof(*p1),
203 head);
204 const struct tomoyo_transition_control *p2 = container_of(b,
205 typeof(*p2),
206 head);
207 return p1->type == p2->type && p1->is_last_name == p2->is_last_name
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900208 && p1->domainname == p2->domainname
209 && p1->program == p2->program;
210}
211
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900212/**
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900213 * tomoyo_write_transition_control - Write "struct tomoyo_transition_control" list.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900214 *
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900215 * @param: Pointer to "struct tomoyo_acl_param".
216 * @type: Type of this entry.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900217 *
218 * Returns 0 on success, negative value otherwise.
219 */
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900220int tomoyo_write_transition_control(struct tomoyo_acl_param *param,
221 const u8 type)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900222{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900223 struct tomoyo_transition_control e = { .type = type };
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900224 int error = param->is_delete ? -ENOENT : -ENOMEM;
225 char *program = param->data;
226 char *domainname = strstr(program, " from ");
227 if (domainname) {
228 *domainname = '\0';
229 domainname += 6;
230 } else if (type == TOMOYO_TRANSITION_CONTROL_NO_KEEP ||
231 type == TOMOYO_TRANSITION_CONTROL_KEEP) {
232 domainname = program;
233 program = NULL;
234 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900235 if (program && strcmp(program, "any")) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900236 if (!tomoyo_correct_path(program))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900237 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900238 e.program = tomoyo_get_name(program);
239 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900240 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900241 }
Tetsuo Handa0d2171d2011-06-26 23:17:46 +0900242 if (domainname && strcmp(domainname, "any")) {
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900243 if (!tomoyo_correct_domain(domainname)) {
244 if (!tomoyo_correct_path(domainname))
245 goto out;
246 e.is_last_name = true;
247 }
248 e.domainname = tomoyo_get_name(domainname);
249 if (!e.domainname)
250 goto out;
251 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900252 param->list = &param->ns->policy_list[TOMOYO_ID_TRANSITION_CONTROL];
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900253 error = tomoyo_update_policy(&e.head, sizeof(e), param,
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900254 tomoyo_same_transition_control);
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900255out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900256 tomoyo_put_name(e.domainname);
257 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900258 return error;
259}
260
261/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900262 * tomoyo_scan_transition - Try to find specific domain transition type.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900263 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900264 * @list: Pointer to "struct list_head".
265 * @domainname: The name of current domain.
266 * @program: The name of requested program.
267 * @last_name: The last component of @domainname.
268 * @type: One of values in "enum tomoyo_transition_type".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900269 *
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900270 * Returns true if found one, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900271 *
272 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900273 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900274static inline bool tomoyo_scan_transition
275(const struct list_head *list, const struct tomoyo_path_info *domainname,
276 const struct tomoyo_path_info *program, const char *last_name,
277 const enum tomoyo_transition_type type)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900278{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900279 const struct tomoyo_transition_control *ptr;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900280 list_for_each_entry_rcu(ptr, list, head.list) {
281 if (ptr->head.is_deleted || ptr->type != type)
282 continue;
283 if (ptr->domainname) {
284 if (!ptr->is_last_name) {
285 if (ptr->domainname != domainname)
286 continue;
287 } else {
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900288 /*
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900289 * Use direct strcmp() since this is
290 * unlikely used.
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900291 */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900292 if (strcmp(ptr->domainname->name, last_name))
293 continue;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900294 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900295 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900296 if (ptr->program && tomoyo_pathcmp(ptr->program, program))
297 continue;
298 return true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900299 }
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900300 return false;
301}
302
303/**
304 * tomoyo_transition_type - Get domain transition type.
305 *
306 * @ns: Pointer to "struct tomoyo_policy_namespace".
307 * @domainname: The name of current domain.
308 * @program: The name of requested program.
309 *
310 * Returns TOMOYO_TRANSITION_CONTROL_TRANSIT if executing @program causes
311 * domain transition across namespaces, TOMOYO_TRANSITION_CONTROL_INITIALIZE if
312 * executing @program reinitializes domain transition within that namespace,
313 * TOMOYO_TRANSITION_CONTROL_KEEP if executing @program stays at @domainname ,
314 * others otherwise.
315 *
316 * Caller holds tomoyo_read_lock().
317 */
318static enum tomoyo_transition_type tomoyo_transition_type
319(const struct tomoyo_policy_namespace *ns,
320 const struct tomoyo_path_info *domainname,
321 const struct tomoyo_path_info *program)
322{
323 const char *last_name = tomoyo_last_word(domainname->name);
324 enum tomoyo_transition_type type = TOMOYO_TRANSITION_CONTROL_NO_RESET;
325 while (type < TOMOYO_MAX_TRANSITION_TYPE) {
326 const struct list_head * const list =
327 &ns->policy_list[TOMOYO_ID_TRANSITION_CONTROL];
328 if (!tomoyo_scan_transition(list, domainname, program,
329 last_name, type)) {
330 type++;
331 continue;
332 }
333 if (type != TOMOYO_TRANSITION_CONTROL_NO_RESET &&
334 type != TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE)
335 break;
336 /*
337 * Do not check for reset_domain if no_reset_domain matched.
338 * Do not check for initialize_domain if no_initialize_domain
339 * matched.
340 */
341 type++;
342 type++;
343 }
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900344 return type;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900345}
346
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900347/**
348 * tomoyo_same_aggregator - Check for duplicated "struct tomoyo_aggregator" entry.
349 *
350 * @a: Pointer to "struct tomoyo_acl_head".
351 * @b: Pointer to "struct tomoyo_acl_head".
352 *
353 * Returns true if @a == @b, false otherwise.
354 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900355static bool tomoyo_same_aggregator(const struct tomoyo_acl_head *a,
356 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900357{
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900358 const struct tomoyo_aggregator *p1 = container_of(a, typeof(*p1),
359 head);
360 const struct tomoyo_aggregator *p2 = container_of(b, typeof(*p2),
361 head);
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900362 return p1->original_name == p2->original_name &&
363 p1->aggregated_name == p2->aggregated_name;
364}
365
Tetsuo Handa10843072010-06-03 20:38:03 +0900366/**
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900367 * tomoyo_write_aggregator - Write "struct tomoyo_aggregator" list.
Tetsuo Handa10843072010-06-03 20:38:03 +0900368 *
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900369 * @param: Pointer to "struct tomoyo_acl_param".
Tetsuo Handa10843072010-06-03 20:38:03 +0900370 *
371 * Returns 0 on success, negative value otherwise.
372 *
373 * Caller holds tomoyo_read_lock().
374 */
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900375int tomoyo_write_aggregator(struct tomoyo_acl_param *param)
Tetsuo Handa10843072010-06-03 20:38:03 +0900376{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900377 struct tomoyo_aggregator e = { };
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900378 int error = param->is_delete ? -ENOENT : -ENOMEM;
379 const char *original_name = tomoyo_read_token(param);
380 const char *aggregated_name = tomoyo_read_token(param);
381 if (!tomoyo_correct_word(original_name) ||
Tetsuo Handa75093152010-06-16 16:23:55 +0900382 !tomoyo_correct_path(aggregated_name))
Tetsuo Handa10843072010-06-03 20:38:03 +0900383 return -EINVAL;
384 e.original_name = tomoyo_get_name(original_name);
385 e.aggregated_name = tomoyo_get_name(aggregated_name);
386 if (!e.original_name || !e.aggregated_name ||
387 e.aggregated_name->is_patterned) /* No patterns allowed. */
388 goto out;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900389 param->list = &param->ns->policy_list[TOMOYO_ID_AGGREGATOR];
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900390 error = tomoyo_update_policy(&e.head, sizeof(e), param,
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900391 tomoyo_same_aggregator);
Tetsuo Handaa238cf52011-06-26 23:17:10 +0900392out:
Tetsuo Handa10843072010-06-03 20:38:03 +0900393 tomoyo_put_name(e.original_name);
394 tomoyo_put_name(e.aggregated_name);
395 return error;
396}
397
398/**
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900399 * tomoyo_find_namespace - Find specified namespace.
400 *
401 * @name: Name of namespace to find.
402 * @len: Length of @name.
403 *
404 * Returns pointer to "struct tomoyo_policy_namespace" if found,
405 * NULL otherwise.
406 *
407 * Caller holds tomoyo_read_lock().
408 */
409static struct tomoyo_policy_namespace *tomoyo_find_namespace
410(const char *name, const unsigned int len)
411{
412 struct tomoyo_policy_namespace *ns;
413 list_for_each_entry(ns, &tomoyo_namespace_list, namespace_list) {
414 if (strncmp(name, ns->name, len) ||
415 (name[len] && name[len] != ' '))
416 continue;
417 return ns;
418 }
419 return NULL;
420}
421
422/**
423 * tomoyo_assign_namespace - Create a new namespace.
424 *
425 * @domainname: Name of namespace to create.
426 *
427 * Returns pointer to "struct tomoyo_policy_namespace" on success,
428 * NULL otherwise.
429 *
430 * Caller holds tomoyo_read_lock().
431 */
432struct tomoyo_policy_namespace *tomoyo_assign_namespace(const char *domainname)
433{
434 struct tomoyo_policy_namespace *ptr;
435 struct tomoyo_policy_namespace *entry;
436 const char *cp = domainname;
437 unsigned int len = 0;
438 while (*cp && *cp++ != ' ')
439 len++;
440 ptr = tomoyo_find_namespace(domainname, len);
441 if (ptr)
442 return ptr;
443 if (len >= TOMOYO_EXEC_TMPSIZE - 10 || !tomoyo_domain_def(domainname))
444 return NULL;
445 entry = kzalloc(sizeof(*entry) + len + 1, GFP_NOFS);
446 if (!entry)
447 return NULL;
448 if (mutex_lock_interruptible(&tomoyo_policy_lock))
449 goto out;
450 ptr = tomoyo_find_namespace(domainname, len);
451 if (!ptr && tomoyo_memory_ok(entry)) {
452 char *name = (char *) (entry + 1);
453 ptr = entry;
454 memmove(name, domainname, len);
455 name[len] = '\0';
456 entry->name = name;
457 tomoyo_init_policy_namespace(entry);
458 entry = NULL;
459 }
460 mutex_unlock(&tomoyo_policy_lock);
461out:
462 kfree(entry);
463 return ptr;
464}
465
466/**
467 * tomoyo_namespace_jump - Check for namespace jump.
468 *
469 * @domainname: Name of domain.
470 *
471 * Returns true if namespace differs, false otherwise.
472 */
473static bool tomoyo_namespace_jump(const char *domainname)
474{
475 const char *namespace = tomoyo_current_namespace()->name;
476 const int len = strlen(namespace);
477 return strncmp(domainname, namespace, len) ||
478 (domainname[len] && domainname[len] != ' ');
479}
480
481/**
482 * tomoyo_assign_domain - Create a domain or a namespace.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900483 *
484 * @domainname: The name of domain.
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900485 * @transit: True if transit to domain found or created.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900486 *
487 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900488 *
489 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900490 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900491struct tomoyo_domain_info *tomoyo_assign_domain(const char *domainname,
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900492 const bool transit)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900493{
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900494 struct tomoyo_domain_info e = { };
495 struct tomoyo_domain_info *entry = tomoyo_find_domain(domainname);
496 bool created = false;
497 if (entry) {
498 if (transit) {
499 /*
500 * Since namespace is created at runtime, profiles may
501 * not be created by the moment the process transits to
502 * that domain. Do not perform domain transition if
503 * profile for that domain is not yet created.
504 */
505 if (!entry->ns->profile_ptr[entry->profile])
506 return NULL;
507 }
508 return entry;
509 }
510 /* Requested domain does not exist. */
511 /* Don't create requested domain if domainname is invalid. */
512 if (strlen(domainname) >= TOMOYO_EXEC_TMPSIZE - 10 ||
513 !tomoyo_correct_domain(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900514 return NULL;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900515 /*
516 * Since definition of profiles and acl_groups may differ across
517 * namespaces, do not inherit "use_profile" and "use_group" settings
518 * by automatically creating requested domain upon domain transition.
519 */
520 if (transit && tomoyo_namespace_jump(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900521 return NULL;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900522 e.ns = tomoyo_assign_namespace(domainname);
523 if (!e.ns)
524 return NULL;
525 /*
526 * "use_profile" and "use_group" settings for automatically created
527 * domains are inherited from current domain. These are 0 for manually
528 * created domains.
529 */
530 if (transit) {
531 const struct tomoyo_domain_info *domain = tomoyo_domain();
532 e.profile = domain->profile;
533 e.group = domain->group;
534 }
535 e.domainname = tomoyo_get_name(domainname);
536 if (!e.domainname)
537 return NULL;
Tetsuo Handa29282382010-05-06 00:18:15 +0900538 if (mutex_lock_interruptible(&tomoyo_policy_lock))
539 goto out;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900540 entry = tomoyo_find_domain(domainname);
541 if (!entry) {
542 entry = tomoyo_commit_ok(&e, sizeof(e));
543 if (entry) {
544 INIT_LIST_HEAD(&entry->acl_info_list);
545 list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
546 created = true;
547 }
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900548 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900549 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900550out:
551 tomoyo_put_name(e.domainname);
552 if (entry && transit) {
553 if (created) {
554 struct tomoyo_request_info r;
555 tomoyo_init_request_info(&r, entry,
556 TOMOYO_MAC_FILE_EXECUTE);
557 r.granted = false;
558 tomoyo_write_log(&r, "use_profile %u\n",
559 entry->profile);
560 tomoyo_write_log(&r, "use_group %u\n", entry->group);
561 }
562 }
563 return entry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900564}
565
566/**
Tetsuo Handad58e0da2011-09-10 15:22:48 +0900567 * tomoyo_environ - Check permission for environment variable names.
568 *
569 * @ee: Pointer to "struct tomoyo_execve".
570 *
571 * Returns 0 on success, negative value otherwise.
572 */
573static int tomoyo_environ(struct tomoyo_execve *ee)
574{
575 struct tomoyo_request_info *r = &ee->r;
576 struct linux_binprm *bprm = ee->bprm;
577 /* env_page.data is allocated by tomoyo_dump_page(). */
578 struct tomoyo_page_dump env_page = { };
579 char *arg_ptr; /* Size is TOMOYO_EXEC_TMPSIZE bytes */
580 int arg_len = 0;
581 unsigned long pos = bprm->p;
582 int offset = pos % PAGE_SIZE;
583 int argv_count = bprm->argc;
584 int envp_count = bprm->envc;
585 int error = -ENOMEM;
586
587 ee->r.type = TOMOYO_MAC_ENVIRON;
588 ee->r.profile = r->domain->profile;
589 ee->r.mode = tomoyo_get_mode(r->domain->ns, ee->r.profile,
590 TOMOYO_MAC_ENVIRON);
591 if (!r->mode || !envp_count)
592 return 0;
593 arg_ptr = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
594 if (!arg_ptr)
595 goto out;
596 while (error == -ENOMEM) {
597 if (!tomoyo_dump_page(bprm, pos, &env_page))
598 goto out;
599 pos += PAGE_SIZE - offset;
600 /* Read. */
601 while (argv_count && offset < PAGE_SIZE) {
602 if (!env_page.data[offset++])
603 argv_count--;
604 }
605 if (argv_count) {
606 offset = 0;
607 continue;
608 }
609 while (offset < PAGE_SIZE) {
610 const unsigned char c = env_page.data[offset++];
611
612 if (c && arg_len < TOMOYO_EXEC_TMPSIZE - 10) {
613 if (c == '=') {
614 arg_ptr[arg_len++] = '\0';
615 } else if (c == '\\') {
616 arg_ptr[arg_len++] = '\\';
617 arg_ptr[arg_len++] = '\\';
618 } else if (c > ' ' && c < 127) {
619 arg_ptr[arg_len++] = c;
620 } else {
621 arg_ptr[arg_len++] = '\\';
622 arg_ptr[arg_len++] = (c >> 6) + '0';
623 arg_ptr[arg_len++]
624 = ((c >> 3) & 7) + '0';
625 arg_ptr[arg_len++] = (c & 7) + '0';
626 }
627 } else {
628 arg_ptr[arg_len] = '\0';
629 }
630 if (c)
631 continue;
632 if (tomoyo_env_perm(r, arg_ptr)) {
633 error = -EPERM;
634 break;
635 }
636 if (!--envp_count) {
637 error = 0;
638 break;
639 }
640 arg_len = 0;
641 }
642 offset = 0;
643 }
644out:
645 if (r->mode != TOMOYO_CONFIG_ENFORCING)
646 error = 0;
647 kfree(env_page.data);
648 kfree(arg_ptr);
649 return error;
650}
651
652/**
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900653 * tomoyo_find_next_domain - Find a domain.
654 *
Tetsuo Handa56f8c9b2009-06-19 14:13:27 +0900655 * @bprm: Pointer to "struct linux_binprm".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900656 *
657 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900658 *
659 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900660 */
Tetsuo Handa56f8c9b2009-06-19 14:13:27 +0900661int tomoyo_find_next_domain(struct linux_binprm *bprm)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900662{
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900663 struct tomoyo_domain_info *old_domain = tomoyo_domain();
664 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900665 const char *original_name = bprm->filename;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900666 int retval = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900667 bool need_kfree = false;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900668 bool reject_on_transition_failure = false;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900669 struct tomoyo_path_info rn = { }; /* real name */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900670 struct tomoyo_execve *ee = kzalloc(sizeof(*ee), GFP_NOFS);
Tetsuo Handad58e0da2011-09-10 15:22:48 +0900671
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900672 if (!ee)
673 return -ENOMEM;
674 ee->tmp = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
675 if (!ee->tmp) {
676 kfree(ee);
677 return -ENOMEM;
678 }
679 /* ee->dump->data is allocated by tomoyo_dump_page(). */
680 tomoyo_init_request_info(&ee->r, NULL, TOMOYO_MAC_FILE_EXECUTE);
681 ee->r.ee = ee;
682 ee->bprm = bprm;
683 ee->r.obj = &ee->obj;
684 ee->obj.path1 = bprm->file->f_path;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900685 retry:
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900686 if (need_kfree) {
687 kfree(rn.name);
688 need_kfree = false;
689 }
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900690 /* Get symlink's pathname of program. */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900691 retval = -ENOENT;
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900692 rn.name = tomoyo_realpath_nofollow(original_name);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900693 if (!rn.name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900694 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900695 tomoyo_fill_path_info(&rn);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900696 need_kfree = true;
697
Tetsuo Handa10843072010-06-03 20:38:03 +0900698 /* Check 'aggregator' directive. */
699 {
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900700 struct tomoyo_aggregator *ptr;
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900701 struct list_head *list =
702 &old_domain->ns->policy_list[TOMOYO_ID_AGGREGATOR];
703 /* Check 'aggregator' directive. */
704 list_for_each_entry_rcu(ptr, list, head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900705 if (ptr->head.is_deleted ||
Tetsuo Handa10843072010-06-03 20:38:03 +0900706 !tomoyo_path_matches_pattern(&rn,
707 ptr->original_name))
708 continue;
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900709 kfree(rn.name);
Tetsuo Handa10843072010-06-03 20:38:03 +0900710 need_kfree = false;
711 /* This is OK because it is read only. */
712 rn = *ptr->aggregated_name;
713 break;
714 }
715 }
716
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900717 /* Check execute permission. */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900718 retval = tomoyo_path_permission(&ee->r, TOMOYO_TYPE_EXECUTE, &rn);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900719 if (retval == TOMOYO_RETRY_REQUEST)
720 goto retry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900721 if (retval < 0)
722 goto out;
Tetsuo Handa484ca792010-07-29 14:29:55 +0900723 /*
724 * To be able to specify domainnames with wildcards, use the
725 * pathname specified in the policy (which may contain
726 * wildcard) rather than the pathname passed to execve()
727 * (which never contains wildcard).
728 */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900729 if (ee->r.param.path.matched_path) {
Tetsuo Handa484ca792010-07-29 14:29:55 +0900730 if (need_kfree)
731 kfree(rn.name);
732 need_kfree = false;
733 /* This is OK because it is read only. */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900734 rn = *ee->r.param.path.matched_path;
Tetsuo Handa484ca792010-07-29 14:29:55 +0900735 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900736
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900737 /* Calculate domain to transit to. */
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900738 switch (tomoyo_transition_type(old_domain->ns, old_domain->domainname,
739 &rn)) {
740 case TOMOYO_TRANSITION_CONTROL_RESET:
741 /* Transit to the root of specified namespace. */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900742 snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "<%s>", rn.name);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900743 /*
744 * Make do_execve() fail if domain transition across namespaces
745 * has failed.
746 */
747 reject_on_transition_failure = true;
748 break;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900749 case TOMOYO_TRANSITION_CONTROL_INITIALIZE:
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900750 /* Transit to the child of current namespace's root. */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900751 snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900752 old_domain->ns->name, rn.name);
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900753 break;
754 case TOMOYO_TRANSITION_CONTROL_KEEP:
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900755 /* Keep current domain. */
756 domain = old_domain;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900757 break;
758 default:
759 if (old_domain == &tomoyo_kernel_domain &&
760 !tomoyo_policy_loaded) {
761 /*
762 * Needn't to transit from kernel domain before
763 * starting /sbin/init. But transit from kernel domain
764 * if executing initializers because they might start
765 * before /sbin/init.
766 */
767 domain = old_domain;
768 } else {
769 /* Normal domain transition. */
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900770 snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900771 old_domain->domainname->name, rn.name);
772 }
773 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900774 }
Tetsuo Handa7c759642011-06-26 23:15:31 +0900775 if (!domain)
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900776 domain = tomoyo_assign_domain(ee->tmp, true);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900777 if (domain)
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900778 retval = 0;
779 else if (reject_on_transition_failure) {
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900780 printk(KERN_WARNING "ERROR: Domain '%s' not ready.\n",
781 ee->tmp);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900782 retval = -ENOMEM;
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900783 } else if (ee->r.mode == TOMOYO_CONFIG_ENFORCING)
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900784 retval = -ENOMEM;
785 else {
786 retval = 0;
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900787 if (!old_domain->flags[TOMOYO_DIF_TRANSITION_FAILED]) {
788 old_domain->flags[TOMOYO_DIF_TRANSITION_FAILED] = true;
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900789 ee->r.granted = false;
790 tomoyo_write_log(&ee->r, "%s", tomoyo_dif
Tetsuo Handa2c47ab92011-06-26 23:21:19 +0900791 [TOMOYO_DIF_TRANSITION_FAILED]);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900792 printk(KERN_WARNING
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900793 "ERROR: Domain '%s' not defined.\n", ee->tmp);
Tetsuo Handabd03a3e2011-06-26 23:19:52 +0900794 }
795 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900796 out:
Tetsuo Handa56f8c9b2009-06-19 14:13:27 +0900797 if (!domain)
798 domain = old_domain;
Tetsuo Handaec8e6a42010-02-11 09:43:20 +0900799 /* Update reference count on "struct tomoyo_domain_info". */
800 atomic_inc(&domain->users);
Tetsuo Handa56f8c9b2009-06-19 14:13:27 +0900801 bprm->cred->security = domain;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900802 if (need_kfree)
803 kfree(rn.name);
Tetsuo Handad58e0da2011-09-10 15:22:48 +0900804 if (!retval) {
805 ee->r.domain = domain;
806 retval = tomoyo_environ(ee);
807 }
Tetsuo Handa97fb35e2011-07-08 13:25:53 +0900808 kfree(ee->tmp);
809 kfree(ee->dump.data);
810 kfree(ee);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900811 return retval;
812}
Tetsuo Handa5b636852011-07-08 13:24:54 +0900813
814/**
815 * tomoyo_dump_page - Dump a page to buffer.
816 *
817 * @bprm: Pointer to "struct linux_binprm".
818 * @pos: Location to dump.
819 * @dump: Poiner to "struct tomoyo_page_dump".
820 *
821 * Returns true on success, false otherwise.
822 */
823bool tomoyo_dump_page(struct linux_binprm *bprm, unsigned long pos,
824 struct tomoyo_page_dump *dump)
825{
826 struct page *page;
Tetsuo Handad58e0da2011-09-10 15:22:48 +0900827
828 /* dump->data is released by tomoyo_find_next_domain(). */
Tetsuo Handa5b636852011-07-08 13:24:54 +0900829 if (!dump->data) {
830 dump->data = kzalloc(PAGE_SIZE, GFP_NOFS);
831 if (!dump->data)
832 return false;
833 }
834 /* Same with get_arg_page(bprm, pos, 0) in fs/exec.c */
835#ifdef CONFIG_MMU
836 if (get_user_pages(current, bprm->mm, pos, 1, 0, 1, &page, NULL) <= 0)
837 return false;
838#else
839 page = bprm->page[pos / PAGE_SIZE];
840#endif
841 if (page != dump->page) {
842 const unsigned int offset = pos % PAGE_SIZE;
843 /*
844 * Maybe kmap()/kunmap() should be used here.
845 * But remove_arg_zero() uses kmap_atomic()/kunmap_atomic().
846 * So do I.
847 */
848 char *kaddr = kmap_atomic(page, KM_USER0);
Tetsuo Handad58e0da2011-09-10 15:22:48 +0900849
Tetsuo Handa5b636852011-07-08 13:24:54 +0900850 dump->page = page;
851 memcpy(dump->data + offset, kaddr + offset,
852 PAGE_SIZE - offset);
853 kunmap_atomic(kaddr, KM_USER0);
854 }
855 /* Same with put_arg_page(page) in fs/exec.c */
856#ifdef CONFIG_MMU
857 put_page(page);
858#endif
859 return true;
860}